Stefan Zetzsche

According to our database, Stefan Zetzsche authored at least 14 papers between 2020 and 2026.

Collaborative distances:

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

2026

DafnyPro: LLM-Assisted Automated Verification for Dafny Programs.

Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche

CoRR, January, 2026

2025

MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.

Mantas Baksys, Stefan Zetzsche, Olivier Bouissou

CoRR, December, 2025

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis.

Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong

CoRR, December, 2025

CLEVER: A Curated Benchmark for Formally Verified Code Generation.

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

CoRR, May, 2025

Dafny as Verification-Aware Intermediate Language for Code Generation.

Yue Chen Li, Stefan Zetzsche, Siva Somayyajula

CoRR, January, 2025

Verifying the Fisher-Yates Shuffle Algorithm in Dafny.

Stefan Zetzsche, Jean-Baptiste Tristan, Tancrède Lepoint, Mikael Mayer

CoRR, January, 2025

Verified Foundations for Differential Privacy.

Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan

Proc. ACM Program. Lang., 2025

Compiler Fuzzing in Continuous Integration: A Case Study on Dafny.

Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.

Stefan Zetzsche, Wojciech Rozowski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

Canonical Algebraic Generators in Automata Learning.

Stefan Zetzsche

CoRR, 2023

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Guarded Kleene Algebra with Tests: Automata Learning.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

Canonical automata via distributive law homomorphisms.

Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

Bases for algebras over a monad.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

CoRR, 2020