Reading Group
Fall 2026
| Date | Paper | Presenter |
|---|---|---|
| Equivalence Checking of ML GPU Kernels | Kshitij Dubey | |
| Formal Verification of WTO-based Dataflow Solvers | Axel Sorenson | |
| Build Systems à la Carte | Andrew Riachi | |
| Fail Faster: Staging and Fast Randomness for High-Performance PBT | Bhargav Kulkarni |