David Darais
University of Maryland

I'm currently a PhD student in computer science under the supervision of David Van Horn. I study static analysis metatheory and formally verified programming. I'm a member of the PLUM group at University of Maryland.

Most recently I developed Galois Transformers, a compositional framework for building static analyzers. Our framework synthesizes large families of analyses and their proofs of soundness for free. We also show how to compose choices in flow sensitivity with other analysis features within the framework. We achieve these results by combining abstract interpretation, monad transformers and monadic interpreters.



Last updated March 27, 2015