Dawn Michaelson

According to our database, Dawn Michaelson authored at least 4 papers between 2017 and 2023.

Collaborative distances:

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

2023

A Modular Approach to Metatheoretic Reasoning for Extensible Languages.

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk

CoRR, 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