Dafny 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (54)

B Clark BarrettBarrett, Clark Stanford UniversityUnited States CLOVER: Closed-Loop Verifiable Code Generation
Kevin BatzBatz, Kevin RWTH Aachen UniversityGermany Caesar: A Verifier for Probabilistic Programs
Christopher BrixBrix, Christopher RWTH Aachen University Generation of Verified Assembly Code Using Dafny and Reinforcement Learning
C Tej ChajedChajed, Tej UW-MadisonUnited States Verifying a concurrent file system with sequential reasoning
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Programme Committee in Program Committee within the Dafny-track
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Improving the Stability of Type Safety Proofs in Dafny
D Hezi DanielDaniel, Hezi Israel Academic College in Ramat Gan Teaching Logic and Set Theory with Dafny
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom Colouring Flags with Dafny & Idris
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Randomised Testing of the Dafny Compiler
E Ran EttingerEttinger, Ran NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan Teaching Logic and Set Theory with Dafny
F Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Dafny Test Generation
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance Programme Committee in Program Committee within the Dafny-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Dafny Test Generation
G Eli GoldweberGoldweber, Eli University Of Michigan Testing Specifications In Dafny
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
H Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States Improving the Stability of Type Safety Proofs in Dafny
Son HoHo, Son INRIAFrance Incremental Proof Development in Dafny with Module-Based Induction
Jon HowellHowell, Jon VMware ResearchUnited States Domesticating Automation
J Georges-Axel JaloyanJaloyan, Georges-Axel Amazon Web Services Enhancing Proof Stability
K Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Caesar: A Verifier for Probabilistic Programs
Manos KapritsosKapritsos, Manos University of Michigan, USA Testing Specifications In Dafny
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Caesar: A Verifier for Probabilistic Programs
L Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Domesticating Automation Programme Committee in Program Committee within the Dafny-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Steering Committee Chair in Steering Committee within the Dafny-track
Elaine LiLi, Elaine NYUUnited States Programme Committee in Program Committee within the Dafny-track
M Christoph MathejaMatheja, Christoph DTUDenmark Caesar: A Verifier for Probabilistic Programs
Sean McLaughlinMcLaughlin, Sean Amazon Web Services Portfolio Solving for Dafny Enhancing Proof Stability
Eric MercerMercer, Eric Brigham Young UniversityUnited States Verifying Dafny Contract Integrity
Eric MugnierMugnier, Eric University of California San Diego Portfolio Solving for Dafny
Peter MüllerMüller, Peter ETH ZurichSwitzerland Programme Committee in Program Committee within the Dafny-track
N James NobleNoble, James Creative Research & ProgrammingNew Zealand Learn 'em Dafny Colouring Flags with Dafny & Idris
P Oded PadonPadon, Oded VMware ResearchUnited States Domesticating Automation CLOVER: Closed-Loop Verifiable Code Generation
Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States Incremental Proof Development in Dafny with Module-Based Induction
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Programme Committee in Program Committee within the Dafny-track
R Florian RabeRabe, Florian Amazon Web Services Enhancing Proof Stability
Zvonimir RakamaricRakamaric, Zvonimir Amazon Web ServicesUnited States Dafny Test Generation
Gianluca RedondiRedondi, Gianluca Fondazione Bruno Kessler Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
S Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Caesar: A Verifier for Probabilistic Programs
Ying ShengSheng, Ying Stanford University CLOVER: Closed-Loop Verifiable Code Generation
Dilan ShethSheth, Dilan Imperial College London Randomised Testing of the Dafny Compiler
Pranav SrinivasanSrinivasan, Pranav University of Michigan / VMware Research Domesticating Automation
Chuyue SunSun, Chuyue Stanford University CLOVER: Closed-Loop Verifiable Code Generation
T Joseph TassarottiTassarotti, Joseph NYUUnited States Session Chair of Probabilistic Programs and Testing / Verifying Contracts (part of Dafny) Session Chair of Testing and Teaching / Comparison (part of Dafny) Day opening Day closing Program Chair in Program Chairs within the Dafny-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States Portfolio Solving for Dafny Dafny Test Generation
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States Improving the Stability of Type Safety Proofs in Dafny
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Generation of Verified Assembly Code Using Dafny and Reinforcement Learning VMC: a Dafny Library for Verified Monte Carlo Algorithms Randomised Testing of the Dafny Compiler Steering Committee Chair in Steering Committee within the Dafny-track
U Alex UsherUsher, Alex Imperial College London Randomised Testing of the Dafny Compiler
V Armin VakilVakil, Armin University Of Michigan Testing Specifications In Dafny
W Cassidy WaldripWaldrip, Cassidy Brigham Young UniversityUnited States Verifying Dafny Contract Integrity
X Tongtong XiangXiang, Tongtong Amazon Web Services Enhancing Proof Stability
Y Weixin YuYu, Weixin University Of Michigan Testing Specifications In Dafny
Z Fabian ZaiserZaiser, Fabian University of Oxford VMC: a Dafny Library for Verified Monte Carlo Algorithms
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Session Chair of Code Generation (part of Dafny) Session Chair of Applications (part of Dafny) Session Chair of Proof Stability / Brittleness / Scale (part of Dafny) VMC: a Dafny Library for Verified Monte Carlo Algorithms Day opening Day closing Program Chair in Program Chairs within the Dafny-track