PLDI 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1075)

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
Raneem Abu-YosefAbu-Yosef, Raneem Ohio State UniversityUnited States Portable Anomaly Detection for Distributed PGAS Programs Based on Array Mapping Abstractions
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 Session Chair of Quantum Computing (part of PLDI Research Papers) 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
Mahbod AfarinAfarin, Mahbod University of California, RiversideUnited States DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
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 Session Chair of Session 3 (part of ISMM) 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 Session Chair of URM Lunch (part of PLDI Diversity, Equity and Inclusion) Session Chair of Women's Dinner (part of PLDI Diversity, Equity and Inclusion) Session Chair of LGBTQ+ Lunch (part of PLDI Diversity, Equity and Inclusion) Session Chair of SIGPLAN-M Mentoring Lunch (part of PLDI Diversity, Equity and Inclusion)
Alex AikenAiken, Alex Stanford UniversityUnited States Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
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-Landau & Radboud University NijmegenGermany Intrinsically Correct Algorithms and Recursive Coalgebras
Humam AlhusainiAlhusaini, Humam University of Texas at Arlington Formal Proofs of Bit Hacks in Machine Code
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
Keith AllenAllen, Keith University at Buffalo, SUNYUnited States The Chor of the Message Passing Interface (MPI)
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 Programming Language Design and Implementation for the Machine Learning Era: A Personal Perspective
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Modular GPU Programming with Typed Perspectives
Nada AminAmin, Nada Harvard UniversityUnited States Compiling to Recurrent Neurons
Nadav AmitAmit, Nadav TechnionIsrael Enabling Huge Pages for Real-World Executables
Zhida AnAn, Zhida Peking University Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chaitanya Mamatha AnandaAnanda, Chaitanya Mamatha University of California RiversideUnited States DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
Zhendong AngAng, Zhendong National University of Singapore Scenario-based Proof for Distributed Protocols
Jason AnselAnsel, Jason MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
Dhruv ApteApte, Dhruv UT Austin A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Anthony ArnoldArnold, Anthony University of Kentucky Going Where No GC Has Gone Before!
Jai AroraArora, Jai University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Arpita Dutta Arpita Dutta Indian Institute of Technology MandiIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in Program Committee within the SOAP-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
Soham BagchiBagchi, Soham The University of Utah Consistency and Coherence of the NVIDIA Grace-Hopper Superchip
Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Towards Verified Code Reasoning by LLMs
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
Thomas BallBall, Thomas University of Washington (USA) and Lancaster University (UK)United States Paths Converge: Software Model Checking for the BBC micro:bit
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 OOPSLA’25] 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 Session Chair of PAgE Session 1 (part of PAgE) Session Chair of Keynote (part of PAgE) Closing Remarks Opening remarks 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 OOPSLA’25] 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 OOPSLA’25] 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 Probabilistic Performance of Asynchronous Data-Flow Choreographies Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs 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
McCoy BeckerBecker, McCoy Event-based Design Abstractions for Agent Harnesses
Bernhard BeckertBeckert, Bernhard KITGermany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Paul BergBerg, Paul Aeolus Labs A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Emery D. BergerBerger, Emery D. University of Massachusetts Amherst and Amazon Web ServicesUnited States Reconsidering "Reconsidering Custom Memory Allocation"
Gilbert Louis BernsteinBernstein, Gilbert Louis University of WashingtonUnited States Session Chair of GPU Programming (part of PLDI Research Papers) 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
Frédéric BessonBesson, Frédéric Univ Rennes, Inria, CNRS, IRISAFrance Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
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
Eli BinghamBingham, Eli Pact: A Choreographic Language for Agentic Ecosystems
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 From Bebop to Constrained Horn Clauses
Stephen M. BlackburnBlackburn, Stephen M. Google; Australian National UniversityAustralia Much Ado About Offset Vectors
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Session Chair of Session 5 (part of ISMM)
Nicolas BlancoBlanco, Nicolas CEA List - Université Paris-SaclayFrance Hybrid Path-Sums for Hybrid Quantum Programs
Sandrine BlazyBlazy, Sandrine University of RennesFrance Session Chair of Session 5: Memory Efficiency and Control-Flow Analysis (part of LCTES) Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
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
Johannes BorgströmBorgström, Johannes Uppsala University, SwedenSweden Predicate E-Graphs with Symbolic Conditional Rewriting
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
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States E-Stitch: Top-Down Library Learning for E-Graphs
Martin BrainBrain, Martin City St. George's, University of London Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sofia BrookieBrookie, Sofia Chalmers University of Technology E-graphs modulo theories
Fraser BrownBrown, Fraser CMU Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dakota BryanBryan, Dakota University of Colorado, Boulder Social Co-Chair in Organizing Committee for PLDI 2026 Session Chair of Bands on the Bricks (part of PLDI Meetups) Session Chair of Hike in Chautauqua (part of PLDI Meetups) Session Chair of Boulder Dushanbe Tea House (part of PLDI Meetups)
Christopher BrzuskaBrzuska, Christopher [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
Christopher BuckBuck, Christopher None Semantics as a Tool of Thought: Provenance-Aware Dimensional Checking in a Reactive Array IR
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
Ilan BuzzettiBuzzetti, Ilan University of Texas at DallasUnited States Smocq: Formal Verification of Self Modifying Code
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
José Pablo CambroneroCambronero, José Pablo Google, USAUnited States Towards Verified Code Reasoning by LLMs
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 Session Chair of Keynote Session (part of LCTES) Opening Remarks Closing Session 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 Language Models Need Some Space: On the Sensitivity of Constrained Decoding to Completeness 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 Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track Towards Verified Code Reasoning by LLMs Agentic Code Reasoning
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States General Chair in Organizing Committee for PLDI 2026 Session Chair of Keynote 3 (part of PLDI Keynotes) Session Chair of PLDI Organizing and Review Committees Dinner (part of PLDI Events) Session Chair of PLDI Business Meeting (part of PLDI Events) 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
Isha ChaudharyChaudhary, Isha Lumos: Let there be Language Model System Certification
Clément ChavanonChavanon, Clément Inria, Univ Rennes, CNRS, IRISAFrance Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
Ethan CheChe, Ethan MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
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
Jian-Jia ChenChen, Jian-Jia General Chair in Organizing Committee within the LCTES-track General Chair in Steering Committee within the LCTES-track
Jianjun ChenChen, Jianjun College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu New York University, University of AlbertaUnited States Web Co-Chair in Organizing Committee for PLDI 2026 [SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Juan ChenChen, Juan College of Computer Science and Technology, National University of Defense Technology, China CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning
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 OOPSLA’25] 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
Xiangqun ChenChen, Xiangqun Peking UniversityChina SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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
Gong ChengCheng, Gong Dartmouth College A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Deepak CherianCherian, Deepak Earthmover PBC Marrying engineering rigor & scientific rigor for the planet
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 Research Taste: From Core PL to New Frontiers
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 Session Chair of Session 4: Specialized Hardware and Accelerator Design (part of LCTES) 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 AMD ResearchUnited States Session Chair of KEYNOTE-2 and Tensorial Themes (part of ARRAY) Committee Member in Program Committee within the ARRAY-track
Eloise ChristianChristian, Eloise Rochester Institute of TechnologyUnited States Committee Member in AV Committee for PLDI 2026
Valentin ChuravyChuravy, Valentin Johannes Gutenberg University, Mainz & University of Augsburg A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Breandan ConsidineConsidine, Breandan United States Towards a Linear-Algebraic Hypervisor
Byron CookCook, Byron AmazonUnited States Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ 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 From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs Committee Member in Program Committee within the EGRAPHS-track
Brendan CoyneCoyne, Brendan Boston University Testing LLM-Generated Distributed Protocol Code
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 Computation for Efficient Programmable Inference in Probabilistic Programs Categorical Semantics of Probabilistic Symbolic Execution
D Edoardo D'AlessioD'Alessio, Edoardo University of Illinois Chicago Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications
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 PLDI’25] Probabilistic Refinement Session Types Parametric Choreographies for Distributed Programming Testing LLM-Generated Distributed Protocol Code
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
Remi DelmasDelmas, Remi Amazon Web Services A Semi-Persistent E-Graph with Native AC Canonization and Leapfrog AC Matching.
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 OOPSLA’25] 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 Kunlunxin & 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 OOPSLA’25] Homomorphism Calculus for User-Defined Aggregations [SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis [SIGPLAN OOPSLA’25] 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
Sai DivvelaDivvela, Sai University of Maryland, College Park, USA Automatic Energy Analysis Using Types
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 Session Chair of Semantics and Hyperproperty Reasoning (part of PLDI Research Papers) 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
Christophe DubachDubach, Christophe McGill UniversityCanada Sirop: A Small IR for HLS with Parallel Patterns A Functional Approach to Synthesizing Routable Programmable Accelerators for Neural Networks
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Persistent Iterators with Value Semantics
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
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Committee Member in Steering Committee within the LCTES-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
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Compositional Data-Flow Analysis at Industrial Scale Keynote Speaker in Keynote Speakers within the SOAP-track
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
Lars-Henrik ErikssonEriksson, Lars-Henrik Uppsala UniversitySweden Predicate E-Graphs with Symbolic Conditional Rewriting
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 OOPSLA’25] 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
Kai FengFeng, Kai University of Glasgow Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top
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
Jack FeserFeser, Jack BasisUnited States Pact: A Choreographic Language for Agentic Ecosystems
Jonáš FialaFiala, Jonáš ETH ZurichSwitzerland Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Lori FlynnFlynn, Lori CERTUnited States A Pointer-Ownership Model for C Inspired by Rust
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 Session Chair of Symbolic Methods for Verification and Matching (part of PLDI Research Papers) 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
Marco FrigoFrigo, Marco University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
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 PLDI’25] 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 PLDI’25] Probabilistic Refinement Session Types Relational Cell Morphing: Automated Verification of Relational Properties of Array Programs
Joshua GancherGancher, Joshua Northeastern UniversityUnited States Towards Choreographic Programming for Consensus Protocols
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
Maximilian GelbrechtGelbrecht, Maximilian Technical University of Munich & Potsdam Institute for Climate Impact Research A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Samuel GerbersGerbers, Samuel ETH Zurich E-Graph-Based Metamorphic Testing for Datalog Engines
Herman GeuversGeuvers, Herman Radboud University Nijmegen, Netherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matin GhavamiGhavami, Matin Massachusetts Institute of TechnologyUnited States Event-based Design Abstractions for Agent Harnesses
Sudrit GhimireGhimire, Sudrit Texas State UniversityUnited States K-Sentry: A Verified Order-Sensitive Telemetry Accumulator
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 Graded Monoids for Dependently Typed Array Programming
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
Mosè GiordanoGiordano, Mosè UCL A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Patrice GodefroidGodefroid, Patrice Microsoft, USAUnited States Having a Ball with Tom since 1994
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 Welcoming Remarks Committee Member in Organizing Committee within the ARRAY-track
Kiran GopinathanGopinathan, Kiran BasisUnited States Pact: A Choreographic Language for Agentic Ecosystems
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 UtahUnited States Bushwhacking towards Event-Driven Chorex
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 Committee Member in Steering Committee within the LCTES-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 OOPSLA’25] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
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
Ran GuoGuo, Ran Purdue University Rhyme: A Multi-Paradigm Declarative Query Language
Yao GuoGuo, Yao Peking UniversityChina SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
Zheng GuoGuo, Zheng University of MichiganUnited States Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Kavi GuptaGupta, Kavi MIT E-Stitch: Top-Down Library Learning for E-Graphs
Rajiv GuptaGupta, Rajiv University of California at RiversideUnited States DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
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 Juuso HaavistoHaavisto, Juuso University of Oxford Graded Monoids for Dependently Typed Array Programming
Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Augmenting Rewrite Rule Sets via Knuth-Bendix Completion Associativity and Commutativity in Equality Saturation
Ákos HajduHajdu, Ákos MetaUnited Kingdom Scaling Static Code Analysis Adoption at WhatsApp iOS
Shashin HalalingaiahHalalingaiah, Shashin UT Austin, IIT MadrasUnited States [SIGPLAN OOPSLA’25] Probabilistic Inference for Datalog with Correlated Inputs
Mary HallHall, Mary University of UtahUnited States Tiles, Bricks, and Layouts: How Aggregate Data Abstractions Aid in Optimizing Data Movement
William HallahanHallahan, William Binghamton [SIGPLAN OOPSLA’25] Counterexample-Guided Inference of Modular Specifications
Sara S. HamoudaHamouda, Sara S. CanvaAustralia Committee Member in Program Committee within the ISMM-track
Myeonggyun HanHan, Myeonggyun Kyungpook National UniversitySouth Korea Session Chair of Session 1: Advanced Compiler Tuning (part of LCTES) MemSpec: Memory-Aware Runtime for Adaptive Draft Scheduling in Speculative Decoding on Edge Devices
Yeji HanHan, Yeji Seoul National UniversitySouth Korea CRIS: The Power of Imagination in Hybrid Verification
Yi HanHan, Yi College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, ChinaChina CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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 OOPSLA’25] 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 OOPSLA’25] Complete the Cycle: Reachability Types with Expressive Cyclic References Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
Patrick HeimbachHeimbach, Patrick UT Austin A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Committee Member in AV Committee for PLDI 2026 Video Co-Chair in Organizing Committee for PLDI 2026
Jörg HenkelHenkel, Jörg Committee Member in Steering Committee within the LCTES-track
Kihong HeoHeo, Kihong KAISTRepublic of Korea Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Seonyeong HeoHeo, Seonyeong Kyung Hee UniversitySouth Korea A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-Mapped Near-Data Processing Architecture (WIP) 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
Marijn HeuleHeule, Marijn Carnegie Mellon University Relational E-matching in an SMT solver
Louis HildebrandHildebrand, Louis McGill UniversityCanada Sirop: A Small IR for HLS with Parallel Patterns
Chris HillHill, Chris MITUnited States A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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 Session Chair of Keynote (part of CP) Session Chair of Choreographic Foundations (part of CP) The Chor of the Message Passing Interface (MPI) Committee Member in Organizing Committee within the CP-track
Steve HodgesHodges, Steve Lancaster University, UK The BBC micro:bit revolution (pre-recorded video)
Jana HofmannHofmann, Jana MPI-SPGermany A Deductive System for Contract Satisfaction Proofs Research Taste: From Core PL to New Frontiers
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
Qiantan HongHong, Qiantan Stanford University Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Jeffrey HoskinsonHoskinson, Jeffrey Software Engineering Institute, Carnegie Mellon UniversityUnited States A Pointer-Ownership Model for C Inspired by Rust
Paul HovlandHovland, Paul Argonne National LaboratoryUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
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 How to Read a PL Paper (while Also Doing Other Things Too)
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
Ruizhe HuangHuang, Ruizhe Peking UniversityChina Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
Yu HuangHuang, Yu National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Thomas HuddlestonHuddleston, Thomas Ohio State UniversityUnited States Portable Anomaly Detection for Distributed PGAS Programs Based on Array Mapping Abstractions
Jan HueckelheimHueckelheim, Jan Argonne National Laboratory Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
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
Mohamed HusainHusain, Mohamed Virginia Tech Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications
Eric WH HuttonHutton, Eric WH University of Colorado Boulder The Basic Model Interface (BMI)
John HögbergHögberg, John Ericsson Predicate E-Graphs with Symbolic Conditional Rewriting
I Yujin ImIm, Yujin Seoul National University CRIS: The Power of Imagination in Hybrid Verification
Eleftherios IoannidisIoannidis, Eleftherios Microsoft ResearchUnited States Session Chair of Type Systems (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track Lazy Validation and Self-Healing for Agentic Programs
Hiromi IshiiIshii, Hiromi JIJJapan Pure Borrow: Linear Haskell Meets Rust-Style Borrowing Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog
Jad IssaIssa, Jad CEA List - Université Paris-SaclayFrance Hybrid Path-Sums for Hybrid Quantum Programs
Ivan IvanovIvanov, Ivan Institute of Science TokyoJapan Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
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 ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators CERES: Making Equality Saturation Memory-Scalable
Vedaant JainJain, Vedaant Lumos: Let there be Language Model System Certification
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 UniversityUnited States Exploring Locally Bounded Translation Validation
Dongsuk JeonJeon, Dongsuk Seoul National University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
Minseok JeonJeon, Minseok DGISTSouth Korea Committee Member in Program Committee within the SOAP-track
Yeong Jun JeonJeon, Yeong Jun Kyungpook National University MemSpec: Memory-Aware Runtime for Adaptive Draft Scheduling in Speculative Decoding on Edge Devices
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 Modular Verification of Leakage Contracts
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States [SIGPLAN OOPSLA’25] 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
Ning JiaJia, Ning Huawei TechnologiesChina Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
Songlin JiaJia, Songlin Purdue UniversityUnited States Typestate via Revocable Capabilities [SIGPLAN OOPSLA’25] 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
Peng JiangJiang, Peng Southeast University Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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
Lizy JohnJohn, Lizy University of Texas, Austin Reduce, Reuse, Recycle: Is this Mantra under attack with Proliferation of Machine Learning?
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
Ravi Shankar JonnalagaddaJonnalagadda, Ravi Shankar Micron Technology Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
Lei JuJu, Lei Shandong UniversityChina Path-Sensitive Abstract Interpretation for WCET Estimation
Tzung-Han JuangJuang, Tzung-Han McGill UniversityCanada A Functional Approach to Synthesizing Routable Programmable Accelerators for Neural Networks
Eunice JunJun, Eunice University of California at Los AngelesUnited States Causality and Semantic Separation
Changhee JungJung, Changhee Purdue University, USA Committee Member in Steering Committee within the LCTES-track
Jonghyun JungJung, Jonghyun University of WaterlooCanada Virtualizing Continuations
Ralf JungJung, Ralf ETH ZurichSwitzerland Session Chair of Rust Translation and Borrowing (part of PLDI Research Papers) 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 Session Chair of Concurrency (part of PLDI Research Papers) 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
Henrik KarlssonKarlsson, Henrik KTH Royal Institute of TechnologySweden Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code
Karan KashyapKashyap, Karan Brown UniversityUnited States Diagramming Program Values by Spatial Refinement
Baris KasikciKasikci, Baris University of WashingtonUnited States [SIGPLAN OOPSLA’25] 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 Combining Agentic AI and Lightweight Formal Methods To Find Bugs in a Production Hypervisor
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 Session Chair of Static Analysis 2 (part of PLDI Research Papers) 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
Beomseok KimKim, Beomseok Seoul National University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
Eunjeong KimKim, Eunjeong Kyungpook National University MemSpec: Memory-Aware Runtime for Adaptive Draft Scheduling in Speculative Decoding on Edge Devices
Gwangsun KimKim, Gwangsun POSTECH / Arm A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-Mapped Near-Data Processing Architecture (WIP)
Hanjun KimKim, Hanjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Hyejun KimKim, Hyejun Yonsei University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
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 Happiness U-Curve: Navigating the AI Validation Bottleneck with Conformance Testing and Proof-Engineering
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 Research Taste: From Core PL to New Frontiers
William KlieberKlieber, William Software Engineering Institute, Carnegie Mellon UniversityUnited States A Pointer-Ownership Model for C Inspired by Rust
Milan KlowerKlower, Milan University of Oxford A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Martin KongKong, Martin Ohio State UniversityUnited States Portable Anomaly Detection for Distributed PGAS Programs Based on Array Mapping Abstractions
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
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Relational Cell Morphing: Automated Verification of Relational Properties of Array Programs
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
Prasad KulkarniKulkarni, Prasad University of Kansas Session Chair of Session 2: Binary Optimization & System Security (part of LCTES)
Prasad KulkarniKulkarni, Prasad U. of KansasUnited States Empirical Observations about Profile-Guided Optimizations for Mainstream C/C++ Compilers
Sanjib Kumar SenKumar Sen, Sanjib Texas A&M University - Corpus ChristiUnited States LLMEffect: A Type System for Securing LLM API Boundaries 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
Rahul KumarKumar, Rahul AmazonUnited States The SLAM "GiveUp"
Joseph KumpKump, Joseph UT Austin A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Taisa KushnerKushner, Taisa Galois Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
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 Welcome and logistics Tracing the Ball-istic Trajectory of My Research: From Randoop to FastF, Memory Models and Semantic Merging Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
Mahesh LakshminarasimhanLakshminarasimhan, Mahesh AMD USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sai Lalith Kumar AkaLalith Kumar Aka, Sai University of Colorado BoulderUnited States pp-horn: A Secure Inference Primitive
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
James LarusLarus, James EPFL Profiling, not Slicing, is the Path to Success (pre-recorded video)
Ronan LashermesLashermes, Ronan RambusFrance On the Origins of Indirect Jumps in Embedded Software
Lukas LazarekLazarek, Lukas Brown University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Minh LeLe, Minh Georgia Institute of Technology Formal Methods for Securing Federated Authorization: A Case Study of SciTokens
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 KAISTSouth Korea Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States Committee Member in Steering Committee within the LCTES-track
Hunjun LeeLee, Hunjun Hanyang University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
Inho LeeLee, Inho Hanyang University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
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
Junghyun LeeLee, Junghyun Seoul National University, South Korea RAPO: Retrieval-Augmented Phase Ordering
Kyoungwoo LeeLee, Kyoungwoo Yonsei University Committee Member in Steering Committee within the LCTES-track
Seonho LeeLee, Seonho Seoul National University CRIS: The Power of Imagination in Hybrid Verification
Seungheon LeeLee, Seungheon POSTECH A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-Mapped Near-Data Processing Architecture (WIP)
Shaun Christopher LeeLee, Shaun Christopher University of Washington [SIGPLAN OOPSLA’25] 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
Puhong LeiLei, Puhong Hunan Greatwall Galaxy Science and Technology Co.,Ltd Changsha, P.R. ChinaChina CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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
Damitha LenadoraLenadora, Damitha University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
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
Reese LevineLevine, Reese University of California at Santa CruzUnited States Consistency and Coherence of the NVIDIA Grace-Hopper Superchip From Workarounds to Root Causes: Experience Using Agentic Workflows to Debug Complex Browser GPU Compiler Stacks
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track Incremental Computation 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
Ding LiLi, Ding Peking UniversityChina SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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 Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC 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
Kuan LiLi, Kuan Dongguan University of TechnologyChina CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning
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
Xinliang LiLi, Xinliang GoogleUnited States DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
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
Zhe LiLi, Zhe College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, China CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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 Session Chair of Session 6 (part of PLMW @ PLDI) Organizing Committee in Organizing Committee within the PLMW @ PLDI-track
John LiagourisLiagouris, John Parametric Choreographies for Distributed Programming
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
Zhenkai LiangLiang, Zhenkai National University of SingaporeSingapore SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection
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
Kun LiuLiu, Kun Tulane University Towards Taming Indirect Control Flow in Binaries with Multi-Task Graph Learning
Xu LiuLiu, Xu North Carolina State UniversityUnited States Committee Member in Steering Committee within the LCTES-track Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
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
Saatvik LochanLochan, Saatvik University of Illinois Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
Debasmita LoharLohar, Debasmita IT University of CopenhagenDenmark Session Chair of Keynote (part of SOAP) Program Co-Chair in Organizing Committee within the SOAP-track
Nora LooseLoose, Nora [C]Worthy A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Shan LuLu, Shan Microsoft; University of ChicagoUnited States Can Coding Agents Write Verifiably Correct Software?
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 Cumulating Abstract Semantics via Handlers Session Chair of Breakfast Meet and Greet (part of PLDI Meetups) Session Chair of Coffee and Pastries Meet and Greet (part of PLDI Meetups) Session Chair of Hike in Chautauqua (part of PLDI Meetups) Session Chair of Hike in Chautauqua (part of PLDI Meetups)
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 Introduction Committee Member in Organizing Committee within the PROPL-track
P. MadhusudanMadhusudan, P. University of Illinois Urbana-ChampaignUnited States Verification Modulo Tested Library Contracts
Kabilan MahathevanMahathevan, Kabilan Virginia TechUnited States Vectorizing Sparse Coiteration for Two-finger Loop Structure (Extended Abstract)
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 MansinghkaMansinghka, Vikash Massachusetts Institute of Technology Event-based Design Abstractions for Agent Harnesses
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
Sai Krishna Teja Varma ManthenaManthena, Sai Krishna Teja Varma North Carolina State UniversityUnited States Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
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
Mark MarronMarron, Mark University of Kentucky Going Where No GC Has Gone Before!
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
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States A Pointer-Ownership Model for C Inspired by Rust
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 The Next Frontier for AI-Generated Kernels: Correctness
Umang MathurMathur, Umang National University of SingaporeSingapore Fixed Parameter Tractable Linearizability Monitoring State Space Estimation for DPOR-Based Model Checkers Automata Theory: The Gift That Keeps Giving
Yusuke MatsushitaMatsushita, Yusuke Kyoto UniversityJapan Session Chair of Mechanized Program Logics and Verification (part of PLDI Research Papers) 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
Vadym MatviichukMatviichuk, Vadym Northeastern UniversityUnited States Refined Remora: Constraining Array Shapes
John McCallMcCall, John Apple Balancing High and Low-Level Programming in Swift
McKenna McCallMcCall, McKenna Colorado State University, USA Local Arrangements Co-Chair in Organizing Committee for PLDI 2026
Ryan McCleearyMcCleeary, Ryan Galois Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
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 Tom and the evolution of abstraction
Kayvan MemarianMemarian, Kayvan University of CambridgeUnited Kingdom Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows Combining Agentic AI and Lightweight Formal Methods To Find Bugs in a Production Hypervisor
Jorge MendezMendez, Jorge Meta Scaling Static Code Analysis Adoption at WhatsApp iOS
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators CERES: Making Equality Saturation Memory-Scalable
Zhaonan MengMeng, Zhaonan North Carolina State UniversityUnited States Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
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 Session Chair of Networking and Distributed Systems (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Research in Three-Part Harmony
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
Eishan MirakhurMirakhur, Eishan Micron Technology Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
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 Tales of Breaking and Fixing Software
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
Alexis MontoisonMontoison, Alexis Argonne National Laboratory A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Mathieu MorlighemMorlighem, Mathieu Dartmouth College A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Xing MouMou, Xing College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, ChinaChina CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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 Session Chair of Generative Testing and Program Synthesis (part of PLDI Research Papers) 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 Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track Committee Member in Organizing Committee within the PAgE-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Hyper Separation Logic Research Taste: From Core PL to New Frontiers You and Your PhD
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 Consistency and Coherence of the NVIDIA Grace-Hopper Superchip
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 Welcome and logistics Committee Member in Organizing Committee within the Tom Ball @ Sixty -track
Michelangelo NaimNaim, Michelangelo Pact: A Choreographic Language for Agentic Ecosystems
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
Sri Hari Krishna NarayananNarayanan, Sri Hari Krishna Argonne National Laboratory A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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 OOPSLA’25] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Joseph P. NearNear, Joseph P. University of VermontUnited States Towards Quantum Choreographies Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs 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 Session Chair of Equality Saturation (part of PLDI Research Papers) [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ariane NicolasNicolas, Ariane Univ Rennes, Inria, CNRS, IRISAFrance On the Origins of Indirect Jumps in Embedded Software
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 Session Chair of Junior Faculty Breakfast (part of PLDI Meetups)
Ruslan NikolaevNikolaev, Ruslan Pennsylvania State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dimitrios NikolopoulosNikolopoulos, Dimitrios Virginia TechUnited States Stride-Aware Page Prefetching for GPU Unified Memory via Markov Pattern Prediction
O Timothy O'DonnellO'Donnell, Timothy Event-based Design Abstractions for Agent Harnesses
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 Session Chair of Potpourri (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track Introduction Committee Member in Organizing Committee within the PROPL-track Committee Member in Organizing Committee within the PROPL-track
Soner OnderOnder, Soner Michigan Technological UniversityUnited States Can Fine-Grain Multi-threading Subsume VLIW?
Dominic OrchardOrchard, Dominic University of Cambridge; University of KentUnited Kingdom Introduction Mind the Gap: General-Purpose Programming Languages Impede Scientific Model Development and Communication Committee Member in Organizing Committee within the PROPL-track
Yoshihiro OyamaOyama, Yoshihiro University of TsukubaJapan Hikami: A Lightweight Hypervisor for Emulating RISC-V Extension Semantics with Sail-Driven Auto-generation
P Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Session Chair of KEYNOTE-1 (part of ARRAY) Committee Member in Program Committee within the ARRAY-track
Avik PalPal, Avik MIT A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Soma PalPal, Soma U. of KansasUnited States Empirical Observations about Profile-Guided Optimizations for Mainstream C/C++ Compilers
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 Session Chair of Optimization of Data Pipelines (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ajay PanyalaPanyala, Ajay Pacific Northwest National LaboratoryUnited States Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Akash PardeshiPardeshi, Akash University of Illinois at Urbana-ChampaignUnited States CERES: Making Equality Saturation Memory-Scalable
Prineet ParharParhar, Prineet Lumos: Let there be Language Model System Certification
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
Sehyeok ParkPark, Sehyeok Rutgers UniversityUnited States Correctly Rounded Dot Products under Round-to-Odd
Sunho ParkPark, Sunho Seoul National UniversitySouth Korea Student Volunteer Co-Chair in Organizing Committee for PLDI 2026
Yongjun ParkPark, Yongjun Yonsei University FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP) Programme Committee in Program Committee within the LCTES-track Committee Member in Steering Committee within the LCTES-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Dynamically Checked Deep Immutability in Python Session Chair of Session 2 (part of ISMM) 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 Relational E-matching in an SMT solver
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hayley PattonPatton, Hayley Australian National University Much Ado About Offset Vectors
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Fast Atomicity Monitoring Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jennifer PaykinPaykin, Jennifer University of VermontUnited States Towards Quantum Choreographies
Mathias PedersenPedersen, Mathias Aarhus UniversityDenmark Iris-WasmFX: Modular Reasoning for Wasm Stack Switching
Hila PelegPeleg, Hila TechnionIsrael The Search for Constrained Random Generators
Cheng PengPeng, Cheng Stanford Institute for Materials and Energy Sciences, SLAC National Accelerator 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
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs
Vinicius PetrucciPetrucci, Vinicius Micron Technology Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
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
Mark D PiperPiper, Mark D University of Colorado Boulder The Basic Model Interface (BMI)
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States [SIGPLAN OOPSLA’25] 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 Session Chair of Business Meeting (part of CP) Session Chair of Choreographic Applications (part of CP) Committee Member in Organizing Committee within the CP-track
Scott PomervillePomerville, Scott Northern Michigan UniversityUnited States Can Fine-Grain Multi-threading Subsume VLIW?
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 Session Chair of Session 3: Formal Methods and Systems Reliability (part of LCTES) 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
Isabelle PuautPuaut, Isabelle Université de Rennes - Inria - CNRS - IRISAFrance On the Origins of Indirect Jumps in Embedded 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
Siyuan Brant QianQian, Siyuan Brant University of Illinois at Urbana-ChampaignUnited States Impulse: Momentously Fast, General, and Portable Probabilistic Programming via Compiler Augmentation Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Wei QiangQiang, Wei Columbia University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xueying QinQin, Xueying University of Southern DenmarkDenmark Formalizing the Equivalence between Select-&-Merge and Conclaves-&-MLVs 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
Weihao QuQu, Weihao Monmouth UniversityUnited States Relational Cell Morphing: Automated Verification of Relational Properties of Array Programs
Andrew QuinnQuinn, Andrew University of California at Santa CruzUnited States [SIGPLAN OOPSLA’25] 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 Session Chair of Abstract Interpretation (part of PLDI Research Papers) LLM-Integrated Declarative Program Analysis
Sriram RajamaniRajamani, Sriram Microsoft Research Indua Recollections from SLAM-ming with Tom
Ramya RamalingamRamalingam, Ramya [SIGPLAN OOPSLA’25] 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
Abhijit RameshRamesh, Abhijit UC Santa Cruz From Workarounds to Root Causes: Experience Using Agentic Workflows to Debug Complex Browser GPU Compiler Stacks
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Boston UniversityUnited States Committee Member in AV Committee for PLDI 2026 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
Sayan RanuRanu, Sayan Lumos: Let there be Language Model System Certification
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 Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications
Tristan RavitchRavitch, Tristan AmazonUnited States Automating Context Inference at Scale for Security
John RegehrRegehr, John University of UtahUnited States Session Chair of Specification Synthesis and Verification (part of PLDI Research Papers) 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
Yuxin RenRen, Yuxin Huawei Technologies Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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 Roses are Blue, Violets are Red; With Future AI, is Research Dead? Ju-jitsu with Ball-Larus (& Melski-Reps) or "We will publish no algorithm before its time"
Taeyoung RheeRhee, Taeyoung Seoul National University CRIS: The Power of Imagination in Hybrid Verification
David RichterRichter, David Technical University of DarmstadtGermany Committee Member in Program Committee within the CP-track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Incremental Computation for Efficient Programmable Inference in Probabilistic Programs Event-based Design Abstractions for Agent Harnesses Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
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 NVIDIAUnited States The Shape of Things to Come
Erven RohouRohou, Erven Université de Rennes - Inria - CNRS - IRISAFrance On the Origins of Indirect Jumps in Embedded Software
Tiark RompfRompf, Tiark Purdue UniversityUnited States Typestate via Revocable Capabilities [SIGPLAN OOPSLA’25] Complete the Cycle: Reachability Types with Expressive Cyclic References Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types Rhyme: A Multi-Paradigm Declarative Query Language
Patrick RondonRondon, Patrick Google Towards Verified Code Reasoning by LLMs
Partha RoopRoop, Partha University of Auckland Committee Member in Steering Committee within the LCTES-track
Alexander J RootRoot, Alexander J Stanford UniversityUnited States Bonsai: Compiling Queries to Pruned Tree Traversals Decoupling Data Layouts from Bounding Volume Hierarchies
Tarik RosinRosin, Tarik Saarland University Associativity and Commutativity in Equality Saturation
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 SIGPLAN CARES
S Sumanth Prabhu SS, Sumanth Prabhu Relyance AIIndia Verification Modulo Tested Library Contracts
William S. MosesS. Moses, William University of Illinois Urbana-ChampaignUnited States A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Feras A. SaadSaad, Feras A. Carnegie Mellon UniversityUnited States Session Chair of Formal Verification of Probabilistic Programs (part of PLDI Research Papers) GradInf: Gradient Estimation as Probabilistic Inference Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Arnav SabharwalSabharwal, Arnav Carnegie Mellon University Implementing Hybrid Resource Analysis in Resource Aware ML 2
Kavya SachdevaSachdeva, Kavya Lumos: Let there be Language Model System Certification
Mooly SagivSagiv, Mooly Certora, inc.Israel Interdisciplinary Genius in the 21st Century: The Case of Tom Ball
Suman SahaSaha, Suman pcUnited States Scheduled Partial-Credit RL for Reliable Code Generation with Small Language Models (WIP)
Ayman SaidSaid, Ayman University of Michigan [SIGPLAN OOPSLA’25] 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
Vimarsh SathiaSathia, Vimarsh University of Illinois Urbana ChampaignUnited States Poseidon: Profile-Guided Numerical Rewriting at Full-Application Scale
Sundara Vishnu SatishSatish, Sundara Vishnu CIMS, New York UniversityUnited States Committee Member in AV Committee for PLDI 2026
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
Michel SchanenSchanen, Michel Argonne National Laboratory A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
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
Michael SchiffererSchifferer, Michael Saarland University Augmenting Rewrite Rule Sets via Knuth-Bendix Completion
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
Rohit SehgalSehgal, Rohit Micron Technology Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
R. SekarSekar, R. Stony Brook UniversityUnited States Analyzing Bytes: Pre-Disassembly Static Binary Analysis
Ilya SergeySergey, Ilya National University of SingaporeSingapore Answer Set Programming for Egg Extraction and More
Natalie SerrinoSerrino, Natalie Gimlet Labs Tensor Algebra Equivalence Checker
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 Combining Agentic AI and Lightweight Formal Methods To Find Bugs in a Production Hypervisor
Amar ShahShah, Amar Carnegie Mellon UniversityUnited States Relational E-matching in an SMT solver
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
Han ShenShen, Han Google Inc DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Web Co-Chair in Organizing Committee for PLDI 2026
Yunqi ShenShen, Yunqi Virginia Tech Stride-Aware Page Prefetching for GPU Unified Memory via Markov Pattern Prediction
Zhaoyan ShenShen, Zhaoyan Shandong University Programme Committee in Program Committee within the LCTES-track
Yang ShiShi, Yang National University of Defense Technology CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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 Refined Remora: Constraining Array Shapes
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States Practical Quantum Machine Learning: Overcoming the Bottlenecks of Scalability and Stability Committee Member in Steering Committee within the LCTES-track
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
Suryansh Singh SijwaliSijwali, Suryansh Singh The Pennsylvania State UniversityUnited States Scheduled Partial-Credit RL for Reliable Code Generation with Small Language Models (WIP)
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 From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
João SilveiraSilveira, João INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Cpp2Rust: Automatic Translation of C++ to Safe Rust
Simone SilvestriSilvestri, Simone Politecnico di Torino A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top 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 Lumos: Let there be Language Model System Certification
Gagandeep SinghSingh, Gagandeep University of Illinois Urbana-ChampaignUnited States Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation SAIL: Sound Abstract Interpreters with LLMs Research Taste: From Core PL to New Frontiers Lumos: Let there be Language Model System Certification Formal Methods for Frontier AI Systems
Jus SinghSingh, Jus Micron Technology Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zachary D. SiscoSisco, Zachary D. The Chinese University of Hong Kong, ShenzhenChina Improving Equality Saturation for EDA via Semantic E-Graphs Fungible Memories for Automated Technology Mapping and Retargeting
Meghana Aparna SistlaSistla, Meghana Aparna Google DeepMindUnited States Towards Verified Code Reasoning by LLMs
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia A guided tour through Oxidized OCaml Introduction 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
Christian SkalkaSkalka, Christian University of Vermont Towards Quantum Choreographies
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler Keynote Speaker in Keynote Speakers within the SOAP-track
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
Rupanshu SoiSoi, Rupanshu Stanford University Rewrite System Showdown: Stochastic Search vs. EqSat A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs
Kristina SojakovaSojakova, Kristina Vrije Universiteit AmsterdamNetherlands Pantomime: Constructive Leakage Proofs via Simulation
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States E-Stitch: Top-Down Library Learning for E-Graphs
Gagan SomashekarSomashekar, Gagan Microsoft Committee Member in Program Committee within the PAgE-track
Dawn SongSong, Dawn UC Berkeley Committee Member in Organizing Committee within the PAgE-track
Youngju SongSong, Youngju AmazonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tyler SorensenSorensen, Tyler Microsoft Research; University of California at Santa CruzUnited States Session Chair of Compiler Optimization for Accelerators (part of PLDI Research Papers)
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 Consistency and Coherence of the NVIDIA Grace-Hopper Superchip
Tyler SorensenSorensen, Tyler University of California at Santa Cruz From Workarounds to Root Causes: Experience Using Agentic Workflows to Debug Complex Browser GPU Compiler Stacks The Next Frontier for AI-Generated Kernels: Correctness
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 Technische Universität 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 Session Chair of Keynote 1 (part of PLDI Keynotes) Session Chair of Keynote 2 (part of PLDI Keynotes) Session Chair of Runtime Memory and Control Abstractions (part of PLDI Research Papers) Chair in PLDI Review Committee within the PLDI Research Papers-track Session Chair of PLDI Organizing and Review Committees Dinner (part of PLDI Events) Session Chair of PLDI Business Meeting (part of PLDI Events)
Sanya SrivastavaSrivastava, Sanya Duke University Consistency and Coherence of the NVIDIA Grace-Hopper Superchip
Tom St. JohnSt. John, Tom Gimlet LabsUnited States Tensor Algebra Equivalence Checker
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
Ryan StutsmanStutsman, Ryan University of UtahUnited States Consistency and Coherence of the NVIDIA Grace-Hopper Superchip
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
Chamika SudusingheSudusinghe, Chamika University of Illinois at Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Steering Committee within the LCTES-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 Vectorizing Sparse Coiteration for Two-finger Loop Structure (Extended Abstract) Portable Anomaly Detection for Distributed PGAS Programs Based on Array Mapping Abstractions
Hyojin SungSung, Hyojin Seoul National University RAPO: Retrieval-Augmented Phase Ordering Committee Member in Program Committee within the LCTES-track
Milijana SurbatovichSurbatovich, Milijana University of Maryland at College ParkUnited States Session Chair of Static Analysis 1 (part of PLDI Research Papers) Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow Committee Member in PLDI Review Committee within the PLDI Research Papers-track Correct Compilation for Asynchronous Dataflow Architectures
Emmanuel Suárez AcevedoSuárez Acevedo, Emmanuel Cornell UniversityUnited States Weighted NetKAT: A Programming Language For Quantitative Network Verification
David SvobodaSvoboda, David A Pointer-Ownership Model for C Inspired by Rust
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 Riffing on some themes from Tom: Driver Verification, Testing, Abstraction & Theorem Proving
Michael SwiftSwift, Michael University of Wisconsin--Madison Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
Andreas SymeonidisSymeonidis, Andreas Aristotle University of ThessalonikiGreece Lazy Validation and Self-Healing for Agentic Programs
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
Bijan TabatabaiTabatabai, Bijan University of Wisconsin-Madison Bandwidth Speaks, We Listen: Dynamic Memory Interleaving for Tiering
Meah Tahmeed AhmedTahmeed Ahmed, Meah The University of Texas at Dallas Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Norimasa TakanaTakana, Norimasa University of TsukubaJapan Hikami: A Lightweight Hypervisor for Emulating RISC-V Extension Semantics with Sail-Driven Auto-generation
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science Programme Committee in Program Committee within the LCTES-track
Sriraman TallamTallam, Sriraman Google Inc.United States DeduBB: Binary Code Size Reduction via Post-Link Basic Block Deduplication
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
Mihir TandonTandon, Mihir University of Illinois Urbana-Champaign CERES: Making Equality Saturation Memory-Scalable
Jubi TanejaTaneja, Jubi Gimlet LabsUnited States Session Chair of Array Programming and Verification (part of ARRAY) Tensor Algebra Equivalence Checker Committee Member in Program Committee within the ARRAY-track
Dixin TangTang, Dixin University of Texas at AustinUnited States [SIGPLAN OOPSLA’25] 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
Zenna TavaresTavares, Zenna Pact: A Choreographic Language for Agentic Ecosystems
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States Event-based Design Abstractions for Agent Harnesses
Paul TengTeng, Paul McGill University, CanadaCanada A Functional Approach to Synthesizing Routable Programmable Accelerators for Neural Networks
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
Bolun ThompsonThompson, Bolun University of California, Los AngelesUnited States Pync: Function-Level Incremental Execution for Python Scripts
Anders Ågren ThunéThuné, Anders Ågren Uppsala University Predicate E-Graphs with Symbolic Conditional Rewriting
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
Theodoros TsampourisTsampouris, Theodoros Aristotle University of ThessalonikiGreece Lazy Validation and Self-Healing for Agentic Programs
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
Gregory E TuckerTucker, Gregory E University of Colorado Boulder The Basic Model Interface (BMI)
Michele TufanoTufano, Michele GoogleUnited States Towards Verified Code Reasoning by LLMs
Hünkar Can TunçTunç, Hünkar Can UberNetherlands Fast Atomicity Monitoring
U Shubham UgareUgare, Shubham MetaUnited States Agentic Code Reasoning
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Session Chair of Session 1 (part of ISMM) Committee Member in Program Committee within the ISMM-track Program Co-Chair in Organizing Committee within the ISMM-track
Gang-Ryung UhUh, Gang-Ryung Florida State UniversityUnited States Can Fine-Grain Multi-threading Subsume VLIW?
Mattias UlbrichUlbrich, Mattias KITGermany Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Oguz UlgenUlgen, Oguz MetaUnited States Writing Performance-Portable Kernels Simplified with Helion
Marcel UllrichUllrich, Marcel Saarland University, Saarland Informatics CampusGermany Augmenting Rewrite Rule Sets via Knuth-Bendix Completion Associativity and Commutativity in Equality Saturation
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 Relational Cell Morphing: Automated Verification of Relational Properties of Array Programs
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 OOPSLA’25] 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
Nicolas van Kempenvan Kempen, Nicolas University of Massachusetts Amherst, USAUnited States Reconsidering "Reconsidering Custom Memory Allocation"
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 The Question That Launched a Thousand Derivatives
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 Greg WagnerWagner, Greg MIT; Aeolus Labs A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Chao WangWang, Chao University of Southern CaliforniaUnited States [SIGPLAN OOPSLA’25] 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
Huanting WangWang, Huanting University of LeedsUnited Kingdom Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top
Ji WangWang, Ji National University of Defense TechnologyChina Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
Jiahua WangWang, Jiahua Peking UniversityChina Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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 OOPSLA’25] Probabilistic Inference for Datalog with Correlated Inputs Session Chair of Session 3 (part of PLMW @ PLDI) Session Chair of Session 2 (part of PLMW @ PLDI) Session Chair of Session 1 (part of PLMW @ PLDI) 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
Xiaoguang WangWang, Xiaoguang University of Illinois Chicago Stretch: A Fault-Driven DSM Runtime for Distributed Multithreaded Applications
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
Yaohua WangWang, Yaohua College of Computer Science and Technology, National University of Defense Technology, Changsha, China & Key Laboratory of Advanced Microprocessor Chips and Systems, Changsha, ChinaChina CVS: A Metric for Security-Aware Compilation against Side-Channel Attacks in Edge SoCs (WIP)
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
Yuanpeng WangWang, Yuanpeng Peking UniversityChina SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection
Zheng WangWang, Zheng University of LeedsUnited Kingdom Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top 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 OOPSLA’25] 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
Tjark WeberWeber, Tjark Uppsala UniversitySweden Predicate E-Graphs with Symbolic Conditional Rewriting
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
David WhalleyWhalley, David Florida State University Can Fine-Grain Multi-threading Subsume VLIW?
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
Ashton WiersdorfWiersdorf, Ashton University of UtahUnited States Bushwhacking towards Event-Driven Chorex
Thomas WiesWies, Thomas New York UniversityUnited States Implementability of Global Distributed Protocols Modulo Network Architectures
Sarah WilliamsonWilliamson, Sarah UT Austin A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling
Max WillseyWillsey, Max University of California at BerkeleyUnited States Optimism in Equality Saturation Navigating AND–OR Graph Modifications to Debug Failing Proof Search Relational E-matching in an SMT solver 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 ManchesterUnited Kingdom 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 How should we evaluate garbage collectors? Predicate E-Graphs with Symbolic Conditional Rewriting
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
Yuanyang XiangXiang, Yuanyang Institute of Automation, Chinese Academy of SciencesChina LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs
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
xiaoruozhou xiaoruozhou Institute of Automation, Chinese Academy of SciencesChina LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs
Chang XuXu, Chang Nanjing UniversityChina Exploiting Sophisticated Static Analysis for Verilog
Chen XuXu, Chen LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs
Jiang XuXu, Jiang Hong Kong University of Science and Technology (Guangzhou)China NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
Jiexiao XuXu, Jiexiao University of Washington [SIGPLAN OOPSLA’25] Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Qihang XuXu, Qihang Peking UniversityChina Bridging the Memory Hotness Gap in Edge Systems with Hotness-Segregated Object Allocation
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 Committee Member in Steering Committee within the LCTES-track
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
Jinwook YangYang, Jinwook Seoul National University RAPO: Retrieval-Augmented Phase Ordering
Shengyuan YangYang, Shengyuan University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wonhyuk YangYang, Wonhyuk POSTECH A Programming Model for Efficient Inter-Kernel Control-Flow on Memory-Mapped Near-Data Processing Architecture (WIP)
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
Ziyi YangYang, Ziyi National University of SingaporeSingapore Answer Set Programming for Egg Extraction and More
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 Session Chair of Verification and Proof Reasoning (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ky Yeop LimYeop Lim, Ky FLUX: Frequency Scaling with Layer-wise Utilization for Energy-Efficient NPU Execution (WIP)
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 Session Chair of Verified Compilation and Type Systems (part of PLDI Research Papers) Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra Committee Member in PLDI Review Committee within the PLDI Research Papers-track How to Give a Research Talk
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 Computation for Efficient Programmable Inference in Probabilistic Programs Event-based Design Abstractions for Agent Harnesses
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
Cheng ZhangZhang, Cheng Worcester Polytechnic InstituteUnited States From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs
Michael ZhangZhang, Michael Northeastern University Towards Choreographic Programming for Consensus Protocols
Minjian ZhangZhang, Minjian University of Illinois Urbana-ChampaignUnited States State Space Estimation for DPOR-Based Model Checkers
Naifeng ZhangZhang, Naifeng Carnegie Mellon University Semantics Lifting for Scientific Kernels
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 Session Chair of Domain-Specific Languages (part of PLDI Research Papers) Committee Member in PLDI Review Committee within the PLDI Research Papers-track Compiler-assisted Translation Validation Keynote Speaker in Keynote Speakers within the SOAP-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
Yihong ZhangZhang, Yihong University of WashingtonUnited States Rewrite System Showdown: Stochastic Search vs. EqSat
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
Zhiwei ZhangZhang, Zhiwei Institute of Automation, Chinese Academy of Sciences LoopHint: A Compiler-Assisted Loop Branch Predictor for Embedded DSPs
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 Leveraging AI Ecosystem for Portable and Sustainable GPU Kernels in HPC
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 OOPSLA’25] 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
Jiaqing ZhongZhong, Jiaqing National University of Defense TechnologyChina CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning
Zhineng ZhongZhong, Zhineng Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking UniversityChina SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection
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 Session Chair of SOAP 1 (part of SOAP) 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
Yichang ZhouZhou, Yichang National University of Defense TechnologyChina CausalTuner: Feature-Aware Causal Guidance for Compiler Auto-tuning
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
Andrei ZhukovZhukov, Andrei ETH Zürich CAST: Continuous Fuzzing for SMT Solvers
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 From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs Lifting E-Graphs: A Function Isn’t a Constant Committee Member in Program Committee within the EGRAPHS-track
Yeonsun HongHong, Yeonsun Seoul National University RAPO: Retrieval-Augmented Phase Ordering
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Welcoming Remarks 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 Session Chair of Probabilistic Inference and Verification (part of PLDI Research Papers) SuperDP: Differential Privacy Refutation via Supermartingales Committee Member in PLDI Review Committee within the PLDI Research Papers-track Session Chair of Session 5 (part of PLMW @ PLDI) Session Chair of Session 4 (part of PLMW @ PLDI) Organizing Committee in Organizing Committee within the PLMW @ PLDI-track

PLDI 2026 Contributors

Results (1075)

Tracks

Co-hosted Conferences

Workshops