PLDI 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (750)

A Zain K AamerAamer, Zain K University of PennsylvaniaUnited States Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University; Mälardalen UniversitySweden Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Coşku AcayAcay, Coşku Observe, Inc.United States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sara AchourAchour, Sara Stanford UniversityUnited States CoTenN: Constrained Optimization with Tensor Networks Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrew AdamsAdams, Andrew Adobe ResearchUnited States Bonsai: Compiling Queries to Pruned Tree Traversals
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Contextual Refinement of Higher-Order Concurrent Probabilistic Programs Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
Jung Ho AhnAhn, Jung Ho Seoul National UniversitySouth Korea Committee Member in Program Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Willow AhrensAhrens, Willow Massachusetts Institute of TechnologyUnited States Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2026
Aditya AkellaAkella, Aditya UT Austin MatchBox: A Semantic Foundation for Data Plane Portability
Soramichi AkiyamaAkiyama, Soramichi Ritsumeikan UniversityJapan Committee Member in Program Committee within the ISMM-track
Shoaib AkramAkram, Shoaib Australian National University, AustraliaAustralia FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States The Rise & Collapse of a Quantum State
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cass AlexandruAlexandru, Cass RPTU Kaiserslautern-LandauGermany Intrinsically Correct Algorithms and Recursive Coalgebras
Karim AliAli, Karim NYU Abu DhabiUnited Arab Emirates Committee Member in Program Committee within the SOAP-track
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Clément AllainAllain, Clément INRIAFrance A Verified Parallel Scheduler for OCaml 5
Anoud AlshnakatAlshnakat, Anoud KTH Royal Institute of Technology Committee Member in Program Committee within the PLDI Student Research Competition-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Title TBD
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Modular GPU Programming with Typed Perspectives
Nada AminAmin, Nada Harvard UniversityUnited States Compiling to Recurrent Neurons
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason AnselAnsel, Jason MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
Russel ArboreArbore, Russel University of California, BerkeleyUnited States Optimism in Equality Saturation
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Program Committee within the SOAP-track
Jai AroraArora, Jai University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gaurav AryaArya, Gaurav Carnegie Mellon UniversityUnited States GradInf: Gradient Estimation as Probabilistic Inference
Aslan AskarovAskarov, Aslan Aarhus UniversityDenmark The Downgrading Semantics of Memory Safety
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Soteria: Efficient Symbolic Execution as a Functional Library
B David B. WhalleyB. Whalley, David Programme Committee in Program Committee within the LCTES-track
A. R. BalasubramanianBalasubramanian, A. R. Technical University of MunichGermany State Space Estimation for DPOR-Based Model Checkers
Jonathan BalkindBalkind, Jonathan UC Santa BarbaraUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
Ansuman BanerjeeBanerjee, Ansuman Indian Statistical Institute Kolkata Programme Committee in Program Committee within the LCTES-track
Debangshu BanerjeeBanerjee, Debangshu University of Illinois at Urbana-ChampaignUnited States Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Rini BanerjeeBanerjee, Rini University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Manya BansalBansal, Manya Massachusetts Institute of TechnologyUnited States Modular GPU Programming with Typed Perspectives
Yuyan BaoBao, Yuyan Augusta UniversityUnited States Typestate via Revocable Capabilities Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Sara BaradaranBaradaran, Sara University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mikhail BarashBarash, Mikhail University of BergenNorway Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Hybrid Path-Sums for Hybrid Quantum Programs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shraddha BarkeBarke, Shraddha Microsoft Research, RedmondUnited States Committee Member in Organizing Committee within the PAgE-track
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited States Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation
Mako P. BatesBates, Mako P. University of VermontUnited States Committee Member in Program Committee within the CP-track
Kevin BatzBatz, Kevin RWTH Aachen UniversityGermany Weighted NetKAT: A Programming Language For Quantitative Network Verification
Rohan BavishiBavishi, Rohan AmazonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hanno BeckerBecker, Hanno Amazon Web ServicesUnited Kingdom Deep dive into the AWS Nitro Isolation Engine
Bernhard BeckertBeckert, Bernhard Karlsruhe Institute of TechnologyGermany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Gilbert BernsteinBernstein, Gilbert University of WashingtonUnited States A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ivan BeschastnikhBeschastnikh, Ivan The University of British ColumbiaCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pramod BhatotiaBhatotia, Pramod TU MunichGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kalyan BhetwalBhetwal, Kalyan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
London BielickeBielicke, London UCLAUnited States Causality and Semantic Separation
Angelos BilasBilas, Angelos Foundation for Research and Technology Hellas and University of Crete, GreeceGreece FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Walter BinderBinder, Walter USI LuganoSwitzerland Programme Committee in Program Committee within the LCTES-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Iris-WasmFX: Modular Reasoning for Wasm Stack Switching Contextual Refinement of Higher-Order Concurrent Probabilistic Programs Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic Cerisier: A Program Logic for Attestation in a Capability Machine
Nikolaj BjørnerBjørner, Nikolaj Microsoft ResearchUnited States EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
Nicolas BlancoBlanco, Nicolas CEA List & Université Paris-SaclayFrance Hybrid Path-Sums for Hybrid Quantum Programs
Rastislav BodíkBodík, Rastislav Google Research, Brain TeamUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in Program Committee within the ISMM-track
Jérôme BoillotBoillot, Jérôme Thales Research & TechnologyFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael D. BondBond, Michael D. Ohio State UniversityUnited States &inator: Correct, Precise C-to-Rust Interface Translation Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Fraser BrownBrown, Fraser CMU Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dakota BryanBryan, Dakota Social Co-Chair in Organizing Committee for PLDI 2026
Alexandra BugariuBugariu, Alexandra University of ZurichSwitzerland Committee Member in Program Committee within the PLDI Student Research Competition-track
Roger BurtonpatelBurtonpatel, Roger University of PennsylvaniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Martin BurtscherBurtscher, Martin Texas State University Committee Member in Program Committee within the ARRAY-track
C Yi CaiCai, Yi University of Maryland Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
Simone CampanoniCampanoni, Simone Google / Northwestern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Eric CampbellCampbell, Eric UT AustinUnited States MatchBox: A Semantic Foundation for Data Plane Portability Optimal Predicate Pushdown Synthesis
Sarah Canto HyattCanto Hyatt, Sarah University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Denis CarnierCarnier, Denis KU LeuvenBelgium Cerisier: A Program Logic for Attestation in a Capability Machine
Maria Carpen-AmarieCarpen-Amarie, Maria Hitachi Energy Research, Switzerland Committee Member in Program Committee within the ISMM-track
Chris CasinghinoCasinghino, Chris Jane Street A guided tour through Oxidized OCaml
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Program Chair in Organizing Committee within the LCTES-track
Gabriele CeciliaCecilia, Gabriele Computer and Cyber Sciences, Augusta University, Georgia, USAItaly Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jahrim Gabriele CesarioCesario, Jahrim Gabriele University of St. GallenSwitzerland Versioned E-Graphs
Milind ChabbiChabbi, Milind Uber TechnologiesUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Satish ChandraChandra, Satish Meta Platforms, Inc.United States Associate Chair in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the Tom Ball at Sixty-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States General Chair in Organizing Committee for PLDI 2026
Le ChangChang, Le University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Christopĥe CharetonChareton, Christopĥe CEA, LIST, FranceFrance Hybrid Path-Sums for Hybrid Quantum Programs
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Navigating AND–OR Graph Modifications to Debug Failing Proofs
Prasanth ChatarasiChatarasi, Prasanth IBM ResearchUnited States Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria SuperDP: Differential Privacy Refutation via Supermartingales
Agnishom ChattopadhyayChattopadhyay, Agnishom ImironJapan Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hanxi ChenChen, Hanxi Cornell University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hongyu ChenChen, Hongyu University of California, IrvineUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2026
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu New York University, University of AlbertaUnited States Web Co-Chair in Organizing Committee for PLDI 2026 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qinlin ChenChen, Qinlin Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Victor ChenChen, Victor The Ohio State UniversityUnited States &inator: Correct, Precise C-to-Rust Interface Translation
Xiang ChenChen, Xiang The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xionghui ChenChen, Xionghui School of Artificial Intelligence, Nanjing UniversityChina SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Yanju ChenChen, Yanju University of California, San DiegoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zheyuan ChenChen, Zheyuan UC Santa CruzUnited States SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior
Ruotong ChengCheng, Ruotong University of TorontoCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiao ChengCheng, Xiao Macquarie UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Optimism in Equality Saturation
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs Causality and Semantic Separation
Minki ChoCho, Minki FuriosaAI Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Younghyun ChoCho, Younghyun Santa Clara University Programme Committee in Program Committee within the LCTES-track
Jongouk ChoiChoi, Jongouk University of Central FloridaUnited States Programme Committee in Program Committee within the LCTES-track
Jongsok ChoiChoi, Jongsok MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
Nathan ChongChong, Nathan Amazon Web ServicesUnited States Deep dive into the AWS Nitro Isolation Engine
Kavya ChopraChopra, Kavya ETH ZurichSwitzerland Semantic Reification: A New Paradigm for Random Program Generation
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers UniversityUnited States Committee Member in Program Committee within the ARRAY-track
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited Kingdom Dynamically Checked Deep Immutability in Python
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Byron CookCook, Byron AmazonUnited States Committee Member in Organizing Committee within the Tom Ball at Sixty-track
Arthur CorrensonCorrenson, Arthur CISPA Helmholtz Center for Information SecurityGermany A Deductive System for Contract Satisfaction Proofs
Ayden CoughlinCoughlin, Ayden The Ohio State UniversityUnited States &inator: Correct, Precise C-to-Rust Interface Translation
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Committee Member in Program Committee within the PLDI Student Research Competition-track Committee Member in Program Committee within the EGRAPHS-track
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track A guided tour through Oxidized OCaml
Huimin CuiCui, Huimin Institute of Computing Technology, Chinese Academy of SciencesChina SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jiacai CuiCui, Jiacai Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Joseph W. CutlerCutler, Joseph W. University of PennsylvaniaUnited States Modular GPU Programming with Typed Perspectives
Jack CzenszakCzenszak, Jack Yale UniversityUnited States Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs Categorical Semantics of Probabilistic Symbolic Execution
D Loris D'AntoniD'Antoni, Loris University of California at San DiegoUnited States Committee Member in Program Committee within the PAgE-track
Deepak D'SouzaD'Souza, Deepak Indian Institute of ScienceIndia Verification Modulo Tested Library Contracts
Vinicius da Silvada Silva, Vinicius Federal University of Minas Gerais (UFMG)Brazil Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aochu DaiDai, Aochu Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sana DamaniDamani, Sana NVIDIA SuperCollider: Scalable and Effective Data Race Detection for CUDA
Siddharth DangwalDangwal, Siddharth University of Chicago CoTenN: Constrained Optimization with Tensor Networks
Thibault DardinierDardinier, Thibault EPFLSwitzerland Hyper Separation Logic
Kanak DasDas, Kanak University of California, RiversideUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Cristina DavidDavid, Cristina University of BristolUnited Kingdom TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Peli de Halleuxde Halleux, Peli Microsoft ResearchUnited States Committee Member in Organizing Committee within the PAgE-track
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London Backwards-Compatible Row-Based Exceptions in ML
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada Committee Member in Program Committee within the ARRAY-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Trace-Guided Synthesis of Effectful Test Generators
Brian DemskyDemsky, Brian University of California at Irvine Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Haotian DengDeng, Haotian Purdue UniversityUnited States Typestate via Revocable Capabilities
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Trace-Guided Synthesis of Effectful Test Generators Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Cerisier: A Program Logic for Attestation in a Capability Machine
Christian DietrichDietrich, Christian Technische Universität BraunschweigGermany Program Chair in Organizing Committee within the LCTES-track
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation MatchBox: A Semantic Foundation for Data Plane Portability Optimal Predicate Pushdown Synthesis
Danny DingDing, Danny University of Texas at Austin Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
My DinhDinh, My Illinois Institute of TechnologyUnited States Responsive Parallelism with Dynamic and First-Class Priorities
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Publicity Co-Chair in Organizing Committee for PLDI 2026
Robert DockinsDockins, Robert Amazon Deep dive into the AWS Nitro Isolation Engine
Mike DoddsDodds, Mike Galois, IncUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Uniformity Analysis in the WebGPU Shading Language
James DongDong, James Stanford UniversityUnited States A Compiler for Fused Relational Operations on Multisets
Rui DongDong, Rui University of MichiganUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Yifan DongDong, Yifan Aarhus UniversityDenmark Fast Atomicity Monitoring
Derek DreyerDreyer, Derek MPI-SWSGermany VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Linfeng DuDu, Linfeng The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Zhen DuDu, Zhen Institute of Computing Technology, Chinese Academy of SciencesChina SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Persistent Iterators with Value Semantics
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in Program Committee within the SOAP-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Oghenevwogaga EbresafeEbresafe, Oghenevwogaga University of TorontoCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dimitrios J. EconomouEconomou, Dimitrios J. University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Chelsea EdmondsEdmonds, Chelsea The University of Western AustraliaAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States A guided tour through Oxidized OCaml
Laila ElbeheiryElbeheiry, Laila MPI-SWSGermany VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
Oliver Emil BøvingEmil Bøving, Oliver Technical University of DenmarkDenmark Weighted NetKAT: A Programming Language For Quantitative Network Verification
Sebastian ErdwegErdweg, Sebastian KITGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ian Erik VarataluErik Varatalu, Ian Tallinn University of Technology, EstoniaEstonia EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
Patrick EugsterEugster, Patrick USI Lugano, SwitzerlandSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
F Babak FalsafiFalsafi, Babak EPFL Committee Member in Program Committee within the ISMM-track
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kayvon FatahalianFatahalian, Kayvon Stanford UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Committee Member in Program Committee within the ISMM-track
Will FengFeng, Will Writing Performance-Portable Kernels Simplified with Helion
Xiaobing FengFeng, Xiaobing ICT CASChina SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Tiago FerreiraFerreira, Tiago University College LondonUnited Kingdom Weighted NetKAT: A Programming Language For Quantitative Network Verification
Jonas FialaFiala, Jonas ETH ZürichSwitzerland Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal Committee Member in Program Committee within the PLDI Student Research Competition-track
Yannick ForsterForster, Yannick INRIAFrance Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Jessica FosterFoster, Jessica University of BristolUnited Kingdom Contextual Embeddings: Implementing Bound Variables through Instance Resolution
Nate FosterFoster, Nate EPFL and Jane StreetUnited States Weighted NetKAT: A Programming Language For Quantitative Network Verification
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the CP-track
José Fragoso SantosFragoso Santos, José INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Eden FrenkelFrenkel, Eden Tel Aviv UniversityIsrael Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Samantha FrohlichFrohlich, Samantha University of BristolUnited Kingdom Contextual Embeddings: Implementing Bound Variables through Instance Resolution
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhoulai FuFu, Zhoulai SUNY Korea; Virginia Tech; Stony Brook University Scalable Floating-Point Satisfiability via Staged Optimization
G Mingyu GaoGao, Mingyu Tsinghua University Committee Member in Program Committee within the ISMM-track
Michael GarlandGarland, Michael NVIDIAUnited States SuperCollider: Scalable and Effective Data Race Detection for CUDA
Jinming GeGe, Jinming The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Herman GeuversGeuvers, Herman Radboud University Nijmegen, Netherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andrea GilotGilot, Andrea Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Marco GiuntiGiunti, Marco University of AlgarvePortugal Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Gwihwan GoGo, Gwihwan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Purvi GoelGoel, Purvi Stanford UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals
Andrés GoensGoens, Andrés TU DarmstadtGermany A Formally Verified Foundation for Compositional Heterogeneous Coherence Committee Member in PLDI Review Committee within the PLDI Research Papers-track Programme Committee in Program Committee within the LCTES-track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar University of OxfordUnited Kingdom Parameterized Algorithms and Complexity for Function Merging with Branch Reordering Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Harrison GoldsteinGoldstein, Harrison University at Buffalo, the State University of New York at BuffaloUnited States The Search for Constrained Random Generators
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Shaurya GomberGomber, Shaurya University of Illinois Urbana-ChampaignUnited States Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the PLDI Student Research Competition-track Committee Member in Program Committee within the CP-track
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of UtahUnited States Committee Member in Organizing Committee within the ARRAY-track
Trayan GospodinovGospodinov, Trayan INSAIT, Sofia University “St. Kliment Ohridski”Bulgaria Hyper Separation Logic
Pierre GoutagnyGoutagny, Pierre Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Francisco GouveiaGouveia, Francisco INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Eva GraversenGraversen, Eva Tallinn University of TechnologyEstonia Committee Member in Organizing Committee within the CP-track
Gavin GrayGray, Gavin Brown UniversityUnited States A guided tour through Oxidized OCaml
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ben GreenmanGreenman, Ben University of Utah, USA Committee Member in Program Committee within the CP-track
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Johannes GrieblerGriebler, Johannes University of GöttingenGermany SSA without Dominance for Higher-Order Programs
Tobias GrosserGrosser, Tobias University of CambridgeUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Organizing Committee within the PAgE-track
Boris GrotGrot, Boris University of Edinburgh, UK Committee Member in Program Committee within the ISMM-track
David GroveGrove, David IBM ResearchUnited States Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiuhan GuGu, Qiuhan University of Illinois Urbana-Champaign Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track SAIL: Sound Abstract Interpreters with LLMs
Ronghui GuGu, Ronghui Columbia University Equality Saturation for Quantum Circuit Optimization
Arjun GuhaGuha, Arjun Northeastern University, USAUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2026
Yujiang GuiGui, Yujiang UNSWAustralia Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
Sabína GulčíkováGulčíková, Sabína Brno University of TechnologyCzechia Efficient Matching of Regexes with Backreferences using Register Set Automata
Zheng GuoGuo, Zheng University of California, San DiegoUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Christophe GyurgyikGyurgyik, Christophe Stanford University Bonsai: Compiling Queries to Pruned Tree Traversals Decoupling Data Layouts from Bounding Volume Hierarchies
H Mary HallHall, Mary University of UtahUnited States Keynote: Compiler Technologies for Array Programming
Sara S. HamoudaHamouda, Sara S. CanvaAustralia Committee Member in Program Committee within the ISMM-track
Yeji HanHan, Yeji Seoul National UniversitySouth Korea CRiS: The Power of Imagination in Hybrid Verification
Travis HanceHance, Travis MPI-SWS VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System
Frank HannigHannig, Frank Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany Programme Committee in Program Committee within the LCTES-track
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Fungible Memories for Automated Technology Mapping and Re-targeting Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
Vojtěch HavlenaHavlena, Vojtěch Brno University of TechnologyCzechia Efficient Matching of Regexes with Backreferences using Register Set Automata
Dongjie HeHe, Dongjie Chongqing UniversityChina Programme Committee in Program Committee within the LCTES-track
Fei HeHe, Fei Tsinghua UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Siyuan HeHe, Siyuan Purdue UniversityUnited States Typestate via Revocable Capabilities Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Video Co-Chair in Organizing Committee for PLDI 2026
Kihong HeoHeo, Kihong KAISTSouth Korea Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Seonyeong HeoHeo, Seonyeong Kyung Hee UniversitySouth Korea Publicity Chair in Organizing Committee within the LCTES-track Programme Committee in Program Committee within the LCTES-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Programme Committee in Program Committee within the LCTES-track
Benedict HerzogHerzog, Benedict Ruhr University BochumGermany Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Nikolaj Hey HinnerskovHinnerskov, Nikolaj Hey University of Copenhagen, DenmarkDenmark Verifying Array Properties in Pure Data-Parallel Programs
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Committee Member in Organizing Committee within the CP-track
Markus HoehnerbachHoehnerbach, Markus Writing Performance-Portable Kernels Simplified with Helion
Jana HofmannHofmann, Jana Max Planck Institute for Security and Privacy (MPI-SP)Germany A Deductive System for Contract Satisfaction Proofs
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Categorical Semantics of Probabilistic Symbolic Execution
Lukáš HolíkHolík, Lukáš Brno University of Technology; Aalborg UniversityCzechia Efficient Matching of Regexes with Backreferences using Register Set Automata
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Dmytro HrybenkoHrybenko, Dmytro GoogleUnited States Cpp2Rust: Automatic Translation of C++ to Safe Rust
Justin HsuHsu, Justin Cornell UniversityUnited States Synthesizing Backward Error Bounds, Backward
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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 PLDI Research Artifacts-track
Ruikai HuangHuang, Ruikai Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yu HuangHuang, Yu Huazhong University of Science and Technology Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Mathieu HuotHuot, Mathieu MIT GradInf: Gradient Estimation as Probabilistic Inference
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea CRiS: The Power of Imagination in Hybrid Verification
I Yujin ImIm, Yujin Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Eleftherios IoannidisIoannidis, Eleftherios Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hiromi IshiiIshii, Hiromi JIJ Inc., JapanJapan Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Jad IssaIssa, Jad CEA List, France and Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, FranceFrance Hybrid Path-Sums for Hybrid Quantum Programs
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Trace-Guided Synthesis of Effectful Test Generators
Devansh JainJain, Devansh University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Tutorial: End-to-End Compiler Infrastructure for Emerging Tensor Accelerators ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Compiling Strassen-like Matrix Multiplication Algorithms to Fast GPU Kernels
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Minseok JeonJeon, Minseok DGISTSouth Korea Committee Member in Program Committee within the SOAP-track
Seokhun JeongJeong, Seokhun KAIST Mechanized Specifications for Real-World Programming Languages
Aditya Ranjan JhaJha, Aditya Ranjan National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Houxiang JiJi, Houxiang SK hynix AmericaUnited States Committee Member in Program Committee within the ISMM-track
Ruyi JiJi, Ruyi University of Michigan Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Songlin JiaJia, Songlin Purdue University, USAUnited States Typestate via Revocable Capabilities Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Chencheng JiangJiang, Chencheng Stony Brook UniversityUnited States Analyzing Bytes: Pre-disassembly Static Binary Analysis
Xianmeng JiangJiang, Xianmeng Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of ScienceChina Redundant Array Computation Elimination
Xu JiangJiang, Xu Huazhong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Guoliang JinJin, Guoliang North Carolina State UniversityUnited States Programme Committee in Program Committee within the LCTES-track
Ziyue JinJin, Ziyue Peking UniversityChina Abstract Interpretation with Confidence
Egan JohnsonJohnson, Egan University of Illinois at Urbana-ChampaignUnited States Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Matthew A. JohnsonJohnson, Matthew A. Microsoft Azure ResearchUnited Kingdom Dynamically Checked Deep Immutability in Python
Richard JonesJones, Richard University of KentUnited Kingdom Committee Member in Program Committee within the ISMM-track
Mohammad Hossein Khoshechin JorshariJorshari, Mohammad Hossein Khoshechin Max Planck Institute for Software SystemsGermany State Space Estimation for DPOR-Based Model Checkers
Lei JuJu, Lei Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Eunice JunJun, Eunice UCLA Causality and Semantic Separation
Max JungJung, Max University of WaterlooCanada Virtualizing Continuations
Ralf JungJung, Ralf ETH ZurichSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
K Ehsan Kafshdar GoharshadyKafshdar Goharshady, Ehsan Institute of Science and Technology Austria (ISTA) SuperDP: Differential Privacy Refutation via Supermartingales
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2026 Co-chair in Program Committee within the PLDI Student Research Competition-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Konstantinos KallasKallas, Konstantinos University of California, Los AngelesUnited States Publicity Co-Chair in Organizing Committee for PLDI 2026
David Kaloper-MeršinjakKaloper-Meršinjak, David University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Adharsh KamathKamath, Adharsh University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shoaib KamilKamil, Shoaib Adobe ResearchUnited States A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon FuriosaAISouth Korea Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Tobias KappéKappé, Tobias Leiden UniversityNetherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Karan KashyapKashyap, Karan Brown UniversityUnited States Diagramming Program Values by Spatial Refinement
Baris KasikciKasikci, Baris University of Michigan, USAUnited States Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
Hiroyuki KatsuraKatsura, Hiroyuki University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Alex KavvosKavvos, Alex University of BristolUnited Kingdom Contextual Embeddings: Implementing Bound Variables through Instance Resolution
Engin KayrakliogluKayraklioglu, Engin HPE Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Maria KechagiaKechagia, Maria National and Kapodistrian University of AthensGreece Committee Member in Program Committee within the SOAP-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Steven KeuchelKeuchel, Steven KU LeuvenBelgium Cerisier: A Program Logic for Attestation in a Capability Machine
Asif Ali KhanKhan, Asif Ali TU Dresden, GermanyGermany Programme Committee in Program Committee within the LCTES-track
Hanjun KimKim, Hanjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Jeonghyeon KimKim, Jeonghyeon KAISTSouth Korea Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Jieung KimKim, Jieung Yonsei UniversitySouth Korea CRiS: The Power of Imagination in Hybrid Verification
Miryung KimKim, Miryung UCLA and Amazon Web ServicesUnited States Hardening the Foundation: Testing Data and Compute-Intensive AI-Enabling Stacks
Yonghee KimKim, Yonghee Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States A Categorical Basis for Robust Program Analysis
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria Committee Member in Program Committee within the ISMM-track
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals Decoupling Data Layouts from Bounding Volume Hierarchies A Compiler for Fused Relational Operations on Multisets
Dominik KlumppKlumpp, Dominik LIX, CNRS, Ecole PolytechniqueFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Naoki KobayashiKobayashi, Naoki The University of TokyoJapan Solvable Tuple Patterns and Their Applications to Program Verification
Kerim KochekovKochekov, Kerim Hong Kong University of Science and TechnologyHong Kong Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
Iacovos G. KolokasisKolokasis, Iacovos G. Foundation for Research and Technology Hellas and University of Crete, GreeceGreece FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Sijie KongKong, Sijie University of California, Santa BarbaraUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
Konrad KordingKording, Konrad University of PennsylvaniaUnited States Compiling to Recurrent Neurons
Christos KotselidisKotselidis, Christos University of Manchester/Nimble InnovationUnited Kingdom Committee Member in Program Committee within the ISMM-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Backwards-Compatible Row-Based Exceptions in ML
Harlan KringenKringen, Harlan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Programme Committee in Program Committee within the LCTES-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Committee Member in PLDI Review Committee within the PLDI Research Papers-track Programme Committee in Program Committee within the LCTES-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Diagramming Program Values by Spatial Refinement A guided tour through Oxidized OCaml
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Paul KrogmeierKrogmeier, Paul SIGPLAN Track Chair in Organizing Committee for PLDI 2026 Committee Member in Program Committee within the PLDI Student Research Competition-track
Bhargav KulkarniKulkarni, Bhargav School of Computing, University of UtahUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ashwina KumarKumar, Ashwina IIT Madras, IndiaIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Interpreters everywhere!
Satoshi KuraKura, Satoshi Waseda University A Hierarchy of Supermartingales for ω-Regular Verification Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
Youngjin KwonKwon, Youngjin KAIST Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Bastian KöpckeKöpcke, Bastian TU Berlin Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
L Anis LadramLadram, Anis NVIDIAUnited States SuperCollider: Scalable and Effective Data Race Detection for CUDA
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Committee Member in Organizing Committee within the Tom Ball at Sixty-track
Mahesh LakshminarasimhanLakshminarasimhan, Mahesh AMD USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chun Kit LamLam, Chun Kit The Hong Kong University of Science and Technology (HKUST) Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thomas LamiauxLamiaux, Thomas Nantes Université, Inria Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece The Search for Constrained Random Generators
Andreas Stenbæk LarsenLarsen, Andreas Stenbæk Aarhus UniversityDenmark The Downgrading Semantics of Memory Safety
Lukas LazarekLazarek, Lukas Brown University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dongjae LeeLee, Dongjae KAIST Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Jaehyun LeeLee, Jaehyun KAISTSouth Korea Mechanized Specifications for Real-World Programming Languages
Jaehyung LeeLee, Jaehyung Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Juneyoung LeeLee, Juneyoung AWS Towards Removing Undef Values from LLVM IR
Seonho LeeLee, Seonho Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Workshops Co-Chair in Organizing Committee for PLDI 2026
Yongwoo LeeLee, Yongwoo DGIST Programme Committee in Program Committee within the LCTES-track
Zheng Han LeeLee, Zheng Han National University of Singapore, SingaporeSingapore Fixed Parameter Tractable Linearizability Monitoring
James Lee-JonesLee-Jones, James Imperial College LondonUnited Kingdom Uniformity Analysis in the WebGPU Shading Language
Maxime LegoupilLegoupil, Maxime Nanyang Technological University Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Syntactic Implicit Parameters with Static Overloading
Roland LeißaLeißa, Roland University of GöttingenGermany SSA without Dominance for Higher-Order Programs
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA ListFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Efficient Matching of Regexes with Backreferences using Register Set Automata Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs GradInf: Gradient Estimation as Probabilistic Inference
Marelle LeónLeón, Marelle Illinois Institute of TechnologyUnited States Responsive Parallelism with Dynamic and First-Class Priorities
Cong LiLi, Cong ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Semantic Reification: A New Paradigm for Random Program Generation
Elaine LiLi, Elaine NYUUnited States Implementability of Global Distributed Protocols Modulo Network Architectures
Haofeng LiLi, Haofeng Institute of Computing Technology at Chinese Academy of SciencesChina Committee Member in Program Committee within the SOAP-track
Jiajia LiLi, Jiajia North Carolina State University SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Jiajia LiLi, Jiajia North Carolina State UniversityUnited States Committee Member in Program Committee within the ARRAY-track
John LiLi, John Northeastern UniversityUnited States Categorical Semantics of Probabilistic Symbolic Execution
Kaixuan LiLi, Kaixuan Nanyang Technological UniversitySingapore Committee Member in Program Committee within the PLDI Student Research Competition-track
Kun LiLi, Kun Microsoft ResearchChina Redundant Array Computation Elimination
Kwing Hei LiLi, Kwing Hei Aarhus UniversityDenmark Contextual Refinement of Higher-Order Concurrent Probabilistic Programs Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
Ruishi LiLi, Ruishi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shangkun LILI, Shangkun The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Wu Angela LiLi, Wu Angela Rice UniversityUnited States An Efficient Algorithm for Streaming BPE Tokenization
Yihe LiLi, Yihe Persistent Iterators with Value Semantics
Yue LiLi, Yue Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog Program Co-Chair in Organizing Committee within the SOAP-track
Yuekang LiLi, Yuekang UNSWAustralia Programme Committee in Program Committee within the LCTES-track
Zeyu LiLi, Zeyu The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Ziyang LiLi, Ziyang Johns Hopkins UniversityUnited States PLMW Co-Chair in Organizing Committee for PLDI 2026 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Organizing Committee in Organizing Committee within the PLMW @ PLDI-track
Jiawei LiangLiang, Jiawei The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Jie LiangLiang, Jie Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhengyao LinLin, Zhengyao Carnegie Mellon UniversityUnited States Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Amanda LiuLiu, Amanda Massachusetts Institute of TechnologyUnited States A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs
Bozhen LiuLiu, Bozhen Texas A&M University - Corpus ChristiUnited States Committee Member in Program Committee within the SOAP-track
Craig LiuLiu, Craig Typestate via Revocable Capabilities
Jie LiuLiu, Jie ByteDanceChina Committee Member in Program Committee within the SOAP-track
Junrui LiuLiu, Junrui Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ying LiuLiu, Ying Institute of Computing Technology, Chinese Academy of Sciences SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs Programme Committee in Program Committee within the LCTES-track
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pedro LoboLobo, Pedro INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Towards Removing Undef Values from LLVM IR
Debasmita LoharLohar, Debasmita IT University of CopenhagenDenmark Committee Member in Organizing Committee within the SOAP-track
Nuno P. LopesLopes, Nuno P. INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Towards Removing Undef Values from LLVM IR Cpp2Rust: Automatic Translation of C++ to Safe Rust
Giuliano LosaLosa, Giuliano Stellar Development FoundationUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sirui LuLu, Sirui OpenAIUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Justin LubinLubin, Justin University of California, BerkeleyUnited States Navigating AND–OR Graph Modifications to Debug Failing Proofs
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cade LuekerLueker, Cade University of Colorado Boulder Social Co-Chair in Organizing Committee for PLDI 2026
Lovro LugovićLugović, Lovro University of Southern Denmark Committee Member in Program Committee within the CP-track
Qinglan LuoLuo, Qinglan Wellesley College & MITUnited States Causality and Semantic Separation
Jian LvLv, Jian Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
M Cong MaMa, Cong University of WaterlooCanada Virtualizing Continuations
Kexin MaMa, Kexin National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Zhengyi MaMa, Zhengyi National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Martin MaasMaas, Martin Google Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom A guided tour through Oxidized OCaml Committee Member in Organizing Committee within the PROPL-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Verification Modulo Tested Library Contracts
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany State Space Estimation for DPOR-Based Model Checkers
Dhruv MakwanaMakwana, Dhruv University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Raghav MalikMalik, Raghav Veridise Inc.United States Committee Member in Program Committee within the PLDI Student Research Competition-track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States An Efficient Algorithm for Streaming BPE Tokenization
Giulia ManaraManara, Giulia Committee Member in Program Committee within the CP-track
Yatin ManerkarManerkar, Yatin University of Michigan and UC BerkeleyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Local Arrangements Co-Chair in Organizing Committee for PLDI 2026
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs
Benjamin MarianoMariano, Benjamin The University of Texas at Austin, Texas, USAUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matthieu MartelMartel, Matthieu University of Peprignan; NumalisFrance Programme Committee in Program Committee within the LCTES-track
Guido MartínezMartínez, Guido Microsoft ResearchUnited States Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Umang MathurMathur, Umang National University of SingaporeSingapore Fixed Parameter Tractable Linearizability Monitoring State Space Estimation for DPOR-Based Model Checkers
Yusuke MatsushitaMatsushita, Yusuke Kyoto University, JapanJapan VerusBelt: A Semantic Foundation for Verus’s Proof-Oriented Extensions to the Rust Type System Pure Borrow: Linear Haskell Meets Rust-Style Borrowing Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Maykel MattarMattar, Maykel Université Paris-Saclay, CEA, List / Université Bretagne Sud, IRISAFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
McKenna McCallMcCall, McKenna Colorado State University, USA Local Arrangements Co-Chair in Organizing Committee for PLDI 2026
Jedidiah McClurgMcClurg, Jedidiah Cornell UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
John McIverMcIver, John Virginia TechUnited States Towards Removing Undef Values from LLVM IR
Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Kayvan MemarianMemarian, Kayvan University of Cambridge Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Tutorial: End-to-End Compiler Infrastructure for Emerging Tensor Accelerators ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benjamin MikekMikek, Benjamin Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mae MilanoMilano, Mae Princeton UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jiang MingMing, Jiang Tulane University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
George MitenkovMitenkov, George AptosUnited Kingdom Towards Removing Undef Values from LLVM IR
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2026 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Soonwon MoonMoon, Soonwon Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Scott MooreMoore, Scott GaloisUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Omar MuhammadMuhammad, Omar Indian Institute of Science, BangaloreIndia Verification Modulo Tested Library Contracts
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Deep dive into the AWS Nitro Isolation Engine
Stefan K. MullerMuller, Stefan K. University of ConnecticutUnited States Responsive Parallelism with Dynamic and First-Class Priorities Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dominic P. MulliganMulligan, Dominic P. Amazon Web ServicesUnited Kingdom Deep dive into the AWS Nitro Isolation Engine
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Verification Modulo Tested Library Contracts Committee Member in Program Committee within the PAgE-track
Madan MusuvathiMusuvathi, Madan Microsoft ResearchUnited States Committee Member in Organizing Committee within the Tom Ball at Sixty-track Committee Member in Organizing Committee within the PAgE-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Hyper Separation Logic
N Kartik NagarNagar, Kartik IIT MadrasIndia Committee Member in Program Committee within the PLDI Student Research Competition-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vijay NagarajanNagarajan, Vijay The University of UtahUnited States A Formally Verified Foundation for Compositional Heterogeneous Coherence
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Committee Member in Organizing Committee within the Tom Ball at Sixty-track
Donghyun NamNam, Donghyun Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the EGRAPHS-track
Vijaykrishnan NarayananNarayanan, Vijaykrishnan The Pennsylvania State University Programme Committee in Program Committee within the LCTES-track
Satish NarayanasamyNarayanasamy, Satish University of Michigan Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Joseph P. NearNear, Joseph P. University of VermontUnited States Committee Member in Program Committee within the CP-track
Tim NelsonNelson, Tim Brown UniversityUnited States Diagramming Program Values by Spatial Refinement
Max S. NewNew, Max S. University of MichiganUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Huan NguyenNguyen, Huan Stony Brook UniversityUnited States Analyzing Bytes: Pre-disassembly Static Binary Analysis
Mathieu NguyenNguyen, Mathieu CEA List & Université Paris-SaclayFrance Hybrid Path-Sums for Hybrid Quantum Programs
Haobin NiNi, Haobin University of WashingtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Victor NicoletNicolet, Victor AmazonCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rachit NigamNigam, Rachit Massachusetts Institute of TechnologyUnited States Social Co-Chair in Organizing Committee for PLDI 2026
Ruslan NikolaevNikolaev, Ruslan Pennsylvania State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
O Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the ARRAY-track
Cosmin E. OanceaOancea, Cosmin E. University of Copenhagen, DenmarkDenmark Verifying Array Properties in Pure Data-Parallel Programs
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the PROPL-track Committee Member in Organizing Committee within the PROPL-track
Dominic OrchardOrchard, Dominic University of Cambridge; University of KentUnited Kingdom Committee Member in Organizing Committee within the PROPL-track
P Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Program Committee within the ARRAY-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2026 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in Program Committee within the SOAP-track
Jongse ParkPark, Jongse KAIST Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Sunho ParkPark, Sunho Seoul National UniversitySouth Korea Student Volunteer Co-Chair in Organizing Committee for PLDI 2026
Yongjun ParkPark, Yongjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Dynamically Checked Deep Immutability in Python General Chair in Organizing Committee within the ISMM-track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Fast Atomicity Monitoring Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mathias PedersenPedersen, Mathias Aarhus UniversityDenmark Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Hila PelegPeleg, Hila TechnionIsrael The Search for Constrained Random Generators
Cheng PengPeng, Cheng Stanford Institute for Materials and Energy Sciences, SLAC National Accelerator Laboratory, 2575 Sand Hill Road, Menlo Park, California 94025, USA CoTenN: Constrained Optimization with Tensor Networks
Haoran PengPeng, Haoran University of WashingtonUnited States Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust
Yuxiang PengPeng, Yuxiang Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Programme Committee in Program Committee within the LCTES-track
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States The Search for Constrained Random Generators Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Luís PinaPina, Luís University of Illinois ChicagoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
André PlatzerPlatzer, André Karlsruhe Institute of Technology (KIT)Germany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkDenmark Committee Member in Organizing Committee within the CP-track
Lucian PopescuPopescu, Lucian INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Sanjiva PrasadPrasad, Sanjiva Indian Institute of Technology DelhiIndia Programme Committee in Program Committee within the LCTES-track
Siddhartha PrasadPrasad, Siddhartha Brown UniversityUnited States Diagramming Program Values by Spatial Refinement
Polyvios PratikakisPratikakis, Polyvios Foundation for Research and Technology Hellas and University of Crete, GreeceGreece FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Marlena PreighPreigh, Marlena University of California, BerkeleyUnited States Navigating AND–OR Graph Modifications to Debug Failing Proofs
Henrique PretoPreto, Henrique INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Henrijs PrincisPrincis, Henrijs University of BristolUnited Kingdom TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Soumyakant PriyadarshanPriyadarshan, Soumyakant Stony Brook UniversityUnited States Analyzing Bytes: Pre-disassembly Static Binary Analysis
Christopher PultePulte, Christopher University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Q Shaz QadeerQadeer, Shaz Meta, Inc.United States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Wei QiangQiang, Wei Columbia University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xueying QinQin, Xueying University of Southern DenmarkDenmark Committee Member in Program Committee within the CP-track
Longfei QiuQiu, Longfei Yale UniversityUnited States SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
Benjamin QuiringQuiring, Benjamin University of Maryland at College ParkUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Soteria: Efficient Symbolic Execution as a Functional Library
Dimi RacordonRacordon, Dimi HES-SO Valais/WallisSwitzerland Committee Member in Program Committee within the ISMM-track
Mohammad RafieianRafieian, Mohammad The University of Texas at Dallas Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan MIT CSAILUnited States A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs Bonsai: Compiling Queries to Pruned Tree Traversals Modular GPU Programming with Typed Perspectives
Mukund RaghothamanRaghothaman, Mukund University of Southern California Workshops Co-Chair in Organizing Committee for PLDI 2026
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Boston UniversityUnited States Video Co-Chair in Organizing Committee for PLDI 2026
Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Varun RaoRao, Varun University of California, Berkeley Fungible Memories for Automated Technology Mapping and Re-targeting
Paige RaunRaun, Paige University of MarylandUnited States Equality Saturation for Quantum Circuit Optimization
Binoy RavindranRavindran, Binoy Virginia TechUnited States Scalable Floating-Point Satisfiability via Staged Optimization Committee Member in PLDI Review Committee within the PLDI Research Papers-track
John RegehrRegehr, John University of UtahUnited States Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Naomi RehmanRehman, Naomi UC Santa BarbaraUnited States SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior
John ReppyReppy, John University of ChicagoUnited States Flow-Analysis-Based Closure Optimization
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
Taeyoung RheeRhee, Taeyoung Seoul National University CRiS: The Power of Imagination in Hybrid Verification
David RichterRichter, David TU DarmstadtGermany Committee Member in Program Committee within the CP-track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs
Talia Lily RingerRinger, Talia Lily University of Illinois Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2026
Rodrigo C. O. RochaRocha, Rodrigo C. O. HuaweiUnited Kingdom Programme Committee in Program Committee within the LCTES-track
Jared RoeschRoesch, Jared University of Washington, USAUnited States Keynote: Tile Programming Abstractions
Tiark RompfRompf, Tiark Purdue UniversityUnited States Typestate via Revocable Capabilities Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Alexander J RootRoot, Alexander J Stanford UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals Decoupling Data Layouts from Bounding Volume Hierarchies
June RousseauRousseau, June Aarhus UniversityDenmark Cerisier: A Program Logic for Attestation in a Capability Machine
Daniel Ruelas-PetriskoRuelas-Petrisko, Daniel University of WashingtonUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
René Rydhof HansenRydhof Hansen, René Aalborg University, DenmarkDenmark The Downgrading Semantics of Memory Safety
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Mechanized Specifications for Real-World Programming Languages
S Sumanth Prabhu SS, Sumanth Prabhu Relyance AIIndia Verification Modulo Tested Library Contracts
Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States GradInf: Gradient Estimation as Probabilistic Inference Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel SainatiSainati, Daniel University of PennsylvaniaUnited States The Search for Constrained Random Generators Modular GPU Programming with Typed Perspectives
Guido SalvaneschiSalvaneschi, Guido University of St. Gallen Versioned E-Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Malavika SamakSamak, Malavika NVIDIAUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Adrian SampsonSampson, Adrian Cornell University Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Solvable Tuple Patterns and Their Applications to Program Verification
Divyanshu SaxenaSaxena, Divyanshu UT AustinUnited States MatchBox: A Semantic Foundation for Data Plane Portability
Moritz SchauerSchauer, Moritz Chalmers University of Technology \| University of GothenburgSweden GradInf: Gradient Estimation as Probabilistic Inference
Robert SchenckSchenck, Robert Northeastern University, United StatesUnited States Verifying Array Properties in Pure Data-Parallel Programs Pantomime: Constructive Leakage Proofs via Simulation
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance A Verified Parallel Scheduler for OCaml 5
Klaus SchneiderSchneider, Klaus RPTU Kaiserslautern-LandauGermany Programme Committee in Program Committee within the LCTES-track
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark Programme Committee in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Michael SchwarzSchwarz, Michael National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in Program Committee within the PLDI Student Research Competition-track
R. SekarSekar, R. Stony Brook UniversityUnited States Analyzing Bytes: Pre-disassembly Static Binary Analysis
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhong ShaoShao, Zhong Yale UniversityUnited States SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zili ShaoShao, Zili The Chinese University of Hong Kong Programme Committee in Program Committee within the LCTES-track
Arindam SharmaSharma, Arindam University of BristolUnited Kingdom TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Ritvik SharmaSharma, Ritvik Stanford UniversityUnited States CoTenN: Constrained Optimization with Tensor Networks
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Web Co-Chair in Organizing Committee for PLDI 2026
Zhaoyan ShenShen, Zhaoyan Shandong University Programme Committee in Program Committee within the LCTES-track
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina Abstract Interpretation with Confidence
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
Takahiro ShinagawaShinagawa, Takahiro The University of TokyoJapan Committee Member in Program Committee within the ISMM-track
Ayumi ShinoharaShinohara, Ayumi Tohoku University Solvable Tuple Patterns and Their Applications to Program Verification
Olin ShiversShivers, Olin Northeastern UniversityUnited States Flow-Analysis-Based Closure Optimization
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Tian SHUSHU, Tian HKUST Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States Committee Member in Program Committee within the ARRAY-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Weighted NetKAT: A Programming Language For Quantitative Network Verification Committee Member in PLDI Review Committee within the PLDI Research Papers-track
João SilveiraSilveira, João INESC-ID / Instituto Superior Técnico, University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Program Committee within the ISMM-track
Avaljot SinghSingh, Avaljot UIUCUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track SAIL: Sound Abstract Interpreters with LLMs
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign, USAUnited States Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation SAIL: Sound Abstract Interpreters with LLMs
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zachary D. SiscoSisco, Zachary D. The Chinese University of Hong Kong, ShenzhenChina Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia A guided tour through Oxidized OCaml Committee Member in Organizing Committee within the PROPL-track
Opale SjöstedtSjöstedt, Opale Imperial College London Soteria: Efficient Symbolic Execution as a Functional Library
Gus Henry SmithSmith, Gus Henry Normal ComputingUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
Kristina SojakovaSojakova, Kristina InriaFrance Pantomime: Constructive Leakage Proofs via Simulation
Gagan SomashekarSomashekar, Gagan Microsoft Committee Member in Program Committee within the PAgE-track
Dawn SongSong, Dawn UC Berkeley Committee Member in Organizing Committee within the PAgE-track
Youngju SongSong, Youngju AmazonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tyler SorensenSorensen, Tyler Microsoft Research Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Tyler SorensenSorensen, Tyler Microsoft Research and University of California at Santa CruzUnited States SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel SorinSorin, Daniel Duke UniversityUnited States A Formally Verified Foundation for Compositional Heterogeneous Coherence
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Enumerating Ill-Typed Programs for Testing Type Analyzers Semantic Reification: A New Paradigm for Random Program Generation
Matthieu SozeauSozeau, Matthieu InriaFrance Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
Julian SpringerSpringer, Julian Technische Universität BerlinGermany Fungible Memories for Automated Technology Mapping and Re-targeting
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States Programme Committee in Program Committee within the LCTES-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Review Committee Chair in Organizing Committee for PLDI 2026 Chair in PLDI Review Committee within the PLDI Research Papers-track
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Mark StephensonStephenson, Mark NVIDIAUnited States SuperCollider: Scalable and Effective Data Race Detection for CUDA
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic Committee Member in Program Committee within the EGRAPHS-track
Fridtjof StoldtStoldt, Fridtjof Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Dynamically Checked Deep Immutability in Python
Pengfei SuSu, Pengfei University of California, MercedUnited States Programme Committee in Program Committee within the LCTES-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Enumerating Ill-Typed Programs for Testing Type Analyzers Semantic Reification: A New Paradigm for Random Program Generation Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mengxia SunSun, Mengxia Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States Towards Removing Undef Values from LLVM IR
Hyojin SungSung, Hyojin Seoul National University Committee Member in Program Committee within the LCTES-track
Milijana SurbatovichSurbatovich, Milijana University of Maryland Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Emmanuel Suárez AcevedoSuárez Acevedo, Emmanuel Cornell UniversityUnited States Weighted NetKAT: A Programming Language For Quantitative Network Verification
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
T Nicolas TabareauTabareau, Nicolas InriaFrance Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Meah Tahmeed AhmedTahmeed Ahmed, Meah The University of Texas at Dallas Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science Programme Committee in Program Committee within the LCTES-track
Cheng TanTan, Cheng Google/ASU NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Shin Hwei TanTan, Shin Hwei Concordia UniversityCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tian TanTan, Tian Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Jubi TanejaTaneja, Jubi Gimlet LabsUnited States Committee Member in Program Committee within the ARRAY-track
Dixin TangTang, Dixin University of Texas AustinUnited States Optimal Predicate Pushdown Synthesis
Diyuan TaoTao, Diyuan Independent ResearcherChina NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Runzhou TaoTao, Runzhou University of Maryland Equality Saturation for Quantum Circuit Optimization
Yonggang TaoTao, Yonggang University of New South WalesAustralia Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
Mohamed Tarek Ibn ZiadTarek Ibn Ziad, Mohamed NVIDIAUnited States SuperCollider: Scalable and Effective Data Race Detection for CUDA
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Contextual Refinement of Higher-Order Concurrent Probabilistic Programs Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
Corey TesslerTessler, Corey University of Nevada Las Vegas (UNLV)United States Programme Committee in Program Committee within the LCTES-track
Samuel TeuberTeuber, Samuel Karlsruhe Institute of Technology (KIT) Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Aditya ThimmaiahThimmaiah, Aditya The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Will ThomasThomas, Will University of Kansas Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tanmay TirpankarTirpankar, Tanmay University of Utah Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alberto TontoniTontoni, Alberto University of BergenNorway Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
Cassia TorczonTorczon, Cassia University of PennsylvaniaUnited States The Search for Constrained Random Generators
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the ISMM-track
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
Michael TuTu, Michael Brown UniversityUnited States Diagramming Program Values by Spatial Refinement
Hünkar Can TunçTunç, Hünkar Can UberNetherlands Fast Atomicity Monitoring
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Mattias UlbrichUlbrich, Mattias KITGermany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Oguz UlgenUlgen, Oguz MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan A Hierarchy of Supermartingales for ω-Regular Verification Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Abhishek UpparUppar, Abhishek Indian Institute of Science, BangaloreIndia Verification Modulo Tested Library Contracts
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Henning UrbatUrbat, Henning Friedrich-Alexander-Universität Erlangen-NürnbergGermany Intrinsically Correct Algorithms and Recursive Coalgebras
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Simcha van Collemvan Collem, Simcha Radboud University NijmegenNetherlands Backwards-Compatible Row-Based Exceptions in ML
David Van HornVan Horn, David University of MarylandUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thomas Van StrydonckVan Strydonck, Thomas Fortanix Cerisier: A Program Logic for Attestation in a Capability Machine
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2026 Co-chair in Program Committee within the PLDI Student Research Competition-track Committee Member in Program Committee within the EGRAPHS-track
Jan VašákVašák, Jan Brno University of TechnologyCzechia Efficient Matching of Regexes with Backreferences using Register Set Automata
Margus VeanesVeanes, Margus Microsoft ResearchUnited States EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Joey Velez-GinorioVelez-Ginorio, Joey University of PennsylvaniaUnited States Compiling to Recurrent Neurons
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Pantomime: Constructive Leakage Proofs via Simulation
W Chengpeng WangWang, Chengpeng National University of SingaporeSingapore Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PAgE-track
Ji WangWang, Ji National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Jiayi WangWang, Jiayi Nanjing UniversityChina Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
Jingbo WangWang, Jingbo Purdue University PLMW Co-Chair in Organizing Committee for PLDI 2026 Organizer in Organizing Committee within the PLMW @ PLDI-track
Jinpeng WangWang, Jinpeng Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Programme Committee in Program Committee within the LCTES-track
Ke WangWang, Ke Nanjing University Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
Linzhang WangWang, Linzhang Nanjing UniversityChina Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity
Meng WangWang, Meng University of BristolUnited Kingdom Contextual Embeddings: Implementing Bound Variables through Instance Resolution Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Spencer WangWang, Spencer University of California, Santa BarbaraUnited States Fungible Memories for Automated Technology Mapping and Re-targeting
Xinyu WangWang, Xinyu University of MichiganUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics Committee Member in Program Committee within the PAgE-track
Yu WangWang, Yu Nanjing UniversityChina Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zheng WangWang, Zheng University of LeedsUnited Kingdom Programme Committee in Program Committee within the LCTES-track
Ziteng WangWang, Ziteng University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zixuan WangWang, Zixuan Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of Science Redundant Array Computation Elimination
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Committee Member in Program Committee within the PLDI Student Research Competition-track
Robin WebbersWebbers, Robin Vrije Universiteit AmsterdamNetherlands Pantomime: Constructive Leakage Proofs via Simulation
Michel WeberWeber, Michel ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Yuanhao WeiWei, Yuanhao University of British ColumbiaCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Versioned E-Graphs Committee Member in Program Committee within the CP-track
Sheng WenWen, Sheng Swinburne University of Technology Programme Committee in Program Committee within the LCTES-track
Tim WhitingWhiting, Tim Brigham Young UniversityUnited States Syntactic Implicit Parameters with Static Overloading
John WickersonWickerson, John Imperial College LondonUnited Kingdom Uniformity Analysis in the WebGPU Shading Language
Thomas WiesWies, Thomas New York UniversityUnited States Implementability of Global Distributed Protocols Modulo Network Architectures
Max WillseyWillsey, Max UC BerkeleyUnited States Optimism in Equality Saturation Navigating AND–OR Graph Modifications to Debug Failing Proofs Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track
Dominik WintererWinterer, Dominik University of ManchesterSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thorsten WißmannWißmann, Thorsten Friedrich-Alexander University Erlangen-NürnbergGermany Intrinsically Correct Algorithms and Recursive Coalgebras
Wind WongWong, Wind Vrije Universiteit AmsterdamNetherlands Pantomime: Constructive Leakage Proofs via Simulation
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Dynamically Checked Deep Immutability in Python Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qingyue WuWu, Qingyue University of MichiganUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
ziji wuwu, ziji National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) Artifact Evaluation Chair in Organizing Committee within the LCTES-track Programme Committee in Program Committee within the LCTES-track
X Jingtao XiaXia, Jingtao University of California, Santa Barbara Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Re-targeting
Jingqi XiaoXiao, Jingqi University of Hong KongChina SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
Junmin XiaoXiao, Junmin Redundant Array Computation Elimination
Shangshang XiaoXiao, Shangshang Shandong University Path-Sensitive Abstract Interpretation for WCET Estimation
Chang XuXu, Chang Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in Program Committee within the SOAP-track
Yichen XuXu, Yichen EPFL Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jingling XueXue, Jingling UNSW SydneyAustralia Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets
Xu XueXue, Xu University of Hong KongChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Y Artem YadrovYadrov, Artem University of UtahUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
A. Giray YaglikciYaglikci, A. Giray CISPAGermany Committee Member in Program Committee within the ISMM-track
Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Committee Member in Program Committee within the ISMM-track
Ganxiang YangYang, Ganxiang Columbia University Equality Saturation for Quantum Circuit Optimization
Shengyuan YangYang, Shengyuan University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yudi YangYang, Yudi Rice University An Efficient Algorithm for Streaming BPE Tokenization
Zhaorui YangYang, Zhaorui University of California, Riverside Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jianan YaoYao, Jianan University of Toronto Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ugur Y. YavuzYavuz, Ugur Y. Boston UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sanghyun YiYi, Sanghyun Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina Verification of Recursively Defined Quantum Circuits Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Taeyoung YoonYoon, Taeyoung Seoul National University CRiS: The Power of Imagination in Hybrid Verification
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ryo YoshinakaYoshinaka, Ryo Tohoku UniversityJapan Solvable Tuple Patterns and Their Applications to Program Verification
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for PLDI 2026
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
Charles YuanYuan, Charles University of Wisconsin–Madison Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Liang YuanYuan, Liang Chinese Academy of Sciences Redundant Array Computation Elimination
Z Ahmed Khaled ZaherZaher, Ahmed Khaled HKUSTHong Kong SAR China Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
Fabian ZaiserZaiser, Fabian MITUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs
George ZakhourZakhour, George Universität St. Gallen Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Versioned E-Graphs
Foivos ZakkakZakkak, Foivos Red Hat Ltd, IrelandIreland FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gianluigi ZavattaroZavattaro, Gianluigi Department of Computer Science and Engineering - Università di Bologna Committee Member in Program Committee within the CP-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Compiling to Recurrent Neurons
Haoyi ZengZeng, Haoyi Harvard University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track A Deductive System for Contract Satisfaction Proofs
Jianping ZengZeng, Jianping Arizona State UniversityUnited States Programme Committee in Program Committee within the LCTES-track
Naijun ZhanZhan, Naijun Peking University and Zhongguancun Laboratory Path-Sensitive Abstract Interpretation for WCET Estimation
An Qi ZhangZhang, An Qi A Formally Verified Foundation for Compositional Heterogeneous Coherence
Anna ZhangZhang, Anna MITUnited States Causality and Semantic Separation
Minjian ZhangZhang, Minjian University of Illinois at Urbana-ChampaignUnited States State Space Estimation for DPOR-Based Model Checkers
Nairen ZhangZhang, Nairen Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2026 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Robert ZhangZhang, Robert The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track MatchBox: A Semantic Foundation for Data Plane Portability Optimal Predicate Pushdown Synthesis
Tong ZhangZhang, Tong SamsungUnited States Programme Committee in Program Committee within the LCTES-track
Wei ZhangZhang, Wei The Hong Kong University of Science and Technology NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Wei ZhangZhang, Wei Shandong University Path-Sensitive Abstract Interpretation for WCET Estimation
Xin ZhangZhang, Xin Peking UniversityChina Abstract Interpretation with Confidence
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Virtualizing Continuations
Yu ZhangZhang, Yu University of Science and Technology of ChinaChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yuanzhuo ZhangZhang, Yuanzhuo Virginia TechUnited States Scalable Floating-Point Satisfiability via Staged Optimization
Yunquan ZhangZhang, Yunquan Institute of Computing Technology at Chinese Academy of SciencesChina Redundant Array Computation Elimination
Zhenya ZhangZhang, Zhenya Kyushu UniversityJapan Programme Committee in Program Committee within the LCTES-track
Zhicheng ZhangZhang, Zhicheng University of Technology SydneyAustralia Verification of Recursively Defined Quantum Circuits
Huan ZhaoZhao, Huan National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanbo ZhaoZhao, Yanbo NCSUUnited States SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Yifan ZhaoZhao, Yifan Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Byron ZhongZhong, Byron University of ChicagoUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Flow-Analysis-Based Closure Optimization
Dinghong ZhongZhong, Dinghong Tufts University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chijin ZhouZhou, Chijin East China Normal UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jie ZhouZhou, Jie The George Washington UniversityUnited States Committee Member in Program Committee within the SOAP-track
Keren ZhouZhou, Keren George Mason University Programme Committee in Program Committee within the LCTES-track
Li ZhouZhou, Li Institute of Software, Chinese Academy of SciencesChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhe ZhouZhou, Zhe Purdue University Trace-Guided Synthesis of Effectful Test Generators
Zitong ZhouZhou, Zitong UCLA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shaowei ZhuZhu, Shaowei Princeton UniversityUnited States A Categorical Basis for Robust Program Analysis
Ekaterina ZhuchkoZhuchko, Ekaterina Tallinn University of TechnologyEstonia EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination
Laura ZielinskiZielinski, Laura Cornell UniversityUnited States Synthesizing Backward Error Bounds, Backward
Ben ZornZorn, Ben Microsoft Committee Member in Organizing Committee within the PAgE-track
Philip ZuckerZucker, Philip DraperUnited States Committee Member in Program Committee within the EGRAPHS-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Committee Member in Organizing Committee within the ARRAY-track
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore PLMW Co-Chair in Organizing Committee for PLDI 2026 SuperDP: Differential Privacy Refutation via Supermartingales Committee Member in PLDI Review Committee within the PLDI Research Papers-track Organizing Committee in Organizing Committee within the PLMW @ PLDI-track

PLDI 2026 Contributors

Results (750)

Tracks

Co-hosted Conferences

Workshops