Dafny 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (72)

A Alexandre AbreuAbreu, Alexandre INESC TEC, Faculdade de Engenharia, Universidade do Porto Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Franziska AlberAlber, Franziska University of Regensburg Verification of E-Voting Algorithms in Dafny
Lăcrămioara AștefănoaeiAștefănoaei, Lăcrămioara Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
B Alexander BaiBai, Alexander New York UniversityUnited States Tunable Automation in Automated Program Verification
Mantas BakšysBakšys, Mantas University of Cambridge ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
Debangshu BanerjeeBanerjee, Debangshu UIUC DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
Karthikeyan BhargavanBhargavan, Karthikeyan Cryspen, FranceFrance Software Verification meets Real-World Cryptography Keynote Speaker in Keynote Speaker within the Dafny-track
Adem BizidBizid, Adem MIT A benchmark for vericoding: formally verified program synthesis
Olivier BouissouBouissou, Olivier Amazon Web ServicesUnited States ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification DafnyPro: LLM-Assisted Automated Verification for Dafny Programs Committee Member in Steering Committee Chairs within the Dafny-track
Benoît BoyerBoyer, Benoît Mitsubishi Electric R&D Centre Europe, Rennes, FranceFrance A Correct-by-Construction Checker for Validation of Railway Data
Sergiu BursucBursuc, Sergiu Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Oliver ButterleyButterley, Oliver Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Robert BüttnerBüttner, Robert University of Regensburg Verification of E-Voting Algorithms in Dafny
C Noé CanvaCanva, Noé Inria Saclay & Université Paris-Saclay A Correct-by-Construction Checker for Validation of Railway Data
Marco ChiesaChiesa, Marco KTH Royal Institute of Technology Toward Automated, Contamination-free Dafny Benchmark Generation
Ionel Emilian ChiosaChiosa, Ionel Emilian MIT A benchmark for vericoding: formally verified program synthesis
Ștefan CiobâcăCiobâcă, Ștefan Alexandru Ioan Cuza University of IasiRomania The Design of an Interactive Proof Mode for Dafny
D Remi DelmasDelmas, Remi Amazon Web Services ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Fabian Franz DießlDießl, Fabian Franz University of Regensburg Verification of E-Voting Algorithms in Dafny
Quinn DoughertyDougherty, Quinn Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Claire DrossDross, Claire AdaCoreFrance Managing the Proof Context in SPARK
E Theodore EhrenborgEhrenborg, Theodore Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Ran EttingerEttinger, Ran NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan Teaching Automata Theory and Formal Languages with Dafny
G Vladimir GladshteinGladshtein, Vladimir Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean
H Darion HaaseHaase, Darion RWTH Aachen University Diagnostics in Probabilistic Program Verification
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Tunable Automation in Automated Program Verification
Yann HerklotzHerklotz, Yann EPFLSwitzerland Committee Member in Program Committee within the Dafny-track
Roland HerrmannHerrmann, Roland University of Regensburg Verification of E-Voting Algorithms in Dafny
Joffrey HuguetHuguet, Joffrey AdaCoreFrance Managing the Proof Context in SPARK
Kees HuizingHuizing, Kees Eindhoven University of Technology Formal Verification of Minimax Algorithms
J Georges-Axel JaloyanJaloyan, Georges-Axel Ministère de l'Économie et des FinancesFrance Committee Member in Program Committee within the Dafny-track
Patrick JanoschekJanoschek, Patrick University of Regensburg Verification of E-Voting Algorithms in Dafny
Jacques-Henri JourdanJourdan, Jacques-Henri Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles Committee Member in Program Committee within the Dafny-track
K Johannes KanigKanig, Johannes AdaCoreFrance Managing the Proof Context in SPARK
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Diagnostics in Probabilistic Program Verification
Soonho KongKong, Soonho Amazon Web Services ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Ivana KostadinovicKostadinovic, Ivana University of Regensburg Verification of E-Voting Algorithms in Dafny
Dejan KosticKostic, Dejan KTH Royal Institute of Technology Toward Automated, Contamination-free Dafny Benchmark Generation
Jure KukovecKukovec, Jure Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Vitaly KurinKurin, Vitaly Neapolis University PafosCyprus Velvet: A Multi-Modal Verifier for Effectful Programs
L Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Tunable Automation in Automated Program Verification
Thierry LecomteLecomte, Thierry CLEARSYFrance Committee Member in Program Committee within the Dafny-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States The Design of an Interactive Proof Mode for Dafny Committee Member in Steering Committee Chairs within the Dafny-track
Shaowei LinLin, Shaowei Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
M Matteo ManighettiManighetti, Matteo IRIF, Université Paris CitéFrance A Correct-by-Construction Checker for Validation of Railway Data
Claude MarchéMarché, Claude Inria Saclay & Université Paris-Saclay A Correct-by-Construction Checker for Validation of Railway Data
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Ștefan MercașMercaș, Ștefan Alexandru Ioan Cuza University, Iasi, Romania The Design of an Interactive Proof Mode for Dafny
Yannick MoyMoy, Yannick ANSSIFrance Day closing Day opening Committee Member in Program Committee Chairs within the Dafny-track
Sibylle MöhleMöhle, Sibylle University of Regensburg Verification of E-Voting Algorithms in Dafny
O Henrik ObackOback, Henrik University of Regensburg Verification of E-Voting Algorithms in Dafny
P Paul PataultPatault, Paul Université Paris-Saclay - Laboratoire de Méthodes Formelles France Explicit Abstraction Barrier for Autoactive Verification
George PîrleaPîrlea, George National University of SingaporeSingapore Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean
R Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University Verification of E-Voting Algorithms in Dafny
S Mariano ScazzarielloScazzariello, Mariano RISE Research Institutes of Sweden Toward Automated, Contamination-free Dafny Benchmark Generation
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Diagnostics in Probabilistic Program Verification
Ilya SergeySergey, Ilya National University of SingaporeSingapore Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean Committee Member in Program Committee within the Dafny-track
Alok SinghSingh, Alok Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
T Max TanTan, Max MIT A benchmark for vericoding: formally verified program synthesis
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Committee Member in Steering Committee Chairs within the Dafny-track
Max TegmarkTegmark, Max Massachusetts Institute of Technology A benchmark for vericoding: formally verified program synthesis
Roxana-Mihaela TimonTimon, Roxana-Mihaela Alexandru Ioan Cuza University, Iasi, Romania The Design of an Interactive Proof Mode for Dafny
Jean-Baptiste TristanTristan, Jean-Baptiste AmazonUnited States Committee Member in Steering Committee Chairs within the Dafny-track
V Huub van de Weteringvan de Wetering, Huub Eindhoven University of Technology Formal Verification of Minimax Algorithms
Kilian VoßVoß, Kilian University of Regensburg Verification of E-Voting Algorithms in Dafny
W Changjie WangWang, Changjie KTH Royal Institute of Technology Toward Automated, Contamination-free Dafny Benchmark Generation
Wieger WesselinkWesselink, Wieger Eindhoven University of Technology Formal Verification of Minimax Algorithms
Valentina WuWu, Valentina Faculdade de Engenharia, Universidade do Porto Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Z Fabian ZaiserZaiser, Fabian MIT Committee Member in Program Committee within the Dafny-track
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification Day closing DafnyPro: LLM-Assisted Automated Verification for Dafny Programs Day opening Committee Member in Program Committee Chairs within the Dafny-track
Miranda ZhaoZhao, Miranda MIT A benchmark for vericoding: formally verified program synthesis
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean