Leonardo de Moura		Microsoft
SMT Solvers - Theory, Implementation and Applications
Robert Harper		Carnegie Mellon University
Mechanization of Metatheory Using lf and twelf
Jason Hickey		California Institute of Technology
Compiler Construction in Formal Logical Frameworks
Rustan Leino		Microsoft
Specification and Verification of Programs with Pointers
Sorin Lerner		University of California – San Diego
Leveraging Domain-Specific Languages for Reasoning
Pete Manolios		Northeastern University
Reasoning About Programs with ACL2
Tim Sheard		Portland State University
Putting the Curry-Howard Isomorphism to Work
Christian Urban		TU Munich
Nominal Techniques
Stephanie Weirich		University of Pennsylvania
Coq for Programming Language Metatheory

This page is the property of the University of Oregon