Publications
Recent, selected publications.
2024
- Formalizing Pick’s Theorem in Isabelle/HOLIn Intelligent Computer Mathematics, 2024
- Soundly Handling LinearityProc. ACM Program. Lang., 2024
- Generalized Optimization Modulo TheoriesIn Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I, 2024
- Satisfiability Modulo Theories: A Beginner’s TutorialIn Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, 2024
2023
- Generating and Exploiting Automated Reasoning Proof CertificatesCommun. ACM, 2023
- Reasoning About Vectors: Satisfiability Modulo a Theory of SequencesJ. Autom. Reason., 2023
- Combining Stable Infiniteness and (Strong) PolitenessJ. Autom. Reason., 2023
- Satisfiability Modulo Finite FieldsIn Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, 2023
- Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad HocIn ACM SIGPLAN International Conference on Functional Programming, ICFP’23, Seattle, WA, USA - September 5 - 8, 2023, 2023
- A Type-Based Approach to Divide-and-Conquer Recursion in CoqIn Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2023, Boston, MA, USA - January 18-20, 2023, 2023
2022
- Flexible Proof Production in an Industrial-Strength SMT SolverIn Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, 2022
- cvc5: A Versatile and Industrial-Strength SMT SolverIn Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, 2022
- Partial type constructors in practiceIn Haskell ’22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, 2022