PLDI 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (719)

A 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
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 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alex AikenAiken, Alex Stanford UniversityUnited States 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 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 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
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 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
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
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
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
Stephen M. BlackburnBlackburn, Stephen M. Google; Australian National UniversityAustralia 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 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
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
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
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
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
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
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
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
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
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
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 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
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
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
Markus de Medeirosde Medeiros, Markus New York UniversityUnited States Verified Foundations for Differential Privacy
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
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
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
Andrei Michael DreyerDreyer, Andrei Michael Whirly Labs Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
Derek DreyerDreyer, Derek MPI-SWSGermany Destabilizing Iris Tree Borrows RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Jeremy DubreilDubreil, Jeremy Lacework Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
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 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
Martin ElsmanElsman, Martin University of CopenhagenDenmark 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
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
Mathieu FehrFehr, Mathieu 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
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
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 UniversityPortugal 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
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
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
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
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 Utah Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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 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
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
Bill HarrisHarris, Bill AWS Automated Reasoning GroupUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tim HarrisHarris, Tim Microsoft, UKUnited 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
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
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
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
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
Son HoHo, Son InriaFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia 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 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
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 Yuka IkarashiIkarashi, Yuka Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Engin IpekIpek, Engin Micron Committee Member in Program Committee within the ISMM-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Dynamic Robustness Verification against Weak Memory Committee Member in PLDI Review Committee within the PLDI Research Papers-track
J 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
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
Kangkook JeeJee, Kangkook The University of Texas - DallasUnited States Perfect Decompilation of Python Bytecode with PyLingual Perfect Decompilation of Python Bytecode with PyLingual
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
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States Automated Exploit Generation for Node.js Packages
Charles JianJian, Charles University of WaterlooCanada Certified Compilers à la Carte
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 KAISTSouth 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
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
Sharjeel KhanKhan, Sharjeel GoogleUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
Justin KimKim, Justin Rutgers UniversityUnited States Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
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
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 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
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
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lindsey KuperKuper, Lindsey University of California at Santa CruzUnited States Efficient, Portable, Census-Polymorphic Choreographic Programming
Jaeseong KwonKwon, Jaeseong KAIST Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
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
Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Dynamic Robustness Verification against Weak Memory
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
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
Roman LeeLee, Roman MetaCanada Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea Semantics of Integrating and Differentiating Singularities Random Variate Generation with Formal Guarantees
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
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
Jiaying LiLi, Jiaying OmniVision TechnologiesSingapore 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
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
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
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
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
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
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
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
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 Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact Link-Time Optimization of Dynamic Casts in C++ Programs
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
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 Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
Guido MartínezMartínez, Guido Microsoft ResearchUnited States PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
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-RoswMcDowall-Rosw, Haytham University of OxfordUnited Kingdom From Fermions to Qubits: A ZX-Calculus Perspective
Jingyi MeiMei, Jingyi Leiden UniversityNetherlands Quantum Circuit Compilation with #SAT
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States 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
Miao MiaoMiao, Miao The University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
Fatemeh MohammadiMohammadi, Fatemeh KU LeuvenBelgium Beyond Affine Loops: A Geometric Approach to Program Synthesis
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
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Manasij MukherjeeMukherjee, Manasij NVIDIA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ilia MuravevMuravev, Ilia Saint Petersburg State University Universal High-Performance CFL-Reachability via Matrix Multiplication
Charlie MurphyMurphy, Charlie University of Wisconsin-MadisonUnited 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
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 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
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
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
Shawn OngOng, Shawn Cornell UniversityUnited States Probabilistic Kleene Algebra with Angelic Nondeterminism
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
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Spineless Traversal for Layout Invalidation
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 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
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
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
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
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
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
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
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 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
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
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 SpecTec, a Single Source of Truth Panel: Mechanized Specifications for Real-World Programming Languages 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
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
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
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 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
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
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
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 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
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
Eric SnowSnow, Eric MicrosoftUnited States Dynamic Region Ownership for Concurrency Safety
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
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
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 Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Fridtjof Peer StoldtStoldt, Fridtjof Peer 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 Relaxing Alias Analysis: Exploring the Unexplored Space Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
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
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
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
T 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
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
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
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 Committee Member in Program Committee within the ISMM-track
Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Thrust: A Prophecy-Based Refinement Type System for Rust
V 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
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
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
Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
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 Solving Floating-Point Constraints with Continuous Optimization
Ke WangWang, Ke Visa Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
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
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
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
Xiaodi WuWu, Xiaodi University of MarylandUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
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
Ningning XieXie, Ningning University of TorontoCanada Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2025 Handling the Selection Monad Practical Type Inference with Levels 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
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
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Steering Committee within the LCTES-track
Y Rohan YadavYadav, Rohan Stanford UniversityUnited States Task-Based Tensor Computations on Modern GPUs
Fabian YamaguchiYamaguchi, Fabian Whirly Labs Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
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
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
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
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
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
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
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
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
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
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 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 (719)

Tracks

Co-hosted Conferences

Workshops