research
∙
06/15/2022
Searching Entangled Program Spaces
Many problem domains, including program synthesis and rewrite-based opti...
share
research
∙
07/27/2021
Version Space Algebras are Acyclic Tree Automata
Version space algebras are ways of representing spaces of programs which...
research
∙
04/01/2021
Formal Methods for the Informal Engineer: Workshop Recommendations
Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...
research
∙
10/10/2020
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
We develop the first theory of control-flow graphs from first principles...
research
∙
10/28/2017
Capturing the Future by Replaying the Past
Delimited continuations are the mother of all monads! So goes the slogan...
research
∙
07/14/2017