Stefan Zetzsche

17 papers A 1B 3C 1Journal 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
DafnyPro: LLM-Assisted Automated Verification for Dafny Programs.
CoRR
Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche
2025 J jnl
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong
2025 J jnl
CLEVER: A Curated Benchmark for Formally Verified Code Generation.
CoRR
Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
2025 A conf
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny.
ICST
Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson
2025 J jnl
Dafny as Verification-Aware Intermediate Language for Code Generation.
CoRR
Yue Chen Li, Stefan Zetzsche, Siva Somayyajula
2025 J jnl
MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou
2025 J jnl
Verified Foundations for Differential Privacy.
Proc. ACM Program. Lang.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2025 J jnl
Verifying the Fisher-Yates Shuffle Algorithm in Dafny.
CoRR
Stefan Zetzsche, Jean-Baptiste Tristan, Tancrède Lepoint, Mikael Mayer
2024 J jnl
Verified Foundations for Differential Privacy.
CoRR
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Verified Foundations for Differential Privacy.
IACR Cryptol. ePrint Arch.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 C conf
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.
ICTAC
Stefan Zetzsche, Wojciech Rozowski
2024 J jnl
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.
CoRR
Stefan Zetzsche, Wojciech Rozowski
2023 J jnl
Canonical Algebraic Generators in Automata Learning.
CoRR
Stefan Zetzsche
2023 B conf
Generators and Bases for Monadic Closures.
CALCO
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
2022 B conf
Guarded Kleene Algebra with Tests: Automata Learning.
MFPS
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
2021 B conf
Canonical automata via distributive law homomorphisms.
MFPS
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
2020 J jnl
Bases for algebras over a monad.
CoRR
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino