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 DafnyBench: A Benchmark for Formal Software Verification dafny-annotator: AI-Assisted Verification of Dafny Programs Keynote 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 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 MIT 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 DafnyBench: A Benchmark for Formal Software Verification dafny-annotator: AI-Assisted Verification of Dafny Programs 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 Gothenburg Baking for Dafny: A CakeML Backend for Dafny
P Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Towards Proof Stability in SMT-based Program Verification Teaching Types and Non-Interference in Dafny 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 Performant, Readable and Interoperable Rust from Dafny Dafny as Verification-Aware Intermediate Language for Code Generation
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 Verifying the Fisher-Yates Shuffle Algorithm in Dafny Day opening Randomised Testing of the Dafny Compiler: Into the CI Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny Day closing Dafny as Verification-Aware Intermediate Language for Code Generation 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