Dafny 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (59)

A Seth AhrenbachAhrenbach, Seth Beneficial AI FoundationUnited States DafnyBench: A Benchmark for Formal Software Verification PC Member in Program Committee within the Dafny-track
Nada AminAmin, Nada Harvard UniversityUnited States dafny-annotator: AI-Assisted Verification of Dafny Programs DafnyBench: A Benchmark for Formal Software Verification VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD Laurel: Unblocking Automated Verification with Large Language Models
B Siddharth BhatBhat, Siddharth University of Cambridge Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Karnbongkot BoonriongBoonriong, Karnbongkot Imperial College LondonUnited States Randomised Testing of the Dafny Compiler: Into the CI
Olivier BouissouBouissou, Olivier Amazon Helping users to reduce Brittleness in their Dafny programs - a success story
David BrandfonbrenerBrandfonbrener, David Harvard VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
C Federico CassanoCassano, Federico Northeastern University DafnyBench: A Benchmark for Formal Software Verification VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Tej ChajedChajed, Tej UW-MadisonUnited States PC Member in Program Committee within the Dafny-track
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
D Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Randomised Testing of the Dafny Compiler: Into the CI PC Member in Program Committee within the Dafny-track
E Gabriel EbnerEbner, Gabriel Microsoft Research Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
F Sarah FakhouryFakhoury, Sarah Microsoft ResearchUnited States Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the Dafny-track
Sakina FatimaFatima, Sakina University of OttawaCanada Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
H Simon HennigerHenniger, Simon Technical University of Munich VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Sabrina Ruixin HuHu, Sabrina Ruixin Harvard VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
J Georges-Axel JaloyanJaloyan, Georges-Axel Amazon Web Services Lean on Dafny: Exploring Interactive Verification of Dafny Programs in Lean
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Laurel: Unblocking Automated Verification with Large Language Models
K M. Frans KaashoekKaashoek, M. Frans Massachusetts Institute of Technology, USA Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems
L Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Performant, Readable and Interoperable Rust from Dafny
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Keynote Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Tancrède LepointLepoint, Tancrède Amazon Web Services Verifying the Fisher-Yates Shuffle Algorithm in Dafny
Derek LeungLeung, Derek Massachusetts Institute of Technology, USA Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems
Yue Chen LiLi, Yue Chen Massachusetts Institute of Technology Dafny as Verification-Aware Intermediate Language for Code Generation
Chloe LoughridgeLoughridge, Chloe Harvard University dafny-annotator: AI-Assisted Verification of Dafny Programs DafnyBench: A Benchmark for Formal Software Verification VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
M Fabio MadgeMadge, Fabio Automated Reasoning Group, Amazon Web Services Performant, Readable and Interoperable Rust from Dafny
Mikael MayerMayer, Mikael Automated Reasoning Group, Amazon Web Services Verifying the Fisher-Yates Shuffle Algorithm in Dafny Performant, Readable and Interoperable Rust from Dafny
Sean McLaughlinMcLaughlin, Sean Amazon Web Services Lean on Dafny: Exploring Interactive Verification of Dafny Programs in Lean
Md Rakib Hossain MisuMisu, Md Rakib Hossain University of California IrvineUnited States DafnyBench: A Benchmark for Formal Software Verification
Anish MudideMudide, Anish Massachusetts Institute of Technology DafnyBench: A Benchmark for Formal Software Verification
Eric MugnierMugnier, Eric University of California San Diego Laurel: Unblocking Automated Verification with Large Language Models
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Baking for Dafny: A CakeML Backend for Dafny
N Daniel NezamabadiNezamabadi, Daniel Chalmers University of Technology and University of GothenburgSwitzerland Baking for Dafny: A CakeML Backend for Dafny
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Teaching Types and Non-Interference in Dafny Towards Proof Stability in SMT-based Program Verification PC Member in Program Committee within the Dafny-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland PC Member in Program Committee within the Dafny-track
Gabriel PoesiaPoesia, Gabriel Stanford University dafny-annotator: AI-Assisted Verification of Dafny Programs
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Laurel: Unblocking Automated Verification with Large Language Models
Tarun PrasadPrasad, Tarun Harvard VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
R Sibi RajaRaja, Sibi Harvard VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Wojciech RóżowskiRóżowski, Wojciech University College LondonUnited Kingdom Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny Lean on Dafny: Exploring Interactive Verification of Dafny Programs in Lean
S Matthias SchlaipferSchlaipfer, Matthias Amazon Helping users to reduce Brittleness in their Dafny programs - a success story
Ying ShengSheng, Ying Stanford University DafnyBench: A Benchmark for Formal Software Verification
Siva SomayyajulaSomayyajula, Siva Amazon Web Services Dafny as Verification-Aware Intermediate Language for Code Generation Performant, Readable and Interoperable Rust from Dafny
Chuyue SunSun, Chuyue Stanford University DafnyBench: A Benchmark for Formal Software Verification
Qinyi SunSun, Qinyi Massachusetts Institute of Technology DafnyBench: A Benchmark for Formal Software Verification
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
T Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Max TegmarkTegmark, Max Massachusetts Institute of Technology DafnyBench: A Benchmark for Formal Software Verification
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Verifying the Fisher-Yates Shuffle Algorithm in Dafny Performant, Readable and Interoperable Rust from Dafny Steering Committee Chair in Steering Committee Chairs within the Dafny-track
W Remy WillemsWillems, Remy Amazon Helping users to reduce Brittleness in their Dafny programs - a success story
Y Jianang YangYang, Jianang Million.js VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Zhou YuanyuanYuanyuan, Zhou UCSD Laurel: Unblocking Automated Verification with Large Language Models
Z Nickolai ZeldovichZeldovich, Nickolai Massachusetts Institute of Technology, USA Shipwright: A Modular Framework for Verifying Liveness of Byzantine Fault Tolerant Systems
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Session Chair of Keynote (part of Dafny) Session Chair of Proof Stability and Applications (part of Dafny) Session Chair of Verified Code Synthesis (part of Dafny) Session Chair of Backends and Teaching (part of Dafny) Day opening Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny Day closing Dafny as Verification-Aware Intermediate Language for Code Generation Verifying the Fisher-Yates Shuffle Algorithm in Dafny Randomised Testing of the Dafny Compiler: Into the CI PC Chair in Program Committee Chairs within the Dafny-track
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States Towards Proof Stability in SMT-based Program Verification
Robert ZinkovZinkov, Robert University of Oxford VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search