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 | |
| Livelock detection in stateless model-checking | Harshita Lila | |
| The Sea of nodes Compiler IR | Thalia Archibald | |
AMD Internship talk: load interleaving in CoExecScheduler |
Axel Sorenson |