PLDI 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1006)

A Anju M AA, Anju M IIT Madras, IndiaIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Joshua A. BockenekA. Bockenek, Joshua Virginia Tech Formally Verified Lifting of C-compiled x86-64 Binaries
Mridul AanjaneyaAanjaneya, Mridul Rutgers UniversityUnited States Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden (PLDI 2020) Efficient Handling of String-Number Conversion
Umut A. AcarAcar, Umut A. Carnegie Mellon University (POPL 2021) Provably Space Efficient Parallel Functional Programming Quartz: Superoptimization of Quantum Circuits
Sara AchourAchour, Sara MITUnited States Session Chair of Quantum (part of PLDI ) Committee Member in PLDI within the PLDI -track
Tosiron AdegbijaAdegbija, Tosiron University of Arizona Committee Member in Program Committee within the LCTES-track
Eddie AftandilianAftandilian, Eddie GitHubUnited States Productivity Assessment of Neural Code Completion
Maneesh AgrawalaAgrawala, Maneesh Stanford University Modular Information Flow Through Ownership
Alejandro AguirreAguirre, Alejandro IMDEA Software Institute and T.U. of Madrid (UPM) (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Ali AhmadiAhmadi, Ali Sharif University of Technology Efficient Approximations for Cache-conscious Data Placement
Amal AhmedAhmed, Amal Northeastern University (USA)United States Semantic Soundness for Language Interoperability Panelist in Organizing Committee within the PLDI W@PLDI-track
Peter AhrensAhrens, Peter MIT CSAIL Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Alex AikenAiken, Alex Stanford UniveristyUnited States DISTAL: The Distributed Tensor Algebra Compiler Quartz: Superoptimization of Quantum Circuits (POPL 2022) Induction Duality: Primal-Dual Search for Invariants
Sam AinsworthAinsworth, Sam University of Edinburgh, UKUnited Kingdom Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Committee Member in PLDI within the PLDI -track
Elvira AlbertAlbert, Elvira Complutense University of Madrid Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts
Farhana AleenAleen, Farhana NVIDIA Committee Member in Program Committee within the MAPS-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Amin AlipourAlipour, Amin University of HoustonUnited States Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
Miltiadis AllamanisAllamanis, Miltiadis United Kingdom Black Box Static Analyses with Deep Learning
Uri AlonAlon, Uri Carnegie Mellon UniversityUnited States A Systematic Evaluation of Large Language Models of Code Committee Member in Program Committee within the MAPS-track
Saman AmarasingheAmarasinghe, Saman MIT CSAILUnited States (PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of Technology All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Mehdi AminiAmini, Mehdi Google IRDL: An IR Definition Language for SSA Compilers
Seungmin AnAn, Seungmin KAIST Filling the gap between the JavaScript language specification and tools using the JISET family
Daniel AndersonAnderson, Daniel Carnegie Mellon UniversityUnited States Is it Time to Retire Manual Concurrent Memory Reclamation?
Naum AnteskiAnteski, Naum University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Mina Tahmasbi ArashlooArashloo, Mina Tahmasbi Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Zena M. AriolaAriola, Zena M. University of OregonUnited States (ICFP 2020) Kinds Are Calling Conventions
Jordi Armengol-EstapéArmengol-Estapé, Jordi University of Edinburgh ExeBench: An ML-scale dataset of executable C functions Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jatin AroraArora, Jatin Carnegie Mellon University (POPL 2021) Provably Space Efficient Parallel Functional Programming
Mihail AsavoaeAsavoae, Mihail Univ. Paris-Saclay, CEA List (WIP) A Memory Interference Analysis using a Formal Timing Analyzer
Sachille AtapattuAtapattu, Sachille Cornell University, USA (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, Sweden (PLDI 2020) Efficient Handling of String-Number Conversion
Eric AtkinsonAtkinson, Eric MIT CSAIL Session Chair of Probability (part of PLDI SIGPLAN Track) (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
David I. AugustAugust, David I. Princeton UniversityUnited States (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Sharon AyaldeAyalde, Sharon Meta Organizer in Organizing Committee within the PLDI W@PLDI-track
Hudson AyersAyers, Hudson Stanford University, Google Tighten Rust's Belt: Shrinking Embedded Rust Binaries
B Swee BalachandranBalachandran, Swee National Institute of AerospaceUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Session Chair of Refinement Types (part of PLDI SIGPLAN Track) (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in PLDI within the PLDI -track
Jialu BaoBao, Jialu Cornell University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Raj BarikBarik, Raj Uber Technologies Inc. Committee Member in Program Committee within the LCTES-track
Shraddha BarkeBarke, Shraddha (OOPSLA 2021) LooPy: interactive program synthesis with control structures
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Dan BarowyBarowy, Dan Williams CollegeUnited States Web Chair in Organizing Committee for PLDI 2022
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Program Committee within the ISMM-track
Aurèle BarrièreBarrière, Aurèle Univ Rennes, IRISA (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, Spain (PLDI 2020) Constant-Time Foundations for the New Spectre Era (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Response by authors of "Synthesizing Input Grammars" Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the MAPS-track
Guillaume BauBau, Guillaume Abstract interpretation of Michelson smart-contracts
Guillaume BaudartBaudart, Guillaume IBM Research, USA Session Chair of How to Analyze and Utilize (part of LCTES) Session Chair of How to Analyze and Utilize (part of LCTES) JAX Based Parallel Inference for Reactive Probabilistic Programming
Benoit BaudryBaudry, Benoit KTHSweden Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
Theodore BauerBauer, Theodore AWS Inc (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Santiago BautistaBautista, Santiago Univ Rennes, ENS Rennes, Inria, IRISAFrance (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Ryan BeckettBeckett, Ryan Microsoft Research, USA Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Naama Ben-DavidBen-David, Naama Carnegie Mellon University, USA (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
Bachir BendrissouBendrissou, Bachir CISPA Helmholtz Center for Information Security “Synthesizing Input Grammars”: A Replication Study
Josh BerdineBerdine, Josh MetaUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Getting Your Research Adopted
Shai BergmanBergman, Shai Technion Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
Gilbert BernsteinBernstein, Gilbert University of California at BerkeleyUnited States (POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites Exocompilation for Productive Programming of Hardware Accelerators
Tim BesardBesard, Tim Committee Member in Program Committee within the ARRAY-track
Raven BeutnerBeutner, Raven CISPA Helmholtz Center for Information Security, GermanyGermany (PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven BeutnerBeutner, Raven CISPA Helmholtz Center for Information Security, Germany Guaranteed bounds for posterior inference in universal probabilistic programming
Vaibhav BhageeBhagee, Vaibhav IIT Delhi, IndiaIndia (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
Anoop BhagyanathBhagyanath, Anoop University of Kaiserslautern Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow Graphs
Siddharth BhatBhat, Siddharth the University of Edinburgh Equality Saturation as a Tactic for Proof Assistants
Pramod BhatotiaBhatotia, Pramod TU Munich / University of Edinburgh Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Zhiqiang BianBian, Zhiqiang University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
David BieberBieber, David Google Brain TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS)
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the LCTES-track
Lars BirkedalBirkedal, Lars Aarhus University (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia We Live in Interesting Times Business Meeting Low-Latency, High-Throughput Garbage Collection Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sandrine BlazyBlazy, Sandrine Univ Rennes, IRISAFrance (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
Guy E. BlellochBlelloch, Guy E. Carnegie Mellon University Is it Time to Retire Manual Concurrent Memory Reclamation? PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
Rastislav BodíkBodík, Rastislav University of Washington Synthesizing Analytical SQL Queries from Computation Demonstration
Uros BojanicBojanic, Uros MicrosoftSerbia Statically Detecting Data Leakages in Data Science Code
Pauline BolignanoBolignano, Pauline AmazonUnited Kingdom Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Michael D. BondBond, Michael D. Ohio State University Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Utpal BoraBora, Utpal IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in PLDI within the PLDI -track
Vincent BotbolBotbol, Vincent Nomadic LabsFrance Abstract interpretation of Michelson smart-contracts
Asmae BouachtalaBouachtala, Asmae Univ. Paris-Saclay, CEA List (WIP) A Memory Interference Analysis using a Formal Timing Analyzer
Mehdi BouazizBouaziz, Mehdi Nomadic Labs ParisFrance Abstract interpretation of Michelson smart-contracts
Maddy BowersBowers, Maddy MIT-CSAILUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2022 Student Volunteer Co-Chair in Student Volunteers Committee within the PLDI Student Volunteering-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Publicity Co-Chair in Organizing Committee for PLDI 2022
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany (ICFP 2020) Compiling effect handlers in capability-passing style A Typed Continuation-Passing Translation for Lexical Effect Handlers
Alex BradburyBradbury, Alex lowRISC C.I.C. Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors
Alexander BrauckmannBrauckmann, Alexander University of Edinburgh ExeBench: An ML-scale dataset of executable C functions
Ian BriggsBriggs, Ian University of Utah Synthesizing Mathematical Identities with E-graphs Choosing Mathematical Function Implementations for Speed and Accuracy
Fraser BrownBrown, Fraser Stanford University, USA Committee Member in PLDI within the PLDI -track
Roberto BruniBruni, Roberto University of PisaItaly Abstract Interpretation Repair
Hugo BrunieBrunie, Hugo INRIA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexandra BugariuBugariu, Alexandra ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States (OOPSLA 2021) Durable functions: semantics for stateful serverless
Bernd BurgstallerBurgstaller, Bernd Yonsei UniversitySouth Korea Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Valentin-Sebastian BurlacuBurlacu, Valentin-Sebastian University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
C Javier Cabrera ArteagaCabrera Arteaga, Javier KTH Royal Institute of Technology Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
Zixian CaiCai, Zixian Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Simone CampanoniCampanoni, Simone Northwestern University, USA (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework WARio: Efficient Code Generation for Intermittent Computing
Brian CampbellCampbell, Brian University of Edinburgh Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Eric CampbellCampbell, Eric Cornell UniversityUnited States Kleene Algebra Modulo Theories: A Framework for Concrete KATs (POPL 2022) Dependently-Typed Data Plane Programming
David CaoCao, David University of California, San Diego Type-Directed Program Synthesis for RESTful APIs
Ting CaoCao, Ting Microsoft ResearchChina Committee Member in PLDI within the PLDI -track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Mentoring Panel: Hot Topics in PL (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
Omar CardonaCardona, Omar Microsoft Hardening Attack Surfaces with Formally Proven Binary Format Parsers
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
Luc CaryCary, Luc Massachusetts Institute of TechnologyUnited States (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Chris CasinghinoCasinghino, Chris Draper Laboratory (PLDI 2021) CoStar: A Verified ALL(*) Parser
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Domain-specific programming methodologies for domain-specific and emerging computing systems Committee Member in Program Committee within the LCTES-track
Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA Mentoring Panel: Surviving Grad School (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (PLDI 2020) Constant-Time Foundations for the New Spectre Era
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Mentoring Panel: Surviving Grad School
Milind ChabbiChabbi, Milind Uber Technologies Inc.United States A Study of Real-world Data Races in Golang
Tej ChajedChajed, Tej Massachusetts Institute of Technology, USAUnited States Committee Member in PLDI within the PLDI -track
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers Finding Typing Compiler Bugs (OOPSLA 2020) A Model for Detecting Faults in Build Specifications Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
‪Nagadastagiri Challapalle‬Challapalle‬, ‪Nagadastagiri The Pennsylvania State University ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Greg ChanChan, Greg Princeton University, USA (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Satish ChandraChandra, Satish FacebookUnited States Session Chair of Morning II (part of MAPS) Predictive Synthesis of API-Centric Code Committee Member in Program Committee within the MAPS-track Committee Member in Organizing Committee within the ASA-track
Alexander ChangChang, Alexander Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Differential Cost Analysis with Simultaneous Potentials and Anti-potentials Committee Member in PLDI within the PLDI -track
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Committee Member in PLDI within the PLDI -track
Agnishom ChattopadhyayChattopadhyay, Agnishom Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Session Chair of Evening (part of MAPS) General Chair in Organizing Committee within the MAPS-track
Marsha ChechikChechik, Marsha University of Toronto (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
Adam ChenChen, Adam Stevens Institute of TechnologyUnited States Lightning: Servois2: An Extended Commutativity Condition Synthesizer
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jian-Jia ChenChen, Jian-Jia Steering Committee Member in Steering Committee within the LCTES-track
Xinyun ChenChen, Xinyun Committee Member in Program Committee within the MAPS-track
Yan ChenChen, Yan University of MichiganUnited States WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Yanju ChenChen, Yanju University of California, Santa BarbaraUnited States Visualization Question Answering Using Introspective Program Synthesis Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yiran ChenChen, Yiran Duke University Committee Member in Program Committee within the LCTES-track
Yishen ChenChen, Yishen Massachusetts Institute of Technology All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Yixuan ChenChen, Yixuan Yale University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan (PLDI 2020) Efficient Handling of String-Number Conversion
Zizhan ChenChen, Zizhan The Chinese University of Hong Kong An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Alvin CheungCheung, Alvin University of California, Berkeley Synthesizing Analytical SQL Queries from Computation Demonstration
Sigmund ChianastaChianasta, Sigmund HIPPODROME: Data Race Repair using Static Analysis Summaries
David ChisnallChisnall, David Microsoft Research Welcome from the Chairs and Conference Report Closing Remarks PC Chair in Program Committee within the ISMM-track Program Chair in Organizing Committee within the ISMM-track
Adam ChlipalaChlipala, Adam MIT CSAILUnited States Session Chair of Distributed Systems (part of PLDI SIGPLAN Track) Relational Compilation for Performance-Critical Applications (POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
Minki ChoCho, Minki Seoul National UniversitySouth Korea Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency
Jaemin ChoiChoi, Jaemin KAIST Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Wonhyuk ChoiChoi, Wonhyuk Meta; Columbia UniversityUnited States Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Frederic T. ChongChong, Frederic T. University of ChicagoUnited States Giallar: Push-button Verification for the Qiskit Quantum Compiler
Stephen ChouChou, Stephen Massachusetts Institute of TechnologyUnited States (PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
Maria ChristakisChristakis, Maria MPI-SWSGermany (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
Michael ChristensenChristensen, Michael University of California at Santa BarbaraUnited States PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Shumo ChuChu, Shumo University of Washington, USAChina Committee Member in PLDI within the PLDI -track
Ravi ChughChugh, Ravi University of Chicago Sponsorship Co-Chair in Organizing Committee for PLDI 2022
Dulma ChurchillChurchill, Dulma Facebook London Session Chair of Session 1 (part of Infer) Committee Member in Program Committee within the Infer-track
Jessica ClarkeClarke, Jessica University of CambridgeUnited Kingdom Committee Member in Program Committee within the ISMM-track
Albert CohenCohen, Albert GoogleFrance Session Chair of Storage (part of PLDI SIGPLAN Track) (OOPSLA 2021) Reconciling Optimization with Secure Compilation Committee Member in PLDI within the PLDI -track
Breandan ConsidineConsidine, Breandan McGill UniversityCanada Probabilistic Array Programming on Galois Fields (extended abstract)
George A. ConstantinidesConstantinides, George A. Imperial College London, UK Abstract Interpretation on E-Graphs
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
Baptiste CoudrayCoudray, Baptiste France Distributed parallel computing with Futhark
Samuel CowardCoward, Samuel Imperial College London, UK Abstract Interpretation on E-Graphs
Will CrichtonCrichton, Will Stanford University Modular Information Flow Through Ownership
John CriswellCriswell, John University of Rochester, USAUnited States Making C Programs Safer with Checked C
Andrew CrossCross, Andrew IBM T.J Watson Research Center Giallar: Push-button Verification for the Qiskit Quantum Compiler
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Finding Good Generators with Multi-Armed Bandits
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison, USA P4BID: Information Flow Control in P4
Pedro da Costa Abreu Juniorda Costa Abreu Junior, Pedro Purdue University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dilma Da SilvaDa Silva, Dilma Texas A&M (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Majid DaliriDaliri, Majid University of TehranIran Efficient Approximations for Cache-conscious Data Placement
Hoang-Hai DangDang, Hoang-Hai MPI-SWSGermany Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Benjamin DarnellDarnell, Benjamin University of California, Santa BarbaraUnited States Control Logic Synthesis Using Formal ISA Specifications
Arnaud de Grandmaisonde Grandmaison, Arnaud (OOPSLA 2021) Reconciling Optimization with Secure Compilation
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. Committee Member in Program Committee within the EGRAPHS-track
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium (OOPSLA 2021) ECROs: building global scale systems from sequential code
Corentin De SouzaDe Souza, Corentin Higher-order function specialization in Infer
Edsko de Vriesde Vries, Edsko Well-Typed LLPNetherlands ECTAs: E-Graphs Better (at Encoding)
Saumya DebrayDebray, Saumya University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
Brian DemskyDemsky, Brian University of California, Irvine Checking Robustness to Weak Persistency Models Committee Member in PLDI within the PLDI -track
Haowei DengDeng, Haowei University of Maryland at College ParkUnited States Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)
Xavier DenisDenis, Xavier Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium (POPL 2021) On the Semantic Expressiveness of Recursive Types (POPL 2021) Fully Abstract from Static to Gradual
Laxman DhulipalaDhulipala, Laxman Carnegie Mellon University PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections
Robert DickDick, Robert University of Michigan, USA Committee Member in Program Committee within the LCTES-track
Bui Phi DiepDiep, Bui Phi Uppsala University, Sweden (PLDI 2020) Efficient Handling of String-Number Conversion
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Program Chair in Organizing Committee for PLDI 2022 Session Chair of Keynote: Emery Berger (part of PLDI ) Welcome to PLDI 2022 Business Meeting Program Chair in PLDI within the PLDI -track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Karp: A Language for NP Reductions
Elizabeth DinellaDinella, Elizabeth University of Pennsylvania Automated Software Testing: Bridging The Gap With Deep Learning
Chen DingDing, Chen University of Rochester Session Chair of Session B (part of ISMM) (WIP) Cache-Coherent CLAM Committee Member in Steering Committee within the ISMM-track
Craig DisselkoenDisselkoen, Craig University of California at San Diego, USA (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (PLDI 2020) Constant-Time Foundations for the New Spectre Era
Mike DoddsDodds, Mike Galois, Inc. Session Chair of Concurrency (part of PLDI ) Committee Member in PLDI within the PLDI -track
Ryan DoengesDoenges, Ryan Cornell UniversityUnited States (POPL 2021) Petr4: Formal Foundations for P4 Data Planes Leapfrog: Certified Equivalence for Protocol Parsers
Julian DolbyDolby, Julian IBM Research, USA Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle (PLDI 2020) Efficient Handling of String-Number Conversion
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems The PLDI Song Committee Member in SRC Reviewers within the PLDI SRC-track
Rui DongDong, Rui University of MichiganUnited States WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Paul DownenDownen, Paul University of Massachusetts LowellUnited States (ICFP 2020) Kinds Are Calling Conventions
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in PLDI within the PLDI -track
Theo DraneDrane, Theo Intel Corporation, USA Abstract Interpretation on E-Graphs
Derek DreyerDreyer, Derek MPI-SWSGermany Finding Real Bugs in Big Programs with Incorrectness Logic RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic Islaris: Verification of Machine Code Against Authoritative ISA Semantics (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Georgios-Petros DrososDrosos, Georgios-Petros Athens University of Economics and BusinessGreece (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
Justin DuDu, Justin University of California, San DiegoUnited States PBUnit: A Live Programming Environment for Unit Testing
Christophe DubachDubach, Christophe McGill UniversityCanada From Functional to Imperative: Combining Destination-Passing Style and Views Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis Steering Committee Member in Steering Committee within the LCTES-track
Clemens DubslaffDubslaff, Clemens TU DresdenGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stéphane DucasseDucasse, Stéphane InriaFrance Interpreter-guided Differential JIT Compiler Unit Testing
Aaron DutleDutle, Aaron NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS
E Romain EdelmannEdelmann, Romain EPFL, Switzerland (PLDI 2020) Zippy LL(1) Parsing with Derivatives
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Committee Member in Program Committee within the LCTES-track
Matthias EichholzEichholz, Matthias Technical University of Darmstadt (POPL 2022) Dependently-Typed Data Plane Programming
Richard A. EisenbergEisenberg, Richard A. TweagFrance (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation (ICFP 2020) Kinds Are Calling Conventions
Michaël El KharroubiEl Kharroubi, Michaël University of Applied Sciences and Arts Western SwitzerlandSwitzerland Distributed parallel computing with Futhark
Akram El-KorashyEl-Korashy, Akram MPI-SWS Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aaron ElineEline, Aaron University of Maryland Computing Correctly with Inductive Relations
Kevin EllisEllis, Kevin Cornell UniversityUnited States Unsupervised Program Synthesis: Hierarchy and Perception From Perception to Programs: Regularize, Overparameterize, and Amortize (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Tom EllisEllis, Tom Microsoft ResearchUnited Kingdom (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Session Chair of Distribution (part of PLDI ) Testing Distributed Protocols using Communication Closure Closing Remarks & Business Meeting Welcome Remarks (PLDI 2020) Inductive Sequentialization of Asynchronous Programs Committee Member in PLDI within the PLDI -track Organizer in Organizing Committee within the Commute-track
Andres ErbsenErbsen, Andres MIT CSAIL Relational Compilation for Performance-Critical Applications
Guilherme EspadaEspada, Guilherme LASIGE, Faculdade de Ciências, Universidade de LisboaPortugal Video Chair in Organizing Committee for PLDI 2022 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Karine Even-MendozaEven-Mendoza, Karine Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
F Priyank FalduFaldu, Priyank ARM Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Closing Remarks & Business Meeting Welcome Remarks Safety Proof Simplification Through Commutativity Recursion Synthesis with Unrealizability Witnesses Sound Sequentialization for Concurrent Program Verification (PLDI 2021) Phased Synthesis of Divide and Conquer Programs Organizer in Organizing Committee within the Commute-track Chair in Organizing Committee within the PLDI W@PLDI-track
Mathieu FehrFehr, Mathieu University of EdinburghUnited Kingdom IRDL: An IR Definition Language for SSA Compilers
Xinyu FengFeng, Xinyu Nanjing UniversityChina Verifying Optimizations of Concurrent Programs in the Promising Semantics
Yu FengFeng, Yu University of California, Santa BarbaraUnited States Session Chair of Security (part of PLDI ) Session Chair of Testing (part of PLDI SIGPLAN Track) Visualization Question Answering Using Introspective Program Synthesis Committee Member in PLDI within the PLDI -track
Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States (OOPSLA 2021) LooPy: interactive program synthesis with control structures
Kostas FerlesFerles, Kostas UT AustinUnited States Committee Member in PLDI within the PLDI -track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report Università Ca' Foscari, Venezia, Italy in Program Committee within the SOAP-track Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Carla FerreiraFerreira, Carla NOVA School of Science and TechnologyPortugal (OOPSLA 2021) ECROs: building global scale systems from sequential code
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Industry panel: Memory management priorities for the next few years
Martin FinkFink, Martin TU MunichGermany Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States (PLDI 2021) CoStar: A Verified ALL(*) Parser
Nicholas FitzgeraldFitzgerald, Nicholas Fastly Inc. Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
Andrew FitzgibbonFitzgibbon, Andrew GraphcoreUnited Kingdom (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Joshua FixelleFixelle, Joshua University of Virginia ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz Committee Member in SRC Reviewers within the PLDI SRC-track
Oliver FlattFlatt, Oliver University of Utah (POPL 2021) egg: Fast and Extensible Equality Saturation
Olivier FlückigerFlückiger, Olivier Northeastern UniversityUnited States Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
Alcides FonsecaFonseca, Alcides LASIGE, Faculty of Sciences, University of LisbonPortugal Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States (PLDI 2021) RbSyn: type- and effect-guided program synthesis
Nate FosterFoster, Nate Cornell UniversityUnited States Session Chair of Semantics (part of PLDI ) (POPL 2021) Petr4: Formal Foundations for P4 Data Planes Leapfrog: Certified Equivalence for Protocol Parsers (POPL 2022) Dependently-Typed Data Plane Programming Committee Member in PLDI within the PLDI -track
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Program Committee within the ISMM-track
Michal FriedmanFriedman, Michal Technion, Israel (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
Zhoulai FuFu, Zhoulai University of California, Davis Formally Verified Lifting of C-compiled x86-64 Binaries
Carsten FuhsFuhs, Carsten Birkbeck, University of LondonUnited Kingdom Birkbeck, University of London in Program Committee within the SOAP-track
Junji FukuharaFukuhara, Junji Tokyo University of Science Automated Kernel Fusion for GPU Based on Code Motion
G Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús INRIAFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiang GaoGao, Xiang Beihang University, ChinaChina (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada IMDEA Software Institute in Program Committee within the SOAP-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Verified Trustworthy Software Specification
Deepak GargGarg, Deepak MPI-SWSGermany Islaris: Verification of Machine Code Against Authoritative ISA Semantics (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types Organizing Committee in Organizing Committee within the PLMW-track
François GauthierGauthier, François Oracle LabsAustralia Oracle Labs in Program Committee within the SOAP-track
Tianao GeGe, Tianao Sun Yat-sen UniversityChina RollBin: Reducing code-size via loop rerolling at binary level
Hasan GencGenc, Hasan UC Berkeley Exocompilation for Productive Programming of Hardware Accelerators
Arthur GervaisGervais, Arthur Imperial College London Finding Typing Compiler Bugs
Herman GeuversGeuvers, Herman Radboud University Nijmegen, Netherlands Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Souradip GhoshGhosh, Souradip Carnegie Mellon UniversityUnited States WARio: Efficient Code Generation for Intermittent Computing
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Session Chair of Keynote 3 + Papers (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP) Abstract Interpretation Repair
Nick GiannarakisGiannarakis, Nick University of Wisconsin-Madison Committee Member in PLDI within the PLDI -track
Chris GillumGillum, Chris Microsoft AzureUnited States (OOPSLA 2021) Durable functions: semantics for stateful serverless
Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Klaus v. GleissenthallGleissenthall, Klaus v. Vrije Universiteit Amsterdam, Netherlands Pretend synchrony: synchronous verification of asynchronous distributed programs (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (PLDI 2020) Constant-Time Foundations for the New Spectre Era Committee Member in PLDI within the PLDI -track
Milos GligoricGligoric, Milos University of Texas at AustinUnited States (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Andrés GoensGoens, Andrés the University of Edinburgh Equality Saturation as a Tactic for Proof Assistants
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and Technology Efficient Approximations for Cache-conscious Data Placement
Laure GonnordGonnord, Laure Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, FranceFrance Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Committee Member in PLDI within the PLDI -track Program Co-Chair in Organizing Committee within the SOAP-track Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France in Program Committee within the SOAP-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium (OOPSLA 2021) ECROs: building global scale systems from sequential code
Peter GoodmanGoodman, Peter Trail of Bits On the Optimization of Equivalent Concurrent Computations
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of UtahUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Rahul GopinathGopinath, Rahul University of SydneyAustralia “Synthesizing Input Grammars”: A Replication Study
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Towards Optimising Certified Programs by Proof Rewriting
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in PLDI within the PLDI -track
Roberta GoriGori, Roberta University of PisaItaly Abstract Interpretation Repair
Hamed GorjiaraGorjiara, Hamed University of California, Irvine Checking Robustness to Weak Persistency Models
Sergei GorlatchGorlatch, Sergei University of Münster, Germany (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
Nikos GorogiannisGorogiannis, Nikos FacebookUnited Kingdom Session Chair of Session 2 (part of Infer) Committee Member in Program Committee within the Infer-track
Justin GottschlichGottschlich, Justin Merly, Inc. / University of PennsylvaniaUnited States Committee Member in PLDI within the PLDI -track Committee Member in Organizing Committee within the MAPS-track
Redha GouicemGouicem, Redha TU MunichGermany Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Daniel GratzerGratzer, Daniel Aarhus UniversityDenmark (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Neville GrechGrech, Neville University of MaltaMalta Committee Member in PLDI within the PLDI -track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Session Chair of Types (part of PLDI SIGPLAN Track) Mentoring Panel: Post-graduate Career Paths Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Ben GreenmanGreenman, Ben Brown UniversityUnited States Deep and Shallow Types for Gradual Languages
Doug GregorGregor, Doug Apple Designing for ABI-Stable Software Evolution in the Swift Programming Language
Karuna GrewalGrewal, Karuna P4BID: Information Flow Control in P4
Jeremiah GriffinGriffin, Jeremiah University of California, Riverside (ICFP 2020) TLC: Temporal Logic of Distributed Components
Lauren GrimleyGrimley, Lauren Spring Hill CollegeUnited States Using Q-Learning to Select the Best Among Functionally Equivalent Implementations
Tobias GrosserGrosser, Tobias University of EdinburghUnited Kingdom Session Chair of Keynote (part of LCTES) Session Chair of Keynote (part of LCTES) (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision IRDL: An IR Definition Language for SSA Compilers General Chair in Organizing Committee within the LCTES-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2022 (PLDI 2021) Proof Repair Across Type Equivalences
Boris GrotGrot, Boris University of Edinburgh, UK Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the MAPS-track
Alex GuGu, Alex MIT CSAILUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ronghui GuGu, Ronghui Columbia UniversityUnited States Giallar: Push-button Verification for the Qiskit Quantum Compiler Committee Member in PLDI within the PLDI -track
Yan GuGu, Yan UC Riverside PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections
Hui GuanGuan, Hui University of Massachusetts, AmherstUnited States Committee Member in PLDI within the PLDI -track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States Publicity Co-Chair in Organizing Committee for PLDI 2022
Christophe GuillonGuillon, Christophe STMicroelectronicsFrance (OOPSLA 2021) Reconciling Optimization with Secure Compilation
Sumit GulwaniGulwani, Sumit MicrosoftUnited States (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Jin L.C. GuoGuo, Jin L.C. McGill UniversityCanada Probabilistic Array Programming on Galois Fields (extended abstract)
Zheng GuoGuo, Zheng University of California, San Diego ECTAs: E-Graphs Better (at Encoding) Type-Directed Program Synthesis for RESTful APIs Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Arti GuptaGupta, Arti Microsoft Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Shubhani GuptaGupta, Shubhani (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
Sankha Narayan GuriaGuria, Sankha Narayan University of Maryland, College ParkUnited States (PLDI 2021) RbSyn: type- and effect-guided program synthesis ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Lennard GäherGäher, Lennard MPI-SWS & Saarland UniversityGermany (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
H Christine H. FloodH. Flood, Christine Julia Computing Industry panel: Memory management priorities for the next few years
Altan HaanHaan, Altan OctoML E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
Bastian HagedornHagedorn, Bastian NVIDIAGermany (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
Ákos HajduHajdu, Ákos MetaUnited Kingdom InfERL: Scalable and extensible static analysis for Erlang
Mary HallHall, Mary University of Utah Committee Member in PLDI within the PLDI -track
Angus HammondHammond, Angus University of Cambridge Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Jad HamzaHamza, Jad EPFL, Switzerland (PLDI 2020) Zippy LL(1) Parsing with Derivatives
Frank HannigHannig, Frank Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany Committee Member in Program Committee within the LCTES-track
Pat HanrahanHanrahan, Pat Stanford University, USA Modular Information Flow Through Ownership
Yuko Hara-AzumiHara-Azumi, Yuko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the LCTES-track
Ben HardekopfHardekopf, Ben UC Santa BarbaraUnited States PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Jason D. HartlineHartline, Jason D. Northwestern University Karp: A Language for NP Reductions
Chris HawblitzelHawblitzel, Chris Microsoft Research Mentoring Panel: Post-graduate Career Paths
Jingxuan HeHe, Jingxuan ETH Zurich, Switzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James HegartyHegarty, James Facebook A Graph Neural Network-based performance model for Deep Learning Applications
Vincent J. HellendoornHellendoorn, Vincent J. Carnegie Mellon UniversityUnited States A Systematic Evaluation of Large Language Models of Code Committee Member in Program Committee within the MAPS-track
Jason HemannHemann, Jason Northeastern University, United StatesUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jörg HenkelHenkel, Jörg Steering Committee Member in Steering Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Committee Member in Organizing Committee within the ARRAY-track
Thomas A. HenzingerHenzinger, Thomas A. IST Austria, Austria (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in PLDI within the PLDI -track
Seonyeong HeoHeo, Seonyeong ETH ZurichSwitzerland Committee Member in Program Committee within the LCTES-track
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom (OOPSLA 2021) Formal verification of high-level synthesis Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Josiah HesterHester, Josiah Northwestern UniversityUnited States WARio: Efficient Code Generation for Intermittent Computing
Luke HewittHewitt, Luke Massachusetts Institute of TechnologyUnited States (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Karine HeydemannHeydemann, Karine Sorbonne University; CNRS; LIP6France (OOPSLA 2021) Reconciling Optimization with Secure Compilation
Michael HicksHicks, Michael University of Maryland at College Park How to Write a Technical Paper Making C Programs Safer with Checked C (POPL 2021) A Verified Optimizer for Quantum Circuits (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Kesha HietalaHietala, Kesha University of MarylandUnited States (POPL 2021) A Verified Optimizer for Quantum Circuits
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aarhus University, DenmarkDenmark Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Auguste HirthHirth, Auguste University of California, Los Angeles (UCLA) Quartz: Superoptimization of Quantum Circuits
Martin HirzelHirzel, Martin IBM ResearchUnited States Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle
Torsten HoeflerHoefler, Torsten ETH Zurich (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
Conor HoekstraHoekstra, Conor NVIDIACanada Combinatory Logic and Combinators in Array Languages
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Session Chair of Special Effects (part of PLDI SIGPLAN Track) (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs Committee Member in PLDI within the PLDI -track
Lukáš HolíkHolík, Lukáš Brno University of Technology (PLDI 2020) Efficient Handling of String-Number Conversion
Changwan HongHong, Changwan Massachusetts Institute of Technology Committee Member in Program Committee within the LCTES-track
Wolf HonoreHonore, Wolf Yale University Adore: Atomic Distributed Objects with Certified Reconfiguration
Marcos Horro VarelaHorro Varela, Marcos Advanced Micro Devices (AMD)Spain Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in PLDI within the PLDI -track
Farzin HoushmandHoushmand, Farzin University of California, RiversideUnited States Hamband: RDMA Replicated Data Types (ICFP 2021) Grafs: Declarative Graph Analytics
Justin HsuHsu, Justin Cornell UniversityUnited States P4BID: Information Flow Control in P4 (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity Committee Member in PLDI within the PLDI -track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins Committee Member in PLDI within the PLDI -track
Yi HuangHuang, Yi Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Zhicheng HuangHuang, Zhicheng University of Michigan WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Shih-Han HungHung, Shih-Han University of Maryland, USA (POPL 2021) A Verified Optimizer for Quantum Circuits
Pingyi HuoHuo, Pingyi The Pennsylvania State University ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency
Aftab HussainHussain, Aftab University of HoustonUnited States Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
I Yuka IkarashiIkarashi, Yuka MITUnited States Exocompilation for Productive Programming of Hardware Accelerators
Jeevana Priya InalaInala, Jeevana Priya MITUnited States Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the MAPS-track
Dan IorgaIorga, Dan Imperial College LondonUnited Kingdom (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Replication-based Object Persistence by Reachability
Arun IyerIyer, Arun Microsoft Research Landmarks and Regions: A Robust Approach to Data Extraction
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois, Urbana-ChampainUnited States Committee Member in Program Committee within the ASA-track
Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Jules JacobsJacobs, Jules Radboud University (POPL 2021) Paradoxes of probabilistic programming Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Koen JacobsJacobs, Koen KU Leuven (POPL 2021) Fully Abstract from Static to Gradual
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Mergeable Replicated Datatypes
Dustin JamnerJamner, Dustin MIT CSAIL Relational Compilation for Performance-Critical Applications
Mathieu JanJan, Mathieu Univ. Paris-Saclay, CEA List (WIP) A Memory Interference Analysis using a Formal Timing Analyzer
Petr JankůJanků, Petr Brno University of Technology, Czechia (PLDI 2020) Efficient Handling of String-Number Conversion
Ali Javadi-AbhariJavadi-Abhari, Ali IBM Giallar: Push-button Verification for the Qiskit Quantum Compiler
Hyeran JeonJeon, Hyeran University of California, MercedUnited States Committee Member in Program Committee within the LCTES-track
Jan JečmenJečmen, Jan Czech Technical University Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Susmit JhaJha, Susmit SRIUnited States Committee Member in PLDI within the PLDI -track
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States General Chair in Organizing Committee for PLDI 2022 Session Chair of Keynote: Margo Seltzer (part of PLDI ) (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade Welcome to PLDI 2022 Business Meeting
Limin JiaJia, Limin Carnegie Mellon University Mentoring Panel: Hot Topics in PL Organizing Committee in Organizing Committee within the PLMW-track
Zhihao JiaJia, Zhihao Carnegie Mellon University Quartz: Superoptimization of Quantum Circuits Committee Member in PLDI within the PLDI -track
Lin JiangJiang, Lin Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Yu JiangJiang, Yu Tsinghua UniversityChina Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain Committee Member in Program Committee within the LCTES-track
Matthew JinJin, Matthew Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
Eddie JonesJones, Eddie University of BristolUnited Kingdom CycleQ: an efficient basis for cyclic equational reasoning (POPL 2021) Intensional Datatype Refinement
Keyur JoshiJoshi, Keyur University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jacques-Henri JourdanJourdan, Jacques-Henri Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee within the LCTES-track
Tzung-Han JuangJuang, Tzung-Han McGill University Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis
Changhee JungJung, Changhee Purdue University, USA Steering Committee Member in Steering Committee within the LCTES-track
Jaehwang JungJung, Jaehwang KAIST, South Korea Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Ralf JungJung, Ralf MPI-SWSGermany Session Chair of Verification I (part of PLDI ) Committee Member in PLDI within the PLDI -track
David JustoJusto, David Microsoft AzureUnited States (OOPSLA 2021) Durable functions: semantics for stateful serverless
K Łukasz KaiserKaiser, Łukasz OpenAI Can Transformers Code?
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States RunTime-Assisted Convergence in Replicated Data Types
Christian Gram KalhaugeKalhauge, Christian Gram Technical University of DenmarkDenmark (PLDI 2021) Logical Bytecode Reduction
Konstantinos KallasKallas, Konstantinos University of Pennsylvania (OOPSLA 2021) Durable functions: semantics for stateful serverless
Eirini KalliamvakouKalliamvakou, Eirini GitHub Productivity Assessment of Neural Code Completion
Adharsh KamathKamath, Adharsh NITK SurathkalIndia Certified Mergeable Replicated Data Types Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University and University College LondonGermany (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Committee Member in Program Committee within the MAPS-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic Committee Member in PLDI within the PLDI -track
Xiyu KangKang, Xiyu University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
Vini KanvarKanvar, Vini IBM ResearchIndia Committee Member in Program Committee within the ISMM-track
Tobias KappéKappé, Tobias ILLC, University of Amsterdam Leapfrog: Certified Equivalence for Protocol Parsers
Manos KapritsosKapritsos, Manos University of Michigan, USA Committee Member in PLDI within the PLDI -track
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India Committee Member in PLDI within the PLDI -track
Baris KasikciKasikci, Baris University of Michigan, USA Committee Member in PLDI within the PLDI -track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Madhukar KedlayaKedlaya, Madhukar Shape SecurityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chris KennellyKennelly, Chris Google Industry panel: Memory management priorities for the next few years
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Anirudh KhatryKhatry, Anirudh Microsoft Research Landmarks and Regions: A Robust Approach to Data Extraction
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Rami Gökhan KıcıKıcı, Rami Gökhan University of California at San Diego, USA (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States Committee Member in Program Committee within the LCTES-track
Jieung KimKim, Jieung Yale University, USA Adore: Atomic Distributed Objects with Certified Reconfiguration
Miryung KimKim, Miryung University of California at Los Angeles, USAUnited States Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Seohyun KimKim, Seohyun MetaUnited States Predictive Synthesis of API-Centric Code
Youngsok KimKim, Youngsok Yonsei UniversitySouth Korea Web Chair in Organizing Committee within the LCTES-track
Zachary KincaidKincaid, Zachary Princeton University, USA Committee Member in PLDI within the PLDI -track
Spencer KingKing, Spencer Unaffiliated QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs
Maja Hanne KirkebyKirkeby, Maja Hanne Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria Committee Member in Program Committee within the ISMM-track
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States DISTAL: The Distributed Tensor Algebra Compiler (PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Dominik KlumppKlumpp, Dominik University of FreiburgGermany Lightning: Extending Commutativity via Safe Abstraction Sound Sequentialization for Concurrent Program Verification
Yousun KoKo, Yousun Yonsei University Session Chair of Optimization for Compilers and Languages (part of LCTES) Session Chair of Optimization for Compilers and Languages (part of LCTES) Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors Committee Member in Program Committee within the LCTES-track
Thomas KoehlerKoehler, Thomas University of GlasgowUnited Kingdom Sketch-Guided Equality Saturation (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies Committee Member in Program Committee within the ARRAY-track
Jason R. KoenigKoenig, Jason R. Stanford UniversityUnited States (POPL 2022) Induction Duality: Primal-Dual Search for Invariants
Lingkun KongKong, Lingkun Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
James KoppelKoppel, James Massachusetts Institute of Technology, USA E-Graphs, VSAs, and Tree Automata: a Rosetta Stone ECTAs: E-Graphs Better (at Encoding)
Lukáš KorenčikKorenčik, Lukáš Trail of Bits On the Optimization of Equivalent Concurrent Computations
Vito KortbeekKortbeek, Vito Delft University of TechnologyNetherlands WARio: Efficient Code Generation for Intermittent Computing
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Commutativity condition synthesis and language support for commute blocks Closing Remarks & Business Meeting Welcome Remarks Committee Member in SRC Reviewers within the PLDI SRC-track Organizer in Organizing Committee within the Commute-track
Apurva KotiKoti, Apurva Cornell University, USA (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Bernhard KraglKragl, Bernhard IST Austria (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Faustyna KrawiecKrawiec, Faustyna University of CambridgeUnited Kingdom (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Matthias KrebsKrebs, Matthias TU DarmstadtGermany (POPL 2022) Dependently-Typed Data Plane Programming
Harlan KringenKringen, Harlan UC Santa Barbara PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Program Committee within the LCTES-track
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States A Study of Real-world Data Races in Golang
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Sebastián KrynskiKrynski, Sebastián Czech Technical UniversityCzechia Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Committee Member in PLDI within the PLDI -track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland (PLDI 2020) Zippy LL(1) Parsing with Derivatives
Lindsey KuperKuper, Lindsey University of California at Santa Cruz (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
L Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the ASA-track
Akash LalLal, Akash Microsoft Research Committee Member in PLDI within the PLDI -track
Ian Iong LamLam, Ian Iong University of Michigan WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Patrick LamLam, Patrick University of Waterloo Committee Member in PLDI within the PLDI -track
Leonidas LampropoulosLampropoulos, Leonidas University of MarylandGreece Computing Correctly with Inductive Relations
James LarusLarus, James EPFL Session Chair of Compilation (part of PLDI ) Committee Member in PLDI within the PLDI -track
Sam LasserLasser, Sam Tufts UniversityUnited States (PLDI 2021) CoStar: A Verified ALL(*) Parser
Evan LauferLaufer, Evan Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Henrich LaukoLauko, Henrich Trail of Bits On the Optimization of Equivalent Concurrent Computations
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Ton Chanh LeLe, Ton Chanh Stevens Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in PLDI within the PLDI -track
Hugh LeatherLeather, Hugh University of Edinburgh, UK A Graph Neural Network-based performance model for Deep Learning Applications Committee Member in PLDI within the PLDI -track
Alex LeeLee, Alex University of California, Irvine Checking Robustness to Weak Persistency Models
Dongjae LeeLee, Dongjae Seoul National University Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency
DongKwon LeeLee, DongKwon Seoul National University, South Korea (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Jinho LeeLee, Jinho Yonsei UniversitySouth Korea Publicity Chair in Organizing Committee within the LCTES-track
Kyoungwoo LeeLee, Kyoungwoo Yonsei University Session Chair of Be aware of Hardware (part of LCTES) Session Chair of Be aware of Hardware (part of LCTES) PC Chair in Organizing Committee within the LCTES-track
Kyungwoo LeeLee, Kyungwoo MetaUnited States (WIP) Scalable Size Inliner for Mobile Applications
Sung-Hwan LeeLee, Sung-Hwan Seoul National UniversitySouth Korea Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Daniel LehmannLehmann, Daniel University of StuttgartGermany Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Bryce LelbachLelbach, Bryce Multidimensional C++
Caroline LemieuxLemieux, Caroline University of British ColumbiaUnited States Session Chair of Testing & Synthesis (part of PLDI ) Committee Member in PLDI within the PLDI -track
Johannes LenfersLenfers, Johannes University of MünsterGermany (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
John LeoLeo, John Halfaya ResearchUnited States (PLDI 2021) Proof Repair Across Type Equivalences
Rodolphe LepigreLepigre, Rodolphe MPI-SWSGermany Islaris: Verification of Machine Code Against Authoritative ISA Semantics (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Sorin LernerLerner, Sorin University of California at San DiegoUnited States (OOPSLA 2021) LooPy: interactive program synthesis with control structures
Mohsen LesaniLesani, Mohsen University of California at Riverside Session Chair of Synthesis II (part of PLDI SIGPLAN Track) Commutativity reasoning for automated distributed coordination (ICFP 2020) TLC: Temporal Logic of Distributed Components Hamband: RDMA Replicated Data Types (ICFP 2021) Grafs: Declarative Graph Analytics
Martin LesterLester, Martin University of ReadingUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Danya LetteLette, Danya University of Toronto Recursion Synthesis with Unrealizability Witnesses
Alan LeungLeung, Alan Microsoft (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Philip LevisLevis, Philip Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Amit LevyLevy, Amit (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States RunTime-Assisted Convergence in Replicated Data Types
Guanpeng LiLi, Guanpeng University of IowaUnited States Committee Member in Program Committee within the LCTES-track
X. Alice LiLi, X. Alice GitHub Productivity Assessment of Neural Code Completion
Xinyi LiLi, Xinyi University of UtahUnited States BinFPE: Accurate Floating-Point Exception Detection for GPU Applications
Xupeng LiLi, Xupeng Columbia University Giallar: Push-button Verification for the Qiskit Quantum Compiler
Yanze LiLi, Yanze University of British Columbia (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Yujia LiLi, Yujia Deepmind Competitive Programming with AlphaCode
Zhijing LiLi, Zhijing Cornell University, USA (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Zikun LiLi, Zikun University of California, Los Angeles (UCLA) Quartz: Superoptimization of Quantum Circuits
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Verifying Optimizations of Concurrent Programs in the Promising Semantics Committee Member in PLDI within the PLDI -track
Jie LiangLiang, Jie Tsinghua University Odin: On-Demand Instrumentation with On-the-Fly Recompilation
HeuiChan LimLim, HeuiChan University of ArizonaUnited States Modeling Code Manipulation in JIT Compilers
Jay P. LimLim, Jay P. Yale UniversityUnited States Session Chair of Parsing & Verification (part of PLDI SIGPLAN Track) (POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Hsin-Hung LinLin, Hsin-Hung Academia Sinica, Taiwan (PLDI 2020) Efficient Handling of String-Number Conversion
Sina LinLin, Sina Microsoft Quartz: Superoptimization of Quantum Circuits
Zhitao LinLin, Zhitao McGill UniversityCanada From Functional to Imperative: Combining Destination-Passing Style and Views
Michael LippautzLippautz, Michael Google Session Chair of Keynote and Closing (part of ISMM) Welcome from the Chairs and Conference Report Closing Remarks General Chair in Organizing Committee within the ISMM-track
Amanda LiuLiu, Amanda Massachusetts Institute of TechnologyUnited States (POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
Bozhen LiuLiu, Bozhen Texas A&M University, USA (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Fengyun LiuLiu, Fengyun Oracle Labs Implicit State Machines
Junrui LiuLiu, Junrui University of California, Santa BarbaraUnited States Visualization with Refinement Types
Peiming LiuLiu, Peiming Texas A&M University (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Shi LiuLiu, Shi UCLA Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Xiaoyu LiuLiu, Xiaoyu Microsoft CorporationUnited States Infer#’s journey to bring Infer to the .NET world
Xu LiuLiu, Xu North Carolina State University, Oak Ridge National Laboratory, USAUnited States Steering Committee Member in Steering Committee within the LCTES-track
Yiyun LiuLiu, Yiyun University of Maryland at College Park (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Ben LivshitsLivshits, Ben Imperial College London, UK Finding Typing Compiler Bugs
Devon LoehrLoehr, Devon Princeton UniversityUnited States (POPL 2022) Safe, Modular Packet Pipeline Programming
Francesco LogozzoLogozzo, Francesco FacebookUnited States Using static analysis to scale security at Meta Meta Research and Opportunities
Fan LongLong, Fan University of Toronto, Canada Committee Member in PLDI within the PLDI -track
Nuno P. LopesLopes, Nuno P. Universidade de LisboaPortugal Reasoning About and Discovering LLVM Optimizations Committee Member in SRC Reviewers within the PLDI SRC-track
Tze Meng LowLow, Tze Meng Carnegie Mellon UniversityUnited States Committee Member in Organizing Committee within the ARRAY-track
Yutong LuLu, Yutong Sun Yat-sen University RollBin: Reducing code-size via loop rerolling at binary level
Weiyu LuoLuo, Weiyu University of California, IrvineUnited States Checking Robustness to Weak Persistency Models
M Haoran MaMa, Haoran University of California, Los Angeles Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Henry MaMa, Henry University of California, Los Angeles (UCLA) Quartz: Superoptimization of Quantum Circuits
Hendrik MaarandMaarand, Hendrik Tallinn University of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Martin MaasMaas, Martin Google Research Session Chair of Welcome and Session A (part of ISMM) Committee Member in Steering Committee within the ISMM-track
Dougal MaclaurinMaclaurin, Dougal Committee Member in Program Committee within the ARRAY-track
José Wesley de Souza MagalhãesMagalhães, José Wesley de Souza University of Edinburgh ExeBench: An ML-scale dataset of executable C functions
Stephen MagillMagill, Stephen Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Committee Member in PLDI within the PLDI -track
Orestis MalaspinasMalaspinas, Orestis Distributed parallel computing with Futhark
Saeed MalekiMaleki, Saeed Microsoft ResearchUnited States Committee Member in PLDI within the PLDI -track
Dmitry MalloyMalloy, Dmitry Microsoft Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Konstantinos MamourasMamouras, Konstantinos Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Louis MandelMandel, Louis IBM Research, USA JAX Based Parallel Inference for Reactive Probabilistic Programming
Vikash K. MansinghkaMansinghka, Vikash K. MIT Committee Member in PLDI within the PLDI -track
William ManskyMansky, William University of Illinois at ChicagoUnited States Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Benjamin MarianoMariano, Benjamin The University of Texas at Austin, Texas, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eric Mark MartinMartin, Eric Mark Stanford (POPL 2021) On the Semantic Expressiveness of Recursive Types
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States Session Chair of Synthesis I (part of PLDI ) Committee Member in PLDI within the PLDI -track
Paolo MasciMasci, Paolo National Institute of Aerospace, USAUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Christoph MathejaMatheja, Christoph Technical University of DenmarkDenmark (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Anders Alnor MathiasenMathiasen, Anders Alnor Aarhus University (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
Umang MathurMathur, Umang National University of SingaporeSingapore Session Chair of Concurrency (part of PLDI SIGPLAN Track) Weakening Mazurkiewicz Traces (POPL 2021) Optimal Prediction of Synchronization-Preserving Races
Oumaima MatoussiMatoussi, Oumaima Univ. Paris-Saclay, CEA List (WIP) A Memory Interference Analysis using a Formal Timing Analyzer
Kotaro MatsumotoMatsumoto, Kotaro Kochi University of Technology Replication-based Object Persistence by Reachability
Yusuke MatsushitaMatsushita, Yusuke The University of Tokyo RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Jedidiah McClurgMcClurg, Jedidiah Colorado School of MinesUnited States Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair Committee Member in PLDI within the PLDI -track
Kathryn S McKinleyMcKinley, Kathryn S Google A Research Mindset Low-Latency, High-Throughput Garbage Collection Panelist in Organizing Committee within the PLDI W@PLDI-track
Connor McMahonMcMahon, Connor Microsoft AzureUnited States (OOPSLA 2021) Durable functions: semantics for stateful serverless
Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States (POPL 2022) Induction Duality: Primal-Dual Search for Invariants
Christopher McNallyMcNally, Christopher Massachusetts Institute of TechnologyUnited States (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in PLDI within the PLDI -track
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States (OOPSLA 2021) Durable functions: semantics for stateful serverless
Kayvan MemarianMemarian, Kayvan University of CambridgeUnited Kingdom (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Session Chair of Verification & Optimization (part of PLDI ) All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP Committee Member in PLDI within the PLDI -track
Qian MengMeng, Qian Cornell university Path Alignment Automata are Probabilistic Couplings
Mira MeziniMezini, Mira TU DarmstadtGermany (POPL 2022) Dependently-Typed Data Plane Programming Committee Member in PLDI within the PLDI -track
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Maria Bendix MikkelsenMikkelsen, Maria Bendix Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mae MilanoMilano, Mae University of California, Berkeley A Flexible Type System for Fearless Concurrency
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in PLDI within the PLDI -track
Aleksandar MilicevicMilicevic, Aleksandar Microsoft (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Todd MillsteinMillstein, Todd University of California at Los Angeles (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
Anders MiltnerMiltner, Anders Simon Fraser UniversityUnited States Session Chair of Hardware II (part of PLDI ) Committee Member in PLDI within the PLDI -track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Abstract interpretation of Michelson smart-contracts
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2022
Rishav MishraMishra, Rishav SonaTypeUnited States Infer in the cloud: An Overview of Infer Usage via Sonatype Lift
Md Rakib Hossain MisuMisu, Md Rakib Hossain University of California, IrvineUnited States ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Charalambos Ioannis MitropoulosMitropoulos, Charalambos Ioannis Technical University of CreteGreece (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers Finding Typing Compiler Bugs (OOPSLA 2020) A Model for Detecting Faults in Build Specifications
Zewei MoMo, Zewei Sun Yat-sen University RollBin: Reducing code-size via loop rerolling at binary level
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shouvick MondalMondal, Shouvick Concordia University, Montreal, CanadaCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs
Corey MontellaMontella, Corey Lehigh UniversityUnited States Mech: An Array Programming Language for Robots (extended abstract)
David MoonMoon, David University of Michigan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lucas MoralesMorales, Lucas Massachusetts Institute of TechnologyUnited States (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Canberk MorelliMorelli, Canberk Saarland University Warping Cache Simulation of Polyhedral Programs
Greg MorrisettMorrisett, Greg Cornell TechUnited States Leapfrog: Certified Equivalence for Protocol Parsers
Mariano MoscatoMoscato, Mariano National Institute of AerospaceUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Eliot MossMoss, Eliot University of Massachusetts Amherst Committee Member in PLDI within the PLDI -track
Yannick MoyMoy, Yannick AdaCoreFrance AdaCore in Program Committee within the SOAP-track
Ike MulderMulder, Ike Radboud University Nijmegen Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Robert MullinsMullins, Robert University of Cambridge Trace-and-Brace (TAB): Bespoke Software Countermeasures against Soft Errors
Adithya MuraliMurali, Adithya University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vijayaraghavan MuraliMurali, Vijayaraghavan Meta Platforms, Inc.United States Committee Member in PLDI within the PLDI -track
Paul MureMure, Paul Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Noble MushtakMushtak, Noble Northeastern University Semantic Soundness for Language Interoperability
Madan MusuvathiMusuvathi, Madan Microsoft Research Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2022 Session Chair of Neural Networks and Numbers (part of PLDI SIGPLAN Track)
Suha Orhun MutluergilMutluergil, Suha Orhun IRIF, France / University Paris Diderot, France / CNRS, France (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
César MuñozMuñoz, César NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS
Andrew MyersMyers, Andrew Cornell University Mentoring Panel: Hot Topics in PL PDL: A High-Level Hardware Design Language for Pipelined Processors A Flexible Type System for Fearless Concurrency
Glen MévelMével, Glen Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
Marius MüllerMüller, Marius University of Tübingen A Typed Continuation-Passing Translation for Lexical Effect Handlers
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in PLDI within the PLDI -track
N Nachiappan NagappanNagappan, Nachiappan FacebookUnited States (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Kartik NagarNagar, Kartik IIT MadrasIndia Certified Mergeable Replicated Data Types
Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK Committee Member in PLDI within the PLDI -track
Vijayanand NagarajanNagarajan, Vijayanand Steering Committee Member in Steering Committee within the LCTES-track
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States SIGPLAN Track Chair in Organizing Committee for PLDI 2022 (POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries Committee Member in PLDI within the PLDI -track Chair in Organizing Committee within the PLDI SIGPLAN Track-track
Mayur NaikNaik, Mayur University of Pennsylvania Committee Member in Program Committee within the ASA-track
Daye NamNam, Daye CMU, Carnegie Mellon University Predictive Synthesis of API-Centric Code
Chandrakana NandiNandi, Chandrakana Certora, inc.United States Session Chair of Numbers (part of PLDI ) Session Chair of Rewriting (part of PLDI SIGPLAN Track) Session Chair of Applications (part of EGRAPHS) (POPL 2021) egg: Fast and Extensible Equality Saturation Committee Member in SRC Reviewers within the PLDI SRC-track Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the EGRAPHS-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
Vijaykrishnan NarayananNarayanan, Vijaykrishnan The Pennsylvania State University ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Satish NarayanasamyNarayanasamy, Satish University of Michigan Committee Member in PLDI within the PLDI -track
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Committee Member in PLDI within the PLDI -track Certora, inc. in Program Committee within the SOAP-track
Shane NayNay, Shane Meta (WIP) Scalable Size Inliner for Mobile Applications
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Graham NeubigNeubig, Graham Carnegie Mellon University A Systematic Evaluation of Large Language Models of Code
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States Committee Member in Program Committee within the ISMM-track
Phil NguyenNguyen, Phil Google Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Haobin NiNi, Haobin Cornell University Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Newton NiNi, Newton Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Victor NicoletNicolet, Victor University of TorontoCanada Recursion Synthesis with Unrealizability Witnesses (PLDI 2021) Phased Synthesis of Divide and Conquer Programs
Pengyu NieNie, Pengyu University of Texas at Austin (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Rachit NigamNigam, Rachit Cornell UniversityUnited States Social Events Chair in Organizing Committee for PLDI 2022 Session Chair of Melange (part of PLDI SIGPLAN Track) Session Chair of PLTea (Mon AM) (part of PLMW) Session Chair of PLTea (Tue AM) (part of PLMW) PL Tea (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Jeff NiuNiu, Jeff University of Waterloo IRDL: An IR Definition Language for SSA Compilers
Maxwell NyeNye, Maxwell Massachusetts Institute of TechnologyUnited States (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom ExeBench: An ML-scale dataset of executable C functions Bind the Gap: Compiling Real Software to Hardware FFT Accelerators Committee Member in PLDI within the PLDI -track
Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Quickstrom: Property-based acceptance testing with LTL specifications
Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting Committee Member in PLDI within the PLDI -track
Taewook OhOh, Taewook Modular AI Committee Member in Program Committee within the LCTES-track
Atsushi OhoriOhori, Atsushi Tohoku University, Japan Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors
Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom (PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions CycleQ: an efficient basis for cyclic equational reasoning Guaranteed bounds for posterior inference in universal probabilistic programming
Klaus OstermannOstermann, Klaus University of Tuebingen (ICFP 2020) Compiling effect handlers in capability-passing style A Typed Continuation-Passing Translation for Lexical Effect Handlers
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Committee Member in SRC Reviewers within the PLDI SRC-track
Oded PadonPadon, Oded VMware ResearchUnited States Quartz: Superoptimization of Quantum Circuits (POPL 2022) Induction Duality: Primal-Dual Search for Invariants
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Session Chair of Tensors (part of PLDI ) Committee Member in PLDI within the PLDI -track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesSpain Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Commutativity in quantum computing (PLDI 2021) Quantum abstract interpretation (PLDI 2021) Logical Bytecode Reduction Quartz: Superoptimization of Quantum Circuits Committee Member in PLDI within the PLDI -track
Abhisek PanPan, Abhisek Microsoft MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Synthesizing Mathematical Identities with E-graphs Choosing Mathematical Function Implementations for Speed and Accuracy (POPL 2021) egg: Fast and Extensible Equality Saturation
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Computing Correctly with Inductive Relations Committee Member in Program Committee within the ISMM-track
Devangi ParikhParikh, Devangi The University of Texas at Austin Committee Member in Program Committee within the ARRAY-track
Jaehyeon ParkPark, Jaehyeon Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Jihyeok ParkPark, Jihyeok Oracle Labs, AustraliaSouth Korea Filling the gap between the JavaScript language specification and tools using the JISET family
Sehyeok ParkPark, Sehyeok Rutgers UniversityUnited States Impacts of Range Reduction on Polynomial Approximation Efficiency
James ParkerParker, James Galois, Inc. ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Samwise ParkinsonParkinson, Samwise Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Marinela ParovicParovic, Marinela University of Texas at Austin (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Suresh ParthasarathyParthasarathy, Suresh Microsoft Research Landmarks and Regions: A Robust Approach to Data Extraction
Marco PatrignaniPatrignani, Marco University of TrentoItaly Session Chair of Secure Speculation (part of PLDI SIGPLAN Track) Modular Information Flow Through Ownership (POPL 2021) On the Semantic Expressiveness of Recursive Types
Dorin PatruPatru, Dorin Rochester Institute of Technology (WIP) Cache-Coherent CLAM
Lincy PattanaikPattanaik, Lincy Microsoft Research Landmarks and Regions: A Robust Approach to Data Extraction
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Semantic Soundness for Language Interoperability
Zvonimir PavlinovicPavlinovic, Zvonimir Google, USAUnited States (POPL 2021) Data Flow Refinement Type Inference
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A Tree Clock Data Structure for Causal Orderings in Concurrent Executions (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis Efficient Approximations for Cache-conscious Data Placement (POPL 2021) Optimal Prediction of Synchronization-Preserving Races
Przemysław PawełczakPawełczak, Przemysław Delft University of TechnologyNetherlands WARio: Efficient Code Generation for Intermittent Computing
Hila PelegPeleg, Hila TechnionIsrael Mentoring Panel: Post-graduate Career Paths (OOPSLA 2021) LooPy: interactive program synthesis with control structures (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis
Yuxiang PengPeng, Yuxiang University of Maryland Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rudy PetersonPeterson, Rudy Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Erez PetrankPetrank, Erez Technion, Israel (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent Committee Member in PLDI within the PLDI -track
Simon Peyton JonesPeyton Jones, Simon Microsoft ResearchUnited Kingdom (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation (ICFP 2020) Kinds Are Calling Conventions
Jade PhilipoomPhilipoom, Jade MIT CSAIL Relational Compilation for Performance-Critical Applications
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the EGRAPHS-track
Ankush PhuliaPhulia, Ankush IIT Delhi, India (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
David PichardiePichardie, David MetaFrance (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus University Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Andy PimentelPimentel, Andy University of AmsterdamNetherlands TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time Multi-core Systems
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? Committee Member in PLDI within the PLDI -track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Clément Pit-ClaudelPit-Claudel, Clément EPFL, AWSUnited States Session Chair of Hardware I (part of PLDI ) Session Chair of Memory (part of PLDI ) Relational Compilation for Performance-Critical Applications Committee Member in PLDI within the PLDI -track
Arjun PitchanathanPitchanathan, Arjun University of Edinburgh (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Sound Sequentialization for Concurrent Program Verification
Anton PodkopaevPodkopaev, Anton JetBrains ResearchRussia Committee Member in SRC Reviewers within the PLDI SRC-track
Jessica PointingPointing, Jessica University of Oxford Quartz: Superoptimization of Quantum Circuits
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Workshops Co-Chair in Organizing Committee for PLDI 2022 Mentoring Panel: Hot Topics in PL ECTAs: E-Graphs Better (at Encoding) Type-Directed Program Synthesis for RESTful APIs (OOPSLA 2021) LooPy: interactive program synthesis with control structures (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis Committee Member in PLDI within the PLDI -track Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track Panelist in Organizing Committee within the PLDI W@PLDI-track Committee Member in Program Committee within the EGRAPHS-track
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo ConsortiumFrance Interpreter-guided Differential JIT Compiler Unit Testing
James D. PollardPollard, James D. Imperial College LondonUnited Kingdom (OOPSLA 2021) Formal verification of high-level synthesis
Josh PollockPollock, Josh MIT CSAILUnited States E-Graphs, VSAs, and Tree Automata: a Rosetta Stone
Hernán Ponce de LeónPonce de León, Hernán Bundeswehr University MunichGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Natalie PopescuPopescu, Natalie Princeton UniversityUnited States (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
RanDair PorterPorter, RanDair University of WashingtonUnited States (PLDI 2021) Proof Repair Across Type Equivalences
Raghu PrabhakarPrabhakar, Raghu SambaNova Systems, Inc.United States Committee Member in PLDI within the PLDI -track
Michael PradelPradel, Michael University of StuttgartGermany Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Prasanth PrahladanPrahladan, Prasanth University of Colorado Boulder RunTime-Assisted Convergence in Replicated Data Types
Nuno PreguicaPreguica, Nuno (OOPSLA 2021) ECROs: building global scale systems from sequential code
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Implicit State Machines
Andrey ProninPronin, Andrey Google Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States Committee Member in PLDI within the PLDI -track
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Commutativity Reasoning in the Civl Verifier (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Shaz QadeerQadeer, Shaz FacebookUnited States Committee Member in PLDI within the PLDI -track
Yifan QiaoQiao, Yifan UCLA Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Xueying QinQin, Xueying University of Glasgow, United Kingdom (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
Xiaokang QiuQiu, Xiaokang Purdue University, USA Session Chair of Analysis (part of PLDI ) Committee Member in PLDI within the PLDI -track
xianshan ququ, xianshan Predictive Synthesis of API-Centric Code
Andrew QuinnQuinn, Andrew University of California, Santa CruzUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
R Kishore RR, Kishore HIPPODROME: Data Race Repair using Static Analysis Summaries
Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Finding Real Bugs in Big Programs with Incorrectness Logic
Md Rafiqul Islam RabinRabin, Md Rafiqul Islam University of HoustonUnited States Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Landmarks and Regions: A Robust Approach to Data Extraction (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations Committee Member in PLDI within the PLDI -track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan MITUnited States (POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites Exocompilation for Productive Programming of Hardware Accelerators
Mukund RaghothamanRaghothaman, Mukund University of Southern California Precise Program Reasoning using Probabilistic Methods
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in PLDI within the PLDI -track
Franco RaimondiRaimondi, Franco Amazon & Middlesex UniversityUnited Kingdom Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Sriram RajamaniRajamani, Sriram Microsoft Research Landmarks and Regions: A Robust Approach to Data Extraction
Pedro RamalheteRamalhete, Pedro Cisco Systems (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nadesh RamanathanRamanathan, Nadesh Imperial College LondonUnited Kingdom (OOPSLA 2021) Formal verification of high-level synthesis
Steven RamsayRamsay, Steven University of BristolUnited Kingdom CycleQ: an efficient basis for cyclic equational reasoning (POPL 2021) Intensional Datatype Refinement
Robert RandRand, Robert University of ChicagoUnited States (POPL 2021) A Verified Optimizer for Quantum Circuits Committee Member in PLDI within the PLDI -track
Francesco RanzatoRanzato, Francesco University of PadovaItaly Abstract Interpretation Repair
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Binoy RavindranRavindran, Binoy Virginia TechUnited States Formally Verified Lifting of C-compiled x86-64 Binaries
Prashant Singh RawatRawat, Prashant Singh Meta Platforms, Inc.United States Committee Member in SRC Reviewers within the PLDI SRC-track
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Predictive Synthesis of API-Centric Code Improving Software Reliability using Machine Learning Committee Member in Program Committee within the MAPS-track
Mohammad RazaRaza, Mohammad MicrosoftUnited States Landmarks and Regions: A Robust Approach to Data Extraction
Benjamin ReberReber, Benjamin University of Rochester (WIP) Cache-Coherent CLAM
Patrick RedmondRedmond, Patrick University of California at Santa Cruz (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
John RegehrRegehr, John University of Utah Whose Life Are You Making Better Reasoning About and Discovering LLVM Optimizations Committee Member in PLDI within the PLDI -track
Jan ReinekeReineke, Jan Saarland UniversityGermany Warping Cache Simulation of Polyhedral Programs
Alex ReinkingReinking, Alex UC BerkeleyUnited States Exocompilation for Productive Programming of Hardware Accelerators
Manman RenRen, Manman Meta (WIP) Scalable Size Inliner for Mobile Applications
Andrew ReynoldsReynolds, Andrew University of IowaUnited States Committee Member in Program Committee within the EGRAPHS-track
Tamara RezkRezk, Tamara INRIAFrance Mentoring Panel: Surviving Grad School (PLDI 2020) Constant-Time Foundations for the New Spectre Era Organizing Chair in Organizing Committee within the PLMW-track Panelist in Organizing Committee within the PLDI W@PLDI-track
Andrew RiceRice, Andrew GitHub Productivity Assessment of Neural Code Completion
River RiddleRiddle, River Google IRDL: An IR Definition Language for SSA Compilers
Devon RifkinRifkin, Devon GitHub Productivity Assessment of Neural Code Completion
Daniel RileyRiley, Daniel Florida State UniversityUnited States Multi-Phase Invariant Synthesis
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Your Research and Everyone Else Commutativity and Approximate Computing
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States (PLDI 2021) Proof Repair Across Type Equivalences Committee Member in PLDI within the PLDI -track
Rodrigo C. O. RochaRocha, Rodrigo C. O. University of Edinburgh, UK Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Eduardo RodeloRodelo, Eduardo Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Gabriel RodríguezRodríguez, Gabriel Universidade da CoruñaSpain Committee Member in PLDI within the PLDI -track
Julius RoobRoob, Julius University of Kaiserslautern Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow Graphs
Abhishek RoseRose, Abhishek IIT Delhi (OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
Thea RossmanRossman, Thea Stanford University Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Ori RothRoth, Ori TechnionIsrael (OOPSLA 2021) Study of the subtyping machine of nominal subtyping with variance
Cody RouxRoux, Cody DraperUnited States (PLDI 2021) CoStar: A Verified ALL(*) Parser
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
Marco RuaroRuaro, Marco Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Mentoring Panel: Post-graduate Career Paths Filling the gap between the JavaScript language specification and tools using the JISET family Committee Member in PLDI within the PLDI -track Panelist in Organizing Committee within the PLDI W@PLDI-track
Leonid RyzhykRyzhyk, Leonid VMware Research Committee Member in PLDI within the PLDI -track
S Javad SaberlatibariSaberlatibari, Javad University of California RiversideUnited States Hamband: RDMA Replicated Data Types
Mathias Sablé-MeyerSablé-Meyer, Mathias PSL University; Collège de France; NeuroSpinFrance (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in PLDI within the PLDI -track
Roopsha SamantaSamanta, Roopsha Purdue UniversityUnited States Session Chair of Synthesis II (part of PLDI ) Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Committee Member in PLDI within the PLDI -track
Michael SammlerSammler, Michael MPI-SWSGermany Islaris: Verification of Machine Code Against Authoritative ISA Semantics (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Adrian SampsonSampson, Adrian Cornell University (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
John SarracinoSarracino, John Cornell UniversityUnited States Leapfrog: Certified Equivalence for Protocol Parsers
Aleksandar Saša JanjaninSaša Janjanin, Aleksandar University College LondonUnited Kingdom ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories
Maria SchettSchett, Maria Google Committee Member in SRC Reviewers within the PLDI SRC-track
Eric SchkufzaSchkufza, Eric Stanford University Committee Member in PLDI within the PLDI -track
Christof SchlaakSchlaak, Christof University of EdinburghUnited Kingdom Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis
Cole SchlesingerSchlesinger, Cole Akita Software Type-Directed Program Synthesis for RESTful APIs
Jordan SchmergeSchmerge, Jordan Colorado School of Mines Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
Klaus SchneiderSchneider, Klaus University of Kaiserslautern Code Generation Criteria for Buffered Exposed Datapath Architectures from Dataflow Graphs
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark Committee Member in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Heriot-Watt UniversityUnited Kingdom Parallel Scan As a Multidimensional Array Problem
Philipp SchusterSchuster, Philipp University of Tübingen (ICFP 2020) Compiling effect handlers in capability-passing style A Typed Continuation-Passing Translation for Lexical Effect Handlers
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Committee Member in Program Committee within the ISMM-track
Marija SelakovicSelakovic, Marija Crate.io Committee Member in SRC Reviewers within the PLDI SRC-track
Margo SeltzerSeltzer, Margo University of British ColumbiaCanada Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With
Koushik SenSen, Koushik University of California at BerkeleyUnited States Committee Member in PLDI within the PLDI -track
Ilya SergeySergey, Ilya National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries Towards Optimising Certified Programs by Proof Rewriting Practical Smart Contract Sharding with Commutativity Analysis
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Islaris: Verification of Machine Code Against Authoritative ISA Semantics
AmirHossein SeyriSeyri, AmirHossein University of Illinois at Chicago MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation
Narges ShadabShadab, Narges University of California at RiversideUnited States (ICFP 2020) TLC: Temporal Logic of Distributed Components
Ramy ShahinShahin, Ramy University of TorontoCanada (OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
Siqi ShangShang, Siqi The Chinese University of Hong Kong An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Zhong ShaoShao, Zhong Yale UniversityUnited States Adore: Atomic Distributed Objects with Certified Reconfiguration
Zili ShaoShao, Zili The Chinese University of Hong Kong ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW Acceleration An Old Friend Is Better Than Two New Ones: Dual-Screen Android Committee Member in Program Committee within the LCTES-track Steering Committee Member in Steering Committee within the LCTES-track
Xipeng ShenShen, Xipeng North Carolina State University; FacebookUnited States Committee Member in PLDI within the PLDI -track
Yixian ShenShen, Yixian University of Amsterdam TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time Multi-core Systems
Zhaoyan ShenShen, Zhaoyan Shandong University ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW Acceleration An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Charles SherkSherk, Charles Cornell University PDL: A High-Level Hardware Design Language for Pipelined Processors
Timothy SherwoodSherwood, Timothy UC Santa BarbaraUnited States PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Kensen ShiShi, Kensen Google Brain TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS)
Xin ShiShi, Xin Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
Yunong ShiShi, Yunong AmazonUnited States Giallar: Push-button Verification for the Qiskit Quantum Compiler
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States Adore: Atomic Distributed Objects with Certified Reconfiguration
Ali ShokriShokri, Ali Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States Steering Committee Member in Steering Committee within the LCTES-track
Xujie SiSi, Xujie McGill University, Canada Probabilistic Array Programming on Galois Fields (extended abstract) Committee Member in PLDI within the PLDI -track Committee Member in Program Committee within the MAPS-track
Julien SignolesSignoles, Julien CEA LIST, University Paris-Saclay, FranceFrance CEA LIST in Program Committee within the SOAP-track
Mark SilbersteinSilberstein, Mark Technion Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Workshops Co-Chair in Organizing Committee for PLDI 2022 Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track
Shawn SimisterSimister, Shawn GitHub Productivity Assessment of Neural Code Completion
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Steering Committee within the ISMM-track
Rishabh SinghSingh, Rishabh Google BrainUnited States TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) Committee Member in Program Committee within the MAPS-track
Shikhar SinghSingh, Shikhar University of Texas A Graph Neural Network-based performance model for Deep Learning Applications
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eytan SingherSingher, Eytan Technion - Israel Institute of Technology Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing
Marcos Yukio SiraichiSiraichi, Marcos Yukio The University of Tokyo Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zachary SiscoSisco, Zachary UC Santa Barbara Program Synthesis for Processor Development Using Formal Specifications
Ganesh SittampalamSittampalam, Ganesh GitHub Productivity Assessment of Neural Code Completion
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Certified Mergeable Replicated Data Types Committee Member in PLDI within the PLDI -track
J Tanner SlagelSlagel, J Tanner Towards an Implementation of Differential Dynamic Logic in PVS
Elliott SlaughterSlaughter, Elliott SLAC National Accelerator Laboratory Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aaron SmithSmith, Aaron MicrosoftUnited States Committee Member in Program Committee within the LCTES-track
Calvin SmithSmith, Calvin University of Texas AustinUnited States Committee Member in PLDI within the PLDI -track
Gustavo SoaresSoares, Gustavo MicrosoftUnited States (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology ECTAs: E-Graphs Better (at Encoding) (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC / CONICETArgentina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alaia Solko-BreslinSolko-Breslin, Alaia Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Yahui SongSong, Yahui National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2022 (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track
Thodoris SotiropoulosSotiropoulos, Thodoris Athens University of Economics and BusinessGreece (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers Finding Typing Compiler Bugs (OOPSLA 2020) A Model for Detecting Faults in Build Specifications Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Matthew SotoudehSotoudeh, Matthew University of California, Davis (PLDI 2021) Provable Repair of Deep Neural Networks
Vimala SoundarapandianSoundarapandian, Vimala IIT Madras Certified Mergeable Replicated Data Types
Simon SpiesSpies, Simon MPI-SWS & Saarland UniversityGermany (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business & Delft University of TechnologyGreece (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers Finding Typing Compiler Bugs (OOPSLA 2020) A Model for Detecting Faults in Build Specifications
Tom SpinkSpink, Tom University of St AndrewsUnited Kingdom Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Irina SpiridonovaSpiridonova, Irina Microsoft Research Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Fausto SpotoSpoto, Fausto U. VeronaItaly Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Dennis SprokholtSprokholt, Dennis TU DelftNetherlands Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Mircea R. StanStan, Mircea R. University of Virginia ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Deian StefanStefan, Deian University of California at San DiegoUnited States Session Chair of Compilation (part of PLDI SIGPLAN Track) Mentoring Panel: Post-graduate Career Paths (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (PLDI 2020) Constant-Time Foundations for the New Spectre Era Committee Member in PLDI within the PLDI -track Organizing Committee in Organizing Committee within the PLMW-track
Benoit SteinerSteiner, Benoit Facebook A Graph Neural Network-based performance model for Deep Learning Applications
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ISMM-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom (ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
Milan StojicStojic, Milan MicrosoftSerbia Statically Detecting Data Leakages in Data Science Code
Yusen SuSu, Yusen University of WaterlooCanada (POPL 2021) Data Flow Refinement Type Inference
Zhendong SuSu, Zhendong ETH ZurichSwitzerland IRDL: An IR Definition Language for SSA Compilers Committee Member in PLDI within the PLDI -track
Pavle SuboticSubotic, Pavle Microsoft AzureSerbia Statically Detecting Data Leakages in Data Science Code
G. Edward SuhSuh, G. Edward Cornell University / Facebook PDL: A High-Level Hardware Design Language for Pipelined Processors
Yihan SunSun, Yihan University of California, RiversideUnited States PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections
Vaishnavi SundararajanSundararajan, Vaishnavi University of California at Santa CruzUnited States Committee Member in SRC Reviewers within the PLDI SRC-track
Neel SundaresanSundaresan, Neel Microsoft Corporation Infer#’s journey to bring Infer to the .NET world
Hyojin SungSung, Hyojin POSTECH Committee Member in Program Committee within the LCTES-track Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon University A Type System for Safe Intermittent Computing
Charles SuttonSutton, Charles Google ResearchUnited States Session Chair of Afternoon (part of MAPS) Session Chair of Morning I (part of MAPS) Program Synthesis, Program Semantics, and Large Language Models Committee Member in Organizing Committee within the MAPS-track Committee Member in Organizing Committee within the MAPS-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Mentoring Panel: Hot Topics in PL Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Rebecca SwordsSwords, Rebecca UnaffiliatedUnited States Quiche: A Python Implementation of E-Graphs
Mandeep SyalSyal, Mandeep University of California, San DiegoUnited States PBUnit: A Live Programming Environment for Unit Testing
T Earl T. BarrT. Barr, Earl University College London Committee Member in Program Committee within the MAPS-track
Quang-Trung TaTa, Quang-Trung National University of Singapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Fabio TagliaferroTagliaferro, Fabio University of Verona, Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science Automated Kernel Fusion for GPU Based on Code Motion
Enrico TalinTalin, Enrico Commercio.network S.p.A.Italy Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Shangyin TanTan, Shangyin Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zujun TanTan, Zujun Princeton University, USA (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2022 Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track
Hao TangTang, Hao Cornell University From Perception to Programs: Regularize, Overparameterize, and Amortize
Michael TangTang, Michael Microsoft Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Shizhi TangTang, Shizhi Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Yutian TangTang, Yutian ShanghaiTech UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Runzhou TaoTao, Runzhou Columbia UniversityUnited States Giallar: Push-button Verification for the Qiskit Quantum Compiler
Joseph TassarottiTassarotti, Joseph Boston CollegeUnited States (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Session Chair of Domain Specific Languages (part of PLDI SIGPLAN Track) Session Chair of Extensions (part of EGRAPHS) Build your own optimizer with egg! (POPL 2022) Relational E-Matching (POPL 2021) egg: Fast and Extensible Equality Saturation Committee Member in Organizing Committee within the EGRAPHS-track
Hanneli TavanteTavante, Hanneli McGill University Student Volunteer Co-Chair in Organizing Committee for PLDI 2022 Virtualization Chair in Organizing Committee for PLDI 2022 Student Volunteer Co-Chair in Student Volunteers Committee within the PLDI Student Volunteering-track
Reyyan TekinTekin, Reyyan JAX Based Parallel Inference for Reactive Probabilistic Programming
Joshua B. TenenbaumTenenbaum, Joshua B. MIT (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in PLDI within the PLDI -track
Pablo TesoneTesone, Pablo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium Interpreter-guided Differential JIT Compiler Unit Testing
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States (PLDI 2021) Provable Repair of Deep Neural Networks Committee Member in PLDI within the PLDI -track
Doru Thom PopoviciThom Popovici, Doru Lawrence Berkeley National LabUnited States Committee Member in Program Committee within the ARRAY-track
Samuel ThomasThomas, Samuel Cornell University, USA (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Amin TimanyTimany, Amin Aarhus UniversityDenmark (POPL 2021) Fully Abstract from Static to Gradual
Jesmin Jahan TithiTithi, Jesmin Jahan Intel Corporation, ACM-Selects, ACM-COPE, Stony Brook University, USAUnited States Committee Member in Organizing Committee within the MAPS-track
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Session Chair of Keynote 1 (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 2 + Papers (part of SOAP) Session Chair of Keynote 3 + Papers (part of SOAP) Program Co-Chair in Organizing Committee within the SOAP-track NIA/NASA LaRC 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
Abhishek TiwariTiwari, Abhishek National University of SingaporeSingapore HIPPODROME: Data Race Repair using Static Analysis Summaries
Ashish TiwariTiwari, Ashish MicrosoftUnited States (OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Davin TjongTjong, Davin University of California, San Diego Type-Directed Program Synthesis for RESTful APIs
Thanh-Nha TranTran, Thanh-Nha University of California, San DiegoUnited States PBUnit: A Live Programming Environment for Unit Testing
Sean TreichlerTreichler, Sean NVIDIAUnited States Committee Member in PLDI within the PLDI -track
Chia-Che TsaiTsai, Chia-Che Texas A&M UniversityUnited States (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Jason TsayTsay, Jason IBM ResearchUnited States Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle
Michele TufanoTufano, Michele Microsoft Committee Member in Program Committee within the ASA-track
Dean TullsenTullsen, Dean University of California at San Diego, USA (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade (PLDI 2020) Constant-Time Foundations for the New Spectre Era
Julia TurcottiTurcotti, Julia University of California, Berkeley A Flexible Type System for Fearless Concurrency
Georgios TzimpragosTzimpragos, Georgios UC Santa Barbara PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Replication-based Object Persistence by Reachability Committee Member in Program Committee within the ISMM-track
Christian UlmannUlmann, Christian ETH ZurichSwitzerland (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Paper Session 1 (part of SOAP) Static Analysis for Data Scientists (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
Ecenur UstunUstun, Ecenur Cornell UniversityUnited States Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation
V Deivid ValeVale, Deivid Radboud UniversityNetherlands Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Balajee VamananVamanan, Balajee University of Illinois at Chicago MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolation
Guy Van den BroeckVan den Broeck, Guy University of California at Los Angeles (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
Lars B. van den Haakvan den Haak, Lars B. Eindhoven University of TechnologyNetherlands Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Meggie van den Oevervan den Oever, Meggie Spring Hill CollegeUnited States Using Q-Learning to Select the Best Among Functionally Equivalent Implementations
David Van HornVan Horn, David University of MarylandUnited States (PLDI 2021) RbSyn: type- and effect-guided program synthesis Committee Member in PLDI within the PLDI -track
Johnathan Van WhyVan Why, Johnathan Google Tighten Rust's Belt: Shrinking Embedded Rust Binaries
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in Program Committee within the EGRAPHS-track
Lisa VasilenkoVasilenko, Lisa IMDEA Software InstituteSpain Coupled Applicative Functors
Marco VassenaVassena, Marco Utrecht UniversityNetherlands (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Niki VazouVazou, Niki IMDEA Software Institute Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2022 Mentoring Panel: Surviving Grad School ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Juan VazquezVazquez, Juan Microsoft Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Richard VerasVeras, Richard University of Oklahoma Using Q-Learning to Select the Best Among Functionally Equivalent Implementations Committee Member in Program Committee within the ARRAY-track
Freek VerbeekVerbeek, Freek Open University of The Netherlands & Virginia Tech Formally Verified Lifting of C-compiled x86-64 Binaries
Lluís VilanovaVilanova, Lluís Imperial College London Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memory
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Session Chair of Session 3 (part of Infer) Session Chair of Session 4 (part of Infer) Finding Real Bugs in Big Programs with Incorrectness Logic Committee Member in Program Committee within the Infer-track
Willem VisserVisser, Willem Amazon Web ServicesUnited States Balancing the use of ML and Program Analysis for Bug finding
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States (POPL 2021) Optimal Prediction of Synchronization-Preserving Races
Jan VitekVitek, Jan Northeastern University; Czech Technical UniversityUnited States Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations (POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
Jennifer VolkVolk, Jennifer UC Santa Barbara PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Keval VoraVora, Keval Simon Fraser University (ICFP 2021) Grafs: Declarative Graph Analytics
Jake VossenVossen, Jake Colorado School of Mines Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair
Alexios VoulimeneasVoulimeneas, Alexios imec-DistriNet, KU LeuvenBelgium Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hai-Dang VuVu, Hai-Dang Univ. Paris-Saclay, CEA List (WIP) A Memory Interference Analysis using a Formal Timing Analyzer
Son Tuan VuVu, Son Tuan Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6 (OOPSLA 2021) Reconciling Optimization with Secure Compilation
W Andrew WagnerWagner, Andrew Northeastern University Semantic Soundness for Language Interoperability
Christopher WagnerWagner, Christopher Purdue UniversityUnited States Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
Thomas WahlWahl, Thomas GrammaTech, Inc.United States Session Chair of Verification II (part of PLDI ) Committee Member in PLDI within the PLDI -track
David WalkerWalker, David Princeton UniversityUnited States (POPL 2022) Safe, Modular Packet Pipeline Programming
Chenglong WangWang, Chenglong University of Washington, USA Synthesizing Analytical SQL Queries from Computation Demonstration Committee Member in PLDI within the PLDI -track
Chenxi WangWang, Chenxi UCLAUnited States Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haojie WangWang, Haojie China FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Jingbo WangWang, Jingbo University of Southern California Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Peixin WangWang, Peixin University of Oxford Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rujia WangWang, Rujia Illinois Institute of Technology Committee Member in Program Committee within the LCTES-track
Tianyu WangWang, Tianyu The Chinese University of Hong Kong Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW Acceleration
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xinyu WangWang, Xinyu University of MichiganUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2022 Session Chair of Synthesis I (part of PLDI SIGPLAN Track) WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration Committee Member in PLDI within the PLDI -track Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanjun WangWang, Yanjun Purdue University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yisu Remy WangWang, Yisu Remy University of WashingtonUnited States E-Graphs, VSAs, and Tree Automata: a Rosetta Stone (POPL 2022) Relational E-Matching (POPL 2021) egg: Fast and Extensible Equality Saturation Committee Member in Program Committee within the EGRAPHS-track
Yuepeng WangWang, Yuepeng Simon Fraser University Committee Member in PLDI within the PLDI -track
Yuke WangWang, Yuke UC Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhenlin WangWang, Zhenlin Michigan Technological University Committee Member in Steering Committee within the ISMM-track
Abdul WasayWasay, Abdul Intel Labs and UCSDUnited States Committee Member in Program Committee within the MAPS-track
Michel WeberWeber, Michel ETH ZurichSwitzerland (OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
Guannan WeiWei, Guannan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuanhao WeiWei, Yuanhao Carnegie Mellon University, USA Is it Time to Retire Manual Concurrent Memory Reclamation? (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States (POPL 2021) Provably Space Efficient Parallel Functional Programming
Lauren WhiteWhite, Lauren NASA Langley Research CenterUnited States Towards an Implementation of Differential Dynamic Logic in PVS
John WickersonWickerson, John Imperial College LondonUnited Kingdom (OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems The PLDI Song (OOPSLA 2021) Formal verification of high-level synthesis
Oskar WickströmWickström, Oskar Monoid ConsultingSweden Quickstrom: Property-based acceptance testing with LTL specifications
Thomas WiesWies, Thomas New York UniversityUnited States (POPL 2021) Data Flow Refinement Type Inference Committee Member in PLDI within the PLDI -track
James R. WilcoxWilcox, James R. CertoraUnited States (POPL 2022) Induction Duality: Primal-Dual Search for Invariants
Max WillseyWillsey, Max University of WashingtonUnited States Session Chair of Opening (part of EGRAPHS) Session Chair of Thinking Alike (part of EGRAPHS) Welcome Build your own optimizer with egg! (POPL 2022) Relational E-Matching (POPL 2021) egg: Fast and Extensible Equality Saturation Committee Member in Organizing Committee within the EGRAPHS-track
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lionel WongWong, Lionel Massachusetts Institute of TechnologyUnited States (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Jackson WoodruffWoodruff, Jackson University of Edinburgh ExeBench: An ML-scale dataset of executable C functions Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden Committee Member in Steering Committee within the ISMM-track
Kan WuWu, Kan Sun Yat-sen University RollBin: Reducing code-size via loop rerolling at binary level
Qihong WuWu, Qihong The Chinese University of Hong Kong An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Wei-Cheng WuWu, Wei-Cheng University of Southern California, USA (PLDI 2020) Efficient Handling of String-Number Conversion
Xiaodi WuWu, Xiaodi Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra (POPL 2021) A Verified Optimizer for Quantum Circuits Committee Member in PLDI within the PLDI -track
Zhiyong WuWu, Zhiyong Tsinghua UniversityChina Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Maxi WuttkeWuttke, Maxi MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Valentin WüstholzWüstholz, Valentin ConsenSysGermany (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
X Jun XiaoXiao, Jun University of AmsterdamNetherlands TCPS: A Task and Cache-aware Partitioned Scheduler for Hard Real-time Multi-core Systems
Ningning XieXie, Ningning University of TorontoCanada Mentoring Panel: Surviving Grad School
Amanda XuXu, Amanda Cornell University (POPL 2021) Petr4: Formal Foundations for P4 Data Planes
Dongpeng XuXu, Dongpeng University of New HampshireUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Frank F. XuXu, Frank F. Carnegie Mellon University A Systematic Evaluation of Large Language Models of Code
Guoqing Harry XuXu, Guoqing Harry University of California at Los AngelesUnited States Checking Robustness to Weak Persistency Models Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Committee Member in Steering Committee within the ISMM-track
Mingkuan XuXu, Mingkuan Carnegie Mellon University Quartz: Superoptimization of Quantum Circuits
Xinyi XuXu, Xinyi Tsinghua UniversityChina Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Ziyang XuXu, Ziyang Princeton UniversityUnited States (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework (OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason XueXue, Jason City University of Hong Kong, China Steering Committee Member in Steering Committee within the LCTES-track
Jin XueXue, Jin The Chinese University of Hong Kong An Old Friend Is Better Than Two New Ones: Dual-Screen Android
Jingling XueXue, Jingling UNSW SydneyAustralia Steering Committee Member in Steering Committee within the LCTES-track
Y Rohan YadavYadav, Rohan Stanford UniversityUnited States DISTAL: The Distributed Tensor Algebra Compiler
Boris YakobowskiYakobowski, Boris AdaCoreFrance Three years of analyzing Ada code with Infer: a retrospective
Pengbo YanYan, Pengbo University of Melbourne Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xifeng YanYan, Xifeng University of California, Santa Barbara Visualization Question Answering Using Introspective Program Synthesis
Cambridge YangYang, Cambridge MIT CSAIL (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
Jean YangYang, Jean Akita Software Type-Directed Program Synthesis for RESTful APIs
Kaiyuan YangYang, Kaiyuan Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Yudi YangYang, Yudi University of Rochester, USA Making C Programs Safer with Checked C
Jianan YaoYao, Jianan Columbia University Giallar: Push-button Verification for the Qiskit Quantum Compiler
Nathaniel YazdaniYazdani, Nathaniel University of Washington, SeattleUnited States (PLDI 2021) Proof Repair Across Type Equivalences
Yuwei YeYe, Yuwei Cornell University, USA (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Kwangkeun YiYi, Kwangkeun Seoul National University (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Jiaqi YinYin, Jiaqi University of Utah Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation
Xizhe YinYin, Xizhe University of California, RiversideUnited States (ICFP 2020) TLC: Temporal Logic of Distributed Components
Mingsheng YingYing, Mingsheng Tsinghua University Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
Irene YoonYoon, Irene University of Pennsylvania Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in PLDI within the PLDI -track
Nengkun YuYu, Nengkun UTSAustralia (PLDI 2021) Quantum abstract interpretation
Qixuan YuYu, Qixuan Rice University Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Zhenhao YuanYuan, Zhenhao Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Z Drew ZagieboyloZagieboylo, Drew Cornell University PDL: A High-Level Hardware Design Language for Pipelined Processors
Fabian ZaiserZaiser, Fabian University of Oxford Guaranteed bounds for posterior inference in universal probabilistic programming
Zhiqiang ZangZang, Zhiqiang University of Texas at Austin (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany “Synthesizing Input Grammars”: A Replication Study
Junpeng ZhaZha, Junpeng Nanjing UniversityChina Verifying Optimizations of Concurrent Programs in the Promising Semantics
Jidong ZhaiZhai, Jidong Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Chen ZhangZhang, Chen Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Chenhao ZhangZhang, Chenhao Northwestern University Karp: A Language for NP Reductions
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Committee Member in PLDI within the PLDI -track
Fuyuan ZhangZhang, Fuyuan MPI-SWS (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
Hailong ZhangZhang, Hailong Fordham University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Qirun ZhangZhang, Qirun Georgia Institute of Technology, USA Session Chair of Program Analysis (part of PLDI SIGPLAN Track) Committee Member in PLDI within the PLDI -track
Tong ZhangZhang, Tong SamsungUnited States Committee Member in Program Committee within the LCTES-track
Weixin ZhangZhang, Weixin University of Bristol, UK Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xianwei ZhangZhang, Xianwei Sun Yat-sen University RollBin: Reducing code-size via loop rerolling at binary level
Xin ZhangZhang, Xin Peking UniversityChina Committee Member in PLDI within the PLDI -track
Yangyu ZhangZhang, Yangyu Institute of Computing Technology,Chinese Academy of SciencesChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yihong ZhangZhang, Yihong University of WashingtonUnited States Chasing an egg (POPL 2022) Relational E-Matching
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in PLDI within the PLDI -track
Zheng ZhangZhang, Zheng Rutgers University Steering Committee Member in Steering Committee within the LCTES-track
Zhiru ZhangZhang, Zhiru Cornell University, USA Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
Wenyu ZhaoZhao, Wenyu Australian National UniversityAustralia Low-Latency, High-Throughput Garbage Collection
Liyan ZhengZheng, Liyan Tsinghua University FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs
Yi ZhengZheng, Yi The Pennsylvania State University ISKEVA: In-SSD Key-Value Database Engine for Video Analytics Applications
Chijin ZhouZhou, Chijin Tsinghua University Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Jie ZhouZhou, Jie University of RochesterUnited States Making C Programs Safer with Checked C Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiangyu ZhouZhou, Xiangyu University of Washington Synthesizing Analytical SQL Queries from Computation Demonstration
Albert ZieglerZiegler, Albert GitHub Productivity Assessment of Neural Code Completion
Roshanak Zilouchian MoghaddamZilouchian Moghaddam, Roshanak MicrosoftUnited States Committee Member in Organizing Committee within the ASA-track Committee Member in Organizing Committee within the ASA-track
Daming ZouZou, Daming ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Philip ZuckerZucker, Philip Draper Laboratory Logging an Egg: Datalog on E-Graphs
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Committee Member in PLDI within the PLDI -track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Organizing Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track
Ö Joakim ÖhmanÖhman, Joakim IMDEA Software Institute; Universidad Politécnica de MadridSpain (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UKUnited Kingdom Parallel Scan As a Multidimensional Array Problem Committee Member in Program Committee within the ARRAY-track
Ž Đorđe ŽikelićŽikelić, Đorđe IST AustriaAustria Differential Cost Analysis with Simultaneous Potentials and Anti-potentials

PLDI 2022 Contributors

Results (1006)

Tracks

Co-hosted Conferences

Workshops