Hanna Lachnitt

According to our database, Hanna Lachnitt authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Generating and Exploiting Automated Reasoning Proof Certificates.

Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar

Commun. ACM, October, 2023

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Dataset, October, 2023

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format.

Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Automatic Verification of SMT Rewrites in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), 2023

2022

cvc5: A Versatile and Industrial-Strength SMT Solver.

Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Axiomatic hardware-software contracts for security.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

Flexible Proof Production in an Industrial-Strength SMT Solver.

Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Certified Quantum Computation in Isabelle/HOL.

Anthony Bordg, Hanna Lachnitt, Yijun He

J. Autom. Reason., 2021

Relational Models of Microarchitectures for Formal Security Analyses.

Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel

CoRR, 2021

2020

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.

Anthony Bordg, Hanna Lachnitt, Yijun He

Arch. Formal Proofs, 2020

Formalizing Graph Trail Properties in Isabelle/HOL.

Laura Kovács, Hanna Lachnitt, Stefan Szeider

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020