POPL 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (582)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the WITS-track
Alexandre AbreuAbreu, Alexandre INESC TEC, Faculdade de Engenharia, Universidade do Porto Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Verifying Probabilistic Programs Using Separation Logic Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the CPP-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee within the PriSC-track
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands Committee Member in Selection Committee within the POPL Student Research Competition-track
Ozgur AkgunAkgun, Ozgur University of St Andrews, St Andrews, UKUnited Kingdom Committee Member in Program Committee within the PADL-track
Franziska AlberAlber, Franziska University of Regensburg Verification of E-Voting Algorithms in Dafny
Bernardo AlmeidaAlmeida, Bernardo LASIGE, Faculty of Sciences, University of Lisbon Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ricardo AlmeidaAlmeida, Ricardo University of Glasgow, UK Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Programme Chairs within the PADL-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the PLanQC-track
Cezar-Constantin AndriciAndrici, Cezar-Constantin MPI-SPGermany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Committee Member in Programme Chairs within the PADL-track
Samuel ArsacArsac, Samuel ENS LyonFrance Formalizing adhesive category theory in Rocq
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the PEPM-track
Nicola AssoliniAssolini, Nicola University of VeronaItaly Video Co-Chair in Organizing Committee for POPL 2026
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the PEPM-track
Steve AwodeyAwodey, Steve Carnegie Mellon University A Certifying Proof Assistant for Synthetic Mathematics in Lean
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Committee Member in Program Committee within the TPSA-track Committee Member in Organizing Committee within the TPSA-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Committee Member in Program Committee within the RocqPL-track
Pedro H. Azevedo de AmorimAzevedo de Amorim, Pedro H. University of OxfordUnited Kingdom Committee Member in Program Committee within the LAFI-track
Damiano AzzoliniAzzolini, Damiano University of Ferrara Solving hard combinatorial optimization problems with PyQASP
Lăcrămioara AștefănoaeiAștefănoaei, Lăcrămioara Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
B Miriam BackensBackens, Miriam Inria & Loria, Nancy, FranceFrance Committee Member in Program Committee within the PLanQC-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic Committee Member in Program Committee within the PADL-track
Alexander BaiBai, Alexander New York UniversityUnited States Tunable Automation in Automated Program Verification
Alexander BakstBakst, Alexander CertoraUnited States Committee Member in Program Committee within the VMCAI-track
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
Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Debangshu BanerjeeBanerjee, Debangshu UIUC Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation DafnyPro: LLM-Assisted Automated Verification for Dafny Programs
Jialu BaoBao, Jialu Northeastern University Committee Member in Program Committee within the LAFI-track
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance BINSEC: Adapting Symbolic Execution for Binary-level Security Committee Member in Program Committee within the VMCAI-track
Clark BarrettBarrett, Clark Stanford UniversityUnited States Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Student Volunteer Co-Chair in Organizing Committee for POPL 2026
Calvin BeckBeck, Calvin University of Pennsylvania, USACanada Artifact Evaluation Co-Chair in Organizing Committee for POPL 2026 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in Program Committee within the PADL-track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Committee Member in Program Committee within the PADL-track
Frédéric BessonBesson, Frédéric Committee Member in Organizing Committee within the RocqPL-track
Karthikeyan BhargavanBhargavan, Karthikeyan Cryspen, FranceFrance Keynote Speaker in Keynote Speaker within the Dafny-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the PADL-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
Adem BizidBizid, Adem MIT A benchmark for vericoding: formally verified program synthesis
Jasmin BlanchetteBlanchette, Jasmin Ludwig-Maximilians-Universität MünchenGermany Adding Sorts to an Isabelle Formalization of Superposition
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) Committee Member in Program Committee within the PriSC-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance General Chair in Organizing Committee for POPL 2026 Committee Member in Steering Committee within the CPP-track
Rose BohrerBohrer, Rose National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan Committee Member in Program Committee within the POPL -track
Borzoo BonakdarpourBonakdarpour, Borzoo Michigan State University Committee Member in Program Committee within the VMCAI-track
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
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Towards composable proofs of cache coherence protocols Committee Member in Program Committee within the RocqPL-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the PEPM-track
Benoît BoyerBoyer, Benoît Mitsubishi Electric R&D Centre Europe, Rennes, France A Correct-by-Construction Checker for Validation of Railway Data
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in Program Committee within the WITS-track
Joachim BreitnerBreitner, Joachim Lean FRO, LLCGermany Committee Member in Program Committee within the WITS-track
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway Layers of Confluence for Actors
Sergiu BursucBursuc, Sergiu Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Roger BurtonpatelBurtonpatel, Roger University of PennsylvaniaUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Oliver ButterleyButterley, Oliver Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Committee Member in Program Committee within the PADL-track
Robert BüttnerBüttner, Robert University of Regensburg Verification of E-Voting Algorithms in Dafny
C Matthew CaesarCaesar, Matthew UIUC Declarative Debugging for Modern Networks
Martina CamaioniCamaioni, Martina EPFLSwitzerland Towards composable proofs of cache coherence protocols
Marco CampionCampion, Marco INRIA & ENS Paris \| Université PSLFrance Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the GiacoFest-track
Filip Cano CórdobaCano Córdoba, Filip Institute of Science and Technology AustriaAustria Committee Member in Program Committee within the VMCAI-track
Noé CanvaCanva, Noé Inria Saclay & Université Paris-Saclay A Correct-by-Construction Checker for Validation of Railway Data
Mario CarneiroCarneiro, Mario Chalmers University of Technology A Certifying Proof Assistant for Synthetic Mathematics in Lean
Thomas CarottiCarotti, Thomas MIT Foundational Verification of Running-Time Bounds for Interactive Programs
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Committee Member in Program Committee within the PADL-track
Gabriele CeciliaCecilia, Gabriele Augusta University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Milan CeskaCeska, Milan Brno University of Technology Czechia Committee Member in Program Committee within the VMCAI-track
Tej ChajedChajed, Tej UW-MadisonUnited States Committee Member in Program Committee within the PriSC-track
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands Committee Member in Selection Committee within the POPL Student Research Competition-track
Marek ChalupaChalupa, Marek Institute of Science and Technology Austria Co-chair in Artifact Evaluation Committee within the VMCAI-track
Antoine Chambert-LoirChambert-Loir, Antoine Université Paris Cité Formalizing polynomial laws and the universal divided power algebra
Dong ChenChen, Dong Huawei Technologies Co., Ltd Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Hanxi ChenChen, Hanxi Cornell University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda
Liqian ChenChen, Liqian National University of Defense TechnologyChina Committee Member in Program Committee within the VMCAI-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Chih-Hong ChengCheng, Chih-Hong Carl von Ossietzky Universität Oldenburg & Chalmers University of TechnologyGermany Committee Member in Program Committee within the VMCAI-track
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
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Foundational Verification of Running-Time Bounds for Interactive Programs Committee Member in Steering Committee within the CPP-track
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi The Design of an Interactive Proof Mode for Dafny
Reinis CirponsCirpons, Reinis St Andrews University Certifying the decidability of the word problem in monoids at large
Jürgen CitoCito, Jürgen TU WienAustria Committee Member in Program Committee within the LAFI-track
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Committee Member in Program Committee within the PADL-track
Cyril CohenCohen, Cyril Inria, CNRS, ENS Lyon, UCBL, LIPFrance Committee Member in Program Committee within the CPP-track
Joshua M. CohenCohen, Joshua M. Amazon Web Services Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee within the PADL-track
D Sander R. DahmenDahmen, Sander R. Vrije Universiteit Amsterdam Committee Member in Program Committee within the CPP-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Committee Member in Program Committee within the PLanQC-track
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the GiacoFest-track
Lesly-Ann DanielDaniel, Lesly-Ann EURECOMFrance Committee Member in Steering Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track Co-chair in Program Committee within the PriSC-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Committee Member in Program Committee within the POPL -track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the TPSA-track
Sopam DasguptaDasgupta, Sopam The University of Texas at Dallas Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning
Davide DavoliDavoli, Davide Université Côte d’Azur, InriaFrance Committee Member in Program Committee within the PriSC-track
Valeria de Paivade Paiva, Valeria Topos InstituteUnited States Committee Member in Program Committee within the POPL -track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the VMCAI-track
Noé De SantoDe Santo, Noé University of PennsylvaniaUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London Committee Member in Program Committee within the POPL -track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in Organizing Committee within the RocqPL-track
Remi DelmasDelmas, Remi Amazon Web Services ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Martin DesharnaisDesharnais, Martin Ludwig-Maximilians-Universität München Adding Sorts to an Isabelle Formalization of Superposition
Rémi Di GuardiaDi Guardia, Rémi IRIF (CNRS, Université Paris Cité)France Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Fabian Franz DießlDießl, Fabian Franz University of Regensburg Verification of E-Voting Algorithms in Dafny
Rayna DimitrovaDimitrova, Rayna CISPA, GermanyGermany Committee Member in Program Committee within the POPL -track
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Committee Member in Selection Committee within the POPL Student Research Competition-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Organizing Committee within the PLMW @ POPL-track
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Quinn DoughertyDougherty, Quinn Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Paul DownenDownen, Paul University of Massachusetts at LowellUnited States Committee Member in Program Committee within the PEPM-track
Derek DreyerDreyer, Derek MPI-SWSGermany A Recipe for Modular Verification of Generic Tree Traversals
Claire DrossDross, Claire AdaCoreFrance Managing the Proof Context in SPARK
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the CPP-track
Ross DuncanDuncan, Ross Quantinuum Committee Member in Organizing Committee within the PLanQC-track
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Committee Member in Program Committee within the CPP-track
Theodore EhrenborgEhrenborg, Theodore Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Laila ElbeheiryElbeheiry, Laila MPI-SWS A Recipe for Modular Verification of Generic Tree Traversals
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Committee Member in Program Committee within the POPL -track
Andres ErbsenErbsen, Andres Google Foundational Verification of Running-Time Bounds for Interactive Programs
Esra ErdemErdem, Esra Sabanci UniversityTurkey Committee Member in Program Committee within the PADL-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Program Committee within the PEPM-track
Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the VMCAI-track
Javier EsparzaEsparza, Javier Technical University of Munich Committee Member in Program Committee within the VMCAI-track
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
F Claudia FaggianFaggian, Claudia CNRS, Université Paris Cité Committee Member in Program Committee within the PLanQC-track
Uli FahrenbergFahrenberg, Uli Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance Discrete and Continuous Models for Concurrent Systems: From Petri Nets to Directed Spaces
Chris FallinFallin, Chris F5United States Committee Member in Steering Committee within the PriSC-track
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Thiago FelicissimoFelicissimo, Thiago InriaFrance Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Laouen FernetFernet, Laouen University of Copenhagen Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
María Inés de Frutos FernándezFernández, María Inés de Frutos University of Bonn Formalizing polynomial laws and the universal divided power algebra
Daniela FerreiroFerreiro, Daniela Technical University of Madrid and IMDEA Software Institute Multi-Configurable Search Rules in Prolog and Application to Testing
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, University of BordeauxFrance Is Program Synthesis Soluble in Large Language Models? Committee Member in Program Committee within the POPL -track
Davide FissoreFissore, Davide Inria Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the PADL-track
Eugene FlesselleFlesselle, Eugene EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yannick ForsterForster, Yannick INRIAFrance PLMW Co-Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PLMW @ POPL-track Committee Member in Program Committee within the WITS-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the PADL-track
Justine FrankFrank, Justine University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mario FrankFrank, Mario University of PotsdamGermany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Asta Halkjær FromFrom, Asta Halkjær University of CopenhagenDenmark Committee Member in Program Committee within the CPP-track
Aymeric FromherzFromherz, Aymeric InriaFrance Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the PriSC-track
Zhoulai FuFu, Zhoulai State University of New York, Korea Committee Member in Program Committee within the POPL -track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee within the POPL -track
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Committee Member in Artifact Evaluation Committee within the VMCAI-track
Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in Program Committee within the VMCAI-track
Deepak GargGarg, Deepak MPI-SWSGermany A Recipe for Modular Verification of Generic Tree Traversals
Poorva GargGarg, Poorva University of California, Los AngelesIndia Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the LAFI-track
Ilias GarnierGarnier, Ilias France Committee Member in Program Committee within the LAFI-track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Program Committee within the PADL-track
Arka GhoshGhosh, Arka Université de Bordeaux / LaBRI Committee Member in Artifact Evaluation Committee within the VMCAI-track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in Program Committee within the VMCAI-track
Marco GiuntiGiunti, Marco University of AlgarvePortugal Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Vladimir GladshteinGladshtein, Vladimir Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the PEPM-track
Shilpi GoelGoel, Shilpi Centaur Technology, Inc. Committee Member in Program Committee within the CPP-track
Arnaud GolfouseGolfouse, Arnaud Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France Creusot: Formal verification of Rust programs Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Program Committee within the PriSC-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Diversity, Equity, and Inclusion Chair in Organizing Committee for POPL 2026
Sergey GoncharovGoncharov, Sergey University of BirminghamUnited Kingdom Committee Member in Program Committee within the POPL -track
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Kiran GopinathanGopinathan, Kiran University of Illinois Urbana ChampaignUnited States Committee Member in Program Committee within the RocqPL-track
Colin GordonGordon, Colin Drexel UniversityUnited States Associate Chair in Program Committee within the POPL -track
Roberta GoriGori, Roberta University of PisaItaly Committee Member in Program Committee within the TPSA-track
Sebastien GouezelGouezel, Sebastien CNRS and Rennes University Higher order differential calculus in mathlib
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Industrial Relations Co-Chair in Organizing Committee for POPL 2026 Analyzing Shell Scripts
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States Verifying Probabilistic Programs Using Separation Logic
Benjamin GregoireGregoire, Benjamin INRIA Committee Member in Program Committee within the PriSC-track
Samuel GruetterGruetter, Samuel ETH Zurich Foundational Verification of Running-Time Bounds for Interactive Programs Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the RocqPL-track
Yawen GuanGuan, Yawen EPFLSwitzerland Fine-Grained Reasoning About Container-Internal Pointers with Logical Pinning
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Committee Member in Steering Committee within the PriSC-track
Massin GuerdiGuerdi, Massin Ludwig-Maximilians-Universität MünchenGermany A Lambda-Superposition Tactic for Isabelle/HOL
Simon GuilloudGuilloud, Simon EPFLSwitzerland Committee Member in Program Committee within the VMCAI-track
Ashutosh GuptaGupta, Ashutosh Committee Member in Program Committee within the VMCAI-track
Gopal GuptaGupta, Gopal The University of Texas at Dallas Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning REGAL: Extracting implicit rules in text using LLMs with logic program feedback Committee Member in Program Committee within the PADL-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the POPL -track
Armaël GuéneauGuéneau, Armaël Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Lennard GäherGäher, Lennard MPI-SWSGermany Building Blocks for Step-Indexed Program Logics
H Darion HaaseHaase, Darion RWTH Aachen University Diagnostics in Probabilistic Program Verification
Matthew HagueHague, Matthew Royal Holloway University of LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the PADL-track
Russ HarmerHarmer, Russ CNRSFrance Formalizing adhesive category theory in Rocq
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States Mechanizing Synthetic Tait Computability in Istari
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Verifying Probabilistic Programs Using Separation Logic
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Tunable Automation in Automated Program Verification
Sina HazratpourHazratpour, Sina Johns Hopkins University A Certifying Proof Assistant for Synthetic Mathematics in Lean
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance Layers of Confluence for Actors
Yann HerklotzHerklotz, Yann EPFLSwitzerland Towards composable proofs of cache coherence protocols Committee Member in Program Committee within the Dafny-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Multi-Configurable Search Rules in Prolog and Application to Testing
Roland HerrmannHerrmann, Roland University of Regensburg Verification of E-Voting Algorithms in Dafny
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom Committee Member in Program Committee within the PLanQC-track
Michal HečkoHečko, Michal Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kesha HietalaHietala, Kesha Sandia National LaboratoriesUnited States Committee Member in Program Committee within the PLanQC-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg IT University of CopenhagenDenmark Committee Member in Program Committee within the POPL -track Building Blocks for Step-Indexed Program Logics
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States PLMW Co-Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PLMW @ POPL-track
Florent HivertHivert, Florent Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA Certifying the decidability of the word problem in monoids at large Committee Member in Program Committee within the CPP-track
Jana HofmannHofmann, Jana Microsoft Azure ResearchUnited Kingdom Committee Member in Program Committee within the PriSC-track
Lukáš HolíkHolík, Lukáš Brno University of Technology; Aalborg UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Chih-Duo HongHong, Chih-Duo National Chengchi UniversityTaiwan Committee Member in Program Committee within the VMCAI-track
Johannes HostertHostert, Johannes ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Committee Member in Steering Committee within the CPP-track Committee Member in Steering Committee within the PriSC-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Joseph HuaHua, Joseph Carnegie Mellon University A Certifying Proof Assistant for Synthetic Mathematics in Lean
Qifan HuangHuang, Qifan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Committee Member in Artifact Evaluation Committee within the VMCAI-track
Yulong HuangHuang, Yulong University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
David HudákHudák, David Brno University of Technology Committee Member in Artifact Evaluation Committee within the VMCAI-track
Joffrey HuguetHuguet, Joffrey AdaCoreFrance Managing the Proof Context in SPARK
Kees HuizingHuizing, Kees Eindhoven University of Technology Formal Verification of Minimax Algorithms
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the CPP-track
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Committee Member in Program Committee within the POPL -track
I Daniela InclezanInclezan, Daniela Miami University, USA Committee Member in Program Committee within the PADL-track
Apoorv IngleIngle, Apoorv University of IowaUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Verbauwhede IngridIngrid, Verbauwhede KU LeuvenBelgium Committee Member in Program Committee within the PriSC-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Enhancing Symbolic Execution with Machine-Checked Safety Proofs
Yusuke IzawaIzawa, Yusuke Tokyo Metropolitan UniversityJapan Committee Member in Program Committee within the PEPM-track
Yusuf IzmirliogluIzmirlioglu, Yusuf University of Roehampton United Kingdom Committee Member in Program Committee within the PADL-track
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States PC Chair in Organizing Committee for POPL 2026 Program Chair in Program Committee within the POPL -track
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
Thomas P. JensenJensen, Thomas P. INRIA Rennes Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Evan JohnsonJohnson, Evan NYUUnited States Committee Member in Program Committee within the PriSC-track
Eddie JonesJones, Eddie University of BristolUnited Kingdom Committee Member in Program Committee within the POPL -track
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance Creusot: Formal verification of Rust programs Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
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
Ralf JungJung, Ralf ETH ZurichSwitzerland Student Research Competition Co-Chair in Organizing Committee for POPL 2026 Student Research Competition Co-Chair in Selection Committee within the POPL Student Research Competition-track
Sebastian JungesJunges, Sebastian Committee Member in Program Committee within the VMCAI-track
K Konstantinos KallasKallas, Konstantinos University of California, Los AngelesUnited States Analyzing Shell Scripts
Adharsh KamathKamath, Adharsh United States Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Organizing Committee within the PEPM-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Committee Member in Program Committee within the TPSA-track
Shuanglong KanKan, Shuanglong Barkhausen Institute, DresdenGermany Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
Johannes KanigKanig, Johannes AdaCoreFrance Managing the Proof Context in SPARK
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Diagnostics in Probabilistic Program Verification
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance Committee Member in Program Committee within the CPP-track
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIFFrance Committee Member in Program Committee within the POPL -track
Steven KeuchelKeuchel, Steven KU LeuvenBelgium Committee Member in Program Committee within the PriSC-track
Ayrat KhalimovKhalimov, Ayrat Committee Member in Artifact Evaluation Committee within the VMCAI-track
Harun KhanKhan, Harun Stanford University Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Yonghyun KimKim, Yonghyun MPI-SP Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Committee Member in Steering Committee within the CPP-track
Åsmund Aqissiaq Arild KløvstadKløvstad, Åsmund Aqissiaq Arild University of Oslo (UiO) Layers of Confluence for Actors
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Committee Member in Program Committee within the PEPM-track
Jan KofroňKofroň, Jan Charles UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland Committee Member in Program Committee within the POPL -track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Program Committee within the POPL -track
Soonho KongKong, Soonho Amazon Web Services ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States A Rose Tree is Blooming (Proof Pearl) Committee Member in Program Committee within the PriSC-track
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
Angeliki Koutsoukou-ArgyrakiKoutsoukou-Argyraki, Angeliki Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the CPP-track
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Associate Chair in Program Committee within the POPL -track
Maite KramarzKramarz, Maite University of TorontoCanada Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Klaus KraßnitzerKraßnitzer, Klaus ISTA Committee Member in Artifact Evaluation Committee within the VMCAI-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Associate Chair in Program Committee within the POPL -track A Recipe for Modular Verification of Generic Tree Traversals Building Blocks for Step-Indexed Program Logics
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT BombayIndia Committee Member in Program Committee within the POPL -track
Mathias Faber KristiansenKristiansen, Mathias Faber IT University of Copenhagen Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
Jure KukovecKukovec, Jure Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Steering Committee within the VMCAI-track
Vitaly KurinKurin, Vitaly Neapolis University Pafos Velvet: A Multi-Modal Verifier for Effectful Programs
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Committee Member in Program Committee within the VMCAI-track
Vincent LafeychineLafeychine, Vincent Université Paris-Saclay Creusot: Formal verification of Rust programs
Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance Committee Member in Program Committee within the POPL -track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Committee Member in Program Committee within the POPL -track
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States Video Co-Chair in Organizing Committee for POPL 2026
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in Selection Committee within the POPL Student Research Competition-track
Dominique Larchey-WendlingLarchey-Wendling, Dominique CNRS, LORIAFrance Bar Inductive Predicates for Constructive Algebra in Rocq
Pascal LasnierLasnier, Pascal University of Cambridge Brack: A Verified Compiler for Scheme via CakeML
Pascal Y. LasnierLasnier, Pascal Y. A One-Pass CPS Transform with Simulation on the Nose
Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Tunable Automation in Automated Program Verification
Thierry LecomteLecomte, Thierry CLEARSYFrance Committee Member in Program Committee within the Dafny-track
Jaeseong LeeLee, Jaeseong The University of Texas at Dallas Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning
Nian-Ze LeeLee, Nian-Ze National Taiwan University, TaiwanTaiwan Committee Member in Program Committee within the VMCAI-track
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea Committee Member in Program Committee within the POPL -track
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden Committee Member in Program Committee within the CPP-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
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA ListFrance Committee Member in Program Committee within the VMCAI-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Nicola LeoneLeone, Nicola University of Calabria, Italy Solving hard combinatorial optimization problems with PyQASP
Jérôme LerouxLeroux, Jérôme LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, FranceFrance Committee Member in Program Committee within the VMCAI-track Committee Member in Artifact Evaluation Committee within the VMCAI-track
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Michael LeuschelLeuschel, Michael HHUGermany Using Prolog to Translate Set Theory and B to SAT
Michael LeuschelLeuschel, Michael University of Düsseldorf Committee Member in Program Committee within the PADL-track
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Committee Member in Organizing Committee within the LAFI-track Co-chair in Program Committee within the LAFI-track
Gushu LiLi, Gushu University of PennsylvaniaUnited States Committee Member in Program Committee within the PLanQC-track
Runming LiLi, Runming Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Mechanizing Synthetic Tait Computability in Istari
Xuyang LiLi, Xuyang Purdue University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina Co-chair in Artifact Evaluation Committee within the VMCAI-track
Steven LibbyLibby, Steven University of Portland A Functional Logic Perspective on Indentation-Sensitive Parsing (Short Paper)
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Committee Member in Program Committee within the POPL -track
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis TBD
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the VMCAI-track
Shaowei LinLin, Shaowei Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Program Committee within the PADL-track
Yiyun LiuLiu, Yiyun University of Pennsylvania Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Zengyu LiuLiu, Zengyu National University of Defense TechnologyChina Committee Member in Artifact Evaluation Committee within the VMCAI-track
Matthew LutzeLutze, Matthew Aarhus University Committee Member in Program Committee within the WITS-track
Jean-Christophe LéchenetLéchenet, Jean-Christophe Université Côte d’Azur, Inria Mechanized Dominator Tree Certification
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute Multi-Configurable Search Rules in Prolog and Application to Testing
M Lydie MabilMabil, Lydie InriaFrance Local Arrangements Co-Chair in Organizing Committee for POPL 2026
Assia MahboubiMahboubi, Assia INRIAFrance Certifying the decidability of the word problem in monoids at large
Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance Committee Member in Program Committee within the POPL -track Committee Member in Selection Committee within the POPL Student Research Competition-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the PEPM-track
Petar MaksimovićMaksimović, Petar Nethermind; Imperial College LondonUnited Kingdom Committee Member in Program Committee within the TPSA-track
Matteo ManighettiManighetti, Matteo Inria & École PolytechniqueFrance A Correct-by-Construction Checker for Validation of Railway Data
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track
Claude MarchéMarché, Claude Inria Saclay & Université Paris-Saclay A Correct-by-Construction Checker for Validation of Railway Data
Virgil MarionneauMarionneau, Virgil ENS Rennes Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
Chris MartensMartens, Chris Northeastern UniversityUnited States Committee Member in Program Committee within the POPL -track
Tomaz MascarenhasMascarenhas, Tomaz Universidade Federal de Minas Gerais Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Isabella MastroeniMastroeni, Isabella University of VeronaItaly Committee Member in Program Committee within the VMCAI-track
Christoph MathejaMatheja, Christoph DTUDenmark Committee Member in Program Committee within the POPL -track
Nicolas MazzocchiMazzocchi, Nicolas Slovak University of Technology in BratislavaSlovakia Committee Member in Program Committee within the VMCAI-track
Giuseppe MazzottaMazzotta, Giuseppe University of CalabriaItaly Solving hard combinatorial optimization problems with PyQASP Committee Member in Program Committee within the PADL-track
Conor McBrideMcBride, Conor Committee Member in Program Committee within the WITS-track
Jingyi MeiMei, Jingyi Leiden UniversityNetherlands Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the VMCAI-track
Stephen MellMell, Stephen Student Volunteer Co-Chair in Organizing Committee for POPL 2026
Guillaume MelquiondMelquiond, Guillaume Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Certifying the decidability of the word problem in monoids at large
Kayvan MemarianMemarian, Kayvan University of Cambridge Committee Member in Program Committee within the POPL -track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Committee Member in Program Committee within the PADL-track
Ștefan MercașMercaș, Ștefan Alexandru Ioan Cuza University, Iasi, Romania The Design of an Interactive Proof Mode for Dafny
Vincent MihalkovičMihalkovič, Vincent Mr Committee Member in Artifact Evaluation Committee within the VMCAI-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the VMCAI-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Haruto MishinaMishina, Haruto Waseda University Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
James MitchellMitchell, James St Andrews University Certifying the decidability of the word problem in monoids at large
Abdalrhman MohamedMohamed, Abdalrhman Stanford University Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Alexandre MoineMoine, Alexandre New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Benoît MontaguMontagu, Benoît InriaFrance Industrial Relations Co-Chair in Organizing Committee for POPL 2026 Committee Member in Program Committee within the VMCAI-track
José MoralesMorales, José IMDEA Software InstituteSpain Multi-Configurable Search Rules in Prolog and Application to Testing Committee Member in Program Committee within the PADL-track
Yannick MoyMoy, Yannick ANSSIFrance Committee Member in Program Committee Chairs within the Dafny-track
Sayan MukherjeeMukherjee, Sayan Univ Rennes, Inria, CNRS, IRISA, France Committee Member in Artifact Evaluation Committee within the VMCAI-track
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Andrew MyersMyers, Andrew Cornell University Committee Member in Steering Committee within the PriSC-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Verified VCG and Verified Compiler for Dafny Brack: A Verified Compiler for Scheme via CakeML A One-Pass CPS Transform with Simulation on the Nose Committee Member in Program Committee within the PADL-track
Sibylle MöhleMöhle, Sibylle University of Regensburg Verification of E-Voting Algorithms in Dafny
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany Committee Member in Program Committee within the POPL -track
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Committee Member in Program Committee within the PEPM-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the POPL -track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the VMCAI-track
Wojciech NawrockiNawrocki, Wojciech Carnegie Mellon UniversityUnited States A Certifying Proof Assistant for Synthetic Mathematics in Lean
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Program Committee within the VMCAI-track
Max S. NewNew, Max S. University of MichiganUnited States Committee Member in Selection Committee within the POPL Student Research Competition-track
Daniel NezamabadiNezamabadi, Daniel ETH ZurichGermany Verified VCG and Verified Compiler for Dafny
Kim NguyễnNguyễn, Kim Université Paris-SaclayFrance Committee Member in Program Committee within the POPL -track
Christian Emil NielsenNielsen, Christian Emil IT University of Copenhagen Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Steering Committee within the CPP-track
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of StrathclydeUnited Kingdom Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda
Paige Randall NorthNorth, Paige Randall Utrecht University Committee Member in Program Committee within the POPL -track Committee Member in Selection Committee within the POPL Student Research Competition-track
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance Committee Member in Program Committee within the CPP-track
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Committee Member in Program Committee within the POPL -track
O Henrik ObackOback, Henrik University of Regensburg Verification of E-Voting Algorithms in Dafny
Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Santiago Arranz OlmosOlmos, Santiago Arranz Max Planck Institute for Security and Privacy Committee Member in Program Committee within the PriSC-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the POPL -track
P Michele PaganiPagani, Michele LIP - ENS de LyonFrance Committee Member in Program Committee within the POPL -track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee within the PLanQC-track
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Selection Committee within the POPL Student Research Competition-track
Hugo PaquetPaquet, Hugo École Normale Supérieure, PSL University & INRIAFrance Committee Member in Organizing Committee within the LAFI-track Co-chair in Program Committee within the LAFI-track
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Committee Member in Program Committee within the CPP-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Michele PasquaPasqua, Michele University of VeronaItaly Committee Member in Organizing Committee within the GiacoFest-track
Paul PataultPatault, Paul Université Paris-Saclay - Laboratoire de Méthodes Formelles France Explicit Abstraction Barrier for Autoactive Verification
Aurélie PatierPatier, Aurélie University of RennesFrance Local Arrangements Co-Chair in Organizing Committee for POPL 2026
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the PriSC-track
Jennifer PaykinPaykin, Jennifer IntelUnited States Committee Member in Program Committee within the PLanQC-track
Yuxiang PengPeng, Yuxiang Purdue UniversityUnited States Committee Member in Program Committee within the PLanQC-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Roberto PettinauPettinau, Roberto Carl von Ossietzky Universität Oldenburg / University of Oldenburg Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kittiphon PhalakarnPhalakarn, Kittiphon National Institute of Informatics Committee Member in Artifact Evaluation Committee within the VMCAI-track
David PichardiePichardie, David MetaFrance TBD Committee Member in Program Committee within the TPSA-track
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Committee Member in Program Committee within the CPP-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Steering Committee within the CPP-track
Frank PiessensPiessens, Frank KU LeuvenBelgium Committee Member in Steering Committee within the PriSC-track
Wout PiessensPiessens, Wout KU Leuven, Belgium An efficient compiler for the IDP-Z3 knowledge base system
Jakob PiribauerPiribauer, Jakob TU DresdenGermany Committee Member in Program Committee within the VMCAI-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Fine-Grained Reasoning About Container-Internal Pointers with Logical Pinning
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the VMCAI-track
Adrien PommelletPommellet, Adrien EPITA / LREFrance Committee Member in Program Committee within the VMCAI-track
Enrico PontelliPontelli, Enrico Committee Member in Program Committee within the PADL-track
Francesco PontiggiaPontiggia, Francesco TU Wien Committee Member in Artifact Evaluation Committee within the VMCAI-track
François PottierPottier, François InriaFrance Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the RocqPL-track
Damien PousPous, Damien CNRS Formalizing adhesive category theory in Rocq
Swarn PriyaPriya, Swarn Virginia TechUnited States Committee Member in Program Committee within the RocqPL-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Layers of Confluence for Actors
George PîrleaPîrlea, George National University of Singapore, Singapore Veil: Automated and Interactive Verification of Transition Systems Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
Q Weihao QuQu, Weihao Monmouth UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the TPSA-track Committee Member in Organizing Committee within the TPSA-track
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in Program Committee within the PADL-track
Abhiramon RajasekharanRajasekharan, Abhiramon The University of Texas at Dallas REGAL: Extracting implicit rules in text using LLMs with logic program feedback
Robert RandRand, Robert University of ChicagoUnited States Workshops Co-Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Program Committee within the VMCAI-track
Frédéric RecoulesRecoules, Frédéric CEA, List BINSEC: Adapting Symbolic Execution for Binary-level Security Committee Member in Artifact Evaluation Committee within the VMCAI-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mathys RennelaRennela, Mathys WelinqFrance Committee Member in Organizing Committee within the PLanQC-track
Andrew ReynoldsReynolds, Andrew University of IowaUnited States Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Morten RhigerRhiger, Morten Committee Member in Program Committee within the PEPM-track
Fracesco RiccaRicca, Fracesco University of CalabriaItaly Solving hard combinatorial optimization problems with PyQASP
Diletta RigoRigo, Diletta Dipartimento di Matematica, University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the RocqPL-track
Paul RobertRobert, Paul CEA LIST Committee Member in Artifact Evaluation Committee within the VMCAI-track
Shuge RongRong, Shuge Carnegie Mellon University A Certifying Proof Assistant for Synthetic Mathematics in Lean
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Neea RuschRusch, Neea Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University Verification of E-Voting Algorithms in Dafny
S William S. MosesS. Moses, William University of Illinois Urbana-ChampaignUnited States Committee Member in Program Committee within the LAFI-track
Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the LAFI-track
Amr SabrySabry, Amr Indiana UniversityUnited States Committee Member in Program Committee within the POPL -track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Selection Committee within the POPL Student Research Competition-track
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria Committee Member in Program Committee within the POPL -track A Recipe for Modular Verification of Generic Tree Traversals Committee Member in Program Committee within the CPP-track
David SananSanan, David Singapore Institute of Technology Committee Member in Program Committee within the POPL -track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Steering Committee within the VMCAI-track
N. Ege SaraçSaraç, N. Ege CISPA Helmholtz Center for Information Security Committee Member in Artifact Evaluation Committee within the VMCAI-track
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria Committee Member in Program Committee within the PADL-track
Abhiroop SarkarSarkar, Abhiroop ETH ZurichSwitzerland Committee Member in Program Committee within the PriSC-track
Félix Sassus-BourdaSassus-Bourda, Félix ENS Paris Saclay Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Committee Member in Program Committee within the POPL -track
Sota SatoSato, Sota Kyoto UniversityJapan Committee Member in Artifact Evaluation Committee within the VMCAI-track
Ömer Faruk SayilirSayilir, Ömer Faruk University of Twente Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mariano ScazzarielloScazzariello, Mariano RISE Research Institutes of Sweden Toward Automated, Contamination-free Dafny Benchmark Generation
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the PLanQC-track
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Committee Member in Program Committee within the POPL -track
Alan SchmittSchmitt, Alan InriaFrance Workshops Co-Chair in Organizing Committee for POPL 2026
Christoph SchollScholl, Christoph University of FreiburgGermany Committee Member in Program Committee within the VMCAI-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium An efficient compiler for the IDP-Z3 knowledge base system Committee Member in Program Committee within the PADL-track Committee Member in Program Committee within the PEPM-track
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Diagnostics in Probabilistic Program Verification
Michael SchwarzSchwarz, Michael National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yanis SellamiSellami, Yanis CEA, List, Univ. Grenoble Alpes BINSEC: Adapting Symbolic Execution for Binary-level Security
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
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-track
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Committee Member in Steering Committee within the PriSC-track
Mahsa ShirmohammadiShirmohammadi, Mahsa CNRS & IRIF, ParisFrance Committee Member in Program Committee within the POPL -track
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the POPL -track
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States Committee Member in Program Committee within the VMCAI-track
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance TBD
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance Committee Member in Program Committee within the VMCAI-track
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Committee Member in Program Committee within the VMCAI-track
Mário SilvaSilva, Mário Inria Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Alok SinghSingh, Alok Beneficial AI Foundation A benchmark for vericoding: formally verified program synthesis
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Pratap SinghSingh, Pratap CMU Foundational Verification of Running-Time Bounds for Interactive Programs
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in Program Committee within the PriSC-track
Anna SlobodovaIntelSlobodovaIntel, Anna Centaur Technology Committee Member in Program Committee within the CPP-track
Finn SmithSmith, Finn St Andrews University Certifying the decidability of the word problem in monoids at large
Thomas SomersSomers, Thomas Radboud University Nijmegen Building Blocks for Step-Indexed Program Logics
Matthieu SozeauSozeau, Matthieu InriaFrance Committee Member in Program Committee within the POPL -track
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Gaëtan StaquetStaquet, Gaëtan Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004France Committee Member in Artifact Evaluation Committee within the VMCAI-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2026 Student Research Competition Co-Chair in Selection Committee within the POPL Student Research Competition-track Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Sam StatonStaton, Sam University of OxfordUnited Kingdom Associate Chair in Program Committee within the POPL -track Committee Member in Program Committee within the PLanQC-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Committee Member in Steering Committee within the PriSC-track
Leo StefanescoStefanesco, Leo University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Committee Member in Program Committee within the VMCAI-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Terru StübingerStübinger, Terru Karlsruhe Institut für Technologie Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Emmanuel Suarez AcevedoSuarez Acevedo, Emmanuel Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Tarun SureshSuresh, Tarun United States Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Hira Taqdees SyedaSyeda, Hira Taqdees Amazon Web ServicesGermany Committee Member in Program Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Max TanTan, Max MIT A benchmark for vericoding: formally verified program synthesis
Yong Kiam TanTan, Yong Kiam *Institute for Infocomm Research, ASTAR** Verified VCG and Verified Compiler for Dafny
Éric TanterTanter, Éric University of ChileChile Committee Member in Program Committee within the POPL -track
Runzhou TaoTao, Runzhou University of Maryland, College ParkUnited States Committee Member in Program Committee within the POPL -track
Paul TarauTarau, Paul University of North TexasUnited States Committee Member in Program Committee within the PADL-track
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Web Chair in Organizing Committee for POPL 2026 Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee Chairs within the Dafny-track
Enrico TassiTassi, Enrico INRIAFrance Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut
Max TegmarkTegmark, Max Massachusetts Institute of Technology A benchmark for vericoding: formally verified program synthesis
Kayo TeiTei, Kayo Waseda UniversityJapan Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
Holger ThiesThies, Holger Kyoto University Computing Solutions for Systems of Multivariate Ordinary Differential Equations in Rocq
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala UniversitySweden Committee Member in Program Committee within the POPL -track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in Steering Committee within the CPP-track
Roxana-Mihaela TimonTimon, Roxana-Mihaela Alexandru Ioan Cuza University, Iasi, Romania The Design of an Interactive Proof Mode for Dafny
Cesare TinelliTinelli, Cesare University of IowaUnited States Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions
Laura TitoloTitolo, Laura Code MetalUnited States Committee Member in Program Committee within the POPL -track
Andy TockmanTockman, Andy Massachussetts Institute of Technology Foundational Verification of Running-Time Bounds for Interactive Programs
Andrew TolmachTolmach, Andrew Portland State University Committee Member in Program Committee within the PriSC-track
Balazs TothToth, Balazs Ludwig-Maximilians-Universität München Adding Sorts to an Isabelle Formalization of Superposition
Sophie TourretTourret, Sophie Max Planck Institute for Informatics Committee Member in Program Committee within the CPP-track
David TrabishTrabish, David TechnionIsrael Enhancing Symbolic Execution with Machine-Checked Safety Proofs
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Program Committee within the POPL -track Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Steering Committee within the CPP-track
Jean-Baptiste TristanTristan, Jean-Baptiste AmazonUnited States Committee Member in Steering Committee Chairs within the Dafny-track
Tzu-Chun TsaiTsai, Tzu-Chun Academia Sinica Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PLanQC-track
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
Shubham UgareUgare, Shubham MetaUnited States Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
V Huub van de Weteringvan de Wetering, Huub Eindhoven University of Technology Formal Verification of Minimax Algorithms
Niels van der Weidevan der Weide, Niels Radboud University Committee Member in Program Committee within the CPP-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Committee Member in Program Committee within the VMCAI-track
David Van HornVan Horn, David University of MarylandUnited States Committee Member in Program Committee within the POPL -track
Bram VandenbogaerdeVandenbogaerde, Bram Software Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the VMCAI-track
Simon VandeveldeVandevelde, Simon KU Leuven, Belgium An efficient compiler for the IDP-Z3 knowledge base system
Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States Committee Member in Program Committee within the TPSA-track
Nikos VasilakisVasilakis, Nikos Brown UniversityUnited States Analyzing Shell Scripts
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the PriSC-track Co-chair in Program Committee within the PriSC-track
Niki VazouVazou, Niki IMDEA Software Institute Chair in Program Committee within the WITS-track
Joost VennekensVennekens, Joost KU Leuven An efficient compiler for the IDP-Z3 knowledge base system Committee Member in Program Committee within the PADL-track
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech Committee Member in Program Committee within the PriSC-track
Quentin VermandeVermande, Quentin Université Côte d'Azur, Inria Cylindrical Algebraic Decomposition in Coq/Rocq
Jules VillardVillard, Jules MetaUnited Kingdom Committee Member in Program Committee within the TPSA-track Committee Member in Organizing Committee within the TPSA-track
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Kilian VoßVoß, Kilian University of Regensburg Verification of E-Voting Algorithms in Dafny
W Masaki WagaWaga, Masaki Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Johannes WallnerWallner, Johannes Graz University of TechnologyAustria Committee Member in Program Committee within the PADL-track
Anduo WangWang, Anduo Temple University, USA Declarative Debugging for Modern Networks
Changjie WangWang, Changjie KTH Royal Institute of Technology Toward Automated, Contamination-free Dafny Benchmark Generation
Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in Program Committee within the POPL -track
Di WangWang, Di Peking UniversityChina Committee Member in Program Committee within the POPL -track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Committee Member in Program Committee within the POPL -track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the POPL -track
Kazuki WatanabeWatanabe, Kazuki National Institute of Informatics; SOKENDAIJapan Committee Member in Program Committee within the VMCAI-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Virtualization Chair in Organizing Committee for POPL 2026
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the PEPM-track
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Associate Chair in Program Committee within the POPL -track
Philipp WendlerWendler, Philipp LMU Munich Committee Member in Program Committee within the VMCAI-track
Scott WesleyWesley, Scott Dalhousie University Committee Member in Program Committee within the PLanQC-track
Wieger WesselinkWesselink, Wieger Eindhoven University of Technology Formal Verification of Minimax Algorithms
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the PADL-track
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Committee Member in Program Committee within the PEPM-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Thomas WiesWies, Thomas New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Hans WinderixWinderix, Hans KU LeuvenBelgium Committee Member in Program Committee within the PriSC-track
Théo WinterhalterWinterhalter, Théo INRIAFrance Committee Member in Program Committee within the POPL -track
Spencer WoolfsonWoolfson, Spencer Carnegie Mellon University A Certifying Proof Assistant for Synthetic Mathematics in Lean
James WorrellWorrell, James University of OxfordUnited Kingdom Committee Member in Program Committee within the POPL -track
Changshun WuWu, Changshun Université Grenoble Alpes Committee Member in Artifact Evaluation Committee within the VMCAI-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Valentina WuWu, Valentina Faculdade de Engenharia, Universidade do Porto Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
X Li-yao XiaXia, Li-yao LMF, Inria, Université Paris-SaclayFrance Creusot: Formal verification of Rust programs
Ningning XieXie, Ningning University of TorontoCanada Publicity Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PEPM-track
Szumi XieXie, Szumi Eötvös Loránd University (ELTE)Hungary Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yiming XuXu, Yiming LMU Munich A Certifying Proof Assistant for Synthetic Mathematics in Lean
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track Brack: A Verified Compiler for Scheme via CakeML A One-Pass CPS Transform with Simulation on the Nose
Akihisa YamadaYamada, Akihisa AISTJapan Committee Member in Program Committee within the CPP-track
Naoki YamamotoYamamoto, Naoki Waseda UniversityJapan Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
Yue YaoYao, Yue Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Mechanizing Synthetic Tait Computability in Istari
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in Program Committee within the POPL -track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Committee Member in Program Committee within the POPL -track
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for POPL 2026
Geunyeol YuYu, Geunyeol Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tz-Ching YuYu, Tz-Ching EPFL Towards composable proofs of cache coherence protocols
Charles YuanYuan, Charles University of Wisconsin–MadisonUnited States Committee Member in Program Committee within the PLanQC-track
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Committee Member in Program Committee within the VMCAI-track
Fabian ZaiserZaiser, Fabian MIT Committee Member in Program Committee within the Dafny-track Committee Member in Program Committee within the LAFI-track
George ZakhourZakhour, George University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yannick ZakowskiZakowski, Yannick InriaFrance Web Chair in Organizing Committee for POPL 2026 test1 Layers of Confluence for Actors Conference Chair in Organizing Committee within the CPP-track
Vadim ZalivaZaliva, Vadim Tufts University, USAUnited States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2026 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance Committee Member in Organizing Committee within the PLanQC-track PC Chair in Program Committee within the PLanQC-track
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 DafnyPro: LLM-Assisted Automated Verification for Dafny Programs Committee Member in Program Committee Chairs within the Dafny-track
Liao ZhangZhang, Liao Shanghai Jiao Tong University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in Program Committee within the RocqPL-track Committee Member in Program Committee within the LAFI-track
Hanrui ZhaoZhao, Hanrui Committee Member in Artifact Evaluation Committee within the VMCAI-track
Huan ZhaoZhao, Huan National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Miranda ZhaoZhao, Miranda MIT A benchmark for vericoding: formally verified program synthesis
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Veil: Automated and Interactive Verification of Transition Systems Velvet: A Multi-Modal Verifier for Effectful Programs Lessons from Building an Auto-Active Verifier in Lean
Dinghong ZhongZhong, Dinghong Tufts University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the VMCAI-track
Shaopeng ZhuZhu, Shaopeng Industry Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ekaterina ZhuchkoZhuchko, Ekaterina Tallinn University of Technology Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Committee Member in Program Committee within the TPSA-track Committee Member in Organizing Committee within the TPSA-track
Margherita ZorziZorzi, Margherita Committee Member in Program Committee within the PLanQC-track
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the POPL -track
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Steering Committee within the VMCAI-track

POPL 2026 Contributors

Results (582)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia