PLDI 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (936)

A Rui AbreuAbreu, Rui Faculty of Engineering, University of Porto, PortugalPortugal Classifying and Prioritizing Facebook Infer's Warnings
Ole AbusdalAbusdal, Ole Western Norway University of Applied SciencesNorway Padding in the Mathematics of Arrays
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Coşku AcayAcay, Coşku Cornell UniversityUnited States Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Sara AchourAchour, Sara MITUnited States Committee Member in Program Committee within the PLDI -track
Gagan AgrawalAgrawal, Gagan Augusta UniversityUnited States DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Jung Ho AhnAhn, Jung Ho Seoul National University MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Alex AikenAiken, Alex Stanford University, USA An Overview of the Stoke Project Programming Language Research Challenges for Tomorrow's Machines Adaptive Restarts for Stochastic Synthesis
Sam AinsworthAinsworth, Sam University of Edinburgh, UKUnited Kingdom Compendia: Reducing Virtual-Memory Costs via Selective Densification
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Exploiting Intel Optane Persistent Memory for Full Text Search Committee Member in Program Committee within the ISMM-track
Armin AlaghiAlaghi, Armin Facebook Reality Labs ResearchUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison, USA Publicity Chair in Organizing Committee within the MAPS-track
Farhana AleenAleen, Farhana NVIDIA Committee Member in Program Committee within the MAPS-track
Thomas AlexanderAlexander, Thomas IBM T.J Watson Research Center Open Quantum Assembly Language
Andrei AlexandrescuAlexandrescu, Andrei The D Language FoundationUnited States Origins of the D Programming Language
Alexey AlexandrovAlexandrov, Alexey Google Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
Uri AlonAlon, Uri Technion Committee Member in Program Committee within the PLDI -track
Gustavo AlonsoAlonso, Gustavo ETH ZurichSwitzerland Compiler-Assisted Object Inlining with Value Fields
Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Matthew AmyAmy, Matthew Dalhousie UniversityCanada Session Chair of Session 1: Verification, programming & control (part of PLanQC) Committee Member in Organizing Committee within the PLanQC-track Chair in Program Committee within the PLanQC-track
Daniel AndersonAnderson, Daniel Carnegie Mellon UniversityUnited States Concurrent Deferred Reference Counting with Constant-Time Overhead
June AndronickAndronick, June Proofcraft, UNSW and seL4 FoundationAustralia Ask Me Anything with June Andronick
Vincenzo ArceriArceri, Vincenzo Ca’ Foscari University of VeniceItaly Static Analysis for Dummies: Experiencing LiSA
Pablo ArrighiArrighi, Pablo Université Paris-Saclay, CNRS, LMF Addressable quantum gates
Steven ArztArzt, Steven Fraunhofer SITGermany Security and Quality: Two Sides of The Same Coin?
Ali AsadiAsadi, Ali Sharif University of TechnologyIran Polynomial Reachability Witnesses via Stellensätze
Chinomso AshiogwuAshiogwu, Chinomso Serialization-Aware Call Graph Construction
David I. AugustAugust, David I. Princeton University, USA Committee Member in Program Committee within the PLDI -track
Amro AwadAwad, Amro Publicity Chair in Organizing Committee within the LCTES-track
B David B. WhalleyB. Whalley, David Florida State University Committee Member in Steering Committee within the LCTES-track United States of America in Program Committee within the LCTES-track
Maximilian BaaderBaader, Maximilian ETH ZurichSwitzerland Fast and Precise Certification of Transformers
Jonathan BalkindBalkind, Jonathan University of California at Santa BarbaraUnited States Wire Sorts: A Language Abstraction for Safe Hardware Composition
Subarno BanerjeeBanerjee, Subarno University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Committee Member in Program Committee within the PLDI -track
Aniruddha BapatBapat, Aniruddha University of Maryland Quantum routing with fast reversals
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance [Invited talk] Towards Security-Oriented Program analysis Invited Speaker in Invited Speakers within the SOAP-track
Dan BarowyBarowy, Dan Williams CollegeUnited States Web Chair in Organizing Committee for PLDI 2021
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Web Question Answering with Neurosymbolic Program Synthesis Committee Member in Program Committee within the PLDI -track
Nilanjana BasuBasu, Nilanjana University of Illinois at ChicagoUnited States Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Guillaume BaudartBaudart, Guillaume Inria Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming France in Program Committee within the LCTES-track
Michael Bedford TaylorBedford Taylor, Michael University of Washington Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Session Chair of Keynote (part of PLDI Invited Talks) Ask Me Anything With Emery Berger
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics; IncQuery LabsHungary Incremental Whole-Program Analysis in Datalog with Lattices
Raven BeutnerBeutner, Raven University of OxfordUnited Kingdom On Probabilistic Termination of Functional Programs with Continuous Distributions
Chandrika BhardwajBhardwaj, Chandrika IIT DelhiIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pramod BhatotiaBhatotia, Pramod TU MunichGermany Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Lizhong BianBian, Lizhong AlipayChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Aggelos BiboudisBiboudis, Aggelos Swisscom AGSwitzerland Session Chair of Session 2 (keynote) and 3 (applications) (part of ARRAY) Committee Member in Program Committee within the ARRAY-track
Benjamin BichselBichsel, Benjamin ETH ZurichSwitzerland Unqomp: Synthesizing Uncomputation in Quantum Circuits
Robert BiddleBiddle, Robert Carleton UniversityCanada programmingLanguage as Language;
Pavol BielikBielik, Pavol ETH ZurichSwitzerland Robustness Certification with Generative Models Committee Member in Program Committee within the PLDI -track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Lev BishopBishop, Lev IBM T.J Watson Research Center Open Quantum Assembly Language
João BispoBispo, João Faculdade de Engenharia e Universidade do PortoPortugal Multi-Language Static Code Analysis on the LARA Framework
Nikolaj BjørnerBjørner, Nikolaj Microsoft ResearchUnited States Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Andrew BlackBlack, Andrew Portland State UniversityUnited States Session Chair of Monday Evening (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Steve BlackburnBlackburn, Steve Australian National UniversityAustralia Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Session Chair of Monday Evening (part of HOPL IV Papers) Understanding and Utilizing Hardware Transactional Memory Capacity Committee Member in Program Committee within the PLDI -track Committee Member in Program Committee within the HOPL IV Papers-track
Guy E. BlellochBlelloch, Guy E. Carnegie Mellon UniversityUnited States Concurrent Deferred Reference Counting with Constant-Time Overhead
Andrew BlinnBlinn, Andrew University of MichiganUnited States Filling Typed Holes with Live GUIs
Pauline BolignanoBolignano, Pauline AmazonUnited Kingdom Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Gregory BonaertBonaert, Gregory ETH ZurichSwitzerland Fast and Precise Certification of Transformers
Michael D. BondBond, Michael D. Ohio State University, USA Understanding and Utilizing Hardware Transactional Memory Capacity Committee Member in Program Committee within the PLDI -track Committee Member in External Review Committee within the ISMM-track
Maddy BowersBowers, Maddy MIT-CSAILUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2021 Committee Member in Student Volunteering within the PLDI Student Volunteering-track
Christiano BragaBraga, Christiano Universidade Federal FluminenseBrazil Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Walter BrightBright, Walter The D Language Foundation Origins of the D Programming Language
Marc BrockschmidtBrockschmidt, Marc Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the PLDI -track
Fraser BrownBrown, Fraser Stanford UniversityUnited States Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
Andrew BrowneBrowne, Andrew Google Committee Member in Program Committee within the SOAP-track
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Tuesday Early Afternoon (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Rodrigo BrunoBruno, Rodrigo INESC-ID / IST, ULisboaPortugal Compiler-Assisted Object Inlining with Value Fields
Alexandra BugariuBugariu, Alexandra ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lukas BurgholzerBurgholzer, Lukas Johannes Kepler University, Linz JKQ: JKU Tools for Quantum Computing
Javier BurroniBurroni, Javier University of Massachusetts Amherst Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Julian BüningBüning, Julian RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
C Joanna C. S. SantosC. S. Santos, Joanna Rochester Institute of TechnologyUnited States Serialization-Aware Call Graph Construction
Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the PLDI -track
Xuyi CaiCai, Xuyi ICT CAS Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Zixian CaiCai, Zixian Australian National UniversityAustralia Understanding and Utilizing Hardware Transactional Memory Capacity
Giovanni CampagnaCampagna, Giovanni Stanford UniversityUnited States DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Simone CampanoniCampanoni, Simone Northwestern UniversityUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Andrew CanningCanning, Andrew Lawrence Berkeley National LaboratoryUnited States Data Layouts are Important (Extended Abstract)
Ting CaoCao, Ting Microsoft ResearchChina Committee Member in Program Committee within the PLDI -track
Michael CarbinCarbin, Michael Massachusetts Institute of Technology Engineering Uncertain Computations Ask Me Anything with Michael Carbin
Luc CaryCary, Luc Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chris CasinghinoCasinghino, Chris DraperUnited States CoStar: A Verified ALL(*) Parser
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
Sandra CatalánCatalán, Sandra Session Chair of Session 2 (keynote) and 3 (applications) (part of ARRAY) Committee Member in Program Committee within the ARRAY-track
Christopher CedzichCedzich, Christopher Quantum Technology Group, Heinrich Heine Universität Düsseldorf Addressable quantum gates
Luis CezeCeze, Luis University of WashingtonUnited States Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) Reticle: A Virtual Machine for Programming Modern FPGAs
Milind ChabbiChabbi, Milind Uber Technologies Inc.United States United States of America in Program Committee within the LCTES-track
John ChambersChambers, John Stanford University S, R and Data Science.
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado at Boulder; AmazonUnited States Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis Demanded Abstract Interpretation Committee Member in Program Committee within the PLDI -track
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Student Research Competition Co-Chair in Organizing Committee for PLDI 2021 Panel on Grad School Co-chair in Student Research Competition (SRC) within the PLDI SRC-track
Guillaume ChateletChatelet, Guillaume Google ResearchFrance automemcpy A framework for automatic generation of fundamental memory operations
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria Proving Non-termination by Program Reversal Quantitative Analysis of Assertion Violations in Probabilistic Programs Polynomial Reachability Witnesses via Stellensätze
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee within the PLDI -track
Dong ChenChen, Dong Uniform Lease vs LRU Cache: Analysis and Evaluation
Jian-Jia ChenChen, Jian-Jia Committee Member in Steering Committee within the LCTES-track
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at Austin, USA Web Question Answering with Neurosymbolic Program Synthesis
Weiwei ChenChen, Weiwei Institute of Computing Technology, CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
Yanju ChenChen, Yanju University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhaoyun ChenChen, Zhaoyun National University of Defense Technology WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
Albert M. K. ChengCheng, Albert M. K. University of HoustonUnited States ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
Bin ChengCheng, Bin Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yun ChengCheng, Yun Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jizhe ChenxinChenxin, Jizhe Tokyo Institute of TechnologyJapan Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator
Benjamin ChetiouiChetioui, Benjamin University of Bergen, NorwayNorway Padding in the Mathematics of Arrays
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of Sunday Evening (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Andrew M. ChildsChilds, Andrew M. University of Maryland Quantum routing with fast reversals
Bharti ChimdyalwarChimdyalwar, Bharti Tata Consultancy Services WIP:Selective Path-sensitive Interval Analysis
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the ISMM-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Integration Verification across Software and Hardware for a Simple Embedded System Committee Member in Program Committee within the PLDI -track
Kyeongmin ChoCho, Kyeongmin KAISTSouth Korea Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Minki ChoCho, Minki Seoul National UniversitySouth Korea Modular Data-Race-Freedom Guarantees in the Promising Semantics
Euirim ChoiChoi, Euirim Stanford UniversityUnited States DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Joonwon ChoiChoi, Joonwon Massachusetts Institute of TechnologyUnited States Integration Verification across Software and Hardware for a Simple Embedded System
Frederic T. ChongChong, Frederic T. University of ChicagoUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Nathan ChongChong, Nathan AmazonUnited Kingdom Committee Member in Student Research Competition (SRC) within the PLDI SRC-track Committee Member in Program Committee within the PLDI -track
Stephen ChongChong, Stephen Harvard UniversityUnited States Co-chair in Organizing Committee within the PLMW@PLDI-track
Vikraman ChoudhuryChoudhury, Vikraman Indiana University & University of CambridgeUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael ChristensenChristensen, Michael University of California at Santa BarbaraUnited States Wire Sorts: A Language Abstraction for Safe Hardware Composition
Ravi ChughChugh, Ravi University of ChicagoUnited States Sponsorship in Organizing Committee for PLDI 2021 Filling Typed Holes with Live GUIs Committee Member in Program Committee within the PLDI -track
Berkeley ChurchillChurchill, Berkeley Stanford UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia [Invited talk] Towards Intelligent Application Security Ask Me Anything with Cristina Cifuentes Invited Speaker in Invited Speakers within the SOAP-track
Jürgen CitoCito, Jürgen TU Wien and FacebookAustria Interactive Static Performance Analysis with Infer in the IDE
William ClingerClinger, William Northeastern University Hygienic Macro Technology
Albert CohenCohen, Albert GoogleFrance Committee Member in Program Committee within the PLDI -track
Murray ColeCole, Murray University of Edinburgh, UK HyFM: Function Merging for Free
Nick CollinsCollins, Nick University of ChicagoUnited States Filling Typed Holes with Live GUIs
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Erik CorryCorry, Erik Toitware Committee Member in Program Committee within the ISMM-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Static Analysis for Dummies: Experiencing LiSA
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Panel on Grad School
Marin CostesCostes, Marin Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF Addressable quantum gates
Jesse CoultasCoultas, Jesse University of Illinois at ChicagoUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Clement CourbetCourbet, Clement Google ResearchFrance automemcpy A framework for automatic generation of fundamental memory operations
Patrick CousotCousot, Patrick [Invited talk] Dynamic abstract interpretation Invited Speaker in Invited Speakers within the SOAP-track
Meghan CowanCowan, Meghan Facebook Reality Labs ResearchUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Brad CoxCox, Brad Retired The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
Andrew CrossCross, Andrew IBM T.J Watson Research Center Open Quantum Assembly Language
Huimin CuiCui, Huimin Institute of Computing Technology, Chinese Academy of Sciences Committee Member in Program Committee within the ISMM-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Program Committee within the PLDI -track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison, USA Committee Member in Program Committee within the PLDI -track
Deepak D'SouzaD'Souza, Deepak IISc BangaloreIndia Specification Synthesis with Constrained Horn Clauses
Dilma Da SilvaDa Silva, Dilma Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France France in Program Committee within the LCTES-track
Guangli DaiDai, Guangli University of Houston ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
Sadegh DalvandiDalvandi, Sadegh University of Surrey Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Deeksha DangwalDangwal, Deeksha Facebook Reality Labs ResearchUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thanh Tuan DaoDao, Thanh Tuan Seoul National UniversitySouth Korea DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
David DaraisDarais, David Galois, Inc.United States Committee Member in Program Committee within the PLDI -track
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee within the PLDI -track
Sandeep DasguptaDasgupta, Sandeep Google, USAUnited States Committee Member in Program Committee within the PLDI -track
Yaniv DavidDavid, Yaniv Technion Committee Member in Program Committee within the PLDI -track
Simon DavidmannDavidmann, Simon Imperas Software Ltd Verilog HDL and its ancestors and descendants
Scott DavidsonDavidson, Scott University of Washington Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
Bruno De BackerDe Backer, Bruno Google Research automemcpy A framework for automatic generation of fundamental memory operations
Niel de Beaudrapde Beaudrap, Niel University of Sussex Open Quantum Assembly Language
Leonardo de Mourade Moura, Leonardo Microsoft ResearchUnited States Perceus: Garbage Free Reference Counting with Reuse
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Giulia De SantisDe Santis, Giulia University of Verona qKleene: Verification of Quantum RAM Made Easy
Diptorup DebDeb, Diptorup Intel Corp. Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Saumya DebrayDebray, Saumya University of Arizona Committee Member in Program Committee within the PLDI -track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the PLDI -track
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in Program Committee within the PLDI -track
Niklas DeworetzkiDeworetzki, Niklas Technische Hochschule MittelhessenGermany Program analysis for reversible languages
Laxman DhulipalaDhulipala, Laxman MIT CSAIL Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peng DiDi, Peng Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Christian DietrichDietrich, Christian Leibniz Universität Hannover Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Committee Member in Virtualization Committee for PLDI 2021 Session Chair of Keynote (part of PLDI Invited Talks) Opening Remarks Panel on Advising and Research Web Question Answering with Neurosymbolic Program Synthesis Synthesizing Data Structure Refinements from Integrity Constraints Program Chair in Organizing Committee within the MAPS-track Committee Member in Program Committee within the PLDI -track
Dimitar I. DimitrovDimitrov, Dimitar I. ETH ZurichSwitzerland Fast and Precise Certification of Transformers
Peter DindaDinda, Peter Northwestern UniversityUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Chen DingDing, Chen University of Rochester Uniform Lease vs LRU Cache: Analysis and Evaluation Committee Member in Steering Committee within the ISMM-track
Yufei DingDing, Yufei University of California at Santa Barbara Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
Dino DistefanoDistefano, Dino Facebook London Session Chair of Session 1 (part of Infer Practitioners) Committee Member in Program Committee within the Infer Practitioners-track
Stephen DolanDolan, Stephen OCaml Labs Retrofitting Effect Handlers onto OCaml
Julian DolbyDolby, Julian IBM Research, USA Committee Member in Program Committee within the PLDI -track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Steering Committee for PLDI 2021 Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Program Committee within the MAPS-track
Dawn DrainDrain, Dawn Microsoft Generating Bug-Fixes Using Pretrained Transformers
Derek DreyerDreyer, Derek MPI-SWSGermany How to give talks that people can follow Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Christophe DubachDubach, Christophe McGill UniversityCanada Committee Member in Steering Committee within the LCTES-track
Stefania DumbravaDumbrava, Stefania ENSIIE Paris-ÉvryFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ross DuncanDuncan, Ross Cambridge Quantum Computing Session Chair of Session 1: Verification, programming & control (part of PLanQC) Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
Greg DurrettDurrett, Greg University of Texas at Austin, USAUnited States Web Question Answering with Neurosymbolic Program Synthesis
Saikat DuttaDutta, Saikat University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
E Brendan EichEich, Brendan Brave SoftwareUnited States JavaScript: The First 20 Years
Kevin EllisEllis, Kevin Cornell UniversityUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Tom EllisEllis, Tom MicrosoftUnited Kingdom Hashing Modulo Alpha-Equivalence
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Towards size-dependent types for array programming
Andres ErbsenErbsen, Andres Massachusetts Institute of TechnologyUnited States Integration Verification across Software and Hardware for a Simple Embedded System
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Concise, Type-Safe, and Efficient Structural Diffing Incremental Whole-Program Analysis in Datalog with Lattices
Jakob ErikssonEriksson, Jakob University of Illinois at ChicagoUnited States Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Karine Even-MendozaEven-Mendoza, Karine Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Classifying and Prioritizing Facebook Infer's Warnings
Heiko FalkFalk, Heiko Hamburg University of Technology Germany in Program Committee within the LCTES-track
Hongyu FanFan, Hongyu Tsinghua UniversityChina Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Dingyi FangFang, Dingyi Northwest UniversityChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Phased Synthesis of Divide and Conquer Programs
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Beyond the Elementary Representations of Program Invariants over Algebraic Data Types Specification Synthesis with Constrained Horn Clauses
Matthias FelleisenFelleisen, Matthias PLT @ Northeastern University Panel on Advising and Research Committee Member in Program Committee within the HOPL IV Papers-track
Dan FengFeng, Dan Huazhong University of Science and Technology, China Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Weijie FengFeng, Weijie University of Science and Technology of ChinaChina Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Xinyu FengFeng, Xinyu Nanjing UniversityChina Abstraction for Conflict-Free Replicated Data Types Committee Member in Program Committee within the PLDI -track
Yu FengFeng, Yu University of California, Santa BarbaraChina Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Static Analysis for Dummies: Experiencing LiSA
Francisco FerreiraFerreira, Francisco Imperial College LondonUnited Kingdom Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
Filipe Figueiredo CorreiaFigueiredo Correia, Filipe University of PortoPortugal Multi-Language Static Code Analysis on the LARA Framework
Michael FischerFischer, Michael Stanford UniversityUnited States DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Committee Member in Steering Committee for PLDI 2021 Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Panel on Career Paths CoStar: A Verified ALL(*) Parser
Andrew FitzgibbonFitzgibbon, Andrew MicrosoftUnited Kingdom Hashing Modulo Alpha-Equivalence
Peter FlakeFlake, Peter Elda Technology Ltd Verilog HDL and its ancestors and descendants
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz Committee Member in Program Committee within the PLDI -track
Matthew FlattFlatt, Matthew University of Utah, USA Session Chair of Tuesday Evening (part of HOPL IV Papers) Committee Member in Program Committee within the PLDI -track
Pedro FonsecaFonseca, Pedro Purdue UniversityUnited States Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for PLDI 2021 RbSyn: Type- and Effect-Guided Program Synthesis
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in Program Committee within the PLDI -track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Committee Member in Program Committee within the PLDI -track
João Francisco Roberto MartinsFrancisco Roberto Martins, João Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Classifying and Prioritizing Facebook Infer's Warnings
Stephen N. FreundFreund, Stephen N. Williams College Committee Member in Virtualization Committee for PLDI 2021 General Chair in Organizing Committee for PLDI 2021
Michal FriedmanFriedman, Michal TechnionIsrael Mirror: Making Lock-Free Data Structures Persistent
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Quantitative Analysis of Assertion Violations in Probabilistic Programs Polynomial Reachability Witnesses via Stellensätze
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Co-chair in Organizing Committee for HOPL IV Welcome to HOPL IV Conference Program Co-Chair in Organizing Committee within the HOPL IV Papers-track
Vijay GadepallyGadepally, Vijay MIT Lincoln LaboratoryUnited States Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Jay M. GambettaGambetta, Jay M. IBM T.J Watson Research Center Open Quantum Assembly Language
Joshua GancherGancher, Joshua Cornell UniversityUnited States Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in Program Committee within the PLDI -track
Chengsi GaoGao, Chengsi ICT CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
Xiong GaoGao, Xiong Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Ask Me Anything with Philippa Gardner
Deepak GargGarg, Deepak MPI-SWSGermany RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Spandan GargGarg, Spandan PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Akshaj GaurGaur, Akshaj Poolesville High School Expanding the VOQC Toolkit
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in Program Committee within the PLDI -track
Timon GehrGehr, Timon ETH ZurichSwitzerland Robustness Certification with Generative Models Committee Member in Program Committee within the PLDI -track
Zhen GengGeng, Zhen Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Kaan GençGenç, Kaan Ohio State University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sandesh GhantaGhanta, Sandesh Amrita Vishwa Vidyapeetham Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
Vlad GheorghiuGheorghiu, Vlad Institute for Quantum Computing, University of Waterloo, ON Canada Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Lorenzo GheriGheri, Lorenzo Imperial College LondonUnited Kingdom Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly qKleene: Verification of Quantum RAM Made Easy
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Welcome and opening Co-chair in Organizing Committee within the ARRAY-track
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyChina Quantitative Analysis of Assertion Violations in Probabilistic Programs Polynomial Reachability Witnesses via Stellensätze
Ehsan Kafshdar GoharshadyGoharshady, Ehsan Kafshdar Ferdowsi University of MashhadIran Proving Non-termination by Program Reversal
Steve GolsonGolson, Steve Trilobyte SystemsUnited States Verilog HDL and its ancestors and descendants
Hannah GommerstadtGommerstadt, Hannah Vassar College Panel on Career Paths
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexey V. GorshkovGorshkov, Alexey V. University of Maryland Quantum routing with fast reversals
Benjamin GottfriedGottfried, Benjamin Purdue UniversityUnited States Vectorized Secure Evaluation of Decision Forests
Justin GottschlichGottschlich, Justin Intel Labs / PennUnited States Closing remarks Predictive Data Locality Optimization for Higher-Order Tensor Computations ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures Steering Committee Chair in Organizing Committee within the MAPS-track
Darryl GoveGove, Darryl Google Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
Vineetha GovindarajGovindaraj, Vineetha Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Chris GranadeGranade, Chris Microsoft Committee Member in Program Committee within the PLanQC-track
Daniel GratzerGratzer, Daniel Aarhus UniversityDenmark Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Neville GrechGrech, Neville University of MaltaMalta Implementing smart contract security analyses using the MadMax/Gigahorse framework
Aaron GreenGreen, Aaron University of Maryland Expanding the VOQC Toolkit
Ben GreenmanGreenman, Ben Brown UniversityUnited States Committee Member in Program Committee within the PLDI -track
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Compositional checking of safety temporal properties
Dan GrossmanGrossman, Dan University of WashingtonUnited States Diversity and Inclusion Chair in Organizing Committee for PLDI 2021 Committee Member in Steering Committee for PLDI 2021 Proof Repair across Type Equivalences Reticle: A Virtual Machine for Programming Modern FPGAs
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the MAPS-track
Samuel GruetterGruetter, Samuel Massachusetts Institute of TechnologyUnited States Integration Verification across Software and Hardware for a Simple Embedded System
Lars GrunskeGrunske, Lars Humboldt University of BerlinGermany Concolic Program Repair
Ronghui GuGu, Ronghui Columbia UniversityUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Hui GuanGuan, Hui University of Massachusetts, AmherstUnited States Committee Member in Program Committee within the ISMM-track United States of America in Program Committee within the LCTES-track
Jiexiong GuanGuan, Jiexiong College of William & MaryUnited States DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States Committee Member in Virtualization Committee for PLDI 2021 Publicity Co-Chair in Organizing Committee for PLDI 2021
Zheng GuoGuo, Zheng University of California, San Diego Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sankha Narayan GuriaGuria, Sankha Narayan University of MarylandUnited States RbSyn: Type- and Effect-Guided Program Synthesis Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Session Chair of Ask Me Anything (part of PLDI Ask Me Anything)
Lennard GäherGäher, Lennard Saarland UniversityGermany Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
H Sebastian HackHack, Sebastian Saarland University, Germany Committee Member in Program Committee within the PLDI -track
Brent HailpernHailpern, Brent IBM ResearchUnited States Session Chair of Tuesday Early Afternoon (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Ákos HajduHajdu, Ákos FacebookUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kyle HaleHale, Kyle Illinois Institute of TechnologyUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Mary HallHall, Mary University of Utah Predictive Data Locality Optimization for Higher-Order Tensor Computations
Tae Jun HamHam, Tae Jun Seoul National UniversitySouth Korea MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Jafar HaminHamin, Jafar Nokia Antwerp Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yueming HaoHao, Yueming North Carolina State University Web Chair in Organizing Committee within the LCTES-track
Nikos HardavellasHardavellas, Nikos Northwestern UniversityUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Wire Sorts: A Language Abstraction for Safe Hardware Composition Committee Member in Program Committee within the PLDI -track
Seif HaridiHaridi, Seif KTH Royal Institute of Technology, Sweden A history of the Oz multiparadigm language
Robert HarperHarper, Robert Carnegie Mellon University, USAUnited States The History of Standard ML
Brian HarveyHarvey, Brian University of California, Berkeley History of Logo
Niranjan HasabnisHasabnis, Niranjan Intel LabsUnited States ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures Committee Member in Program Committee within the MAPS-track
Magne HaveraaenHaveraaen, Magne University of Bergen, NorwayNorway Padding in the Mathematics of Arrays Committee Member in Program Committee within the ARRAY-track
Kim HazelwoodHazelwood, Kim Facebook AI ResearchUnited States HyFM: Function Merging for Free Ask Me Anything with Kim Hazelwood Developer and User-Transparent Compiler Optimization for Interactive Applications
Fei HeHe, Fei Tsinghua UniversityChina Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Jingxuan HeHe, Jingxuan ETH ZurichSwitzerland Learning to Find Naming Issues with Big Code and Small Supervision
Görel HedinHedin, Görel Lund UniversitySweden Committee Member in Program Committee within the PLDI -track
Steven HeidelHeidel, Steven AWS Center for Quantum Computing Open Quantum Assembly Language
Alexander HeinricherHeinricher, Alexander Raytheon BBN TechnologiesUnited States Weldr: Fusing Binaries for Simplified Analysis
Ahmed HelalHelal, Ahmed Intel United States of America in Program Committee within the LCTES-track
Jörg HenkelHenkel, Jörg General Chair in Organizing Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Towards size-dependent types for array programming
Luke HewittHewitt, Luke Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Rich HickeyHickey, Rich Cognitect, Inc.United States A History of Clojure
Michael HicksHicks, Michael University of Maryland at College Park Invited Talk: From Verified Compilation to Shor’s Algorithm Toward A Quantum Programming Language for Higher-Level Formal Verification Expanding the VOQC Toolkit Committee Member in Program Committee within the PLDI -track
Kesha HietalaHietala, Kesha University of MarylandUnited States Expanding the VOQC Toolkit Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
Stefan HillmichHillmich, Stefan Johannes Kepler University, LinzAustria JKQ: JKU Tools for Quantum Computing
Martin HirzelHirzel, Martin IBM ResearchUnited States Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Marek HlavaHlava, Marek Department of Computer Science, University of CopenhagenDenmark Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
Michael HoHo, Michael University of Texas at ArlingtonUnited States Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Sound Probabilistic Inference via Guide Types Central Moment Analysis for Cost Accumulators in Probabilistic Programs Committee Member in Program Committee within the PLDI -track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the PLDI -track Committee Member in Program Committee within the ISMM-track
Hansen HsuHsu, Hansen Computer History Museum The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
Alan J. HuHu, Alan J. University of British Columbia Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators
Xiaowen HuHu, Xiaowen University of SydneyAustralia An Efficient Interpreter for Datalog by De-specializing Relations Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Songfang HuangHuang, Songfang Alibaba DAMO AcademyChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Yipeng HuangHuang, Yipeng Rutgers UniversityUnited States Committee Member in Program Committee within the PLanQC-track
John HuiHui, John Columbia UniversityUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Roger K.W. HuiHui, Roger K.W. Dyalog Ltd. APL Since 1978
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Modular Data-Race-Freedom Guarantees in the Promising Semantics Alive2: Bounded Translation Validation for LLVM
Alexander HägeleHägele, Alexander ETH ZurichSwitzerland Robustness Certification with Generative Models
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Session Chair of Monday Early Afternoon (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Daniel IngallsIngalls, Daniel None The Evolution of Smalltalk from Smalltalk-72 through Squeak
Guillaume IoossIooss, Guillaume InriaFrance IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dan IorgaIorga, Dan Imperial College LondonUnited Kingdom Student Volunteer Co-Chair in Organizing Committee for PLDI 2021 Committee Member in Student Volunteering within the PLDI Student Volunteering-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Cyclic Program Synthesis
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Fusuma: Double-ended Threaded Compaction
J Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Ask Me Anything with Joxan Jaffar Committee Member in Program Committee within the PLDI -track
Sadiq JafferJaffer, Sadiq Opsian and OCaml LabsUnited Kingdom Retrofitting Effect Handlers onto OCaml
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring Committee Member in Program Committee within the PLDI -track
Ali Javadi-AbhariJavadi-Abhari, Ali IBM T.J Watson Research Center Session Chair of Session 2: Compilation & Types (part of PLanQC) Open Quantum Assembly Language Committee Member in Program Committee within the PLanQC-track
Clothilde JeangoudouxJeangoudoux, Clothilde Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thomas P. JensenJensen, Thomas P. InriaFrance Trace-Based Control-Flow Analysis
Jinkyu JeongJeong, Jinkyu Sungkyunkwan UniversityKorea, South Committee Member in Program Committee within the ISMM-track
Ranjit JhalaJhala, Ranjit University of California at San Diego Committee Member in Virtualization Committee for PLDI 2021 Committee Member in Steering Committee for PLDI 2021 Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Panel on Advising and Research Committee Member in Program Committee within the PLDI -track
Kai JiJi, Kai Nanjing UniversityChina JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Huaipan JiangJiang, Huaipan Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Guoliang JinJin, Guoliang North Carolina State University United States of America in Program Committee within the LCTES-track
Xuefeng JinJin, Xuefeng Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Blake R. JohnsonJohnson, Blake R. IBM T.J Watson Research Center Open Quantum Assembly Language
Dane JohnsonJohnson, Dane University of Washington Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ralph JohnsonJohnson, Ralph MetafficientUnited States Committee Member in Program Committee within the HOPL IV Papers-track
Teresa JohnsonJohnson, Teresa Google United States of America in Program Committee within the LCTES-track
Reese JonesJones, Reese Serialization-Aware Call Graph Construction
Timothy M. JonesJones, Timothy M. University of Cambridge, UKUnited Kingdom Session Chair of Session 4: Compacting/Indexing/Transactioning & Closing (part of ISMM) Compendia: Reducing Virtual-Memory Costs via Selective Densification Committee Member in Program Committee within the ISMM-track
Alex JordanJordan, Alex Raytheon BBN TechnologiesUnited States Weldr: Fusing Binaries for Simplified Analysis
Herbert JordanJordan, Herbert Innsbruck UniversityAustria An Efficient Interpreter for Datalog by De-specializing Relations
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Compiler-Assisted Object Inlining with Value Fields
Changhee JungJung, Changhee Purdue University, USA Committee Member in Steering Committee within the LCTES-track
Wookeun JungJung, Wookeun Seoul National UniversitySouth Korea DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Jaakko JärviJärvi, Jaakko University of TurkuNorway Padding in the Mathematics of Arrays
K Ifaz KabirKabir, Ifaz University of Alberta Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ken KahnKahn, Ken University of Oxford History of Logo
Gail KaiserKaiser, Gail Columbia UniversityUnited States Committee Member in Program Committee within the PLDI -track
Sarah KaiserKaiser, Sarah Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Christian Gram KalhaugeKalhauge, Christian Gram University of California at Los Angeles; Technical University of DenmarkUnited States Logical Bytecode Reduction
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Committee Member in Program Committee within the PLDI -track
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation Distance-in-Time versus Distance-in-Space Committee Member in Program Committee within the PLDI -track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Mustafa KarakoyKarakoy, Mustafa TUBITAK-BILGEMTurkey Distance-in-Time versus Distance-in-Space
Peter J. KaralekasKaralekas, Peter J. Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Antoni KarpińskiKarpiński, Antoni Warsaw University of TechnologyPoland Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Baris KasikciKasikci, Baris University of MichiganUnited States Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Madhukar KedlayaKedlaya, Madhukar Shape SecurityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Program Committee within the PLDI -track
Tom KellyKelly, Tom OCaml Labs Retrofitting Effect Handlers onto OCaml
Chris KennellyKennelly, Chris Google automemcpy A framework for automatic generation of fundamental memory operations Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
Rania KhalafKhalaf, Rania IBM Research Committee Member in Program Committee within the MAPS-track
Heidy KhlaafKhlaaf, Heidy University College London Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Termination Analysis without the Tears
Paul KingKing, Paul OCIAustralia A history of the Groovy programming language
Sam KingKing, Sam University of Rochester Quantum routing with fast reversals
Maja KirkebyKirkeby, Maja Roskilde UniversityDenmark Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Fredrik KjolstadKjolstad, Fredrik Stanford University Committee Member in Program Committee within the PLDI -track
Gerwin KleinKlein, Gerwin CSIRO's Data61 and UNSW SydneyAustralia Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Committee Member in Program Committee within the PLDI -track
Ava KlingbeilKlingbeil, Ava Weldr: Fusing Binaries for Simplified Analysis
Tristan KnothKnoth, Tristan University of California at San Diego, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeffrey KodoskyKodosky, Jeffrey Co-founder and Fellow, National InstrumentsUnited States LabVIEW
Jason R. KoenigKoenig, Jason R. Stanford UniversityUnited States Adaptive Restarts for Stochastic Synthesis
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States CompCertO: Compiling Certified Open C Components
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yurii KostyukovKostyukov, Yurii St. Petersburg State University; JetBrains ResearchRussia Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Lucja KotKot, Lucja GrammaTech, Inc.United States Committee Member in Program Committee within the SOAP-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
V Krishna NandivadaKrishna Nandivada, V IIT Madras IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Scalable String Analysis: An Experience Report
Morten J. KrombergKromberg, Morten J. Dyalog Ltd. APL Since 1978
James KukuckaKukucka, James George Mason University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Abhishek KulkarniKulkarni, Abhishek Intel Predictive Data Locality Optimization for Higher-Order Tensor Computations
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Session Chair of Keynote (part of PLDI Invited Talks) Vectorized Secure Evaluation of Decision Forests Committee Member in Program Committee within the PLDI -track
Pavan Kumar PaluriKumar Paluri, Pavan University of HoustonUnited States ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
Amrit KumarKumar, Amrit Zilliqa Researchn.n. Practical Smart Contract Sharding with Ownership and Commutativity Analysis
Sandeep KumarKumar, Sandeep Intel LabsIndia Radiant: Efficient Page Table Management for Tiered Memory Systems
Shrawan KumarKumar, Shrawan Tata Cosultancy Services WIP:Selective Path-sensitive Interval Analysis
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the PLDI -track
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan Committee Member in Steering Committee within the LCTES-track Committee Member in Steering Committee within the LCTES-track
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Reasoning Under Uncertainty in SMT Solving, Research, and Life Committee Member in Program Committee within the PLDI -track
L Brad LackeyLackey, Brad Microsoft Quantum, University of Maryland Extending Gottesman Types Beyond the Clifford Group
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Modular Data-Race-Freedom Guarantees in the Promising Semantics
Akash LalLal, Akash Microsoft Research Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
Monica S. LamLam, Monica S. Stanford UniversityUnited States DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Aaron LamoreauxLamoreaux, Aaron University of Texas at AustinUnited States Web Question Answering with Neurosymbolic Program Synthesis
Ryan LaRoseLaRose, Ryan Unitary Fund, Michigan State University Mitiq: a Python toolkit for quantum error mitigation
Sam LasserLasser, Sam Tufts UniversityUnited States CoStar: A Verified ALL(*) Parser
Stella LauLau, Stella Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Patrick LavinLavin, Patrick Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the LCTES-track
Alan LawrenceLawrence, Alan MicrosoftUnited Kingdom Hashing Modulo Alpha-Equivalence
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 Session Chair of Session 2: Paging/Structuring & Session 3: Allocating/Copying (part of ISMM) Committee Member in Program Committee within the PLDI -track
Hugh LeatherLeather, Hugh FacebookUnited States HyFM: Function Merging for Free Developer and User-Transparent Compiler Optimization for Interactive Applications
Cheng-Chun LeeLee, Cheng-Chun EPFLSwitzerland Learning to Find Naming Issues with Big Code and Small Supervision
Eojin LeeLee, Eojin Samsung Electronics MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Jae W. LeeLee, Jae W. Seoul National University, KoreaSouth Korea MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Jaejin LeeLee, Jaejin Seoul National UniversitySouth Korea DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Juneyoung LeeLee, Juneyoung Seoul National UniversitySouth Korea Alive2: Bounded Translation Validation for LLVM
Sung-Hwan LeeLee, Sung-Hwan Seoul National UniversitySouth Korea Modular Data-Race-Freedom Guarantees in the Promising Semantics Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Vincent T. LeeLee, Vincent T. Facebook Reality Labs ResearchUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Woosuk LeeLee, Woosuk Hanyang University, South Korea Committee Member in Program Committee within the PLDI -track
Jeff Yu LeiLei, Jeff Yu University of Texas at ArlingtonUnited States Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Perceus: Garbage Free Reference Counting with Reuse
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Ask Me Anything with Rustan Leino
Guy LemieuxLemieux, Guy University of British Columbia Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators
John LeoLeo, John Halfaya ResearchUnited States Proof Repair across Type Equivalences
Rodolphe LepigreLepigre, Rodolphe MPI-SWSGermany RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Sorin LernerLerner, Sorin University of California at San DiegoUnited States Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
Ang LiLi, Ang Pacific Northwest National Laboratory United States of America in Program Committee within the LCTES-track
Ao LiLi, Ao Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bojie LiLi, Bojie Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
David LiLi, David Google automemcpy A framework for automatic generation of fundamental memory operations
Dong LiLi, Dong University of California, Merced United States of America in Program Committee within the LCTES-track
Jiajia LiLi, Jiajia Pacific Northwest National Laboratory Artifact Evaluation Chair in Organizing Committee within the LCTES-track United States of America in Program Committee within the LCTES-track
Jing LiLi, Jing University of Science and Technology of ChinaChina Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Li LiLi, Li Monash UniversityAustralia Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Liyi LiLi, Liyi University of MarylandChina Expanding the VOQC Toolkit
Pengcheng LiLi, Pengcheng Google, IncChina Uniform Lease vs LRU Cache: Analysis and Evaluation Committee Member in External Review Committee within the ISMM-track
Sarah LiLi, Sarah Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Shu LiLi, Shu Alibaba Group Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Xuandong LiLi, Xuandong Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Yanze LiLi, Yanze Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Yue LiLi, Yue Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zheng LiLi, Zheng Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Abstraction for Conflict-Free Replicated Data Types
Ben LiblitLiblit, Ben AmazonUnited States Committee Member in Program Committee within the PLDI -track
Henry LiebermanLieberman, Henry MIT Computer Science and Artificial Intelligence Lab (CSAIL) History of Logo
Jay P. LimLim, Jay P. Rutgers UniversityUnited States High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Gangliang LinLin, Gangliang ICT CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
Michael LippautzLippautz, Michael Google Committee Member in Program Committee within the ISMM-track
Jack LittleLittle, Jack MathWorks A History of MATLAB
Andrew LiuLiu, Andrew University of Washington Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
Binbin LiuLiu, Binbin University of New Hampshire; University of Science and Technology of ChinaUnited States Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Bozhen LiuLiu, Bozhen Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Cheng LiuLiu, Cheng ICT CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
Fangzhou LiuLiu, Fangzhou University of RochesterChina Uniform Lease vs LRU Cache: Analysis and Evaluation
Fei LiuLiu, Fei Alibaba Group Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Haikun LiuLiu, Haikun Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the ISMM-track
Jiawen LiuLiu, Jiawen University of California, Merced Committee Member in Artifact Evaluation Committee within the LCTES-track
Peiming LiuLiu, Peiming Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Tongping LiuLiu, Tongping University of Massachusetts at Amherst United States of America in Program Committee within the LCTES-track
Xu LiuLiu, Xu North Carolina State University Welcome from the Chairs PC Chair in Organizing Committee within the LCTES-track
Zhengyang LiuLiu, Zhengyang University of UtahUnited States Alive2: Bounded Translation Validation for LLVM Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the PLDI -track
Daniel LohmannLohmann, Daniel Leibniz Universität Hannover Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
Bill LongLong, Bill Cray Inc. History of Coarrays and SPMD Parallelism in Fortran
Crista LopesLopes, Crista University of California, Irvine Session Chair of Sunday Early Afternoon (part of HOPL IV Papers) Session Chair of Sunday Late Afternoon (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Nuno P. LopesLopes, Nuno P. Microsoft ResearchUnited Kingdom Alive2: Bounded Translation Validation for LLVM Committee Member in Program Committee within the PLDI -track
Tze Meng LowLow, Tze Meng Carnegie Mellon UniversityUnited States Co-chair in Organizing Committee within the ARRAY-track
Shenming LuLu, Shenming Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems Committee Member in Program Committee within the PLDI -track
Mitya LyubarskiyLyubarskiy, Mitya Facebook London Journey to null safety for Java at Facebook. An experience report.
Steven LyubomirskyLyubomirsky, Steven University of Washington, USAUnited States Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
M Jiacheng MaMa, Jiacheng University of MichiganUnited States Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Hendrik MaarandMaarand, Hendrik Tallinn University of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Martin MaasMaas, Martin Google Research Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers Committee Member in Steering Committee within the ISMM-track
David MacQueenMacQueen, David University of Chicago (Emeritus) The History of Standard ML
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Retrofitting Effect Handlers onto OCaml Committee Member in Program Committee within the PLDI -track
Kumar MadhukarMadhukar, Kumar TCS ResearchIndia Specification Synthesis with Constrained Horn Clauses
Magnus MadsenMadsen, Magnus Aarhus University Committee Member in Program Committee within the PLDI -track
Mohammad MahdaviMahdavi, Mohammad Sharif University of TechnologyIran Polynomial Reachability Witnesses via Stellensätze
Raghav MalikMalik, Raghav Purdue UniversityUnited States Vectorized Secure Evaluation of Decision Forests
Rahim MammadliMammadli, Rahim Technical University of Darmstadt Learning to Make Compiler Optimizations More Effective
Louis MandelMandel, Louis IBM Research, USAUnited States Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Yatin ManerkarManerkar, Yatin University of Michigan and UC BerkeleyUnited States Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Andrea MariMari, Andrea Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Gabriel MarinMarin, Gabriel Google Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the PLDI -track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Workshops and Tutorials Co-Chair in Organizing Committee for PLDI 2021 Committee Member in Program Committee within the ISMM-track
Sarah MarshallMarshall, Sarah Microsoft Quantum Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
André Perez MaselcoMaselco, André Perez Federal University of ABCBrazil Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator Committee Member in Program Committee within the ARRAY-track Committee Member in Program Committee within the ISMM-track
Tim MattsonMattson, Tim Intel, USA Keynote: Tilting at Windmills with the Humble Array
Krzysztof MaziarzMaziarz, Krzysztof MicrosoftUnited Kingdom Hashing Modulo Alpha-Equivalence
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Steering Committee for PLDI 2021 Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
Joseph McMahanMcMahan, Joseph University of WashingtonUnited States Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) Reticle: A Virtual Machine for Programming Modern FPGAs
Kuldeep S. MeelMeel, Kuldeep S. National University of Singapore Committee Member in Program Committee within the MAPS-track
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in Program Committee within the MAPS-track
Kayvan MemarianMemarian, Kayvan University of CambridgeUnited Kingdom RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Na MengMeng, Na Virginia Tech, USA Committee Member in Program Committee within the PLDI -track
Martin MetaksovMetaksov, Martin Department of Computer Science, University of CopenhagenDenmark Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
Giulia MeuliMeuli, Giulia EPFL Committee Member in Program Committee within the PLanQC-track
Uwe MeyerMeyer, Uwe University of Applied Sciences Giessen Program analysis for reversible languages
Mira MeziniMezini, Mira Technische Universität DarmstadtGermany Committee Member in Program Committee within the HOPL IV Papers-track
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Grad School: A Survival Guide
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the HOPL IV Papers-track
Stefano MiliziaMilizia, Stefano Imperial College LondonUnited Kingdom Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Heather MillerMiller, Heather Carnegie Mellon University, USA Committee Member in Program Committee within the PLDI -track
Mark MillerMiller, Mark Learningtech.org and Northeastern UniversityUnited States History of Logo
Todd MillsteinMillstein, Todd University of California at Los Angeles Committee Member in Program Committee within the PLDI -track
Jiang MingMing, Jiang University of Texas at ArlingtonUnited States Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Margaret MinskyMinsky, Margaret New York University Shanghai History of Logo
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SOAP-track
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Serialization-Aware Call Graph Construction
Matthew MirmanMirman, Matthew ETH ZurichSwitzerland Robustness Certification with Generative Models
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the MAPS-track
Dimitris MitropoulosMitropoulos, Dimitris National and Kapodistrian University of Athens Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Cleve MolerMoler, Cleve MathWorks A History of MATLAB
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David MonniauxMonniaux, David CNRS/VERIMAGFrance Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion
Stefan MonnierMonnier, Stefan Université de Montréal Evolution of Emacs Lisp
Benoît MontaguMontagu, Benoît InriaFrance Trace-Based Control-Flow Analysis
Claudio MontanariMontanari, Claudio University of Illinois at ChicagoUnited States Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
David MoonMoon, David University of MichiganUnited States Filling Typed Holes with Live GUIs
Yaebin MoonMoon, Yaebin Seoul National University MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Phil MoorbyMoorby, Phil Verilog HDL and its ancestors and descendants
Lucas MoralesMorales, Lucas Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Dmitry MordvinovMordvinov, Dmitry St. Petersburg State University; JetBrains ResearchRussia Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Michele MoscaMosca, Michele University of Waterloo Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Tipp MoseleyMoseley, Tipp Google Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
Eliot MossMoss, Eliot University of Massachusetts Amherst Reflections on Forty Years in Garbage Collection Committee Member in External Review Committee within the ISMM-track
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Paschalis MpeisMpeis, Paschalis University of EdinburghUnited Kingdom Developer and User-Transparent Compiler Optimization for Interactive Applications
Frank MuellerMueller, Frank North Carolina State University, USA On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving
Priyanka MukhopadhyayMukhopadhyay, Priyanka Institue for Quantum Computing, University of Waterloo Reducing the CNOT count for Clifford+T circuits on NISQ architectures
Lenore MullinMullin, Lenore SUNY Albany, USA Improving the Performance of DGEMM with MoA and Cache-Blocking
Lenore MullinMullin, Lenore University at Albany, SUNYUnited States Padding in the Mathematics of Arrays
Saurav MuralidharanMuralidharan, Saurav NVIDIAUnited States Committee Member in Program Committee within the PLDI -track
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the PLDI -track
Madan MusuvathiMusuvathi, Madan Microsoft Research Ask Me Anything with Madan Musuvathi Committee Member in Student Research Competition (SRC) within the PLDI SRC-track Committee Member in Program Committee within the PLDI -track
Andrew MyersMyers, Andrew Cornell UniversityUnited States Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in Program Committee within the PLDI -track
Todd MytkowiczMytkowicz, Todd Microsoft ResearchUnited States Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
N Kartik NagarNagar, Kartik IIT MadrasIndia Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK Committee Member in Steering Committee within the LCTES-track
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Aaditya NaikNaik, Aaditya University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Egor NamakonovNamakonov, Egor JetBrains Research, St Petersburg University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Krishna NarasimhanNarasimhan, Krishna TU Darmstadt, GermanyGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Steve NaroffNaroff, Steve Retired The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Committee Member in Program Committee within the SOAP-track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Static Analysis for Dummies: Experiencing LiSA
Ryan R. NewtonNewton, Ryan R. FacebookUnited States Task Parallel Assembly Language for Uncompromising Parallelism Committee Member in Program Committee within the PLDI -track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Session Chair of Session 2 (part of SOAP) Session Chair of Session 3 (part of SOAP) Welcome from the chairs Award and send-off Committee Member in Organizing Committee within the SOAP-track
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers Committee Member in External Review Committee within the ISMM-track
Phil NguyenNguyen, Phil Google Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Victor NicoletNicolet, Victor University of TorontoCanada Phased Synthesis of Divide and Conquer Programs
Wang NieNie, Wang Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Rachit NigamNigam, Rachit Cornell University, USA Social Chair in Organizing Committee for PLDI 2021
Ruslan NikolaevNikolaev, Ruslan Virginia TechUnited States Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Wei NiuNiu, Wei College of William & MaryUnited States DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
James NobleNoble, James Victoria University of WellingtonNew Zealand programmingLanguage as Language; Ask Me Anything with James Noble
Yannic NollerNoller, Yannic National University of SingaporeSingapore Concolic Program Repair
Aman NougrahiyaNougrahiya, Aman IIT MadrasIndia IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
Petr NovotnýNovotný, Petr Masaryk UniversityCzechia Proving Non-termination by Program Reversal
Maxwell NyeNye, Maxwell Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Committee Member in Program Committee within the PLDI -track
Peter W. O'HearnO'Hearn, Peter W. Facebook and University College London Panel on Career Paths
Cosmin OanceaOancea, Cosmin University of Copenhagen, DenmarkDenmark Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
Augustus OdenaOdena, Augustus Committee Member in Program Committee within the MAPS-track
Deok-Jae OhOh, Deok-Jae Seoul National University MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Auguste OlivryOlivry, Auguste InriaFrance IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Cyrus OmarOmar, Cyrus University of MichiganUnited States Filling Typed Holes with Live GUIs
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom On Probabilistic Termination of Functional Programs with Continuous Distributions
Hiro OnozawaOnozawa, Hiro The University of Electro-Communications Fusuma: Double-ended Threaded Compaction
P André PacakPacak, André JGU MainzGermany Concise, Type-Safe, and Efficient Structural Diffing
Saswat PadhiPadhi, Saswat Amazon Web Services, USAUnited States Committee Member in Program Committee within the PLDI -track
Oded PadonPadon, Oded VMWare ResearchUnited States Adaptive Restarts for Stochastic Synthesis Committee Member in Program Committee within the PLDI -track
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Synthesizing Data Structure Refinements from Integrity Constraints
Adrian PalaciosPalacios, Adrian Amazon Web ServicesSpain Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jens PalsbergPalsberg, Jens University of California at Los AngelesUnited States Committee Member in Steering Committee for PLDI 2021 Session Chair of Sunday Early Afternoon (part of HOPL IV Papers) Quantum Abstract Interpretation Logical Bytecode Reduction Committee Member in Program Committee within the HOPL IV Papers-track
Qiuhong PanPan, Qiuhong Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Student Research Competition (SRC) within the PLDI SRC-track Committee Member in Program Committee within the PLDI -track
Artemis PapertPapert, Artemis Independent Artist History of Logo
Anouk ParadisParadis, Anouk ETH ZurichSwitzerland Unqomp: Synthesizing Uncomputation in Quantum Circuits
Yongjun ParkPark, Yongjun Hanyang University MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
Michael ParkerParker, Michael The D Language Foundation Origins of the D Programming Language
Tharindu PatabandiPatabandi, Tharindu University of Utah Predictive Data Locality Optimization for Higher-Order Tensor Computations
Tirthak PatelPatel, Tirthak Northeastern UniversityUnited States Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Marco PatrignaniPatrignani, Marco CISPA Helmholtz Center for Information Security / Stanford University Panel on Grad School
Wojciech Michal PawlakPawlak, Wojciech Michal University of Copenhagen, DenmarkDenmark Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
Hannes PayerPayer, Hannes Google Committee Member in Steering Committee within the ISMM-track
Jennifer PaykinPaykin, Jennifer Galois, Inc.United States Session Chair of Session 2: Compilation & Types (part of PLanQC) Panel on Career Paths Committee Member in Program Committee within the PLanQC-track
Hila PelegPeleg, Hila TechnionIsrael Cyclic Program Synthesis Committee Member in Organizing Committee within the PLMW@PLDI-track Committee Member in Program Committee within the PLDI -track
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
Pavlos PetoumenosPetoumenos, Pavlos University of Manchester, UKUnited Kingdom HyFM: Function Merging for Free
Pavlos PetoumenosPetoumenos, Pavlos University of ManchesterUnited Kingdom Developer and User-Transparent Compiler Optimization for Interactive Applications
Erez PetrankPetrank, Erez TechnionIsrael Mirror: Making Lock-Free Data Structures Persistent Committee Member in Program Committee within the PLDI -track
Gustavo PetriPetri, Gustavo ARM Research Committee Member in Program Committee within the PLDI -track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Session Chair of Monday Morning (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Simon Peyton JonesPeyton Jones, Simon MicrosoftUnited Kingdom Hashing Modulo Alpha-Equivalence Committee Member in Program Committee within the PLDI -track
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google Machine Learning for Autotuning Production Machine Learning Compilers Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Artem PianykhPianykh, Artem Facebook London Journey to null safety for Java at Facebook. An experience report.
Frank PiessensPiessens, Frank KU Leuven Panel on Advising and Research
Andy PimentelPimentel, Andy University of AmsterdamNetherlands Netherlands in Program Committee within the LCTES-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2021 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Keshav PingaliPingali, Keshav The University of Texas at Austin Session Chair of Tuesday Morning (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Ruzica PiskacPiskac, Ruzica Yale University, USA Committee Member in Program Committee within the PLDI -track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Anton PodkopaevPodkopaev, Anton HSE University, JetBrains ResearchRussia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Cyclic Program Synthesis Co-chair in Organizing Committee within the PLMW@PLDI-track
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the MAPS-track
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
Jayaraj PoroorPoroor, Jayaraj JIFFY.ai Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
RanDair PorterPorter, RanDair University of WashingtonUnited States Proof Repair across Type Equivalences
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Session Chair of Ask Me Anything (part of PLDI Ask Me Anything)
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in Program Committee within the PLDI -track
Sumanth PrabhuPrabhu, Sumanth TCS ResearchIndia Specification Synthesis with Constrained Horn Clauses Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael PradelPradel, Michael University of StuttgartGermany Learning to Make Compiler Optimizations More Effective Committee Member in Program Committee within the PLDI -track
Aravinda PrasadPrasad, Aravinda Intel Labs Radiant: Efficient Page Table Management for Tiered Memory Systems
Mark PriestleyPriestley, Mark Consulting Historian in Organizing Committee within the HOPL IV Papers-track
Oskar PuszPusz, Oskar Leibniz Universität Hannover Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
George PîrleaPîrlea, George National University of SingaporeSingapore Practical Smart Contract Sharding with Ownership and Commutativity Analysis
Markus PüschelPüschel, Markus ETH Zurich, Switzerland Committee Member in Program Committee within the PLDI -track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Q Hongwei QinQin, Hongwei Huazhong University of Science and Technology, China Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Sheng QiuQiu, Sheng Alibaba Group Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Andrew QuinnQuinn, Andrew University of MichiganUnited States Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 Beyond Weak Memory Consistency: The Challenges of Memory Persistency Committee Member in Program Committee within the PLDI -track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan MIT CSAILUnited States Session Chair of Session 4 (short talks) (part of ARRAY) Committee Member in Program Committee within the ARRAY-track
Mukund RaghothamanRaghothaman, Mukund University of Southern California Interactively Exploring Code Using Query-by-Example
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Example-Guided Synthesis of Relational Queries
Kia RahmaniRahmani, Kia Purdue UniversityUnited States Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Task Parallel Assembly Language for Uncompromising Parallelism
Sriram RajamaniRajamani, Sriram Microsoft Research Committee Member in Steering Committee for PLDI 2021 Ask Me Anything with Sriram Rajamani
Pedro RamalheteRamalhete, Pedro Cisco SystemsSwitzerland Mirror: Making Lock-Free Data Structures Persistent
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Committee Member in Program Committee within the PLDI -track
Robert RandRand, Robert University of ChicagoUnited States Session Chair of Session 3: Reliable quantum computing (part of PLanQC) Extending Gottesman Types Beyond the Clifford Group Expanding the VOQC Toolkit Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
Smruti Ranjan SarangiRanjan Sarangi, Smruti IIT Delhi Radiant: Efficient Page Table Management for Tiered Memory Systems
Fabrice RastelloRastello, Fabrice InriaFrance IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Pushkar RatnalikarRatnalikar, Pushkar Intel Labs Predictive Data Locality Optimization for Higher-Order Tensor Computations
Alex RatnerRatner, Alex University of Washington Committee Member in Program Committee within the MAPS-track
Binoy RavindranRavindran, Binoy Virginia TechUnited States Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Veselin RaychevRaychev, Veselin DeepCodeSwitzerland Learning to Find Naming Issues with Big Code and Small Supervision
Brandon ReagenReagen, Brandon New York UniversityUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Benjamin ReberReber, Benjamin University of Rochester Uniform Lease vs LRU Cache: Analysis and Evaluation
Rolph RectoRecto, Rolph Cornell UniversityUnited States Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
John RegehrRegehr, John University of UtahUnited States Alive2: Bounded Translation Validation for LLVM
John ReidReid, John JKR Associates and Rutherford Appleton Laboratory History of Coarrays and SPMD Parallelism in Fortran
Alex ReinkingReinking, Alex Microsoft ResearchUnited States Perceus: Garbage Free Reference Counting with Reuse
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Classifying and Prioritizing Facebook Infer's Warnings
Ulysse RemondRemond, Ulysse Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance Addressable quantum gates
Bin RenRen, Bin College of William & MaryUnited States DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion United States of America in Program Committee within the LCTES-track
Xiaolei RenRen, Xiaolei University of Texas at ArlingtonUnited States Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Mathys RennelaRennela, Mathys INRIA ParisFrance Committee Member in Program Committee within the PLanQC-track
John RennerRenner, John University of California at San DiegoUnited States Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John ReppyReppy, John University of Chicago, USA The History of Standard ML Committee Member in Program Committee within the HOPL IV Papers-track
Thomas RepsReps, Thomas University of WisconsinUnited States Tips on Writing a Research Paper Sound Probabilistic Inference via Guide Types Central Moment Analysis for Cost Accumulators in Probabilistic Programs Committee Member in Program Committee within the PLDI -track
Tamara RezkRezk, Tamara Inria, France Committee Member in Organizing Committee within the PLMW@PLDI-track Committee Member in Program Committee within the PLDI -track
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States SPPL: Probabilistic Programming with Fast Exact Symbolic Inference Committee Member in Program Committee within the PLDI -track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Proof Repair across Type Equivalences
Wille RobertRobert, Wille Johannes Kepler University, Linz JKQ: JKU Tools for Quantum Computing
Rodrigo C. O. RochaRocha, Rodrigo C. O. University of Edinburgh, UK HyFM: Function Merging for Free
Christine RochangeRochange, Christine University of ToulouseFrance France in Program Committee within the LCTES-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in Program Committee within the PLDI -track
Atanas RountevRountev, Atanas Ohio State UniversityUnited States IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Cody RouxRoux, Cody DraperUnited States CoStar: A Verified ALL(*) Parser
Reuben N. S. RoweRowe, Reuben N. S. Royal Holloway University of LondonUnited Kingdom Cyclic Program Synthesis
Probir RoyRoy, Probir University of Michigan at Dearborn United States of America in Program Committee within the LCTES-track
Rohan Basu RoyRoy, Rohan Basu Northeastern UniversityUnited States Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Concolic Program Repair
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-Champaign Committee Member in Program Committee within the PLDI -track
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Committee Member in Program Committee within the PLDI -track
Colm A. RyanRyan, Colm A. AWS Center for Quantum Computing Open Quantum Assembly Language
Barbara RyderRyder, Barbara Virginia TechUnited States Committee Member in Program Committee within the HOPL IV Papers-track
Jihyun RyooRyoo, Jihyun Pennsylvania State UniversityUnited States Distance-in-Time versus Distance-in-Space
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Session Chair of Sunday Evening (part of HOPL IV Papers) Ask Me Anything with Sukyoung Ryu Committee Member in Program Committee within the PLDI -track Committee Member in Program Committee within the HOPL IV Papers-track
S Feras SaadSaad, Feras Massachusetts Institute of TechnologyUnited States SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Mathias Sablé-MeyerSablé-Meyer, Mathias PSL University; Collège de France; NeuroSpinFrance DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Saday SadayappanSadayappan, Saday University of UtahUnited States IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Caitlin SadowskiSadowski, Caitlin Committee Member in Program Committee within the PLDI -track
Arturo SalzSalz, Arturo Synopsys, Inc.United States Verilog HDL and its ancestors and descendants
Roopsha SamantaSamanta, Roopsha Purdue University Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Opening Remarks General Chair in Organizing Committee within the MAPS-track Committee Member in Program Committee within the PLDI -track
Michael SammlerSammler, Michael MPI-SWSGermany RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Reticle: A Virtual Machine for Programming Modern FPGAs
Jack SampsonSampson, Jack Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Alex Sanchez-SternSanchez-Stern, Alex University of California at San DiegoUnited States Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
Nathaniel SandsSands, Nathaniel University of Southern CaliforniaUnited States Example-Guided Synthesis of Relational Queries
Vijay SaraswatSaraswat, Vijay IBM TJ Watson Research Center Session Chair of Monday Morning (part of HOPL IV Papers)
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Committee Member in Program Committee within the PLDI -track
John SarracinoSarracino, John University of California, San Diego Committee Member in Program Committee within the PLDI -track
Jennifer B. SartorSartor, Jennifer B. Ghent University, BelgiumBelgium Committee Member in Steering Committee within the ISMM-track
Shigeyuki SatoSato, Shigeyuki University of TokyoJapan Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Bernhard ScholzScholz, Bernhard University of SydneyAustralia An Efficient Interpreter for Datalog by De-specializing Relations
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Array Languages Make Neural Networks Fast
Eddie SchouteSchoute, Eddie University of Maryland Quantum routing with fast reversals
Wolfgang Schröder-PreikschatSchröder-Preikschat, Wolfgang Friedrich-Alexander University Erlangen-Nürnberg (FAU) Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
Christian SchulteSchulte, Christian KTH Royal Institute of TechnologySweden A history of the Oz multiparadigm language
Simon SchusterSchuster, Simon Friedrich-Alexander University Erlangen-Nürnberg (FAU) Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
Marija SelakovicSelakovic, Marija TU Darmstadt, Germany Learning to Make Compiler Optimizations More Effective
Peter SelingerSelinger, Peter Dalhousie University Committee Member in Program Committee within the PLanQC-track
Koushik SenSen, Koushik University of California, Berkeley Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond
Ilya SergeySergey, Ilya Yale-NUS College; National University of SingaporeSingapore Committee Member in Virtualization Committee for PLDI 2021 Practical Smart Contract Sharding with Ownership and Commutativity Analysis Cyclic Program Synthesis
John ShalfShalf, John Lawrence Berkeley National LaboratoryUnited States Data Layouts are Important (Extended Abstract)
Nathan ShammahShammah, Nathan Unitary Fund Mitiq: a Python toolkit for quantum error mitigation
Zhong ShaoShao, Zhong Yale UniversityUnited States CompCertO: Compiling Certified Open C Components
Zili ShaoShao, Zili The Chinese University of Hong Kong Committee Member in Steering Committee within the LCTES-track
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Concolic Program Repair
Rahul SharmaSharma, Rahul Microsoft Research Committee Member in Program Committee within the PLDI -track
Hrishee ShastriShastri, Hrishee Reed College Quantum routing with fast reversals
Mary ShawShaw, Mary Carnegie Mellon University Myths and Mythconceptions: What does it mean to be a programming language, anyhow?
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Timothy SherwoodSherwood, Timothy University of California at Santa BarbaraUnited States Wire Sorts: A Language Abstraction for Safe Hardware Composition
Elaine ShiShi, Elaine Cornell UniversityUnited States Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Qingkai ShiShi, Qingkai Hong Kong University of Science and TechnologyChina Path-Sensitive Sparse Analysis without Path Conditions
Yang ShiShi, Yang National University of Defense Technology WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
Yunong ShiShi, Yunong University of ChicagoUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Tatiana ShpeismanShpeisman, Tatiana GoogleUnited States Committee Member in Program Committee within the PLDI -track
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States Committee Member in Steering Committee within the LCTES-track
Thomas ShullShull, Thomas Oracle Labs Committee Member in Program Committee within the PLDI -track
Julian ShunShun, Julian MIT Committee Member in Program Committee within the PLDI -track
Min SiSi, Min Argonne National Laboratory United States of America in Program Committee within the LCTES-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Workshops and Tutorials Co-Chair in Organizing Committee for PLDI 2021
Brian SilvermanSilverman, Brian Playful Invention Co. History of Logo
Jeremy SingerSinger, Jeremy Glasgow UniversityUnited Kingdom Session Chair of Keynote and Session 1: Caching (part of ISMM) Committee Member in Steering Committee within the ISMM-track
Gagandeep SinghSingh, Gagandeep VMWare Research and UIUCUnited States Committee Member in Program Committee within the PLDI -track
Rishabh SinghSingh, Rishabh Google BrainUnited States Committee Member in Program Committee within the PLDI -track
Kartik SinghalSinghal, Kartik University of ChicagoUnited States Extending Gottesman Types Beyond the Clifford Group Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Vectorized Secure Evaluation of Decision Forests
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Retrofitting Effect Handlers onto OCaml
Aishwarya SivaramanSivaraman, Aishwarya University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Cyril SixSix, Cyril Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion
Justin SlepakSlepak, Justin United States Committee Member in Program Committee within the ARRAY-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Session Chair of Monday Early Afternoon (part of HOPL IV Papers) Implementing smart contract security analyses using the MadMax/Gigahorse framework Committee Member in Program Committee within the PLDI -track Committee Member in Program Committee within the HOPL IV Papers-track
Calvin SmithSmith, Calvin University of Texas AustinUnited States Committee Member in Program Committee within the MAPS-track
Gus Henry SmithSmith, Gus Henry University of Washington Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
Wesley SmithSmith, Wesley University of Rochester Uniform Lease vs LRU Cache: Analysis and Evaluation
John SmolinSmolin, John IBM T.J Watson Research Center Open Quantum Assembly Language
Gert SmolkaSmolka, Gert Saarland University A history of the Oz multiparadigm language
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning Committee Member in Program Committee within the PLDI -track
Cynthia SolomonSolomon, Cynthia Cynthia Solomon ConsultingUnited States History of Logo
Tyler SorensenSorensen, Tyler University of California at Santa Cruz Student Research Competition Co-Chair in Organizing Committee for PLDI 2021 Co-chair in Student Research Competition (SRC) within the PLDI SRC-track
Matthew SotoudehSotoudeh, Matthew University of California at DavisUnited States Provable Repair of Deep Neural Networks
Michael SperberSperber, Michael Active Group GmbHGermany Evolution of Emacs Lisp
Simon SpiesSpies, Simon MPI-SWSGermany Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States United States of America in Program Committee within the LCTES-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Sponsorship in Organizing Committee for PLDI 2021 Demanded Abstract Interpretation
Caleb StanfordStanford, Caleb University of PennsylvaniaUnited States Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Co-chair in Organizing Committee for HOPL IV Session Chair of Sunday Morning (part of HOPL IV Papers) Session Chair of Monday Late Afternoon (part of HOPL IV Papers) Session Chair of Tuesday Morning (part of HOPL IV Papers) Welcome to HOPL IV Conference Program Co-Chair in Organizing Committee within the HOPL IV Papers-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
Samuel SteffenSteffen, Samuel ETH ZurichSwitzerland Unqomp: Synthesizing Uncomputation in Quantum Circuits
Jon SteidelSteidel, Jon Intel Inc. History of Coarrays and SPMD Parallelism in Fortran
Benno SteinStein, Benno University of Colorado at BoulderUnited States Demanded Abstract Interpretation
Bjarne StroustrupStroustrup, Bjarne Morgan Stanley Thriving in a crowded and changing world: C++ 2006-2020
Michelle StroutStrout, Michelle HPE and University of ArizonaUnited States Committee Member in Steering Committee for PLDI 2021 Concerns We Are Not Separating: It's Time for New Programming Stacks
Pengfei SuSu, Pengfei University of California, MercedUnited States United States of America in Program Committee within the LCTES-track
Sreenivas SubramoneySubramoney, Sreenivas Intel Labs Radiant: Efficient Page Table Management for Tiered Memory Systems
Yulei SuiSui, Yulei University of Technology SydneyAustralia Australia in Program Committee within the LCTES-track
Qingxiao SunSun, Qingxiao Beihang UniversityChina Committee Member in Artifact Evaluation Committee within the LCTES-track
Xiaoyang SunSun, Xiaoyang University of LeedsUnited Kingdom Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Yican SunSun, Yican Peking UniversityChina Quantitative Analysis of Assertion Violations in Probabilistic Programs
Zhihang SunSun, Zhihang Tsinghua UniversityChina Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Aarthi SundaramSundaram, Aarthi Microsoft Quantum Extending Gottesman Types Beyond the Clifford Group
Neel SundaresanSundaresan, Neel Microsoft Corporation Generating Bug-Fixes Using Pretrained Transformers PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon UniversityUnited States Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Alexey SvyatkovskiySvyatkovskiy, Alexey MicrosoftUnited States Generating Bug-Fixes Using Pretrained Transformers
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the PLDI -track
Kasia SwirydowiczSwirydowicz, Kasia Pacific Northwest National LaboratoryUnited States Improving the Performance of DGEMM with MoA and Cache-Blocking
Ondrej SykoraSykora, Ondrej Google Research automemcpy A framework for automatic generation of fundamental memory operations
Don SymeSyme, Don Microsoft Research The Early History of F#
Tamás SzabóSzabó, Tamás JGU Mainz; WorkdayGermany Concise, Type-Safe, and Efficient Structural Diffing Incremental Whole-Program Analysis in Datalog with Lattices
T Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Jubi TanejaTaneja, Jubi University of UtahUnited States Committee Member in Student Research Competition (SRC) within the PLDI SRC-track
Xulong TangTang, Xulong University of PittsburghUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation Distance-in-Time versus Distance-in-Space Committee Member in Program Committee within the PLDI -track
Zhanyong TangTang, Zhanyong Northwest UniversityChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Runzhou TaoTao, Runzhou Columbia UniversityUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Wei TaoTao, Wei Nanjing UniversityChina JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Joseph TassarottiTassarotti, Joseph Boston CollegeUnited States Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) Panel on Grad School Committee Member in Program Committee within the PLDI -track
Gil TeixeiraTeixeira, Gil Multi-Language Static Code Analysis on the LARA Framework
Vasyl TelimanTeliman, Vasyl National Technical University of UkraineUkraine Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Aalok ThakkarThakkar, Aalok University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Provable Repair of Deep Neural Networks
Doru Thom PopoviciThom Popovici, Doru Lawrence Berkeley National LabUnited States Data Layouts are Important (Extended Abstract)
Stephen ThomasThomas, Stephen National Renewable Energy LaboratoryUnited States Improving the Performance of DGEMM with MoA and Cache-Blocking
Paul ThomsonThomson, Paul GoogleUnited Kingdom Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Jesmin Jahan TithiTithi, Jesmin Jahan Intel Corporation, ACM-Selects, ACM COPE, Stony Brook University, USAUnited States Programme Committee in Organizing Committee within the MAPS-track
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the SOAP-track
Ben L. TitzerTitzer, Ben L. Independent ConsultantUnited States Committee Member in Program Committee within the PLDI -track
Devesh TiwariTiwari, Devesh Northeastern UniversityUnited States Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Nicolas TollenaereTollenaere, Nicolas InriaFrance IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Wei TongTong, Wei Huazhong University of Science and Technology, China Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Steering Committee for PLDI 2021 Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Caroline TrippelTrippel, Caroline Stanford UniversityUnited States Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Jean-Baptiste TristanTristan, Jean-Baptiste Oracle LabsUnited States Committee Member in Program Committee within the HOPL IV Papers-track
Chia-Che TsaiTsai, Chia-Che Texas A&M UniversityUnited States When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Paul TurnerTurner, Paul Google Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Fusuma: Double-ended Threaded Compaction
Peter UlbrichUlbrich, Peter Technische Universität Dortmund Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
Divyesh UnadkatUnadkat, Divyesh Indian Institute of Technology Bombay & TCS ResearchIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dominique UnruhUnruh, Dominique University of Tartu Quantum and classical registers Committee Member in Program Committee within the PLanQC-track
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Session 2 (part of SOAP) Session Chair of Session 1 (part of SOAP) Welcome from the chairs Award and send-off Committee Member in Organizing Committee within the SOAP-track
Mark UttingUtting, Mark The University of QueenslandAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Beyond Weak Memory Consistency: The Challenges of Memory Persistency Committee Member in Program Committee within the PLDI -track
Benoit ValironValiron, Benoit Université Paris-Saclay, CNRS, CentraleSupélec, LMFFrance Addressable quantum gates
John van de Weteringvan de Wetering, John University of Oxford, Radboud Universiteit Nijmegen Invited Talk: Quantum compilation using the ZX-calculus
David Van HornVan Horn, David University of MarylandUnited States RbSyn: Type- and Effect-Guided Program Synthesis
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium A history of the Oz multiparadigm language
Nikos VasilakisVasilakis, Nikos MIT CSAIL, USAGreece Committee Member in Program Committee within the PLDI -track
Kapil VaswaniVaswani, Kapil Microsoft Research Committee Member in Program Committee within the PLDI -track
Niki VazouVazou, Niki IMDEA Software Institute Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2021 Co-chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Margus VeanesVeanes, Margus Microsoft ResearchUnited States Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Martin VechevVechev, Martin ETH ZurichSwitzerland Unqomp: Synthesizing Uncomputation in Quantum Circuits Learning to Find Naming Issues with Big Code and Small Supervision Fast and Precise Certification of Transformers Robustness Certification with Generative Models
Luis VegaVega, Luis University of WashingtonUnited States Reticle: A Virtual Machine for Programming Modern FPGAs
Anand VenkatVenkat, Anand Predictive Data Locality Optimization for Higher-Order Tensor Computations
Hans-Nikolai VießmannVießmann, Hans-Nikolai Radboud University Nijmegen, NetherlandsNetherlands Array Languages Make Neural Networks Fast
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Committee Member in Organizing Committee within the Infer Practitioners-track
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Committee Member in Program Committee within the PLDI -track
Finn VoichickVoichick, Finn University of Maryland Toward A Quantum Programming Language for Higher-Level Formal Verification
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia Scalable String Analysis: An Experience Report
Ian VoyseyVoysey, Ian Carnegie Mellon UniversityUnited States Filling Typed Holes with Live GUIs
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Session Chair of Tuesday Late Afternoon (part of HOPL IV Papers) Committee Member in Program Committee within the HOPL IV Papers-track
Mitchell WandWand, Mitchell Northeastern University Hygienic Macro Technology
Chenxi WangWang, Chenxi UCLAUnited States Committee Member in External Review Committee within the ISMM-track
Di WangWang, Di Carnegie Mellon UniversityUnited States Sound Probabilistic Inference via Guide Types Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Haibo WangWang, Haibo University of LeedsUnited Kingdom Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Jinyi WangWang, Jinyi Shanghai Jiao Tong UniversityChina Quantitative Analysis of Assertion Violations in Probabilistic Programs
Kai WangWang, Kai FacebookUnited States Committee Member in Artifact Evaluation Committee within the LCTES-track
Ke WangWang, Ke Visa Research Committee Member in Program Committee within the PLDI -track
Lin-Wang WangWang, Lin-Wang Lawrence Berkeley National LaboratoryUnited States Data Layouts are Important (Extended Abstract)
Linzhang WangWang, Linzhang Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Peixin WangWang, Peixin Shanghai Jiao Tong University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wenxi WangWang, Wenxi University of Texas at Austin, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xiaolin WangWang, Xiaolin Peking UniversityChina Committee Member in External Review Committee within the ISMM-track
Xinyu WangWang, Xinyu University of MichiganUnited States Web Question Answering with Neurosymbolic Program Synthesis Synthesizing Data Structure Refinements from Integrity Constraints Committee Member in Program Committee within the PLDI -track
Yanjun WangWang, Yanjun Purdue University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanzhi WangWang, Yanzhi Northeastern UniversityUnited States DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Yifei WangWang, Yifei Nanjing UniversityChina JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Ying WangWang, Ying ICT CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
Yuepeng WangWang, Yuepeng University of PennsylvaniaUnited States Synthesizing Data Structure Refinements from Integrity Constraints
Zheng WangWang, Zheng University of Leeds, UK HyFM: Function Merging for Free Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing United Kingdom in Program Committee within the LCTES-track
Zhenlin WangWang, Zhenlin Michigan Technological University Closing Remarks Welcome from the Chairs and Conference Report Committee Member in Organizing Committee within the ISMM-track
Gerald WeberWeber, Gerald The University of Auckland WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Languages on Android
Heike WehrheimWehrheim, Heike Paderborn UniversityGermany Committee Member in Program Committee within the SOAP-track
Guannan WeiWei, Guannan Purdue University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuanhao WeiWei, Yuanhao Carnegie Mellon UniversityUnited States Concurrent Deferred Reference Counting with Constant-Time Overhead
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States Panel on Advising and Research Committee Member in Program Committee within the HOPL IV Papers-track
Elliott WenWen, Elliott The University of Auckland WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Languages on Android
Mei WenWen, Mei National University of Defense Technology WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
Leo WhiteWhite, Leo Jane Street Retrofitting Effect Handlers onto OCaml
John WickersonWickerson, John Imperial College LondonUnited Kingdom Publicity Co-Chair in Organizing Committee for PLDI 2021 Session Chair of Ask Me Anything (part of PLDI Ask Me Anything)
Ryan WilliamsWilliams, Ryan Northeastern UniversityUnited States Weldr: Fusing Binaries for Simplified Analysis
Christian WimmerWimmer, Christian Oracle LabsUnited States Compiler-Assisted Object Inlining with Value Fields Committee Member in Program Committee within the ISMM-track
Allen Wirfs-BrockWirfs-Brock, Allen Wirfs-Brock AssociatesUnited States Session Chair of Tuesday Evening (part of HOPL IV Papers) JavaScript: The First 20 Years Committee Member in Program Committee within the HOPL IV Papers-track
Felix WolfWolf, Felix Technical University of Darmstadt Learning to Make Compiler Optimizations More Effective
Lionel WongWong, Lionel Massachusetts Institute of TechnologyUnited States DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Clark WoodWood, Clark Massachusetts Institute of TechnologyUnited States Integration Verification across Software and Hardware for a Simple Embedded System
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden ISMM Business Meeting Closing Remarks Welcome from the Chairs and Conference Report Committee Member in Program Committee within the PLDI -track Committee Member in Organizing Committee within the ISMM-track
Bo WuWu, Bo Colorado School of Mines United States of America in Program Committee within the LCTES-track
Chen WuWu, Chen Microsoft, China Generating Bug-Fixes Using Pretrained Transformers PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Chen WuWu, Chen HuaweiChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Rongxin WuWu, Rongxin Xiamen UniversityChina Path-Sensitive Sparse Analysis without Path Conditions
Xiaodi WuWu, Xiaodi University of Maryland Expanding the VOQC Toolkit Committee Member in Program Committee within the PLanQC-track
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
X Sam XiXi, Sam Google automemcpy A framework for automatic generation of fundamental memory operations
Ningning XieXie, Ningning University of TorontoCanada Perceus: Garbage Free Reference Counting with Reuse
Dongpeng XuXu, Dongpeng University of New HampshireUnited States Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Guoqing Harry XuXu, Guoqing Harry University of California at Los AngelesUnited States Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace Committee Member in Steering Committee within the ISMM-track
Anton XueXue, Anton University of Pennsylvania Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason XueXue, Jason City University of Hong Kong, China Committee Member in Steering Committee within the LCTES-track
Jingling XueXue, Jingling UNSWAustralia Committee Member in Steering Committee within the LCTES-track
Y Eran YahavYahav, Eran Technion Committee Member in Virtualization Committee for PLDI 2021 PC Chair in Organizing Committee for PLDI 2021 Committee Member in Program Committee within the PLDI -track
Hongseok YangYang, Hongseok KAISTSouth Korea Session Chair of Ask Me Anything (part of PLDI Ask Me Anything) Committee Member in Program Committee within the PLDI -track
Jean YangYang, Jean Carnegie Mellon University Panel on Career Paths
Jianan YaoYao, Jianan Columbia UniversityUnited States Gleipnir: Toward Practical Error Analysis for Quantum Programs
Peisen YaoYao, Peisen Hong Kong University of Science and TechnologyChina Path-Sensitive Sparse Analysis without Path Conditions Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Nathaniel YazdaniYazdani, Nathaniel Northeastern UniversityUnited States Proof Repair across Type Equivalences
Guixin YeYe, Guixin Northwest UniversityChina Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Committee Member in Program Committee within the PLDI -track
Irene YoonYoon, Irene University of Pennsylvania Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nobuko YoshidaYoshida, Nobuko Imperial College LondonUnited Kingdom Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
May YoungYoung, May University of British Columbia Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators
Nengkun YuYu, Nengkun UTSn.n. Quantum Abstract Interpretation Committee Member in Program Committee within the PLanQC-track
Qiaoyan YuYu, Qiaoyan University of New HampshireUnited States Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Tomofumi YukiYuki, Tomofumi INRIA Committee Member in Program Committee within the PLDI -track
Z Ayal ZaksZaks, Ayal Intel Corporation and Technion, Israel Committee Member in Program Committee within the PLDI -track
Uma ZalakainZalakain, Uma University of Glasgow Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vladimir ZamdzhievZamdzhiev, Vladimir Inria NancyFrance Committee Member in Program Committee within the PLanQC-track
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the PLDI -track
Will ZengZeng, Will Unitary FundUnited States Committee Member in Program Committee within the PLanQC-track
William J. ZengZeng, William J. Unitary Fund, Goldman Sachs Mitiq: a Python toolkit for quantum error mitigation
Jidong ZhaiZhai, Jidong Tsinghua University China in Program Committee within the LCTES-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Path-Sensitive Sparse Analysis without Path Conditions Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chunyuan ZhangZhang, Chunyuan National University of Defense Technology WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation Committee Member in Program Committee within the PLDI -track
Haibo ZhangZhang, Haibo Pennsylvania State UniversityUnited States Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Kun ZhangZhang, Kun Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Lei ZhangZhang, Lei ICT CAS CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
Renwei ZhangZhang, Renwei Huawei TechnologiesChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Xin ZhangZhang, Xin Peking UniversityChina Committee Member in Program Committee within the PLDI -track
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zheng ZhangZhang, Zheng Rutgers University Committee Member in Steering Committee within the LCTES-track
David ZhaoZhao, David University of SydneyAustralia An Efficient Interpreter for Datalog by De-specializing Relations
Hui ZhaoZhao, Hui University of North TexasUnited States Distance-in-Time versus Distance-in-Space
Jie ZhaoZhao, Jie Hunan University, Changsha, HunanChina AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Mengying ZhaoZhao, Mengying Shandong University China in Program Committee within the LCTES-track
XiaoLei ZhaoZhao, XiaoLei National University of Defense Technology WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
Yang ZhaoZhao, Yang Oracle Labs Scalable String Analysis: An Experience Report
Yutong ZhaoZhao, Yutong Huazhong University of Science and Technology, China Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
Zhengji ZhaoZhao, Zhengji Lawrence Berkeley National LaboratoryUnited States Data Layouts are Important (Extended Abstract)
Qilong ZhengZheng, Qilong University of Science and Technology of ChinaChina Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Keren ZhouZhou, Keren Rice UniversityUnited States Committee Member in Artifact Evaluation Committee within the LCTES-track
Yaoda ZhouZhou, Yaoda University of Hong Kong Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
He ZhuZhu, He Rutgers University, USA Committee Member in Program Committee within the PLDI -track
Shaowei ZhuZhu, Shaowei Princeton UniversityUnited States Termination Analysis without the Tears
Roshanak Zilouchian MoghaddamZilouchian Moghaddam, Roshanak Microsoft PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
Thomas ZimmermannZimmermann, Thomas Microsoft Research Committee Member in Program Committee within the SOAP-track
Ben ZornZorn, Ben Microsoft Committee Member in Program Committee within the PLDI -track
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Session Chair of Session 2: Paging/Structuring & Session 3: Allocating/Copying (part of ISMM)
Margherita ZorziZorzi, Margherita University of VeronaItaly qKleene: Verification of Quantum RAM Made Easy Committee Member in Program Committee within the PLanQC-track
Daming ZouZou, Daming ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gefei ZuoZuo, Gefei University of MichiganUnited States Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Session Chair of Session 2 (part of Infer Practitioners) Committee Member in Program Committee within the Infer Practitioners-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UKUnited Kingdom Session Chair of Session 1 (principles) (part of ARRAY) Array Languages Make Neural Networks Fast Committee Member in Program Committee within the ARRAY-track
Ž Đorđe ŽikelićŽikelić, Đorđe IST AustriaAustria Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis Proving Non-termination by Program Reversal

PLDI 2021 Contributors

Results (936)

Tracks

Co-hosted Conferences

Workshops