PLDI 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (908)

A Hameer AbbasiAbbasi, Hameer Panel 3 PyData/Sparse & Finch: extending sparse computing in the Python ecosystem
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University; Mälardalen UniversitySweden Efficient Linearizability Monitoring
Samson AbramskyAbramsky, Samson University College LondonUnited Kingdom TBA
Reto AchermannAchermann, Reto The University of British ColumbiaCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sara AchourAchour, Sara Stanford UniversityUnited States Optimizing Ancilla-Based Quantum Circuits with SPARE
Andrew AdamsAdams, Andrew Adobe Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Austin J. AdamsAdams, Austin J. Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Rachit AgarwalAgarwal, Rachit Cornell Committee Member in Program Committee within the ISMM-track
Gul AghaAgha, Gul University of Illinois at Urbana-ChampaignUnited States CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Nilesh AgrawalAgrawal, Nilesh Meta Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Esteban Aguililla KleinAguililla Klein, Esteban Université Libre de BruxellesBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer University of Washington, SeattleUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Willow AhrensAhrens, Willow Massachusetts Institute of TechnologyUnited States Panel 3 Sparsity-Aware Autoscheduling for Numpy with Finch and Galley Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alex AikenAiken, Alex Stanford UniversityUnited States Incremental Equality Saturation Task-Based Tensor Computations on Modern GPUs
Hichem Rami Ait-El-HaraAit-El-Hara, Hichem Rami OCamlPro; Université Paris-Saclay - CEA LISTFrance Relational Abstractions Based on Labeled Union-Find
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Mosaad Al ThokairAl Thokair, Mosaad Saudi AramcoUnited States Efficient Timestamping for Sampling-Based Race Detection
Aws AlbarghouthiAlbarghouthi, Aws AmazonUnited States Verified Foundations for Differential Privacy
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Usability Barriers for Liquid Types
Karim AliAli, Karim NYU Abu DhabiUnited Arab Emirates Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ricardo AlmeidaAlmeida, Ricardo University of GlasgowUnited Kingdom Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Panel 1
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Building DSLs made easy with the BuildIt Framework Building DSLs made easy with the BuildIt Framework Lightweight and Locality-Aware Composition of Black-Box Subroutines Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Committee Member in Organizing Committee within the Sparse-track
Nada AminAmin, Nada Harvard UniversityUnited States Multi-stage Relational Programming
Matin AminiAmini, Matin University of Southern CaliforniaUnited States Membership Testing for Semantic Regular Expressions
Basavesh Ammanaghatta ShivakumarAmmanaghatta Shivakumar, Basavesh Virginia TechUnited States Robust Constant-Time Cryptography
Jason AnselAnsel, Jason MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Israel F. AraujoAraujo, Israel F. data cybernetics ssc GMbH Quantum Multiplexer Simplification for State Preparation
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Md Amit Hasan AroviArovi, Md Amit Hasan Pennsylvania State UniversityUnited States RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
ArvindArvind Massachusetts Institute of TechnologyUnited States Making Concurrent Hardware Verification Sequential
Bahar AsgariAsgari, Bahar Maryland Committee Member in Program Committee within the ISMM-track
Aslan AskarovAskarov, Aslan Aarhus University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nicola AssoliniAssolini, Nicola University of VeronaItaly A Semantics for Quantum Loops Committee Member in Organizing Committee within the WQS-track Committee Member in Program Committee within the WQS-track
Eric AtkinsonAtkinson, Eric Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom A Hybrid Approach to Semi-automated Rust Verification
Pedro Henrique Azevedo de AmorimAzevedo de Amorim, Pedro Henrique University of OxfordUnited Kingdom Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
B David B. WhalleyB. Whalley, David Committee Member in Program Committee within the LCTES-track
Jakub BachurskiBachurski, Jakub University of CambridgePoland Structuring Arrays with Algebraic Shapes
Alexander BaiBai, Alexander MPI-SWSUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2025 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David Baker EffendiBaker Effendi, David Stellenbosch UniversitySouth Africa Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
Alexander BakstBakst, Alexander CertoraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Multi-stage Relational Programming
Ansuman BanerjeeBanerjee, Ansuman Indian Statistical InstituteIndia Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory Committee Member in Program Committee within the LCTES-track
Manya BansalBansal, Manya Massachusetts Institute of TechnologyUnited States Lightweight and Locality-Aware Composition of Black-Box Subroutines Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gabriel BaraldiBaraldi, Gabriel JuliaHub Reconsidering Garbage Collection in Julia: A Practitioner Report
Mark BaranowskiBaranowski, Mark University of Utah Array Programming on GPUs: Challenges and Opportunities
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Formal Analysis and Verification in Quantum Programming BINSEC: Adapting Symbolic Execution for Binary-level Security BINSEC: Adapting Symbolic Execution for Binary-level Security Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dhruv BaroniaBaronia, Dhruv University of Illinois at Urbana-ChampaignUnited States MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Henning BasoldBasold, Henning Leiden UniversityNetherlands Optimization and Synthesis of Quantum Circuits with Global Gates
Mako P. BatesBates, Mako P. University of VermontUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Carlos A. BatistaBatista, Carlos A. Federal University of PernambucoBrazil Quantum Multiplexer Simplification for State Preparation
Emilien BauerBauer, Emilien Panel 3 Compiling and Compressing Structured Tensors
Michael BauerBauer, Michael NVIDIA Task-Based Tensor Computations on Modern GPUs
Thomas BauereissBauereiss, Thomas University of CambridgeUnited Kingdom Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Erdenebayar BayarmagnaiBayarmagnai, Erdenebayar KU Leuven Beyond Affine Loops: A Geometric Approach to Program Synthesis
Ryan BeckettBeckett, Ryan Microsoft Research, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nathan BeckmannBeckmann, Nathan Carnegie Mellon UniversityUnited States Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Kimaya BedarkarBedarkar, Kimaya Max Planck Institute for Software Systems (MPI-SWS)Germany RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Farnaz BehrangBehrang, Farnaz Uber TechnologiesUnited States DR.FIX: Automatically Fixing Data Races at Industry Scale
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Gilbert BernsteinBernstein, Gilbert University of WashingtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the Sparse-track
Maxwell BernsteinBernstein, Maxwell Recurse CenterUnited States Partial Evaluation, Whole-Program Compilation
Guillaume BerthelotBerthelot, Guillaume Numalis Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values
Pramod BhatotiaBhatotia, Pramod TU MunichGermany QVM: Quantum Gate Virtualization Machine
David BindelBindel, David Cornell UniversityUnited States Bean: A Language for Backward Error Analysis
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the LCTES-track
Partha BiswasBiswas, Partha MathWorksUnited States DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Stephen M. BlackburnBlackburn, Stephen M. Google; Australian National UniversityAustralia Reworking Memory Management in CRuby: A Practitioner Report Reconsidering Garbage Collection in Julia: A Practitioner Report Iso: Request-Private Garbage Collection
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Steering Committee Member in Steering Committee within the ISMM-track
Carsten BlankBlank, Carsten data cybernetics ssc GMbHGermany Committee Member in Organizing Committee within the WQS-track Committee Member in Program Committee within the WQS-track
François BobotBobot, François Université Paris-Saclay - CEA LISTFrance Relational Abstractions Based on Labeled Union-Find
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in Program Committee within the ISMM-track
Michael D. BondBond, Michael D. Ohio State University Steering Committee Member in Steering Committee within the ISMM-track
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Making Concurrent Hardware Verification Sequential Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Ajay BrahmakshatriyaBrahmakshatriya, Ajay Massachusetts Institute of TechnologyUnited States Building DSLs made easy with the BuildIt Framework Building DSLs made easy with the BuildIt Framework Building DSLs made easy with the BuildIt Framework
Björn BrandenburgBrandenburg, Björn MPI-SWS RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Alexander BrauckmannBrauckmann, Alexander University of EdinburghUnited Kingdom Guided Tensor Lifting
Arthur BrightBright, Arthur University of WaterlooCanada Certified Compilers à la Carte
Brandt BucherBucher, Brandt MicrosoftUnited States Dynamic Region Ownership for Concurrency Safety
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Multi-stage Relational Programming
C Zhigang CaiCai, Zhigang Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Brian CampbellCampbell, Brian University of EdinburghUnited Kingdom Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Chun CaoCao, Chun Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Shan CaoCao, Shan Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Xiuqi CaoCao, Xiuqi University of PennsylvaniaUnited States MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
João M. P. CardosoCardoso, João M. P. University of Porto and INESC TEC, PortugalPortugal Committee Member in Program Committee within the LCTES-track
Filippo CarloniCarloni, Filippo Politecnico di MilanoItaly Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Trevor E. CarlsonCarlson, Trevor E. National University of SingaporeSingapore Fully Randomized Pointers
Maria Carpen-AmarieCarpen-Amarie, Maria Huawei Zurich Research Center, Switzerland Committee Member in Program Committee within the ISMM-track
Calin CascavalCascaval, Calin Google DeepMindNew Zealand Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chris CasinghinoCasinghino, Chris Jane Street Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Program Co-Chair in Organizing Committee within the LCTES-track Program Co-Chair in Program Committee within the LCTES-track
Sunjay CauligiCauligi, Sunjay ICSIUnited States Robust Constant-Time Cryptography
Alejandro Luque CerpaCerpa, Alejandro Luque Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
JooHyoung ChaCha, JooHyoung Korea University of Science and TechnologySouth Korea Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
Sang Kil ChaCha, Sang Kil KAISTSouth Korea Perfect Decompilation of Python Bytecode with PyLingual Perfect Decompilation of Python Bytecode with PyLingual
Milind ChabbiChabbi, Milind Uber TechnologiesUnited States DR.FIX: Automatically Fixing Data Races at Industry Scale
Arman Cham HeidariCham Heidari, Arman Shahid Beheshti UniversityIran JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France Formal Analysis and Verification in Quantum Programming Formal Analysis and Verification in Quantum Programming (tutorial)
Arthur CharguéraudCharguéraud, Arthur InriaFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence Programming by Navigation
Dong ChenChen, Dong Huawei Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hanxi ChenChen, Hanxi University of Pennsylvania Video Chair in AV Committee for PLDI 2025
Jian-Jia ChenChen, Jian-Jia Committee Member in Steering Committee within the LCTES-track
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) New York University, University of AlbertaUnited States Web Co-Chair in Organizing Committee for PLDI 2025
Qian ChenChen, Qian Nanjing UniversityChina Solving Floating-Point Constraints with Continuous Optimization
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 Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-ChampaignUnited States Programming Languages Must Have Formal Semantics. Period. Panel: Mechanized Specifications for Real-World Programming Languages
Xinyu ChenChen, Xinyu Hong Kong University of Science and TechnologyChina Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Yo-Ga ChenChen, Yo-Ga Academia Sinica Automating Quantum Hoare Logic with Automata (Work-In-Progress)
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Automating Quantum Hoare Logic with Automata (Work-In-Progress) A Uniform Framework for Handling Position Constraints in String Solving
Jianyi ChengCheng, Jianyi University of Edinburgh, UKUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Kazem CheshmiCheshmi, Kazem McMaster UniversityCanada Panel 1 Loop Fusion in Matrix Multiplications with Sparse Dependence
Seungbeom ChinChin, Seungbeom Okinawa Institute of Science and Technology Graph-based design of linear quantum networks for the heralded multipartite entanglement generation
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom Steering Committee Member in Steering Committee within the ISMM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers Making Concurrent Hardware Verification Sequential
Hyungmin ChoCho, Hyungmin Sungkyunkwan UniversitySouth Korea SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques
David ChocholatýChocholatý, David Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jongouk ChoiChoi, Jongouk University of Central FloridaUnited States Committee Member in Program Committee within the LCTES-track
Sangun ChoiChoi, Sangun Korea University Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Seonggyu ChoiChoi, Seonggyu Sungkyunkwan University SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques
Eloise ChristianChristian, Eloise Rochester Institute of TechnologyUnited States Video Chair in AV Committee for PLDI 2025
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited Kingdom Dynamic Region Ownership for Concurrency Safety Committee Member in Program Committee within the ISMM-track
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Albert CohenCohen, Albert Google DeepMindFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Miguel E. CoimbraCoimbra, Miguel E. INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Owen ConolyConoly, Owen Massachusetts Institute of TechnologyUnited States Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting Committee Member in Program Committee within the EGRAPHS-track
Will CrichtonCrichton, Will Brown UniversityUnited States An Interactive Debugger for Rust Trait Errors Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Chenqi CuiCui, Chenqi Nanjing UniversityChina Solving Floating-Point Constraints with Continuous Optimization
Huimin CuiCui, Huimin Institute of Computing Technology, Chinese Academy of SciencesChina Committee Member in Program Committee within the LCTES-track
Jack CzenszakCzenszak, Jack Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
D Loris D'AntoniD'Antoni, Loris University of California at San DiegoUnited States Verifying Solutions to Semantics-Guided Synthesis Problems Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Adenilton J. da Silvada Silva, Adenilton J. Universidade Federal de PernambucoBrazil Quantum Multiplexer Simplification for State Preparation
Guohao DaiDai, Guohao Sparse Computing Drives Energy-Efficient Computation for Artificial Intelligence Panel 4
Nathan DalyDaly, Nathan RelationalAI Reconsidering Garbage Collection in Julia: A Practitioner Report
Harvey DamDam, Harvey University of Utah Array Programming on GPUs: Challenges and Opportunities
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Ankush DasDas, Ankush Boston UniversityUnited States Probabilistic Refinement Session Types Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sirshendu DasDas, Sirshendu Indian Statistical InstituteIndia Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
Cristina DavidDavid, Cristina University of BristolUnited Kingdom Scalable, Validated Code Translation of Entire Projects using Large Language Models
José A. de Carvalhode Carvalho, José A. Universidade Federal de PernambucoBrazil Quantum Multiplexer Simplification for State Preparation
Julien de Castelnaude Castelnau, Julien EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Robbe De GreefDe Greef, Robbe Vrije Universiteit BrusselBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Markus de Medeirosde Medeiros, Markus New York UniversityUnited States Verified Foundations for Differential Privacy
Giovanni De MicheliDe Micheli, Giovanni EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Australian National University, AustraliaAustralia Reconsidering Garbage Collection in Julia: A Practitioner Report
Bjorn De SutterDe Sutter, Bjorn Ghent University, Belgium Belgium eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Tiago M.L. de Verasde Veras, Tiago M.L. Universidade Federal de PernambucoBrazil Quantum Multiplexer Simplification for State Preparation
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Xavier DenisDenis, Xavier ETH ZurichSwitzerland A Hybrid Approach to Semi-automated Rust Verification
Omkar Dilip DhawalDhawal, Omkar Dilip Indian Institute of Technology MadrasIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Olivia Di MatteoDi Matteo, Olivia University of British Columbia Committee Member in Program Committee within the WQS-track
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly A Semantics for Quantum Loops Committee Member in Organizing Committee within the WQS-track Committee Member in Program Committee within the WQS-track
Robert DickDick, Robert University of Michigan, USA Committee Member in Program Committee within the LCTES-track
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Graphiti: Bridging Graph and Relational Database Queries
Jonathan DiLorenzoDiLorenzo, Jonathan GoogleUnited States P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google Panel: Mechanized Specifications for Real-World Programming Languages
Elizabeth DinellaDinella, Elizabeth Bryn Mawr CollegeUnited States Committee Member in Program Committee within the SOAP-track
Yuantian DingDing, Yuantian Purdue UniversityUnited States A Concurrent Approach to String Transformation Synthesis
Attilio DiscepoliDiscepoli, Attilio Vrije Universiteit BrusselBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Joey DoddsDodds, Joey AmazonUnited States Program Synthesis From Partial Traces
Stephen DolanDolan, Stephen Jane StreetUnited Kingdom Lifetime Dispersion and Generational GC: An Intellectual Abstract
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Theo DraneDrane, Theo AMD Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Andrei Michael DreyerDreyer, Andrei Michael Whirly Labs Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
Derek DreyerDreyer, Derek MPI-SWSGermany Destabilizing Iris RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers Tree Borrows
Benjamin DriscollDriscoll, Benjamin Stanford University Incremental Equality Saturation
Jeremy DubreilDubreil, Jeremy Lacework Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Fully Randomized Pointers
Ross DuncanDuncan, Ross Quantinuum Committee Member in Program Committee within the WQS-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Oghenevwogaga EbresafeEbresafe, Oghenevwogaga University of WaterlooCanada Certified Compilers à la Carte
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware Committee Member in Program Committee within the LCTES-track Committee Member in Steering Committee within the LCTES-track
Laila ElbeheiryElbeheiry, Laila MPI-SWS RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Abigail Elena ReeseElena Reese, Abigail Carnegie Mellon UniversityUnited States Usability Barriers for Liquid Types
Yehia ElkhatibElkhatib, Yehia University of GlasgowUnited Kingdom SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Martin ElsmanElsman, Martin University of CopenhagenDenmark Gate Fusion is Map Fusion Deriving a Kronecker-Free Functional Quantum Simulator Committee Member in Program Committee within the ARRAY-track
Mohamed ElwakilElwakil, Mohamed U.S. Coast Guard AcademyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Théo EngelsEngels, Théo Royal Military Academy of BelgiumBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Andres ErbsenErbsen, Andres GoogleUnited States Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Mattan ErezErez, Mattan The University of Texas at Austin Committee Member in Program Committee within the ISMM-track
Julian ErhardErhard, Julian TU Munich; LMU MunichGermany Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Sebastian ErtelErtel, Sebastian Barkhausen Institute, Dresden Committee Member in Program Committee within the LCTES-track
F Heiko FalkFalk, Heiko Hamburg University of TechnologyGermany Committee Member in Program Committee within the LCTES-track
Chris FallinFallin, Chris F5United States Partial Evaluation, Whole-Program Compilation Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track
Andong FanFan, Andong University of TorontoCanada Practical Type Inference with Levels Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuyou FanFan, Yuyou University of UtahUnited States First-Class Verification Dialects for MLIR
Ruijie FangFang, Ruijie University of Texas at AustinUnited States Graphiti: Bridging Graph and Relational Database Queries
Wang FangFang, Wang University of EdinburghUnited Kingdom Efficient Formal Verification of Quantum Error Correcting Programs
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Exact Loop Bound Analysis Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
Mathieu FehrFehr, Mathieu The University of EdinburghUnited Kingdom First-Class Verification Dialects for MLIR
Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands Committee Member in Program Committee within the WQS-track
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zheng FengFeng, Zheng Institute of Computing Technology at Chinese Academy of SciencesChina Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Mafalda FerreiraFerreira, Mafalda INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Margarida FerreiraFerreira, Margarida Carnegie Mellon University; INESC-ID; Instituto Superior Técnico - University of LisbonUnited States Program Synthesis From Partial Traces
Tiago FerreiraFerreira, Tiago University College LondonUnited Kingdom Active Learning of Symbolic NetKAT Automata
Jonas FialaFiala, Jonas ETH Zürich Kuiper: verified and efficient GPU programming
Michael FicarraFicarra, Michael F5United States The Software Supporting the JavaScript Language Specification Panel: Mechanized Specifications for Real-World Programming Languages
Matthew FlattFlatt, Matthew University of UtahUnited States Lightweight Semantics Engineering with Redex
Oliver FlattFlatt, Oliver University of WashingtonUnited States Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Unlocking advanced equality saturation--based optimizations with egglog
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal Usability Barriers for Liquid Types Committee Member in Program Committee within the PLDI Student Research Competition-track
Yannick ForsterForster, Yannick INRIAFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nate FosterFoster, Nate Cornell University; Jane StreetUnited States Unmoored Design: Language Evolution without a Formal Foundation StacKAT: Infinite State Network Verification Active Learning of Symbolic NetKAT Automata Committee Member in Organizing Committee within the RPLS-track
Simon FosterFoster, Simon University of YorkUnited Kingdom Verifying Cyber-Physical Systems with IsaVODEs Verifying Cyber-Physical Systems with IsaVODEs
José Fragoso SantosFragoso Santos, José INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Megan FrisellaFrisella, Megan University of WashingtonUnited States PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Frank FuFu, Frank University of South CarolinaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qiancheng FuFu, Qiancheng Boston UniversityUnited States Probabilistic Refinement Session Types
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Probabilistic Refinement Session Types Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Catarina GamboaGamboa, Catarina Carnegie Mellon University and University of LisbonPortugal Usability Barriers for Liquid Types
Joshua GancherGancher, Joshua Northeastern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Parth GangarGangar, Parth Fujitsu Research of India EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge Pages
Bingyu GaoGao, Bingyu Peking UniversityChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Fengjuan GaoGao, Fengjuan Nanjing University of Science and TechnologyChina Solving Floating-Point Constraints with Continuous Optimization
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Verification of WebAssembly Features A Hybrid Approach to Semi-automated Rust Verification
Deepak GargGarg, Deepak MPI-SWSGermany RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Michael GarlandGarland, Michael NVIDIA Task-Based Tensor Computations on Modern GPUs
Markus Elias GerberGerber, Markus Elias Friedrich-Alexander-Universität Erlangen-NürnbergGermany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
Luis GerhorstGerhorst, Luis Friedrich-Alexander-Universität Erlangen-NürnbergGermany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
Souradip GhoshGhosh, Souradip Carnegie Mellon UniversityUnited States Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Lokesh GidraGidra, Lokesh GoogleUnited States Committee Member in Program Committee within the ISMM-track
Minseong GilGil, Minseong Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Emmanouil GiortamisGiortamis, Emmanouil TU MunichGermany QVM: Quantum Gate Virtualization Machine
Marco GIUNTIGIUNTI, Marco University of Oxford Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vladimir GladshteinGladshtein, Vladimir Hyperreal Specifications for Continuous Sparse Data Computations Panel 4
Mario GleirscherGleirscher, Mario University of BremenGermany Verifying Cyber-Physical Systems with IsaVODEs Verifying Cyber-Physical Systems with IsaVODEs
Myeongseong GoGo, Myeongseong Pukyong National UniversitySouth Korea Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation
Andrés GoensGoens, Andrés University of AmsterdamNetherlands Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Harrison GoldsteinGoldstein, Harrison University of Maryland College ParkUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shaurya GomberGomber, Shaurya University of Illinois Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the PLDI Student Research Competition-track
Laure GonnordGonnord, Laure Université Grenoble-Alpes - Grenoble INP - LCISFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of UtahUnited States Array Programming on GPUs: Challenges and Opportunities Committee Member in PLDI Review Committee within the PLDI Research Papers-track
K. GopinathGopinath, K. Rishihood University EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge Pages
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Samuel GrahnGrahn, Samuel Uppsala UniversitySweden Efficient Linearizability Monitoring
Gavin GrayGray, Gavin Brown UniversityUnited States An Interactive Debugger for Rust Trait Errors
Ben GreenmanGreenman, Ben University of Utah, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Semyon GrigorevGrigorev, Semyon Saint Petersburg State University, Russia Universal High-Performance CFL-Reachability via Matrix Multiplication
Tobias GrosserGrosser, Tobias University of CambridgeUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting First-Class Verification Dialects for MLIR Committee Member in Steering Committee within the LCTES-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the ISMM-track
Samuel GruetterGruetter, Samuel ETH Zurich Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ronghui GuGu, Ronghui Columbia UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Arjun GuhaGuha, Arjun Northeastern University, USAUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2025 Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Yao GuoGuo, Yao Peking UniversityChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Ameya GurjarGurjar, Ameya Arizona State UniversityUnited States DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Loke GustafssonGustafsson, Loke Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
Lennard GäherGäher, Lennard MPI-SWSGermany RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Angus HammondHammond, Angus University of CambridgeUnited Kingdom Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Youngsun HanHan, Youngsun Pukyong National UniversitySouth Korea Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation
Frank HannigHannig, Frank Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Committee Member in Program Committee within the LCTES-track
Chunxue HaoHao, Chunxue China CITIC BankChina Support Triangle Machine
Cong "Callie" HaoHao, Cong "Callie" Georgia Institute of Technology Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Bill HarrisHarris, Bill AWS Automated Reasoning GroupUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tim HarrisHarris, Tim OpenAIUnited Kingdom Program Co-Chair in Organizing Committee within the ISMM-track
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ken HasselmannHasselmann, Ken Royal Military Academy of BelgiumBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Magne HaveraaenHaveraaen, Magne University of Bergen, Norway Committee Member in Program Committee within the ARRAY-track
Vojtěch HavlenaHavlena, Vojtěch Brno University of TechnologyCzechia A Uniform Framework for Handling Position Constraints in String Solving
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jiaqi HeHe, Jiaqi University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jingxuan HeHe, Jingxuan University of California at BerkeleyUnited States Type-Constrained Code Generation with Language Models
Yang HeHe, Yang Simon Fraser UniversityCanada Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices Graphiti: Bridging Graph and Relational Database Queries
Yuyang HeHe, Yuyang Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Oren HechtHecht, Oren Technion Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Video Chair in AV Committee for PLDI 2025 Machine Learning Guided Equality Saturation
Jason HemannHemann, Jason Seton Hall UniversityUnited States Multi-stage Relational Programming
Brian HempelHempel, Brian UCSD Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jörg HenkelHenkel, Jörg Committee Member in Steering Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Gate Fusion is Map Fusion
Kihong HeoHeo, Kihong KAISTSouth Korea Optimization-Directed Compiler Fuzzing for Continuous Translation Validation Committee Member in Organizing Committee within the SOAP-track
Seonyeong HeoHeo, Seonyeong Kyung Hee UniversitySouth Korea Publicity Chair in Organizing Committee within the LCTES-track Committee Member in Program Committee within the LCTES-track
Thorsten HerfetHerfet, Thorsten Saarland UniversityGermany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
Yann HerklotzHerklotz, Yann EPFLSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michal HečkoHečko, Michal Brno University of TechnologyCzechia A Uniform Framework for Handling Position Constraints in String Solving
Barak HirshbergHirshberg, Barak Tel Aviv University Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Son HoHo, Son InriaFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? Committee Member in Program Committee within the SOAP-track
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming Committee Member in Program Committee within the PLDI Student Research Competition-track
Lukáš HolíkHolík, Lukáš Brno University of Technology; Aalborg UniversityCzechia A Uniform Framework for Handling Position Constraints in String Solving
Changwan HongHong, Changwan Massachusetts Institute of Technology Committee Member in Program Committee within the LCTES-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Reconsidering Garbage Collection in Julia: A Practitioner Report Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Johannes HostertHostert, Johannes ETH ZurichSwitzerland Tree Borrows
Leanghok HourHour, Leanghok Pukyong National UniversitySouth Korea Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation
Justin HsuHsu, Justin Cornell UniversityUnited States Bean: A Language for Backward Error Analysis
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach
Jian HuangHuang, Jian University of Illinois at Urbana-Champaign Committee Member in Program Committee within the ISMM-track
Qifan HuangHuang, Qifan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Efficient Formal Verification of Quantum Error Correcting Programs
Ruikai HuangHuang, Ruikai Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shan HuangHuang, Shan East China Normal UniversityChina Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
Yifei HuangHuang, Yifei University of Southern CaliforniaUnited States Membership Testing for Semantic Regular Expressions
Yulong HuangHuang, Yulong University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zunchen HuangHuang, Zunchen Centrum Wiskunde & InformaticaNetherlands Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jonathan Julian Huerta y MuniveHuerta y Munive, Jonathan Julian Czech Technical UniversityCzechia Verifying Cyber-Physical Systems with IsaVODEs Verifying Cyber-Physical Systems with IsaVODEs
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for PLDI 2025 Video Chair in AV Committee for PLDI 2025
Xinning HuiHui, Xinning North Carolina State UniversityUnited States Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea General Chair in Organizing Committee for PLDI 2025
I Kazuki IchinoseIchinose, Kazuki The University of Tokyo Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory
Yuka IkarashiIkarashi, Yuka Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Arnault IoualalenIoualalen, Arnault Numalis Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values
Engin IpekIpek, Engin Micron Committee Member in Program Committee within the ISMM-track
Hiromi IshiiIshii, Hiromi Jij, Inc.Japan Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Dynamic Robustness Verification against Weak Memory Committee Member in PLDI Review Committee within the PLDI Research Papers-track
J Dejice JacobJacob, Dejice University of GlasgowUnited Kingdom SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Jules JacobsJacobs, Jules Cornell UniversityUnited States StacKAT: Infinite State Network Verification Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Syed JafriJafri, Syed University of VermontUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Eric JahnsJahns, Eric Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Devansh JainJain, Devansh University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bongjun JangJang, Bongjun KAISTSouth Korea Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Kuiper: verified and efficient GPU programming
Kangkook JeeJee, Kangkook The University of Texas - DallasUnited States Perfect Decompilation of Python Bytecode with PyLingual Perfect Decompilation of Python Bytecode with PyLingual
Jaebeom JeonJeon, Jaebeom Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Minseok JeonJeon, Minseok Korea UniversitySouth Korea Committee Member in Program Committee within the SOAP-track
Susmit JhaJha, Susmit SRIUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Robust Constant-Time Cryptography
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ruyi JiJi, Ruyi Peking UniversityChina Equality Saturation Guided by Large Language Models
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States Automated Exploit Generation for Node.js Packages
Charles JianJian, Charles University of WaterlooCanada Certified Compilers à la Carte
Limin JiangJiang, Limin Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Zhiyuan JiangJiang, Zhiyuan Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Ende JinJin, Ende University of WaterlooCanada Certified Compilers à la Carte
Guoliang JinJin, Guoliang Databricks; North Carolina State UniversityUnited States Committee Member in Program Committee within the LCTES-track
Yibo JinJin, Yibo The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Keith J.C. JohnsonJohnson, Keith J.C. University of Wisconsin-MadisonUnited States Verifying Solutions to Semantics-Guided Synthesis Problems
Matthew A. JohnsonJohnson, Matthew A. Microsoft Azure ResearchUnited Kingdom Dynamic Region Ownership for Concurrency Safety
Teresa JohnsonJohnson, Teresa Google Committee Member in Program Committee within the LCTES-track
Bengt JonssonJonsson, Bengt Uppsala UniversitySweden Efficient Linearizability Monitoring
Anjali JoshiJoshi, Anjali AmazonUnited States Verified Foundations for Differential Privacy
Changhee JungJung, Changhee Purdue University, USA Committee Member in Steering Committee within the LCTES-track
Jaehwang JungJung, Jaehwang Rebellions IncSouth Korea Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
Ralf JungJung, Ralf ETH ZurichSwitzerland MiniRust: A Core Language for Specifying Rust Panel: Mechanized Specifications for Real-World Programming Languages Tree Borrows
K Temesghen KahsaiKahsai, Temesghen AmazonUnited States Verified Foundations for Differential Privacy
Konstantinos KallasKallas, Konstantinos University of California, Los AngelesUnited States Publicity Co-Chair in Organizing Committee for PLDI 2025 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Local Arrangements Co-Chair in Organizing Committee for PLDI 2025 Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic Verifying Lock-Free Traversals in Relaxed Memory Separation Logic Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals Committee Member in Program Committee within the ISMM-track
Tobias KappéKappé, Tobias Leiden UniversityNetherlands StacKAT: Infinite State Network Verification
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
Marcin KarczewskiKarczewski, Marcin Adam Mickiewicz University in Poznań Graph-based design of linear quantum networks for the heralded multipartite entanglement generation
Shun KashiwaKashiwa, Shun University of California at San DiegoUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Edwin KayangKayang, Edwin Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Stephen KellKell, Stephen King's College London Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States Bean: A Language for Backward Error Analysis Committee Member in PLDI Review Committee within the PLDI Research Papers-track
David KellyKelly, David University of Glasgow SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Sharjeel KhanKhan, Sharjeel GoogleUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Atharva KhedkarKhedkar, Atharva Arizona State UniversityUnited States DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Hanjun KimKim, Hanjun Yonsei University Committee Member in Program Committee within the LCTES-track
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States Committee Member in Program Committee within the LCTES-track
Jeonghyeon KimKim, Jeonghyeon KAISTSouth Korea Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
Jieung KimKim, Jieung Yonsei UniversitySouth Korea Local Arrangements Co-Chair in Organizing Committee for PLDI 2025
Junsu KimKim, Junsu Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Justin KimKim, Justin Rutgers UniversityUnited States Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
Seondeok KimKim, Seondeok Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Yong-Su KimKim, Yong-Su Graph-based design of linear quantum networks for the heralded multipartite entanglement generation
Youngsok KimKim, Youngsok Yonsei UniversitySouth Korea Web Chair in Organizing Committee within the LCTES-track
Michel KinsyKinsy, Michel Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Marisa KirisameKirisame, Marisa University of UtahUnited States Spineless Traversal for Layout Invalidation
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2025 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the Sparse-track
Thomas KoehlerKoehler, Thomas CNRS - ICube LabFrance Machine Learning Guided Equality Saturation Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland Dynamic Robustness Verification against Weak Memory
Matthew KolosickKolosick, Matthew University of California at San DiegoUnited States Robust Constant-Time Cryptography
Gunjae KooKoo, Gunjae Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs
Akash KothariKothari, Akash University of Illinois at Urbana-ChampaignUnited States MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Christos KotselidisKotselidis, Christos University of Manchester/Pierer InnovationUnited Kingdom Committee Member in Program Committee within the ISMM-track
Dexter KozenKozen, Dexter Cornell UniversityUnited States StacKAT: Infinite State Network Verification Probabilistic Kleene Algebra with Angelic Nondeterminism
V Krishna NandivadaKrishna Nandivada, V IIT Madras Committee Member in Program Committee within the LCTES-track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT BombayIndia Efficient Linearizability Monitoring
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States An Interactive Debugger for Rust Trait Errors
Daniel KroeningKroening, Daniel AmazonUnited States Program Synthesis From Partial Traces Scalable, Validated Code Translation of Entire Projects using Large Language Models
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Circuit Optimization using Arithmetic Table Lookups
Abhinav KumarKumar, Abhinav Arizona State UniversityUnited States DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Sandeep KumarKumar, Sandeep Intel LabsIndia TierTrain: Proactive Memory Tiering for CPU-based DNN Training
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Megan KuoKuo, Megan Arizona State UniversityUnited States DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Lindsey KuperKuper, Lindsey University of California at Santa CruzUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Jaeseong KwonKwon, Jaeseong KAIST Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
Jinse KwonKwon, Jinse ETRI Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
Yongin KwonKwon, Yongin ETRI Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Quantum Circuit Compilation with #SAT Optimization and Synthesis of Quantum Circuits with Global Gates
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guna LaguduLagudu, Guna Arizona State UniversityUnited States LUCI: Lightweight UI Command Interface
Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Frédéric Lahaie-BertrandLahaie-Bertrand, Frédéric Université de Montréal Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Dynamic Robustness Verification against Weak Memory
Patrick LamLam, Patrick University of Waterloo [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost?
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
James LarusLarus, James EPFL Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Andrea LattuadaLattuada, Andrea MPI-SWSGermany Destabilizing Iris
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States Membership Testing for Semantic Regular Expressions
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the ISMM-track
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States Committee Member in Program Committee within the LCTES-track Committee Member in Steering Committee within the LCTES-track
Jae W. LeeLee, Jae W. Seoul National UniversitySouth Korea Steering Committee Member in Steering Committee within the ISMM-track
Janggun LeeLee, Janggun KAIST Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic Verifying Lock-Free Traversals in Relaxed Memory Separation Logic Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
Jemin LeeLee, Jemin ETRI Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
Juneyoung LeeLee, Juneyoung AWS Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
Kyoungwoo LeeLee, Kyoungwoo Yonsei University Committee Member in Steering Committee within the LCTES-track
Munyoung LeeLee, Munyoung ETRI Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator
Roman LeeLee, Roman MetaCanada Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea Random Variate Generation with Formal Guarantees Semantics of Integrating and Differentiating Singularities
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Workshops Co-Chair in Organizing Committee for PLDI 2025
Yongwoo LeeLee, Yongwoo Yonsei University Committee Member in Program Committee within the LCTES-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Principal Type Inference under a Prefix: A Fresh Look at Static Overloading Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Relational Abstractions Based on Labeled Union-Find
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia A Uniform Framework for Handling Position Constraints in String Solving
Tancrède LepointLepoint, Tancrède AmazonUnited States Verified Foundations for Differential Privacy
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance Relational Abstractions Based on Labeled Union-Find
Reese LevineLevine, Reese Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexander K. LewLew, Alexander K. Massachusetts Institute of Technology; Yale UniversityUnited States Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Ang LiLi, Ang Pacific Northwest National Laboratory Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ding LiLi, Ding Peking UniversityChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Ganlin LiLi, Ganlin Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Gushu LiLi, Gushu University of PennsylvaniaUnited States MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Jiajia LiLi, Jiajia North Carolina State University Panel 1 Intelligent Auto-Tuning for High-Performance Sparse Tensor Algebra
Jiaying LiLi, Jiaying R3 LabChina Support Triangle Machine
John LiLi, John Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Kaixuan LiLi, Kaixuan East China Normal University; Nanyang Technological UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Liyi LiLi, Liyi Iowa State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ruishi LiLi, Ruishi National University of SingaporeSingapore Program Skeletons for Automated Program Translation
Runming LiLi, Runming Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shaohua LiLi, Shaohua The Chinese University of Hong KongHong Kong SAR China Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tianyu LiLi, Tianyu National University of SingaporeSingapore Program Skeletons for Automated Program Translation
Xinyi LiLi, Xinyi University of UtahUnited States Array Programming on GPUs: Challenges and Opportunities
Xuyang LiLi, Xuyang Purdue University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yao LiLi, Yao Portland State UniversityUnited States Publicity Co-Chair in Organizing Committee for PLDI 2025
Yixiao LiLi, Yixiao Nagoya UniversityJapan rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
Yixuan LiLi, Yixuan University of EdinburghUnited Kingdom Guided Tensor Lifting
Yue LiLi, Yue Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Jingjing LiangLiang, Jingjing East China Normal UniversityChina Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
Shengwen LiangLiang, Shengwen SKLP, Institute of Computing Technology, CASChina Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Yalun LiangLiang, Yalun Shanghai Jiao Tong UniversityChina CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Yufei LiangLiang, Yufei Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Chunhua LiaoLiao, Chunhua Lawrence Livermore National LaboratoryUnited States Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Jianwei LiaoLiao, Jianwei Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Daniel Wee Soong LimLim, Daniel Wee Soong National University of Singapore Efficient Timestamping for Sampling-Based Race Detection
HeuiChan LimLim, HeuiChan Davidson CollegeUnited States Committee Member in Program Committee within the SOAP-track
Jay P. LimLim, Jay P. Yale UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yi LinLin, Yi Australian National University Reconsidering Garbage Collection in Julia: A Practitioner Report
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Michael LippautzLippautz, Michael Google Steering Committee Member in Steering Committee within the ISMM-track
Cheng LiuLiu, Cheng ICT CAS Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Dong LiuLiu, Dong ZTEChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Jiazheng LiuLiu, Jiazheng Massachusetts Institute of TechnologyUnited States Making Concurrent Hardware Verification Sequential
Jing LiuLiu, Jing Max Planck Institute for Security and Privacy Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peng LiuLiu, Peng Uber TechnologiesUnited States DR.FIX: Automatically Fixing Data Races at Industry Scale
Sihang LiuLiu, Sihang University of Waterloo Compiler-Assisted Crash Consistency for PMEM
Xiaoyu LiuLiu, Xiaoyu Simon Fraser UniversityCanada Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
Xu LiuLiu, Xu North Carolina State UniversityUnited States Committee Member in Steering Committee within the LCTES-track
Yintao LiuLiu, Yintao Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Yonghui LiuLiu, Yonghui Monash UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuhao LiuLiu, Yuhao University of PennsylvaniaUnited States MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Zhibo LiuLiu, Zhibo Hong Kong University of Science and TechnologyChina Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Fang-Yi LoLo, Fang-Yi Academia Sinica Automating Quantum Hoare Logic with Automata (Work-In-Progress)
Debasmita LoharLohar, Debasmita Karlsruhe Institute of TechnologyGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nuno P. LopesLopes, Nuno P. INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Link-Time Optimization of Dynamic Casts in C++ Programs Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
Alexandre LopoukhineLopoukhine, Alexandre University of CambridgeUnited Kingdom eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Thomas LuLu, Thomas Cornell UniversityUnited States Active Learning of Symbolic NetKAT Automata
Xufan LuLu, Xufan INESC-ID / Instituto Superior Técnico, University of Lisbon Link-Time Optimization of Dynamic Casts in C++ Programs
Justin LubinLubin, Justin University of California at BerkeleyUnited States Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence Programming by Navigation
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Andrew LumsdaineLumsdaine, Andrew RelationalAI and University of WashingtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
M Stephanie MaMa, Stephanie Cornell UniversityUnited States Probabilistic Kleene Algebra with Angelic Nondeterminism
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Martin MaasMaas, Martin Google General Chair in Organizing Committee within the ISMM-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jean-Marie MadiotMadiot, Jean-Marie INRIA Paris Committee Member in PLDI Review Committee within the PLDI Research Papers-track
José Wesley De Souza MagalhãesMagalhães, José Wesley De Souza University of EdinburghUnited Kingdom Guided Tensor Lifting
Erik MagnussonMagnusson, Erik Chalmers University of Technology Oatlog: A performant ahead-of-time compiled e-graph engine
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Petar MaksimovićMaksimović, Petar Nethermind; Imperial College LondonUnited Kingdom A Hybrid Approach to Semi-automated Rust Verification
Avinash MalikMalik, Avinash University of Auckland Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Raghav MalikMalik, Raghav Purdue UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2025 Circuit Optimization using Arithmetic Table Lookups Committee Member in Program Committee within the ARRAY-track
Sharad MalikMalik, Sharad Princeton University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Membership Testing for Semantic Regular Expressions Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Roy MargalitMargalit, Roy Tel Aviv UniversityIsrael Dynamic Robustness Verification against Weak Memory
Filipe MarquesMarques, Filipe INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Brianna MarshallMarshall, Brianna Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Matthieu MartelMartel, Matthieu Université de Perpignan Via DomitiaFrance Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Guido MartínezMartínez, Guido Microsoft ResearchUnited States Kuiper: verified and efficient GPU programming PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Jaume Mateu CuadratMateu Cuadrat, Jaume Seoul National University ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware
Umang MathurMathur, Umang National University of SingaporeSingapore PLMW Co-Chair in Organizing Committee for PLDI 2025 Program Skeletons for Automated Program Translation Efficient Timestamping for Sampling-Based Race Detection Committee Member in PLDI Review Committee within the PLDI Research Papers-track Organizing Chair in Organizing Committee within the PLMW @ PLDI-track
Yusuke MatsushitaMatsushita, Yusuke Kyoto UniversityJapan Nola: Later-Free Ghost State for Verifying Termination in Iris
Haytham McDowall-RoseMcDowall-Rose, Haytham University of OxfordUnited Kingdom From Fermions to Qubits: A ZX-Calculus Perspective
Jingyi MeiMei, Jingyi Leiden UniversityNetherlands Quantum Circuit Compilation with #SAT
Olivier MelanconMelancon, Olivier DIRO, Université de MontréalCanada Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Panel 2 Optimizations and abstractions for sparse machine learning MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Na MengMeng, Na Virginia TechUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Jules MerckxMerckx, Jules Ghent University eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
Miao MiaoMiao, Miao The University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dawn MichaelsonMichaelson, Dawn University of Minnesota [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Semantics of Integrating and Differentiating Singularities
Benjamin MikekMikek, Benjamin Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mae MilanoMilano, Mae Princeton UniversityUnited States Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2025 Committee Member in Program Committee within the PLDI Student Research Competition-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ashish MishraMishra, Ashish IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Om Swostik MishraMishra, Om Swostik IIT BombayIndia Efficient Linearizability Monitoring
Mark MoellerMoeller, Mark Cornell UniversityUnited States Active Learning of Symbolic NetKAT Automata
Swarup Kumar MohalikMohalik, Swarup Kumar Ericsson ResearchIndia Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
Fatemeh MohammadiMohammadi, Fatemeh KU LeuvenBelgium Beyond Affine Loops: A Geometric Approach to Program Synthesis
Stefan MonnierMonnier, Stefan Université de MontréalCanada Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Austin MordahlMordahl, Austin University of Illinois ChicagoUnited States Committee Member in Program Committee within the PLDI Student Research Competition-track
Angelica MoreiraMoreira, Angelica Microsoft ResearchCanada Kuiper: verified and efficient GPU programming
Ryu MorimotoMorimoto, Ryu University of Tokyo Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Ishwar MudrajeMudraje, Ishwar Saarland UniversityGermany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
Manasij MukherjeeMukherjee, Manasij NVIDIA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ilia MuravevMuravev, Ilia Explyt Universal High-Performance CFL-Reachability via Matrix Multiplication
Charlie MurphyMurphy, Charlie Amazon Web Services, USAUnited States Verifying Solutions to Semantics-Guided Synthesis Problems
Palaniappan MuthuramanMuthuraman, Palaniappan Heinz Nixdorf Institute, Paderborn University Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
Onur MutluMutlu, Onur ETH Zurich Program Co-Chair in Organizing Committee within the ISMM-track
Alan MycroftMycroft, Alan University of Cambridge, UK Structuring Arrays with Algebraic Shapes
Lasse MøldrupMøldrup, Lasse Aarhus UniversityDenmark AWDIT: An Optimal Weak Database Isolation Tester
Niklas MückMück, Niklas MPI-SWSGermany Destabilizing Iris
Peter MüllerMüller, Peter ETH ZurichSwitzerland Destabilizing Iris
Niels MündlerMündler, Niels ETH ZurichSwitzerland Type-Constrained Code Generation with Language Models
N Gopalan NadathurNadathur, Gopalan University of MinnesotaUnited States [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Seunghyeon NamNam, Seunghyeon Seoul National University Social Events Chair in Organizing Committee for PLDI 2025
Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the EGRAPHS-track
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
André NascimentoNascimento, André INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Muhammad NaveedNaveed, Muhammad AmazonUnited States Verified Foundations for Differential Privacy
Joseph P. NearNear, Joseph P. University of VermontUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Organizing Committee within the SOAP-track
Diogo NettoNetto, Diogo RelationalAI Reconsidering Garbage Collection in Julia: A Practitioner Report
Max S. NewNew, Max S. University of MichiganUnited States Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Haobin NiNi, Haobin University of WashingtonUnited States Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Unlocking advanced equality saturation--based optimizations with egglog
Victor NicoletNicolet, Victor AmazonCanada Program Synthesis From Partial Traces
Rachit NigamNigam, Rachit Massachusetts Institute of TechnologyUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2025 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Co-chair in Program Committee within the PLDI Student Research Competition-track
Ruslan NikolaevNikolaev, Ruslan Pennsylvania State UniversityUnited States RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
Abdul Rafae NoorNoor, Abdul Rafae University of Illinois at Urbana-ChampaignUnited States MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Aman NougrahiyaNougrahiya, Aman IIT MadrasIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tony NowatzkiNowatzki, Tony University of California, Los Angeles Committee Member in Program Committee within the ISMM-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom Guided Tensor Lifting Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Léonard Oest O'LearyOest O'Leary, Léonard Université de MontréalCanada Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection
Hiromi OgawaOgawa, Hiromi University of TsukubaJapan Thrust: A Prophecy-Based Refinement Type System for Rust
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Local Arrangements Co-Chair in Organizing Committee for PLDI 2025
Yunho OhOh, Yunho Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Shawn OngOng, Shawn Cornell UniversityUnited States Probabilistic Kleene Algebra with Angelic Nondeterminism
Dominic OrchardOrchard, Dominic University of Kent; University of CambridgeUnited Kingdom Structuring Arrays with Algebraic Shapes
Muslum Ozgur OzmenOzmen, Muslum Ozgur Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Juli O’ConnorO’Connor, Juli Carnegie Mellon UniversityUnited States Video Chair in AV Committee for PLDI 2025
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kiran PamnanyPamnany, Kiran RelationalAI Reconsidering Garbage Collection in Julia: A Practitioner Report
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Spineless Traversal for Layout Invalidation
Ashish PanwarPanwar, Ashish Microsoft Research IndiaIndia EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge Pages
Antonio PaolilloPaolillo, Antonio Vrije Universiteit BrusselBelgium Towards Macro-Aware C-to-Rust Transpilation (WIP)
Vedant ParanjapeParanjape, Vedant Purdue UniversityUnited States Circuit Optimization using Arithmetic Table Lookups Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Trusted JavaScript Language Environments with ESMeta Committee Member in Organizing Committee within the RPLS-track
Kwanghyun ParkPark, Kwanghyun Yonsei UniversitySouth Korea Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Sehyeok ParkPark, Sehyeok Rutgers UniversityUnited States Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
Sunho ParkPark, Sunho KAISTSouth Korea Student Volunteer Co-Chair in Organizing Committee for PLDI 2025 Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
Yongjun ParkPark, Yongjun Yonsei University Session Chair of Keynote 1 (part of LCTES) Program Chair in Organizing Committee within the LCTES-track Program Chair in Program Committee within the LCTES-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Dynamic Region Ownership for Concurrency Safety
Marco PatrignaniPatrignani, Marco University of TrentoItaly Robust Constant-Time Cryptography
Mishel Jyothis PaulPaul, Mishel Jyothis Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Brandon PaulsenPaulsen, Brandon AmazonUnited States Scalable, Validated Code Translation of Entire Projects using Large Language Models
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark AWDIT: An Optimal Weak Database Isolation Tester
Hannes PayerPayer, Hannes Google Steering Committee Member in Steering Committee within the ISMM-track
Hila PelegPeleg, Hila TechnionIsrael Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Wentao PengPeng, Wentao Peking University Equality Saturation Guided by Large Language Models
Yiteng PengPeng, Yiteng Hong Kong University of Science and TechnologyChina Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Committee Member in Program Committee within the LCTES-track
Erez PetrankPetrank, Erez TechnionIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track Steering Committee Member in Steering Committee within the ISMM-track
Sai Dhawal PhayePhaye, Sai Dhawal National University of Singapore Fully Randomized Pointers
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Xavier PinhoPinho, Xavier StackGenPortugal Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Committee Member in Program Committee within the LCTES-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Workshops Co-Chair in Organizing Committee for PLDI 2025 Committee Member in Program Committee within the PLDI Student Research Competition-track
André PlatzerPlatzer, André Karlsruhe Institute of Technology (KIT)Germany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gordon PlotkinPlotkin, Gordon Google DeepMindUnited States Handling the Selection Monad
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkDenmark CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Guided Tensor Lifting
Hugo PompougnacPompougnac, Hugo Université Grenoble Alpes; Inria; CNRS; Grenoble INPFrance First-Class Verification Dialects for MLIR
Lucian PopescuPopescu, Lucian INESC-ID; Instituto Superior Técnico - University of Lisbon; Politehnica University of BucharestPortugal Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State UniversityUnited States Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Aravinda PrasadPrasad, Aravinda Intel Labs TierTrain: Proactive Memory Tiering for CPU-based DNN Training
Sanjiva PrasadPrasad, Sanjiva Indian Institute of Technology DelhiIndia Committee Member in Program Committee within the LCTES-track
Rémi PrébetPrébet, Rémi Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, FranceFrance Beyond Affine Loops: A Geometric Approach to Program Synthesis
Q Wei QiangQiang, Wei Columbia University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Longfei QiuQiu, Longfei Yale UniversityUnited States LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
Tianle QiuQiu, Tianle Australian National UniversityAustralia Iso: Request-Private Garbage Collection
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States A Concurrent Approach to String Transformation Synthesis
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Weihao QuQu, Weihao Monmouth UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Benjamin QuiringQuiring, Benjamin University of MarylandUnited States Webs and Flow-Directed Well-Typedness Preserving Program Transformations
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Lightweight and Locality-Aware Composition of Black-Box Subroutines
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Membership Testing for Semantic Regular Expressions
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in Program Committee within the SOAP-track
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Boston UniversityUnited States Video Co-Chair in Organizing Committee for PLDI 2025 Video Chair in AV Committee for PLDI 2025
Robert RandRand, Robert University of ChicagoUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Georges Aaron RANDRIANAINARANDRIANAINA, Georges Aaron Univ Rennes - IRISAFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ari RaschRasch, Ari University of MuensterGermany (De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms An MDH-Based DSL for Array Computations
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Tristan RavitchRavitch, Tristan AmazonUnited States Verified Foundations for Differential Privacy
Frédéric RecoulesRecoules, Frédéric CEA, List BINSEC: Adapting Symbolic Execution for Binary-level Security BINSEC: Adapting Symbolic Execution for Binary-level Security
John RegehrRegehr, John University of UtahUnited States First-Class Verification Dialects for MLIR
Athan ReinesReines, Athan PyData/Sparse & Finch: extending sparse computing in the Python ecosystem
Alex ReinkingReinking, Alex Adobe Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Bin RenRen, Bin William & MaryUnited States Committee Member in Program Committee within the LCTES-track
John ReppyReppy, John University of ChicagoUnited States Webs and Flow-Directed Well-Typedness Preserving Program Transformations Committee Member in Program Committee within the ARRAY-track
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Verifying Solutions to Semantics-Guided Synthesis Problems
Daniel RileyRiley, Daniel Florida State UniversityUnited States Exact Loop Bound Analysis
Nick RiouxRioux, Nick University of PennsylvaniaUnited States Functional Meaning for Parallel Streaming
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance The MemCAD static analyser: shape, value and collection abstraction and application to OS verification Keynote Speaker in Keynote Speakers within the SOAP-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2025
Alonso RodriguezRodriguez, Alonso Universidade da CoruñaSpain Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Gabriel RodríguezRodríguez, Gabriel Universidade da CoruñaSpain Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Partha RoopRoop, Partha University of Auckland General Chair in Organizing Committee within the LCTES-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andreas RossbergRossberg, Andreas IndependentGermany Committee Member in Organizing Committee within the RPLS-track
Marcus RosselRossel, Marcus Barkhausen InstitutGermany Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
Probir RoyRoy, Probir University of Michigan at Dearborn Committee Member in Program Committee within the LCTES-track
Kevin RuddRudd, Kevin Arizona State UniversityUnited States R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
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
Jaehyeok RyuRyu, Jaehyeok Korea University Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms
Junghee RyuRyu, Junghee KISTI Graph-based design of linear quantum networks for the heralded multipartite entanglement generation
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Sponsorship Co-Chair in Organizing Committee for PLDI 2025 Panel: Mechanized Specifications for Real-World Programming Languages SpecTec, a Single Source of Truth Committee Member in Organizing Committee within the RPLS-track
S Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States Random Variate Generation with Formal Guarantees Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lily SaadaSaada, Lily Cornell UniversityUnited States StacKAT: Infinite State Network Verification
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost?
Anmol SahooSahoo, Anmol Purdue University Committee Member in Program Committee within the ARRAY-track
Georgian-Vlad SaiocSaioc, Georgian-Vlad Aarhus UniversityDenmark DR.FIX: Automatically Fixing Data Races at Industry Scale
Michael SammlerSammler, Michael ETH Zurich; ISTASwitzerland Destabilizing Iris RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Rafaello SannaSanna, Rafaello Harvard UniversityUnited States Multi-stage Relational Programming
Nuno SantosSantos, Nuno INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Automated Exploit Generation for Node.js Packages
Theo SaporitiSaporiti, Theo Université Paris-SaclayFrance BBGKY hierarchy for quantum error mitigation
Prateek SaxenaSaxena, Prateek National University of SingaporeSingapore Program Skeletons for Automated Program Translation
Steven SchaeferSchaefer, Steven University of MichiganUnited States Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Cole SchlesingerSchlesinger, Cole Galois Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rudi SchneiderSchneider, Rudi Technische Universität BerlinGermany Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark Committee Member in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Organizing Committee within the ARRAY-track
Richard SchulzeSchulze, Richard University of MuensterGermany (De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms An MDH-Based DSL for Array Computations
Michael SchwarzSchwarz, Michael TU MunichGermany Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses Committee Member in Program Committee within the SOAP-track
Raphael SeidelSeidel, Raphael Fraunhofer Institute for Open Communication Systems Keynote: TBA
Helmut SeidlSeidl, Helmut TU MunichGermany Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Thrust: A Prophecy-Based Refinement Type System for Rust Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States Type-Constrained Code Generation with Language Models
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Production Language Specification - Requirements for Multiple Usages Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Zhibing ShaSha, Zhibing Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Denys ShabalinShabalin, Denys GoogleSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Razin A. ShaikhShaikh, Razin A. University of Oxford From Fermions to Qubits: A ZX-Calculus Perspective
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Panel 2 Optimizing Recursive Sparse Computations Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Committee Member in Organizing Committee within the Sparse-track
Zhong ShaoShao, Zhong Yale UniversityUnited States LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Zili ShaoShao, Zili The Chinese University of Hong Kong Committee Member in Program Committee within the LCTES-track
Dillon SharletSharlet, Dillon GoogleUnited States Lightweight and Locality-Aware Composition of Black-Box Subroutines
Rahul SharmaSharma, Rahul Microsoft Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ritvik SharmaSharma, Ritvik Stanford UniversityUnited States Optimizing Ancilla-Based Quantum Circuits with SPARE
Vinayak SharmaSharma, Vinayak Arizona State UniversityUnited States LUCI: Lightweight UI Command Interface
Gan ShenShen, Gan University of California at Santa CruzUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Yang ShenShen, Yang National University of Defense TechnologyChina ASC-Hook: Efficient System Call Interception for ARM
Yihao ShenShen, Yihao Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Yi ShiShi, Yi Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Yufei ShiShi, Yufei Carnegie Mellon UniversityUnited States Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States TBA MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation Committee Member in Program Committee within the WQS-track
Taro ShimizuShimizu, Taro Jij, Inc. Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
Olin ShiversShivers, Olin Northeastern UniversityUnited States Webs and Flow-Directed Well-Typedness Preserving Program Transformations Committee Member in Program Committee within the ARRAY-track
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States LUCI: Lightweight UI Command Interface DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing Committee Member in Program Committee within the LCTES-track Committee Member in Steering Committee within the LCTES-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States StacKAT: Infinite State Network Verification Active Learning of Symbolic NetKAT Automata
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dimitrios SkarlatosSkarlatos, Dimitrios Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ISMM-track
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kaitlin SmithSmith, Kaitlin Northwestern University Committee Member in Program Committee within the WQS-track
Oscar SmithSmith, Oscar JuliaHub Reconsidering Garbage Collection in Julia: A Practitioner Report
Eric SnowSnow, Eric MicrosoftUnited States Dynamic Region Ownership for Concurrency Safety
Hwisoo SoSo, Hwisoo Yonsei University DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing
Sunbeom SoSo, Sunbeom GIST (Gwangju Institute of Science and Technology) Committee Member in Program Committee within the SOAP-track
Raphael J. SofaerSofaer, Raphael J. Columbia University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yun Joon SohSoh, Yun Joon University of California San Diego Compiler-Assisted Crash Consistency for PMEM
Rupanshu SoiSoi, Rupanshu Stanford University Incremental Equality Saturation
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Mallku SoldevilaSoldevila, Mallku Universidade Federal de Minas Gerais, BrazilBrazil Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dawn SongSong, Dawn University of California at BerkeleyUnited States Type-Constrained Code Generation with Language Models
Tyler SorensenSorensen, Tyler Microsoft Research Kuiper: verified and efficient GPU programming
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Simon SpiesSpies, Simon MPI-SWSGermany Destabilizing Iris
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States Committee Member in Program Committee within the LCTES-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ian StarkStark, Ian University of EdinburghUnited Kingdom Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Sam StatonStaton, Sam University of OxfordUnited Kingdom Committee Member in Program Committee within the WQS-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Robust Constant-Time Cryptography
Fabian StemmlerStemmler, Fabian TU MunichGermany Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ISMM-track
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Machine Learning Guided Equality Saturation Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Milan StojkovStojkov, Milan University of Novi SadSerbia R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures
Fridtjof StoldtStoldt, Fridtjof Uppsala UniversitySweden Dynamic Region Ownership for Concurrency Safety
Pengfei SuSu, Pengfei University of California, MercedUnited States Committee Member in Program Committee within the LCTES-track
Ting SuSu, Ting East China Normal UniversityChina Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Divergence-Aware Testing of Graphics Shader Compiler Back-Ends Relaxing Alias Analysis: Exploring the Unexplored Space
Sreenivas SubramoneySubramoney, Sreenivas Intel Labs TierTrain: Proactive Memory Tiering for CPU-based DNN Training
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in Steering Committee within the LCTES-track Keynote Speaker in Keynote Speakers within the SOAP-track
Max SunSun, Max BCA ResearchCanada Video Chair in AV Committee for PLDI 2025
Yaozhu SunSun, Yaozhu National Institute of InformaticsJapan Committee Member in Program Committee within the PLDI Student Research Competition-track
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Hyojin SungSung, Hyojin Seoul National University Committee Member in Program Committee within the LCTES-track
Joshua SunshineSunshine, Joshua Carnegie Mellon University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Milijana SurbatovichSurbatovich, Milijana University of Maryland Committee Member in Program Committee within the PLDI Student Research Competition-track
Sathvik SwaminathanSwaminathan, Sathvik Intel Labs TierTrain: Proactive Memory Tiering for CPU-based DNN Training
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Kuiper: verified and efficient GPU programming PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Steven SwansonSwanson, Steven University of California, San Diego Compiler-Assisted Crash Consistency for PMEM
T Hiroaki TakadaTakada, Hiroaki Nagoya UniversityJapan rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
Tian TanTan, Tian Nanjing UniversityChina Pointer Analysis for Database-Backed Applications Committee Member in Program Committee within the SOAP-track
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States Committee Member in Program Committee within the LCTES-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Meisam TarabkhahTarabkhah, Meisam University of Edinburgh Quantum Simulation with Sparse Tensors Panel 4
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Verified Foundations for Differential Privacy
Zachary TatlockTatlock, Zachary University of WashingtonUnited States PC Chair in Organizing Committee for PLDI 2025 Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Unlocking advanced equality saturation--based optimizations with egglog PC Chair in PLDI Review Committee within the PLDI Research Papers-track
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Toshiki TeramuraTeramura, Toshiki Jij, Inc. Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Aalok ThakkarThakkar, Aalok Ashoka University Committee Member in Program Committee within the PLDI Student Research Competition-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Committee Member in Program Committee within the SOAP-track
Manas ThakurThakur, Manas IIT BombayIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the ISMM-track
Theodoros TheodoridisTheodoridis, Theodoros ETH ZurichSwitzerland Relaxing Alias Analysis: Exploring the Unexplored Space
Samuel ThomasThomas, Samuel The University of Texas at Austin, Texas, USA Hatching Theory Instantiations with Yardbird
Huanhuan TianTian, Huanhuan Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Sarah TilscherTilscher, Sarah TU Munich; LMU MunichGermany Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ignacio TiraboschiTiraboschi, Ignacio Inria, France / ENS, FranceArgentina Committee Member in Program Committee within the SOAP-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ISMM-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Santoshkumar T. TongliTongli, Santoshkumar T. Colorado State UniversityUnited States Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Nathaniel TornowTornow, Nathaniel TU Munich; LRZGermany QVM: Quantum Gate Virtualization Machine
Matías ToroToro, Matías University of ChileChile Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Juan TourinoTourino, Juan Universidade da CoruñaSpain Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Jean-Baptiste TristanTristan, Jean-Baptiste AmazonUnited States Verified Foundations for Differential Privacy
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Nola: Later-Free Ghost State for Verifying Termination in Iris
Emily TuckerTucker, Emily Colorado State UniversityUnited States Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory Committee Member in Program Committee within the ISMM-track
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Thrust: A Prophecy-Based Refinement Type System for Rust
V Matthew Valentine-HouseValentine-House, Matthew Shopify Reworking Memory Management in CRuby: A Practitioner Report
Benoît ValironValiron, Benoît Université Paris-Saclay, CNRS, CentraleSupélec, LMF Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Program Committee within the SOAP-track
David Van HornVan Horn, David University of MarylandUnited States Webs and Flow-Directed Well-Typedness Preserving Program Transformations
Guido van Rossumvan Rossum, Guido MicrosoftUnited States Dynamic Region Ownership for Concurrency Safety
Eric Van WykVan Wyk, Eric University of Minnesota - Twin CitiesUnited States [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2025 Committee Member in PLDI Review Committee within the PLDI Research Papers-track Co-chair in Program Committee within the PLDI Student Research Competition-track
Nathan VarnerVarner, Nathan University of MichiganUnited States Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Robust Constant-Time Cryptography
Niki VazouVazou, Niki IMDEA Software Institute Sponsorship Co-Chair in Organizing Committee for PLDI 2025
Martin VechevVechev, Martin ETH ZurichSwitzerland Type-Constrained Code Generation with Language Models
Cole VickVick, Cole University of Texas at Austin Hatching Theory Instantiations with Yardbird
Neven VillaniVillani, Neven University of Grenoble Alpes - VERIMAGFrance Tree Borrows
Alejandro VilloriaVilloria, Alejandro Leiden UniversityNetherlands Optimization and Synthesis of Quantum Circuits with Global Gates
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States Efficient Timestamping for Sampling-Based Race Detection
Kai VogelgesangVogelgesang, Kai Saarland UniversityGermany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vesal VojdaniVojdani, Vesal University of TartuEstonia [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost?
W Jana WagemakerWagemaker, Jana Radboud University NijmegenNetherlands StacKAT: Infinite State Network Verification
Bo WangWang, Bo National University of SingaporeSingapore Program Skeletons for Automated Program Translation
Chenxi WangWang, Chenxi Institute of Computing Technology, Chinese Academy of SciencesChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hao WangWang, Hao University of California at BerkeleyUnited States Type-Constrained Code Generation with Language Models
Huanting WangWang, Huanting University of LeedsUnited Kingdom SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Jingbo WangWang, Jingbo Purdue University PLMW Co-Chair in Organizing Committee for PLDI 2025 Organizing Chair in Organizing Committee within the PLMW @ PLDI-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Ke WangWang, Ke Visa ResearchUnited States Incremental Equality Saturation Solving Floating-Point Constraints with Continuous Optimization
Ke WangWang, Ke Visa Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Kunshan WangWang, Kunshan Australian National UniversityChina Reworking Memory Management in CRuby: A Practitioner Report
Linzhang WangWang, Linzhang Nanjing UniversityChina Solving Floating-Point Constraints with Continuous Optimization
Meng WangWang, Meng University of BristolUnited Kingdom Scalable, Validated Code Translation of Entire Projects using Large Language Models
Ruibo WangWang, Ruibo National University of Defense TechnologyChina ASC-Hook: Efficient System Call Interception for ARM
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Tiezhi WangWang, Tiezhi Tongji UniversityChina Spineless Traversal for Layout Invalidation
Xiangwei WangWang, Xiangwei North Carolina State UniversityUnited States Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Xinyu WangWang, Xinyu University of MichiganUnited States Web Co-Chair in Organizing Committee for PLDI 2025 Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Yisu Remy WangWang, Yisu Remy University of California, Los AngelesUnited States Destructive E-Graph Rewrites
Yu WangWang, Yu Nanjing UniversityChina Solving Floating-Point Constraints with Continuous Optimization Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search Graphiti: Bridging Graph and Relational Database Queries
Yuning WangWang, Yuning Rutgers University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Zheng WangWang, Zheng University of LeedsUnited Kingdom SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
Ziming WangWang, Ziming Peking UniversityChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Andy WannaWanna, Andy Georgia Institute of Technology Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Verification of WebAssembly Features Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Student Research Competition-track
Michel WeberWeber, Michel ETH ZurichSwitzerland Relaxing Alias Analysis: Exploring the Unexplored Space
Anjiang WeiWei, Anjiang Stanford UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gavin WengWeng, Gavin Meta Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Josh WiedemeierWiedemeier, Josh Perfect Decompilation of Python Bytecode with PyLingual Perfect Decompilation of Python Bytecode with PyLingual
Robert WilleWille, Robert Technical University of Munich & SCCH GmbHGermany Committee Member in Program Committee within the WQS-track
Max WillseyWillsey, Max UC BerkeleyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Dynamic Region Ownership for Concurrency Safety
Daoyuan WuWu, Daoyuan Hong Kong University of Science and TechnologyChina Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Jiaojiao WuWu, Jiaojiao Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Jiaxu WuWu, Jiaxu Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Tao WuWu, Tao Changsha University of Science and TechnologyChina ASC-Hook: Efficient System Call Interception for ARM
Xiaodi WuWu, Xiaodi University of MarylandUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems
X Anxhelo XhebrajXhebraj, Anxhelo NVIDIAUnited States Committee Member in Program Committee within the ARRAY-track
Dongwei XiaoXiao, Dongwei Hong Kong University of Science and TechnologyChina Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Jingqi XiaoXiao, Jingqi Yale UniversityUnited States LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
Min XieXie, Min National University of Defense TechnologyChina ASC-Hook: Efficient System Call Interception for ARM
Ningning XieXie, Ningning University of TorontoCanada Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2025 Practical Type Inference with Levels Handling the Selection Monad Committee Member in PLDI Review Committee within the PLDI Research Papers-track Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yixiao XingXing, Yixiao Nagoya UniversityJapan rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems
Yingfei XiongXiong, Yingfei Peking UniversityChina Equality Saturation Guided by Large Language Models
Amanda XuXu, Amanda University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chang XuXu, Chang Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Han XuXu, Han Princeton UniversityUnited States Practical Type Inference with Levels
Muchen XuXu, Muchen University of Illinois at Urbana-ChampaignUnited States MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Qingxiao XuXu, Qingxiao Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach
Siyi XuXu, Siyi Shanghai UniversityChina Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
Jingling XueXue, Jingling University of New South WalesAustralia Committee Member in Steering Committee within the LCTES-track
Y Rohan YadavYadav, Rohan Stanford UniversityUnited States Panel 2 Distributed Sparse Computing with Legate Sparse Task-Based Tensor Computations on Modern GPUs
Fabian YamaguchiYamaguchi, Fabian Whirly Labs Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
Aobo YangYang, Aobo Southwest UniversityChina SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs
Dongwon YangYang, Dongwon Korea University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs
Hongseok YangYang, Hongseok KAIST; IBSSouth Korea Semantics of Integrating and Differentiating Singularities
Ziteng YangYang, Ziteng Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mengyu YaoYao, Mengyu Peking UniversityChina Grouptuner: Efficient Group-Aware Compiler Auto-tuning
Roland H. C. YapYap, Roland H. C. National University of Singapore, Singapore Fully Randomized Pointers
Ugur Y. YavuzYavuz, Ugur Y. Boston UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wenjia YeYe, Wenjia National University of Singapore; University of Hong KongSingapore Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Lia YehYeh, Lia University of Oxford From Fermions to Qubits: A ZX-Calculus Perspective
Jeho YeonYeon, Jeho KAIST Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Mingsheng YingYing, Mingsheng University of Technology SydneyAustralia Efficient Formal Verification of Quantum Error Correcting Programs Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs Committee Member in Organizing Committee within the WQS-track Committee Member in Program Committee within the WQS-track
Myung Kuk YoonYoon, Myung Kuk Ewha Womans University SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs
Greta YorshYorsh, Greta Jane Street Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lechen YuYu, Lechen Microsoft Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mingfei YuYu, Mingfei EPFL Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Z Daniel ZackonZackon, Daniel McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
George ZakhourZakhour, George University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Functional Meaning for Parallel Streaming
Haoyi ZengZeng, Haoyi Saarland UniversityGermany Destabilizing Iris
Jianping ZengZeng, Jianping Samsung ElectronicsUnited States Committee Member in Program Committee within the LCTES-track
Stefan ZetzscheZetzsche, Stefan AmazonUnited Kingdom Verified Foundations for Differential Privacy Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bowen ZhangZhang, Bowen The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Keynote Speaker in Keynote Speakers within the SOAP-track
Chi ZhangZhang, Chi Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gen ZhangZhang, Gen National University of Defense TechnologyChina ASC-Hook: Efficient System Call Interception for ARM
Genghan ZhangZhang, Genghan Stanford University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hanliang ZhangZhang, Hanliang University of BristolUnited Kingdom Scalable, Validated Code Translation of Entire Projects using Large Language Models
Lei ZhangZhang, Lei ICT CAS Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Ling ZhangZhang, Ling Shanghai Jiao Tong UniversityChina CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Minjian ZhangZhang, Minjian University of Illinois at Urbana-ChampaignUnited States Efficient Timestamping for Sampling-Based Race Detection
Paul ZhangZhang, Paul University of California, Los Angeles Destructive E-Graph Rewrites
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2025 Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Robert ZhangZhang, Robert The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Teng ZhangZhang, Teng Nanjing UniversityChina Pointer Analysis for Database-Backed Applications
Tong ZhangZhang, Tong SamsungUnited States Committee Member in Program Committee within the LCTES-track
Wenzhe ZhangZhang, Wenzhe National University of Defense Technology, ChinaChina ASC-Hook: Efficient System Call Interception for ARM
Xinmiao ZhangZhang, Xinmiao SKLP, Institute of Computing Technology, CASChina Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
Yihong ZhangZhang, Yihong University of WashingtonUnited States Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Unlocking advanced equality saturation--based optimizations with egglog
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Certified Compilers à la Carte Committee Member in Program Committee within the PLDI Student Research Competition-track
Zhicheng ZhangZhang, Zhicheng University of Technology SydneyAustralia Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Zhizhou (Chris) ZhangZhang, Zhizhou (Chris) Uber TechnologiesUnited States DR.FIX: Automatically Fixing Data Races at Industry Scale
Huan ZhaoZhao, Huan National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ian ZhaoZhao, Ian University of WaterlooCanada Certified Compilers à la Carte
Jishen ZhaoZhao, Jishen UCSD Compiler-Assisted Crash Consistency for PMEM
Mengyu ZhaoZhao, Mengyu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Efficient Formal Verification of Quantum Error Correcting Programs
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Junyu ZhouZhou, Junyu University of PennsylvaniaUnited States MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Efficient Formal Verification of Quantum Error Correcting Programs Committee Member in Program Committee within the WQS-track
Tong ZhouZhou, Tong Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiangyu ZhouZhou, Xiangyu University of Michigan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peter ZhuZhu, Peter Shopify Reworking Memory Management in CRuby: A Practitioner Report
Parker ZieglerZiegler, Parker University of California at BerkeleyUnited States Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence Programming by Navigation
Laura ZielinskiZielinski, Laura Cornell UniversityUnited States Bean: A Language for Backward Error Analysis
Philip ZuckerZucker, Philip DraperUnited States Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching Committee Member in Program Committee within the EGRAPHS-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ö Erik ÖsterlundÖsterlund, Erik OracleSweden Committee Member in Program Committee within the ISMM-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms University of Southampton Committee Member in Organizing Committee within the ARRAY-track
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore Organizer in Organizing Committee within the PLMW @ PLDI-track

PLDI 2025 Contributors

Results (908)

Tracks

Co-hosted Conferences

Workshops