Leonardo Mendonça de Moura
Orcid: 0000-0002-5158-4726Affiliations:
- Microsoft Research
According to our database1,
Leonardo Mendonça de Moura
authored at least 75 papers
between 1997 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
'do' unchained: embracing local imperativity in a purely functional language (functional pearl).
Proc. ACM Program. Lang., 2022
Log. Methods Comput. Sci., 2022
2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2020
Proc. ACM Program. Lang., 2020
2019
Counting immutable beans: reference counting optimized for purely functional programming.
Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
2018
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018
2017
2016
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Tractability: Practical Approaches to Hard Problems, 2014
2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals.
Proceedings of the Automated Deduction - CADE-24, 2013
Proceedings of the Automated Reasoning and Mathematics, 2013
2012
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
J. Autom. Reason., 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
J. Autom. Reason., 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Automated Deduction, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
2007
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).
Formal Methods Syst. Des., 2007
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007
2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005).
J. Autom. Reason., 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Automated Deduction, 2002
2000
IEE Proc. Softw., 2000
1999
1998
Proceedings of the 1998 International Conference on Software Maintenance, 1998
1997
O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet.
RITA, 1997
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997