Chase Norman

According to our database, Chase Norman authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program Synthesis in Saturation.

Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov

Proceedings of the Automated Deduction - CADE 29, 2023

PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency.

Chase Norman, Adwait Godbole, Yatin A. Manerkar

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

Voting Theory in the Lean Theorem Prover.

Wesley H. Holliday, Chase Norman, Eric Pacuit

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021