Dawn Michaelson

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 4

Top Topics

Attribute Grammars

Highly Expressive

Top Venues

Publications

Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk
A Modular Approach to Metatheoretic Reasoning for Extensible Languages. CoRR (2023)
Dawn Michaelson, Dominik Schreiber, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. TACAS (1) (2023)
Dawn Michaelson, Eric Van Wyk
Monadification of attribute grammars. SLE (2020)
Dawn Michaelson
Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant. CoRR (2017)