Dawn Michaelson

According to our database, Dawn Michaelson authored at least 5 papers between 2017 and 2025.

Collaborative distances:

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

2025

A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk

ACM Trans. Program. Lang. Syst., September, 2025

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers.

Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen

J. Autom. Reason., June, 2025

2023

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers.

Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2020

Monadification of attribute grammars.

Dawn Michaelson, Eric Van Wyk

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

2017

Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant.

Dawn Michaelson

CoRR, 2017