conf.researchr.org / Olivier Bouissou
Registered user since Thu 21 Nov 2024
Name:Olivier Bouissou
Country:United States
Affiliation:Amazon Web Services
Research interests:Formal verification
Contributions
2026
Dafny
- Committee Member in Steering Committee Chairs within the Dafny 2026-track
- Author of MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification within the Dafny 2026-track
- Author of DafnyPro: LLM-Assisted Automated Verification for Dafny Programs within the Dafny 2026-track
- Author of ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis within the Dafny 2026-track