Leonardo de Moura
Microsoft Research
- Researcher in the
Software Reliability Research group at Microsoft Research.
- Tel.: (425) 421-6987
- Fax: (425) 936-7329
- Email: leonardo AT microsoft DOT com
- Address: One Microsoft Way, Redmond, WA, 98052
Professional interests:
SMT solvers, Decision Procedures, Theorem Proving, Static Analysis.
Projects
News
Publications
- Z3: An Efficient SMT Solver, Leonardo de Moura and Nikolaj Bjørner, Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, 2008.
- Relevancy Propagation, Leonardo de Moura and Nikolaj Bjørner, MSR Technical Note, October 2007.
- Efficient E-matching for SMT solvers, Leonardo de Moura and Nikolaj Bjørner, Conference on Automated Deduction (CADE), Bremen, Germany, 2007.
- Model-based Theory Combination, Leonardo de Moura and Nikolaj Bjørner, Workshop on Satisfiability Modulo Theories (SMT), Berlin, Germany, 2007.
- Design and Results of the Second Satisfiability Modulo Theories Competition (SMT-COMP 2006), Clark Barrett, Leonardo de Moura, and Aaron Stump, Formal Methods in System Design, 2007. To appear.
- A Tutorial on Satisfiability Modulo Theories, Leonardo de Moura, Bruno Dutertre, and Natarajan Shankar, Conference on Computer Aided Verification (CAV), Berlin, Germany, 2007.
- My publications at SRI International.
Slides
- SMT@Microsoft (PDF), Institute for Formal Models and Verification at the Johannes Kepler University in Linz, Austria 2008 (Powerpoint Slides).
- Z3: An Efficient SMT Solver (PDF), TACAS 2008 (Powerpoint Slides).
- Z3: An Efficient SMT Solver, McMaster University 2007.
- SMT@Microsoft, AFM 2007.
- SMT@Microsoft, Intel 2007.
- Developing Efficient SMT Solvers, ESARLT 2007.
- SMT solvers: Introduction & Applications, Cambridge 2007.
- Z3: An Efficient SMT solver, MS Research Cambridge 2007.
- Efficient E-matching for SMT solvers, CADE 2007.
- Z3 0.1: An Efficient SMT solver, SMT-COMP 2007.
- Model-based Theory Combination, SMT 2007.
- Developing Efficient SMT Solvers, CMU 2007.
- Tutorial on SMT solvers, FMCAD 2006.
Professional Activities
Links
Courses