Chase Norman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Stable Voting and the Splitting of Cycles. | Wesley H. Holliday, Milan Moss, Chase Norman, Eric Pacuit, Cynthia Wang |
| 2025 | ITP | Canonical for Automated Theorem Proving in Lean. | Chase Norman, Jeremy Avigad |
| 2023 | ASPLOS | PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency. | Chase Norman, Adwait Godbole, Yatin A. Manerkar |
| 2023 | CADE | Program Synthesis in Saturation. | Petra Hozzov, Laura Kovcs, Chase Norman, Andrei Voronkov |