PLDI 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (821)

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 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
Danel AhmanAhman, Danel University of TartuEstonia [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 University of Texas at AustinUnited States 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 UniversityAustralia 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 at 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 London; Soteria ToolsUnited 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. MPI-SWSGermany State Space Estimation for DPOR-Based Model Checkers
Jonathan BalkindBalkind, Jonathan University of California at Santa BarbaraUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
Ansuman BanerjeeBanerjee, Ansuman Indian Statistical Institute Kolkata Programme Committee in Program Committee within the LCTES-track
Debangshu BanerjeeBanerjee, Debangshu University of Illinois 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 [SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References 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 LLM-Integrated Declarative Program Analysis
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 - Université 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 [SIGPLAN] Active Learning for Neurosymbolic Program Synthesis
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Choose, Don’t Label: Multiple-Choice Query Synthesis for Program Disambiguation [SIGPLAN] Active Learning for Neurosymbolic Program Synthesis
Soumik Kumar BasuBasu, Soumik Kumar IIT HyderabadIndia [TOPLAS] StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
Mako P. BatesBates, Mako P. University of VermontUnited States Committee Member in Program Committee within the CP-track
Kevin BatzBatz, Kevin Cornell UniversityUnited States 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 KITGermany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Gilbert Louis BernsteinBernstein, Gilbert Louis 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
Karthikeyan BhargavanBhargavan, Karthikeyan Cryspen, FranceFrance [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Rishipal Singh BhatiaBhatia, Rishipal Singh GoogleUnited States Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
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 University of California at Los AngelesUnited States Causality and Semantic Separation
Angelos BilasBilas, Angelos Foundation for Research and Technology Hellas; University of CreteGreece 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
Barry BondBond, Barry [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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
Jay BosamiyaBosamiya, Jay Microsoft ResearchUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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
Christopher BrzuskaBrzuska, Christopher [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Alexandra BugariuBugariu, Alexandra University of ZurichSwitzerland Committee Member in Program Committee within the PLDI Student Research Competition-track
Yegor BugayenkoBugayenko, Yegor HuaweiRussia Compile-Time Java Stream Fusion via mapMulti
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 at College ParkUnited States Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
Ben CaldwellCaldwell, Ben University of ChicagoUnited States [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
Simone CampanoniCampanoni, Simone Google / Northwestern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Eric Hayden CampbellCampbell, Eric Hayden University of Texas at 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
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina [TOPLAS] Denotation-based Compositional Compiler Verification
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
Sopot CelaCela, Sopot Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
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 Ravencheck: Effectively-Propositional Reasoning for Rust
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 - Université Paris-SaclayFrance 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 Proof Search
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 [SIGPLAN] Active Learning for Neurosymbolic Program Synthesis 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 Ohio State UniversityUnited States &inator: Correct, Precise C-to-Rust Interface Translation
Weiyi ChenChen, Weiyi Purdue University [SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs
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 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 University of California at 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
Zhang ChengCheng, Zhang Shanghai Jiao Tong UniversityChina [TOPLAS] Denotation-based Compositional Compiler Verification
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
Dulma ChurchillChurchill, Dulma MetaUnited Kingdom Scaling Static Code Analysis Adoption at WhatsApp iOS
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited States 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 Ohio State UniversityUnited States &inator: Correct, Precise C-to-Rust Interface Translation
Samuel CowardCoward, Samuel University College London (UCL)United 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 at Chinese Academy of Sciences; University of 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 IISc BangaloreIndia 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 NVIDIAUnited States SuperCollider: Scalable and Effective Data Race Detection for CUDA
Siddharth DangwalDangwal, Siddharth University of ChicagoUnited States CoTenN: Constrained Optimization with Tensor Networks
Thibault DardinierDardinier, Thibault EPFLSwitzerland Hyper Separation Logic
Ankush DasDas, Ankush Boston UniversityUnited States [SIGPLAN] Probabilistic Refinement Session Types
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 LondonUnited Kingdom 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
Antoine Delignat-LavaudDelignat-Lavaud, Antoine Microsoft Research, n.n. [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 [SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References
Ankush DesaiDesai, Ankush SnowflakeUnited 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
Peng DiDi, Peng Ant Group & UNSW SydneyChina [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
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 [SIGPLAN] Homomorphism Calculus for User-Defined Aggregations [SIGPLAN] Active Learning for Neurosymbolic Program Synthesis [SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs Optimal Predicate Pushdown Synthesis
Elizabeth DinellaDinella, Elizabeth Bryn Mawr CollegeUnited States On the Effectiveness of Modular Testing in EvoSuite
Danny DingDing, Danny University of Texas at AustinUnited States 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 Hong Kong University of Science and TechnologyHong Kong NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Zhen DuDu, Zhen Institute of Computing Technology at 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 TechnologyEstonia 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
Ruijie FangFang, Ruijie University of Texas at AustinUnited States [SIGPLAN] Homomorphism Calculus for User-Defined Aggregations
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 Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina 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
Jonáš FialaFiala, Jonáš ETH ZurichSwitzerland 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; Jane StreetSwitzerland Weighted NetKAT: A Programming Language For Quantitative Network Verification
Cédric FournetFournet, Cédric Microsoft Research [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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
Aymeric FromherzFromherz, Aymeric InriaFrance [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiancheng FuFu, Qiancheng Boston UniversityUnited States [SIGPLAN] Probabilistic Refinement Session Types
Zhoulai FuFu, Zhoulai SUNY Korea; Virginia Tech; Stony Brook UniversityRepublic of Korea Scalable Floating-Point Satisfiability via Staged Optimization
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States [SIGPLAN] Probabilistic Refinement Session Types
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 Hong Kong University of Science and TechnologyHong Kong 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
Sydney GibsonGibson, Sydney [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 K. GoharshadyGoharshady, Amir K. 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 SUNY 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 at Sofia University St. Kliment OhridskiBulgaria 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-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track SAIL: Sound Abstract Interpreters with LLMs
Ronghui GuGu, Ronghui Columbia University; CertiKUnited States Equality Saturation for Quantum Circuit Optimization
Yile GuGu, Yile University of Washington [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 Towards Efficient Matching of Regexes with Backreferences using Register Set Automata
Zheng GuoGuo, Zheng University of MichiganUnited 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 UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals Decoupling Data Layouts from Bounding Volume Hierarchies
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Scaling Static Code Analysis Adoption at WhatsApp iOS
Shashin HalalingaiahHalalingaiah, Shashin UT Austin, IIT MadrasUnited States [SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs
Mary HallHall, Mary University of UtahUnited States Keynote: Compiler Technologies for Array Programming
William HallahanHallahan, William Binghamton [SIGPLAN] Counterexample-Guided Inference of Modular Specifications
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-SWSGermany 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 Retargeting 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 Towards Efficient Matching of Regexes with Backreferences using Register Set Automata
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Musa HaydarHaydar, Musa University of Michigan [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 [SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References 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 KAISTRepublic of 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 CopenhagenDenmark 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 MPI-SPGermany 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 Towards 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
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Mathieu HuotHuot, Mathieu Massachusetts Institute of TechnologyUnited States 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 JIJJapan Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
Jad IssaIssa, Jad CEA List - Université Paris-SaclayFrance 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 CUDA 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
Alborz JelvaniJelvani, Alborz Rutgers University Exploring Locally Bounded Translation Validation
Minseok JeonJeon, Minseok DGISTSouth Korea Committee Member in Program Committee within the SOAP-track
Seokhun JeongJeong, Seokhun KAISTSouth Korea 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 [SIGPLAN] Counterexample-Guided Inference of Modular Specifications 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 MichiganUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Songlin JiaJia, Songlin Purdue UniversityUnited States Typestate via Revocable Capabilities [SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References 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 at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Redundant Array Computation Elimination
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 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
Lei JuJu, Lei Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Eunice JunJun, Eunice University of California at Los AngelesUnited States Causality and Semantic Separation
Jonghyun JungJung, Jonghyun 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 IST AustriaAustria 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 Ravencheck: Effectively-Propositional Reasoning for Rust
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 AdobeUnited 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 FuriosaAIRepublic of 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 WashingtonUnited States [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing 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
Mohammad Hossein Khoshechin JorshariKhoshechin Jorshari, Mohammad Hossein MPI-SWSGermany State Space Estimation for DPOR-Based Model Checkers
Hanjun KimKim, Hanjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Jeonghyeon KimKim, Jeonghyeon KAISTRepublic of 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
Kunha KimKim, Kunha University of Colorado Boulder Ravencheck: Effectively-Propositional Reasoning for Rust
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
Vaida KisieliuteKisieliute, Vaida Logo Designer in Organizing Committee for PLDI 2026
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 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
Markulf KohlweissKohlweiss, Markulf [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Iacovos G. KolokasisKolokasis, Iacovos G. Foundation for Research and Technology Hellas; University of CreteGreece FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Sijie KongKong, Sijie University of California at Santa BarbaraUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
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
Sanjib Kumar SenKumar Sen, Sanjib Texas A&M University - Corpus Christi Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped Taint Analysis
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!
Artem KupriianetsKupriianets, Artem Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
Satoshi KuraKura, Satoshi Waseda UniversityJapan A Hierarchy of Supermartingales for ω-Regular Verification Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
Youngjin KwonKwon, Youngjin KAISTRepublic of Korea Revisiting Partial Tracing for Safe, Efficient, and Concurrent Garbage Collection in Unmanaged Languages
Bastian KöpckeKöpcke, Bastian TU BerlinGermany 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é; InriaFrance Nested Inductive Types: Justified and Usable Nested Inductive Types in Lean and Rocq
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited States 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 KAISTRepublic of Korea 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 AWSUnited States Towards Removing Undef Values from LLVM IR
Seonho LeeLee, Seonho Seoul National University CRIS: The Power of Imagination in Hybrid Verification
Shaun Christopher LeeLee, Shaun Christopher University of Washington [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 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 UniversitySingapore Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Adrian LehmannLehmann, Adrian University of ChicagoUnited States [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
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 Towards 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
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States Ravencheck: Effectively-Propositional Reasoning for Rust
Marelle LeónLeón, Marelle Illinois Institute of TechnologyUnited States Responsive Parallelism with Dynamic and First-Class Priorities
Angela W. LiLi, Angela W. Rice UniversityUnited States An Efficient Algorithm for Streaming BPE Tokenization
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 New York UniversityUnited 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 UniversityUnited States 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 Institute of Computing Technology at Chinese Academy of SciencesChina 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 Hong Kong University of Science and TechnologyHong Kong NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Tianchi LiLi, Tianchi Peking University, ChinaChina [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Yihe LiLi, Yihe National University of SingaporeSingapore 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 Hong Kong University of Science and TechnologyHong Kong 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 Hong Kong University of Science and TechnologyHong Kong 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 Detecting Data Leaks in Multi-User LLM Apps via Automated User-Scoped Taint Analysis Committee Member in Program Committee within the SOAP-track
Craig LiuLiu, Craig Purdue UniversityUnited States Typestate via Revocable Capabilities
Jie LiuLiu, Jie ByteDanceChina Committee Member in Program Committee within the SOAP-track
Junhao LiuLiu, Junhao Peking UniversityChina [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Junrui LiuLiu, Junrui Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ying LiuLiu, Ying Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina 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
Jian LuLu, Jian Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Sirui LuLu, Sirui OpenAIUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Justin LubinLubin, Justin University of California at BerkeleyUnited States Navigating AND–OR Graph Modifications to Debug Failing Proof Search
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; Massachusetts Institute of TechnologyUnited States Causality and Semantic Separation
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 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
Matteo MarescottiMarescotti, Matteo Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
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
Richard P. MartinMartin, Richard P. Rutgers University Exploring Locally Bounded Translation Validation
Guido MartínezMartínez, Guido Microsoft ResearchUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software 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 UniversityJapan 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 CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
Jorge MendezMendez, Jorge Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
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
Jihong MinMin, Jihong KAISTSouth Korea Mechanized Specifications for Real-World Programming Languages
Jiang MingMing, Jiang Tulane University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sasa MisailovicMisailovic, Sasa University of Illinois 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 States 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 IISc 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 Wisconsin-MadisonUnited 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 University of UtahUnited States A Formally Verified Foundation for Compositional Heterogeneous Coherence
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Exploring Locally Bounded Translation Validation
Chandra Kanth NageshNagesh, Chandra Kanth University of Colorado BoulderUnited States Logo Designer in Organizing Committee for PLDI 2026
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
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States LLM-Integrated Declarative Program Analysis
Ian NealNeal, Ian University of Michigan and Veridise [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 GoogleUnited 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 [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software 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 CopenhagenDenmark 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 at Los AngelesUnited 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 KAISTRepublic of Korea 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
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 SLAC National Accelerator LaboratoryUnited States 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 [SIGPLAN] Counterexample-Guided Inference of Modular Specifications Associate Chair in PLDI Review Committee within the PLDI Research Papers-track
André PlatzerPlatzer, André KITGermany 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; University of CreteGreece FlexHeap: Dynamic I/O-Aware Heap Resizing for Managed Applications
Marlena PreighPreigh, Marlena University of California at BerkeleyUnited States Navigating AND–OR Graph Modifications to Debug Failing Proof Search
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
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Christopher PultePulte, Christopher University of OxfordUnited 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
Andrew QuinnQuinn, Andrew University of California at Santa CruzUnited States [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 London; Soteria ToolsUnited 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 Massachusetts Institute of TechnologyUnited 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 LLM-Integrated Declarative Program Analysis
Ramya RamalingamRamalingam, Ramya [SIGPLAN] Active Learning for Neurosymbolic Program Synthesis
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software 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 [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
Varun RaoRao, Varun University of California at BerkeleyUnited States Fungible Memories for Automated Technology Mapping and Retargeting
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 University of California at 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
Exequiel RivasRivas, Exequiel Tallinn University of Technology [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 [SIGPLAN] Complete the Cycle: Reachability Types with Expressive Cyclic References 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 Retargeting
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 UniversityDenmark 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 A. SaadSaad, Feras A. Carnegie Mellon UniversityUnited States GradInf: Gradient Estimation as Probabilistic Inference Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ayman SaidSaid, Ayman University of Michigan [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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. GallenSwitzerland 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 University of Texas at 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 UniversityUnited States Verifying Array Properties in Pure Data-Parallel Programs Pantomime: Constructive Leakage Proofs via Simulation
Gabriel SchererScherer, Gabriel InriaFrance 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
Bhakti ShahShah, Bhakti [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
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 UniversityJapan 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 Hong Kong University of Science and TechnologyHong Kong 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 University of Illinois Urbana-ChampaignUnited 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 Urbana-ChampaignUnited 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. Chinese University of Hong KongChina Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
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 ToolsUnited Kingdom Soteria: Efficient Symbolic Execution as a Functional Library
Gus Henry SmithSmith, Gus Henry Southmountain ResearchUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
Kristina SojakovaSojakova, Kristina Vrije Universiteit AmsterdamNetherlands 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 ResearchUnited States Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Tyler SorensenSorensen, Tyler Microsoft Research; 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
William SpencerSpencer, William [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language
Julian SpringerSpringer, Julian TU BerlinGermany Fungible Memories for Automated Technology Mapping and Retargeting
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 TU 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 at College ParkUnited States 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 [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software 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; Arizona State UniversityUnited States 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 at AustinUnited States [SIGPLAN] Homomorphism Calculus for User-Defined Aggregations 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 MarylandUnited States Equality Saturation for Quantum Circuit Optimization
Yonggang TaoTao, Yonggang UNSWAustralia 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 KITGermany 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
Maxim TrunnikovTrunnikov, Maxim Huawei Compile-Time Java Stream Fusion via mapMulti
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 IISc 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 University 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
Jacob Van GeffenVan Geffen, Jacob [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 FortanixNetherlands Cerisier: A Program Logic for Attestation in a Capability Machine
Sander van Valkenburgvan Valkenburg, Sander Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
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 Towards 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
Jyothi VeduradaVedurada, Jyothi IIT HyderabadIndia [TOPLAS] StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution
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 Chao WangWang, Chao University of Southern CaliforniaUnited States [SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs
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
Di WangWang, Di Peking UniversityChina [TOPLAS] Denotation-based Compositional Compiler Verification
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 UniversityUnited States PLMW Co-Chair in Organizing Committee for PLDI 2026 [SIGPLAN] Probabilistic Inference for Datalog with Correlated Inputs 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 UniversityChina 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 at Santa BarbaraUnited States Fungible Memories for Automated Technology Mapping and Retargeting
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 [SIGPLAN] Homomorphism Calculus for User-Defined Aggregations
Zixuan WangWang, Zixuan Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina 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 University of California at BerkeleyUnited States Optimism in Equality Saturation Navigating AND–OR Graph Modifications to Debug Failing Proof Search 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
Jiyang WuWu, Jiyang [TOPLAS] Denotation-based Compositional Compiler Verification
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 at Santa BarbaraUnited States Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
Jingqi XiaoXiao, Jingqi University of Hong KongChina SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols
Junmin XiaoXiao, Junmin Institute of Computing Technology at Chinese Academy of SciencesChina Redundant Array Computation Elimination
Shangshang XiaoXiao, Shangshang Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Chang XuXu, Chang Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Jiang XuXu, Jiang Hong Kong University of Science and TechnologyChina NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Jiexiao XuXu, Jiexiao University of Washington [SIGPLAN] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
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 UNSWAustralia 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
Zhenyu YanYan, Zhenyu Peking UniversityChina [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Ganxiang YangYang, Ganxiang Columbia UniversityUnited States 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 UniversityUnited States 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 University of Technology SydneyAustralia 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 UniversityUnited States SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
Charles YuanYuan, Charles University of Wisconsin-MadisonUnited States Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Liang YuanYuan, Liang Institute of Computing Technology at Chinese Academy of SciencesChina Redundant Array Computation Elimination
Z Ahmed Khaled ZaherZaher, Ahmed Khaled Hong Kong University of Science and TechnologyHong Kong Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
Fabian ZaiserZaiser, Fabian Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track Incremental Density Calculation for Efficient Programmable Inference in Probabilistic Programs
Vladimir ZakharovZakharov, Vladimir Huawei Compile-Time Java Stream Fusion via mapMulti
George ZakhourZakhour, George University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Versioned E-Graphs
Foivos ZakkakZakkak, Foivos Red HatIreland 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
Santiago Zanella-BéguelinZanella-Béguelin, Santiago Microsoft Research, CambridgeUnited Kingdom [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
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 UniversityUnited States 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; Zhongguancun LaboratoryChina Path-Sensitive Abstract Interpretation for WCET Estimation
An Qi ZhangZhang, An Qi University of UtahUnited States A Formally Verified Foundation for Compositional Heterogeneous Coherence
Anna ZhangZhang, Anna Massachusetts Institute of TechnologyUnited States Causality and Semantic Separation
Minjian ZhangZhang, Minjian University of Illinois 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 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 Hong Kong University of Science and TechnologyHong Kong NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Wei ZhangZhang, Wei Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Xin ZhangZhang, Xin Peking UniversityChina [TOPLAS] Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors 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 North Carolina State UniversityUnited States SparseZETA: Intelligent Auto-tuner for Designing High-Performance SpMV Programs
Yifan ZhaoZhao, Yifan University of Illinois Urbana-ChampaignUnited States Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
Linus ZhengZheng, Linus University of Texas at Austin [SIGPLAN] Homomorphism Calculus for User-Defined Aggregations
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 UniversityUnited States 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 UniversitySingapore 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 (821)

Tracks

Co-hosted Conferences

Workshops