PLDI 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (791)

A Mohammad Abdel-MajeedAbdel-Majeed, Mohammad University of Jordan, Jordan Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Efficient Handling of String-Number Conversion
Anubhavnidhi AbhashkumarAbhashkumar, Anubhavnidhi University of Wisconsin-Madison, USA Detecting Network Load Violations for Distributed Control Planes
Oskar AbrahamssonAbrahamsson, Oskar Chalmers University of TechnologySweden Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Umut A. AcarAcar, Umut A. Carnegie Mellon University, USA Responsive Parallelism with Futures and State
Sara AchourAchour, Sara MITUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Ulf AdamsAdams, Ulf GoogleGermany Committee Member in Program Committee within the BAPL-track
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-Champaign, USA Scalable Validation of Binary Lifters
Kunal AgrawalAgrawal, Kunal Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Technical talk: Compositional Compiler Correctness Committee Member in External Program Committee within the PLDI Research Papers-track
Alex AikenAiken, Alex Stanford University, USA Program Optimization for Machine Learning "Ask Me Anything" with Alex Aiken First-Order Quantified Separators
Sam AinsworthAinsworth, Sam University of EdinburghUnited Kingdom Prefetching in Functional Languages
David AkeleyAkeley, David University of California at Los Angeles, USA Type-Directed Scheduling of Streaming Accelerators
Aditya AkellaAkella, Aditya University of Wisconsin-Madison, USA Detecting Network Load Violations for Distributed Control Planes
Syed Asad AlamAlam, Syed Asad The University of DublinIreland WIP: Beyond Base-2 Logarithmic Number Systems
H. Alan BeadleAlan Beadle, H. University of Rochester Understanding and Optimizing Persistent Memory Allocation
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison, USA Session Chair of Formal Methods and Reinforcement Learning (part of MAPL) Proving Data-Poisoning Robustness in Decision Trees Committee Member in Program Committee within the PLDI Research Papers-track Committee Member in Program Committee within the MAPL-track
Yousef AlhessiAlhessi, Yousef University of California, San Diego Generating Correctness Proofs with Neural Networks
Mohammad AlizadehAlizadeh, Mohammad MIT CSAIL Learned Garbage Collection
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research Typilus: Neural Type Hints
Nicholas AllenAllen, Nicholas Oracle Labs, Australia Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
Saman AmarasingheAmarasinghe, Saman MITUnited States Compiler 2.0: Using Machine Learning to Modernize Compiler Technology
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of Technology, USA Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
Adam AndersonAnderson, Adam University of Washington, USA Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
June AndronickAndronick, June CSIRO's Data61 and UNSWAustralia Committee Member in External Program Committee within the PLDI Research Papers-track
Anastasios AntoniadisAntoniadis, Anastasios University of Athens, GreeceGreece Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
Sotiris ApostolakisApostolakis, Sotiris Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Andrew W. AppelAppel, Andrew W. Princeton Verified Sequential Malloc/Free Verified Software Toolchain: a powerful and practical tool
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge ARMv8 and RISC-V relaxed memory concurrency
ArvindArvind Massachusetts Institute of Technology, USA The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Sachille AtapattuAtapattu, Sachille Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, Sweden Efficient Handling of String-Number Conversion
Eric AtkinsonAtkinson, Eric Massachusetts Institute of Technology, USA Reactive Probabilistic Programming
David I. AugustAugust, David I. Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College London, UK Gillian: a Multi-language Platform for Program Correctness and Incorrectness Gillian, Part I: A Multi-language Platform for Symbolic Execution
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
B David B. WhalleyB. Whalley, David Florida State University pc in Program Committee within the LCTES-track
Maximilian BaaderBaader, Maximilian ETH Zurich, SwitzerlandSwitzerland Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Sara BaghsorkhiBaghsorkhi, Sara Intel Labs Committee Member in Program Committee for ISMM 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
Zhenyu BaiBai, Zhenyu University of Toulouse Improving the performance of WCET analysis in the presence of variable latencies
Adarsha BalajiBalaji, Adarsha Drexel University Compiling Spiking Neural Networks to Neuromorphic Hardware
George BalatsourasBalatsouras, George Google Committee Member in Program Committee within the SOAP-track
Thomas BallBall, Thomas Microsoft MakeCode
Subarno BanerjeeBanerjee, Subarno University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Aman BansalBansal, Aman IIT Bombay, IndiaIndia Garbage Collection Using a Finite Liveness Domain
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
Guillaume BarbierBarbier, Guillaume ENS Rennes, France WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Raj BarikBarik, Raj Uber Technologies Inc. pc in Program Committee within the LCTES-track
Dan BarowyBarowy, Dan Williams CollegeUnited States Session Chair of Parsing, Debugging, and Code Search (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Earl T. BarrBarr, Earl T. University College London, UK Typilus: Neural Type Hints
Gilles BartheBarthe, Gilles MPI for Security and Privacy, Germany / IMDEA Software Institute, Spain Constant-Time Foundations for the New Spectre Era
Prithayan BaruaBarua, Prithayan Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Shrutarshi BasuBasu, Shrutarshi Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guillaume BaudartBaudart, Guillaume IBM Research Reactive Probabilistic Programming pc in Program Committee within the LCTES-track
Theodore BauerBauer, Theodore Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Thomas BauereissBauereiss, Thomas University of Cambridge Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Erick BaumanBauman, Erick University of Texas at DallasUnited States Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Rohan BavishiBavishi, Rohan UC BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ryan BeckettBeckett, Ryan Microsoft Research, USA NV: An Intermediate Language for Verification of Network Control Planes
Jonathan BellBell, Jonathan George Mason UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Naama Ben-DavidBen-David, Naama Carnegie Mellon University, USA NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
Luca BeniniBenini, Luca ETH Zurich, Switzerland A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Session Chair of Session 6 (part of PLDI Ask Me Anything) Mentoring talk: How to Have Real-World Impact: Five Easy Pieces
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Welcome and brief project overviews Committee Member in Organizing Committee within the REMS-DeepSpec-track
Gilbert BernsteinBernstein, Gilbert University of California at Berkeley, USA Type-Directed Scheduling of Streaming Accelerators
Gérard BerryBerry, Gérard Collège de France, France HipHop.js: (A)Synchronous Reactive Web Programming
Gautier BerthouBerthou, Gautier Univ Lyon, INSA Lyon, Inria, CITIFrance Intermittent Computing with Peripherals, Formally Verified
Vaibhav BhageeBhagee, Vaibhav IIT Delhi, IndiaIndia OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
Abhishek BichhawatBichhawat, Abhishek Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Benjamin BichselBichsel, Benjamin ETH Zurich, Switzerland Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Pavol BielikBielik, Pavol ETH ZürichSwitzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Steve BlackburnBlackburn, Steve Australian National UniversityAustralia Committee Member in Program Committee for ISMM 2020
Guy E. BlellochBlelloch, Guy E. Carnegie Mellon University, USA NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Tool Talk: Soot
Martin BodinBodin, Martin Imperial College LondonUnited Kingdom WebAssembly: sequential and concurrent semantics
Hans-J. BoehmBoehm, Hans-J. Google Session Chair of Bug Finding (part of PLDI Research Papers) Towards an API for the Real Numbers Committee Member in External Program Committee within the PLDI Research Papers-track
Udi BokerBoker, Udi IDC Herzliya, Israel Decidable Verification under a Causally Consistent Shared Memory
Michael D. BondBond, Michael D. Ohio State University, USA Crafty: Efficient, HTM-Compatible Persistent Transactions SmartTrack: Efficient Predictive Race Detection Committee Member in Program Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
James BornholtBornholt, James University of Texas at AustinUnited States Session Chair of Synthesis I (part of PLDI Research Papers) WIP: A Synthesis-aided Compiler for DSP Architectures Committee Member in Program Committee within the PLDI Research Papers-track
Thomas BourgeatBourgeat, Thomas Massachusetts Institute of Technology, USA The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Jason BreckBreck, Jason University of Wisconsin-Madison, USA Templates and Recurrences: Better Together
Lexi BrentBrent, Lexi International Computer Science Institute, USA / University of Sydney, Australia Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Fraser BrownBrown, Fraser Stanford University, USA Towards a Verified Range Analysis for JavaScript JITs
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland From stateless functions to stateful applications: Azure Durable Functions Committee Member in Program Committee within the PLDI Research Papers-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Session 14 (part of PLDI Ask Me Anything) Tool Talk: KLEE
Wentao CaiCai, Wentao University of RochesterUnited States Understanding and Optimizing Persistent Memory Allocation
Giovanni CampagnaCampagna, Giovanni Stanford University, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Simone CampanoniCampanoni, Simone Northwestern University, USA CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework pc in Program Committee within the LCTES-track
Brian CampbellCampbell, Brian University of Edinburgh Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Ting CaoCao, Ting Microsoft ResearchChina Committee Member in External Review Committee for ISMM 2020 Session Chair of Memory Management (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Michael CarbinCarbin, Michael Massachusetts Institute of Technology, USA Mentoring talk: Research: It Takes a Village Reactive Probabilistic Programming Committee Member in Program Committee within the PLDI Research Papers-track
Thomas CarleCarle, Thomas University of ToulouseFrance Improving the performance of WCET analysis in the presence of variable latencies
Hugues CasséCassé, Hugues University of ToulouseFrance Improving the performance of WCET analysis in the presence of variable latencies
Elias CastegrenCastegren, Elias KTH Royal Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sunjay CauligiCauligi, Sunjay University of California at San Diego, USA WebAssembly: sequential and concurrent semantics Constant-Time Foundations for the New Spectre Era Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lujing CenCen, Lujing MIT CSAIL Learned Garbage Collection
Stefano CeredaCereda, Stefano Politecnico di MilanoItaly A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations
Sang Kil ChaCha, Sang Kil KAISTSouth Korea pc in Program Committee within the LCTES-track
Tej ChajedChajed, Tej Massachusetts Institute of Technology, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shouvanik ChakrabartiChakrabarti, Shouvanik University of Maryland, USA On the Principles of Differentiable Quantum Programming Languages
Samarjit ChakrabortyChakraborty, Samarjit The University of North Carolina at Chapel HillUnited States WIP: Towards Building Better Mobile Web Browsers for Ad-blocking: The Energy Perspective
Soham ChakrabortyChakraborty, Soham IIT Delhi, IndiaIndia Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Brad ChamberlainChamberlain, Brad Cray, a Hewlett Packard Enterprise companyUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Greg ChanChan, Greg Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Satish ChandraChandra, Satish FacebookUnited States Session Chair of Program Synthesis (part of MAPL) Committee Member in Program Committee within the PLDI Research Papers-track Committee Member in Program Committee within the MAPL-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Committee Member in External Review Committee within the PLDI Research Papers-track
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Student Research Competition Co-Chair in Organizing Committee for PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track Co-chair in SRC Committee within the PLDI Student Research Competition-track Committee Member in Program Committee within the MAPL-track
Krishnendu ChatterjeeChatterjee, Krishnendu IST Austria, Austria Polynomial Invariant Generation for Non-deterministic Recursive Programs
Swarat ChaudhuriChaudhuri, Swarat Rice University Trustworthy Autonomy through Program Synthesis
Jianhui ChenChen, Jianhui Tsinghua University, China Proving Almost-Sure Termination by Omega-Regular Decomposition
Jingji ChenChen, Jingji University of Southern California, USA SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at Austin, USA Multi-modal Synthesis of Regular Expressions
Yilun ChenChen, Yilun Purdue University, USA Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Yixuan ChenChen, Yixuan University of Michigan, USA / Yale University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan Efficient Handling of String-Number Conversion
James CheneyCheney, James University of Edinburgh, UK FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Alvin CheungCheung, Alvin University of California, Berkeley Committee Member in Program Committee within the PLDI Research Papers-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Minki ChoCho, Minki Seoul National University, South Korea Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Jemin Andrew ChoiChoi, Jemin Andrew University of Toronto, Canada Securing Smart Contract with Runtime Validation
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System
Nathan ChongChong, Nathan AmazonUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Stephen ChongChong, Stephen Harvard UniversityUnited States Session Chair of Day 1 Morning (part of PLMW@PLDI) Co-chair in Organizing Committee within the PLMW@PLDI-track Committee Member in Organizing Committee within the Ally Skills@PLDI-track Committee Member in Organizing Committee within the Ally Skills@PLDI-track
Amit ChopraChopra, Amit Lancaster UniversityUnited Kingdom Programming for Autonomy
Stephen ChouChou, Stephen Massachusetts Institute of Technology, USA Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers University, USA Debugging and Detecting Numerical Errors in Computation with Posits
Dulma ChurchillChurchill, Dulma Facebook London Session Chair of Session 1 (part of Infer Practitioners) Infer team Q&A Committee Member in Program Committee within the Infer Practitioners-track
Gabriela CiocarlieCiocarlie, Gabriela SRI International Behavioral Simulation for Smart Contracts
Jonathan CoatesCoates, Jonathan University of Edinburgh, UK FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Albert CohenCohen, Albert GoogleFrance Committee Member in Steering Committee for PLDI 2020
Murray ColeCole, Murray University of Edinburgh, UK Effective Function Merging in the SSA Form
Byron CookCook, Byron Amazon and University College LondonUnited States "Ask Me Anything" with Byron Cook
Benjamin CosmanCosman, Benjamin University of California at San Diego, USA Type Error Feedback via Analytic Program Repair
Paolo CremonesiCremonesi, Paolo Politecnico di MilanoItaly A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations
Jinhua CuiCui, Jinhua Huazhong University of Science and TechnologyChina ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness
John CyphertCyphert, John University of Wisconsin-Madison, USA Templates and Recurrences: Better Together Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison, USA Panel: Charting your Path Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Proving Data-Poisoning Robustness in Decision Trees Detecting Network Load Violations for Distributed Control Planes Committee Member in SRC Committee within the PLDI Student Research Competition-track
Vijay D'SilvaD'Silva, Vijay Google Inc. Committee Member in External Review Committee within the PLDI Research Papers-track
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Intermittent Computing with Peripherals, Formally Verified
Wei DaiDai, Wei Microsoft Research, n.n. EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Ross DalyDaly, Ross Stanford University, USA Type-Directed Scheduling of Streaming Accelerators
David DaraisDarais, David University of VermontUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Eva DarulovaDarulova, Eva MPI-SWS, Germany Panel: Surviving Grad School Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Anup DasDas, Anup Drexel UniversityUnited States Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories Improving Phase Change Memory Performance with Data Content Aware Access Compiling Spiking Neural Networks to Neuromorphic Hardware
Sandeep DasguptaDasgupta, Sandeep University of Illinois at Urbana-Champaign, USA Scalable Validation of Binary Lifters
Roshan DathathriDathathri, Roshan University of Texas at Austin, USA EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Peli de Halleuxde Halleux, Peli Microsoft Research Microsoft MakeCode
Marianne De MichielDe Michiel, Marianne University of ToulouseFrance Improving the performance of WCET analysis in the presence of variable latencies
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. Lean 4
Bjorn De SutterDe Sutter, Bjorn Ghent University, Belgium Belgium pc in Program Committee within the LCTES-track
Will DeaconDeacon, Will ARM Ltd. ARMv8 and RISC-V relaxed memory concurrency
Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISAFrance Intermittent Computing with Peripherals, Formally Verified
Brian DemskyDemsky, Brian University of California, IrvineUnited States Committee Member in Program Committee for ISMM 2020
Shao Kun DengDeng, Shao Kun Microsoft Corporation Infer#: An Automatic Bug Detector on .NET Programs
Zachary DeVitoDeVito, Zachary Stanford, USA Committee Member in External Review Committee within the PLDI Research Papers-track
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Katamaran: semi-automated verification of ISA specifications
Laxman DhulipalaDhulipala, Laxman Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bui Phi DiepDiep, Bui Phi Uppsala University, Sweden Efficient Handling of String-Number Conversion Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Laura DietzDietz, Laura University of New HampshireUnited States Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
Işıl DilligDillig, Işıl University of Texas at Austin, USA Committee Member in Steering Committee for PLDI 2020 LambdaNet: Probabilistic Type Inference using Graph Neural Networks Multi-modal Synthesis of Regular Expressions "Ask Me Anything" with Işil Dillig Committee Member in Program Committee within the PLDI Research Papers-track
Peter DindaDinda, Peter Northwestern University, USA CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
Elizabeth DinellaDinella, Elizabeth University of Pennsylvania Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs
Sushant DineshDinesh, Sushant University of Illinois at Urbana-Champaign, USA Scalable Validation of Binary Lifters
Chen DingDing, Chen University of Rochester General Chair in Organizing Committee for ISMM 2020 Session Chair of Keynote & Social Hour (part of ISMM ) Welcome from the Chairs & Conference Report Closing Remarks
Shuo DingDing, Shuo Georgia Institute of Technology, USA Debug Information Validation for Optimized Code
Yufei DingDing, Yufei UCSBChina Committee Member in Program Committee within the PLDI Research Papers-track
Craig DisselkoenDisselkoen, Craig University of California at San Diego, USA WebAssembly: sequential and concurrent semantics Constant-Time Foundations for the New Spectre Era
Mike DoddsDodds, Mike Galois, Inc. Session Chair of Language Design II (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Stephen DolanDolan, Stephen University of Cambridge, UK WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Julian DolbyDolby, Julian IBM Research, USA Session Chair of Static Analysis (part of PLDI Research Papers) Tool Talk: WALA Efficient Handling of String-Number Conversion Committee Member in External Program Committee within the PLDI Research Papers-track Committee Member in Program Committee within the SOAP-track
Eelco DolstraDolstra, Eelco Tweag I/ONetherlands Committee Member in Program Committee within the BAPL-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom General Chair in Organizing Committee for PLDI 2020 Session Chair of Welcome! (part of PLDI Research Papers) Session Chair of Welcome! (part of PLDI Research Papers) Session Chair of Welcome! (part of PLDI Research Papers) Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research
Stefano DoniDoni, Stefano Akamas A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Program Committee within the MAPL-track
Samuel DrewsDrews, Samuel University of Wisconsin-Madison, USA Proving Data-Poisoning Robustness in Decision Trees
Derek DreyerDreyer, Derek MPI-SWSGermany Session Chair of Session 7 (part of PLDI Ask Me Anything)
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program Committee within the PLDI Research Papers-track
Gregory J. DuckDuck, Gregory J. National University of Singapore, Singapore Binary Rewriting without Control Flow Recovery
Soline DucoussoDucousso, Soline ENSTA Paris, France Typilus: Neural Type Hints
Greg DurrettDurrett, Greg University of Texas at Austin, USA Multi-modal Synthesis of Regular Expressions
David DurstDurst, David Stanford University, USA Type-Directed Scheduling of Streaming Accelerators
R. Kent DybvigDybvig, R. Kent Cisco Systems, USA Compiler and Runtime Support for Continuation Marks
E Romain EdelmannEdelmann, Romain EPFL, Switzerland Zippy LL(1) Parsing with Derivatives
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea pc in Program Committee within the LCTES-track
Michael EichbergEichberg, Michael TU Darmstadt, GermanyGermany TACAI: An Intermediate Representation based on Abstract Interpretation
Michael EmmiEmmi, Michael Amazon Web Services Behavioral Simulation for Smart Contracts Committee Member in SRC Committee within the PLDI Student Research Competition-track
Frank EmrichEmrich, Frank University of Edinburgh, UK FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Madeline EndresEndres, Madeline University of Michigan, USA Type Error Feedback via Analytic Program Repair
Constantin EneaEnea, Constantin University of Paris Diderot, France Inductive Sequentialization of Asynchronous Programs Behavioral Simulation for Smart Contracts
Andres ErbsenErbsen, Andres The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Program Committee within the BAPL-track
F Zhenman FangFang, Zhenman Simon Fraser UniversityCanada WIP: FPGA-based Near Data Processing Platform Selection Using Fast Performance Modeling pc in Program Committee within the LCTES-track
Nazanin FarahpourFarahpour, Nazanin University of California, Los Angeles (UCLA)United States WIP: FPGA-based Near Data Processing Platform Selection Using Fast Performance Modeling
Kavon FarvardinFarvardin, Kavon University of Chicago, USA From Folklore to Fact: Comparing Implementations of Stacks and Continuations
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Committee Member in External Review Committee within the PLDI Research Papers-track
Kayvon FatahalianFatahalian, Kayvon Stanford University, USA Type-Directed Scheduling of Streaming Accelerators
Matthew FeldmanFeldman, Matthew Stanford University, USA Design Space Exploration Type-Directed Scheduling of Streaming Accelerators
Yu FengFeng, Yu University of California, Santa BarbaraChina Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Vimuth FernandoFernando, Vimuth University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tomas FiedorFiedor, Tomas VUT Brno Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Antonio FilieriFilieri, Antonio Imperial College LondonUnited Kingdom Session Chair of Machine Learning I (part of PLDI Research Papers)
Nikos FilippakisFilippakis, Nikos CERN, Switzerland Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Committee Member in Steering Committee for PLDI 2020 Session Chair of Session 9 (part of PLDI Ask Me Anything) "Ask Me Anything" with Kathleen Fisher
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Committee Member in Steering Committee for PLDI 2020
Matthew FlattFlatt, Matthew University of Utah, USA Compiler and Runtime Support for Continuation Marks Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Christopher W. FletcherFletcher, Christopher W. University of Illinois at Urbana-Champaign, USA Scalable Validation of Binary Lifters
Shaked FlurFlur, Shaked Google Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V ARMv8 and RISC-V relaxed memory concurrency WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Björn ForsbergForsberg, Björn ETH Zurich A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for PLDI 2020 Committee Member in Program Committee within the SOAP-track
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in External Program Committee within the PLDI Research Papers-track
Anthony FoxFox, Anthony University of Cambridge, UK Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Gillian, Part I: A Multi-language Platform for Symbolic Execution Committee Member in External Review Committee within the PLDI Research Papers-track
Jon FrenchFrench, Jon University of Cambridge Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V ARMv8 and RISC-V relaxed memory concurrency
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2020 Session Chair of Verification I (part of PLDI Research Papers) Panel: Charting your Path Committee Member in Program Committee within the PLDI Research Papers-track
Michal FriedmanFriedman, Michal Technion, Israel NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
Aymeric FromherzFromherz, Aymeric Carnegie Mellon University Verified Programming with Project Everest
Hongfei FuFu, Hongfei Shanghai Jiao Tong University, China Polynomial Invariant Generation for Non-deterministic Recursive Programs
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI "Ask Me Anything" with Richard Gabriel
Ben GamariGamari, Ben Well-Typed LLPUnited States Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
Pierre GantyGanty, Pierre IMDEA Software Institute, Spain CacheQuery: Learning Replacement Policies from Hardware Caches
Xiang GaoGao, Xiang National University of Singapore, Singapore Binary Rewriting without Control Flow Recovery
Zheng GaoGao, Zheng University College London, UK Typilus: Neural Type Hints
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in External Review Committee within the PLDI Research Papers-track
Philippa GardnerGardner, Philippa Imperial College London, UK Gillian: a Multi-language Platform for Program Correctness and Incorrectness WebAssembly: sequential and concurrent semantics Gillian, Part I: A Multi-language Platform for Symbolic Execution
Tal GarfinkelGarfinkel, Tal Stanford University WebAssembly: sequential and concurrent semantics
Timon GehrGehr, Timon ETH Zurich, Switzerland Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics λPSI: Exact Inference for Higher-Order Probabilistic Programs Committee Member in External Review Committee within the PLDI Research Papers-track
Kaan GençGenç, Kaan Ohio State University, USA Crafty: Efficient, HTM-Compatible Persistent Transactions SmartTrack: Efficient Predictive Race Detection
Elazar GershuniGershuni, Elazar Tel Aviv UniversityIsrael Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pritam GharatGharat, Pritam Committee Member in External Review Committee within the PLDI Research Papers-track
Nick GiannarakisGiannarakis, Nick Princeton University, USA NV: An Intermediate Language for Verification of Network Control Planes Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Organizing Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Klaus v. GleissenthallGleissenthall, Klaus v. University of California at San Diego, USA Constant-Time Foundations for the New Spectre Era
Patrice GodefroidGodefroid, Patrice Microsoft ResearchUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Saksham GoelGoel, Saksham Indian Institute of Technology, BombayIndia Garbage Collection Using a Finite Liveness Domain
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar IST Austria, Austria Polynomial Invariant Generation for Non-deterministic Recursive Programs
Ehsan Kafshdar GoharshadyGoharshady, Ehsan Kafshdar Ferdowsi University of Mashhad, Iran Polynomial Invariant Generation for Non-deterministic Recursive Programs
Noah GoldsteinGoldstein, Noah Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Victor B. F. GomesGomes, Victor B. F. University of Cambridge, UK Cerberus: executable reference semantics and memory object models for ISO and de facto C
Xiang GongGong, Xiang QualcommUnited States PAQSIM: Fast Performance Model for Graphics Workload on Mobile GPUs
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nikos GorogiannisGorogiannis, Nikos Facebook and Middlesex University LondonUnited Kingdom Session Chair of Session 2 (part of Infer Practitioners) Infer team Q&A Committee Member in Program Committee within the Infer Practitioners-track
Justin GottschlichGottschlich, Justin Intel Labs / PennUnited States Session Chair of Keynote Talk (part of MAPL) Learned Garbage Collection Steering Committee Chair in Organizing Committee within the MAPL-track
Kathryn E. GrayGray, Kathryn E. FacebookUnited Kingdom Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V ARMv8 and RISC-V relaxed memory concurrency
Neville GrechGrech, Neville University of Athens, GreeceGreece Explaining Bug Provenance with Trace Witnesses Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
David GreggGregg, David Trinity College Dublin, Ireland WIP: Beyond Base-2 Logarithmic Number Systems
Tobias GrosserGrosser, Tobias ETH Zurich, Switzerland LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Dan GrossmanGrossman, Dan University of Washington, USA Committee Member in Steering Committee for PLDI 2020 Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the MAPL-track
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System
Ronghui GuGu, Ronghui Columbia University, USA Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Committee Member in Program Committee within the PLDI Research Papers-track
Marco GuarnieriGuarnieri, Marco IMDEA Software Institute, Spain CacheQuery: Learning Replacement Policies from Hardware Caches
Arjun GuhaGuha, Arjun Northeastern University Session Chair of Type Systems (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Shu-yu GuoGuo, Shu-yu Bloomberg, USA WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Xiaochen GuoGuo, Xiaochen Lehigh UniversityUnited States Committee Member in External Review Committee for ISMM 2020
Aarti GuptaGupta, Aarti Princeton University Committee Member in External Review Committee within the PLDI Research Papers-track
Rajiv GuptaGupta, Rajiv UC RiversideUnited States pc in Program Committee within the LCTES-track
Sankha Narayan GuriaGuria, Sankha Narayan University of Maryland, College ParkUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in Program Committee within the PLDI Research Papers-track
H Sebastian HackHack, Sebastian Saarland University, Germany PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
Shinichiro HamajiHamaji, Shinichiro Preferred Networks Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
Kevin HamlenHamlen, Kevin University of Texas at Dallas, USA Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Jad HamzaHamza, Jad EPFL, Switzerland Zippy LL(1) Parsing with Derivatives
Pat HanrahanHanrahan, Pat Stanford University, USA Type-Directed Scheduling of Streaming Accelerators
Nikos HardavellasHardavellas, Nikos Northwestern University, USA CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
Dominik HarmimHarmim, Dominik Brno University of Technology, Faculty of Information Technology Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Tim HarrisHarris, Tim Amazon Committee Member in Program Committee for ISMM 2020
Wessam HassaneinHassanein, Wessam Google Committee Member in Program Committee for ISMM 2020
Momoko HattoriHattori, Momoko The University of Tokyo Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Peter HawkinsHawkins, Peter Google Committee Member in Program Committee within the PLDI Research Papers-track
Fei HeHe, Fei Tsinghua University, China Proving Almost-Sure Termination by Omega-Regular Decomposition
Jingxuan HeHe, Jingxuan ETH Zurich, Switzerland Learning Fast and Precise Numerical Analysis
Xiaoyu HeHe, Xiaoyu Institute of Information Engineering, Chinese Academy of Sciences & School of Cyber Security, University of Chinese Academy of SciencesChina Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Mohammad HedayatiHedayati, Mohammad University of Rochester Understanding and Optimizing Persistent Memory Allocation
Nadja HeitmannHeitmann, Nadja TU MunichGermany WIP: Towards Building Better Mobile Web Browsers for Ad-blocking: The Energy Perspective
Ahmed HelalHelal, Ahmed Intel pc in Program Committee within the LCTES-track
Dominik HelmHelm, Dominik TU Darmstadt, GermanyGermany TACAI: An Intermediate Representation based on Abstract Interpretation
Thomas A. HenzingerHenzinger, Thomas A. IST Austria, Austria Inductive Sequentialization of Asynchronous Programs
Grzegorz HermanHerman, Grzegorz Jagiellonian University, Poland Faster General Parsing through Context-Free Memoization
Ben HermannHermann, Ben Paderborn UniversityGermany TACAI: An Intermediate Representation based on Abstract Interpretation
Matthew HertzHertz, Matthew University at Buffalo Committee Member in External Review Committee for ISMM 2020
Matthew HicksHicks, Matthew Virginia Tech pc in Program Committee within the LCTES-track
Michael HicksHicks, Michael University of MarylandUnited States Session Chair of Session 4 (part of PLDI Ask Me Anything) Committee Member in External Review Committee within the PLDI Research Papers-track
Lukáš HolíkHolík, Lukáš Brno University of Technology, Czechia Efficient Handling of String-Number Conversion
Changwan HongHong, Changwan MITUnited States Committee Member in Program Committee within the LCTES-track
Tony HoskingHosking, Tony Australian National University / Data61Australia Session Chair of Security (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Farzin HoushmandHoushmand, Farzin University of California, RiversideUnited States Learning Quantitative Representation Synthesis
Pi-Cheng HsiuHsiu, Pi-Cheng Academia Sinica pc in Program Committee within the LCTES-track
Chunling HuHu, Chunling QualcommUnited States PAQSIM: Fast Performance Model for Graphics Workload on Mobile GPUs
Qinheping HuHu, Qinheping University of Wisconsin-Madison, USA Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
Zhenjiang HuHu, Zhenjiang Peking University, China Question Selection for Interactive Program Synthesis
Jianhang HuangHuang, Jianhang Xi'an Jiaotong UniversityChina ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness
Kangjing HuangHuang, Kangjing Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
Dillon HuffHuff, Dillon Stanford University, USA Type-Directed Scheduling of Streaming Accelerators
Shih-Han HungHung, Shih-Han University of Maryland, USA On the Principles of Differentiable Quantum Programming Languages
Wei HuoHuo, Wei Institute of Information Engineering, Chinese Academy of Sciences Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Chung-Kil HurHur, Chung-Kil Seoul National University, South Korea ARMv8 and RISC-V relaxed memory concurrency Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
I Neil ImmermanImmerman, Neil University of Massachusetts at Amherst, USA First-Order Quantified Separators
Dan IorgaIorga, Dan Imperial College London, UKUnited Kingdom Student Volunteer Chair in Organizing Committee for PLDI 2020 Student Volunteer Co-Chair in Student Volunteering within the PLDI Student Volunteering-track
Davide ItalianoItaliano, Davide Apple, USA Debug Information Validation for Optimized Code
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Committee Member in Program Committee within the PLDI Research Papers-track
J Suman JanaJana, Suman Columbia University, USA Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
Vijay Janapa Janapa ReddiJanapa Reddi, Vijay Janapa Harvard University pc in Program Committee within the LCTES-track
Abhinav JangdaJangda, Abhinav University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Petr JankůJanků, Petr Brno University of Technology, Czechia Efficient Handling of String-Number Conversion
Jinseong JeonJeon, Jinseong GoogleUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ranjit JhalaJhala, Ranjit University of California at San Diego, USA Mentoring Talk: "How to design talks" Type Error Feedback via Analytic Program Repair
Ruyi JiJi, Ruyi Peking University, China Question Selection for Interactive Program Synthesis
Hanru JiangJiang, Hanru Peng Cheng LaboratoryChina Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexandra JimboreanJimborean, Alexandra Uppsala UniversitySweden Committee Member in Program Committee within the PLDI Research Papers-track
Matthew JinJin, Matthew Microsoft Corporation Infer#: An Automatic Bug Detector on .NET Programs
Alexandre JoannouJoannou, Alexandre University of CambridgeUnited Kingdom Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Teresa JohnsonJohnson, Teresa Google pc in Program Committee within the LCTES-track
Richard JonesJones, Richard University of KentUnited Kingdom Committee Member in Program Committee for ISMM 2020 Keynote: Richard Jones
Timothy M. JonesJones, Timothy M. University of Cambridge, UK Prefetching in Functional Languages
Changhee JungJung, Changhee Purdue University, USA Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection PC Chair in Organizing Committee within the LCTES-track
Jaehwang JungJung, Jaehwang KAIST, South Korea A Marriage of Pointer- and Epoch-Based Reclamation
K Gail KaiserKaiser, Gail Columbia UniversityUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Christian Gram KalhaugeKalhauge, Christian Gram University of California, Los AngelesUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Konstantinos KallasKallas, Konstantinos University of PennsylvaniaUnited States From stateless functions to stateful applications: Azure Durable Functions
Shoaib KamilKamil, Shoaib Adobe Committee Member in Program Committee within the PLDI Research Papers-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom ARMv8 and RISC-V relaxed memory concurrency
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Committee Member in External Program Committee within the PLDI Research Papers-track
Nagarajan KandasamyKandasamy, Nagarajan Drexel UniversityUnited States Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories Improving Phase Change Memory Performance with Data Content Aware Access Compiling Spiking Neural Networks to Neuromorphic Hardware
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State University, USAUnited States pc in Program Committee within the LCTES-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea ARMv8 and RISC-V relaxed memory concurrency A Marriage of Pointer- and Epoch-Based Reclamation
Manos KapritsosKapritsos, Manos University of Michigan, USAUnited States Armada: Low-Effort Verification of High-Performance Concurrent Programs
Timotej KapusKapus, Timotej Imperial College London Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guy KatzKatz, Guy Hebrew UniversityIsrael An Abstraction-Based Framework for Neural Network Verification
Madhukar KedlayaKedlaya, Madhukar Shape SecurityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stephen KellKell, Stephen University of Kent Session Chair of Session 10 (part of PLDI Ask Me Anything) Committee Member in External Review Committee within the PLDI Research Papers-track
Martin KelloggKellogg, Martin University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Steven KeuchelKeuchel, Steven Katamaran: semi-automated verification of ISA specifications
Samira KhanKhan, Samira University of Virginia pc in Program Committee within the LCTES-track
Tanvir Ahmed KhanKhan, Tanvir Ahmed University of Michigan, USABangladesh Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Committee Member in External Review Committee within the PLDI Research Papers-track
Dohee KimKim, Dohee University of SeoulSouth Korea WIP: Towards Real-time CNN Inference from a Video Stream on a Mobile GPU
Hanjun KimKim, Hanjun Yonsei University pc in Program Committee within the LCTES-track
Hongjune KimKim, Hongjune Seoul National University, South Korea Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
Sang-Hoon KimKim, Sang-Hoon Ajou UniversitySouth Korea Committee Member in External Review Committee for ISMM 2020
Sumin KimKim, Sumin University of SeoulSouth Korea WIP: Towards Real-time CNN Inference from a Video Stream on a Mobile GPU
Zachary KincaidKincaid, Zachary Princeton University, USA Templates and Recurrences: Better Together Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Christoph KirschKirsch, Christoph University of Salzburg Steering Committee Member in Steering Committee for ISMM 2020
Chris KjellqvistKjellqvist, Chris University of Rochester Understanding and Optimizing Persistent Memory Allocation
Fredrik KjolstadKjolstad, Fredrik Stanford University Session Chair of Performance (part of PLDI Research Papers) Panel: Surviving Grad School Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Felix KlockKlock, Felix Mozilla "Ask Me Anything" with Felix Klock
Tristan KnothKnoth, Tristan UC San Diego Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason R. KoenigKoenig, Jason R. Stanford University, USA First-Order Quantified Separators
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWS, GermanyGreece Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James KoppelKoppel, James Massachusetts Institute of Technology, USA Semantic Code Search via Equational Reasoning
Blagovesta KostovaKostova, Blagovesta EPFL, Switzerland EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Apurva KotiKoti, Apurva Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Christos KotselidisKotselidis, Christos KTM Innovation / The University of ManchesterUnited Kingdom Committee Member in Program Committee for ISMM 2020
Bernhard KraglKragl, Bernhard IST Austria Inductive Sequentialization of Asynchronous Programs
Tim KraskaKraska, Tim MIT CSAIL Learned Garbage Collection
Siddharth KrishnaKrishna, Siddharth Microsoft Research, CambridgeUnited Kingdom Verifying Concurrent Search Structure Templates
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Committee Member in Program Committee within the PLDI Research Papers-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Committee Member in Organizing Committee within the SOAP-track
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V WebAssembly: sequential and concurrent semantics Committee Member in Program Committee within the REMS-DeepSpec-track
Dániel KruppKrupp, Dániel Ericsson Ltd Tool Talk: CodeChecker
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Session Chair of Day 2 Afternoon (part of PLMW@PLDI) Co-chair in Organizing Committee within the PLMW@PLDI-track Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in Organizing Committee within the Ally Skills@PLDI-track
Prasanna KumarKumar, Prasanna IIT Bombay Garbage Collection Using a Finite Liveness Domain
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Zippy LL(1) Parsing with Derivatives Committee Member in External Program Committee within the PLDI Research Papers-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Andreas KurthKurth, Andreas ETH Zurich, Switzerland A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Boris KöpfKöpf, Boris Microsoft Research, n.n. CacheQuery: Learning Replacement Policies from Hardware Caches
Florian KüblerKübler, Florian TU Darmstadt, GermanyGermany TACAI: An Intermediate Representation based on Abstract Interpretation
L Kevin LaeuferLaeufer, Kevin UC Berkeley Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sifis LagouvardosLagouvardos, Sifis University of Athens, Greece Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Ori LahavLahav, Ori Tel Aviv University, Israel Decidable Verification under a Causally Consistent Shared Memory Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Kim LaineLaine, Kim Microsoft Research, Redmond EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Akash LalLal, Akash Microsoft Research IndiaIndia Committee Member in Program Committee within the PLDI Research Papers-track
Julien LangouLangou, Julien University of Colorado at Denver, USA Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Chris LattnerLattner, Chris SiFive "Ask Me Anything" with Chris Lattner
Stella LauLau, Stella Cerberus: executable reference semantics and memory object models for ISO and de facto C
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States "Ask Me Anything" with Doug Lea
Hugh LeatherLeather, Hugh University of Edinburgh, UK Effective Function Merging in the SSA Form
DongKwon LeeLee, DongKwon Seoul National University, South Korea Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States Publicity Chair in Organizing Committee within the LCTES-track pc in Program Committee within the LCTES-track
I-Ting Angelina LeeLee, I-Ting Angelina Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Jaejin LeeLee, Jaejin Seoul National University, South Korea Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection pc in Program Committee within the LCTES-track
Janghaeng LeeLee, Janghaeng Intel pc in Program Committee within the LCTES-track
Sung-Hwan LeeLee, Sung-Hwan Seoul National University, South KoreaSouth Korea ARMv8 and RISC-V relaxed memory concurrency Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Vincent T. LeeLee, Vincent T. FacebookUnited States WIP: A Synthesis-aided Compiler for DSP Architectures
Woosuk LeeLee, Woosuk Hanyang University, South Korea Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Yu LeiLei, Yu Institute of Information Engineering, Chinese Academy of Sciences; University of Chinese Academy of Sciences Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Thomas LembergerLemberger, Thomas LMU MunichGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sorin LernerLerner, Sorin University of California at San Diego, USA Generating Correctness Proofs with Neural Networks Towards a Verified Range Analysis for JavaScript JITs Committee Member in External Program Committee within the PLDI Research Papers-track
Mohsen LesaniLesani, Mohsen University of California, Riverside Learning Quantitative Representation Synthesis
Amit LevyLevy, Amit WebAssembly: sequential and concurrent semantics
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in External Program Committee within the PLDI Research Papers-track
Ao LiLi, Ao University of Toronto, Canada Securing Smart Contract with Runtime Validation
Feng LiLi, Feng Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Guanpeng LiLi, Guanpeng University of Illinois pc in Program Committee within the LCTES-track
Linyu LiLi, Linyu Institute of Information Engineering, Chinese Academy of Sciences; University of Chinese Academy of Sciences Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Yuanbo LiLi, Yuanbo Georgia Institute of Technology, USA Fast Graph Simplification for Interleaved Dyck-Reachability Debug Information Validation for Optimized Code
Zhijing LiLi, Zhijing Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Zhiyuan LiLi, Zhiyuan Purdue University, USA Committee Member in Program Committee within the LCTES-track
Eric LiangLiang, Eric Peking University pc in Program Committee within the LCTES-track
Jingjing LiangLiang, Jingjing Peking University, China Question Selection for Interactive Program Synthesis
Kevin LiaoLiao, Kevin Max Planck Institute for Security and Privacy Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chu-Cheow LimLim, Chu-Cheow QualcommUnited States PAQSIM: Fast Performance Model for Graphics Workload on Mobile GPUs
Jay P. LimLim, Jay P. Rutgers University, USA Debugging and Detecting Numerical Errors in Computation with Posits
Hsin-Hung LinLin, Hsin-Hung Academia Sinica, Taiwan Efficient Handling of String-Number Conversion
Sam LindleyLindley, Sam Heriot-Watt University, UK / The University of Edinburgh, UK / Imperial College London, UKUnited Kingdom FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Bingchang LiuLiu, Bingchang Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Junwei LiuLiu, Junwei Huazhong University of Science and TechnologyChina ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness
Lun LiuLiu, Lun University of California at Los Angeles, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Qingrui LiuLiu, Qingrui Virginia Tech, USA Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection pc in Program Committee within the LCTES-track
Tongping LiuLiu, Tongping University of Massachusetts Amherst pc in Program Committee within the LCTES-track
Xiaoyu LiuLiu, Xiaoyu Microsoft Corporation Infer#: An Automatic Bug Detector on .NET Programs
Xu LiuLiu, Xu College of William and Mary pc in Program Committee within the LCTES-track
Devon LoehrLoehr, Devon Princeton University, USA NV: An Intermediate Language for Verification of Network Control Planes
Fan LongLong, Fan University of Toronto Session Chair of Code Generation (part of PLDI Research Papers)
Fan LongLong, Fan University of Toronto, Canada Securing Smart Contract with Runtime Validation Committee Member in Program Committee within the PLDI Research Papers-track
Jacob R. LorchLorch, Jacob R. Microsoft Research, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Blake LoringLoring, Blake Royal Holloway, University of LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tze Meng LowLow, Tze Meng CMU Committee Member in Organizing Committee within the ARRAY-track
Kai LuLu, Kai National University of Defense Technology, China PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA Publicity Co-Chair in Organizing Committee for PLDI 2020 Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
Mikel LujánLuján, Mikel University of Manchester, UK PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
Wayne LukLuk, Wayne Imperial College London On the Challenges in Programming Mixed-Precision Deep Neural Networks
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Katamaran: semi-automated verification of ISA specifications
Linghui LuoLuo, Linghui Paderborn University, Germany Tool Talk: MagpieBridge
Qinyi LuoLuo, Qinyi University of Southern California, USA SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
M Martin MaasMaas, Martin Google Research Program Chair in Organizing Committee for ISMM 2020 Session Chair of Keynote & Social Hour (part of ISMM ) Welcome from the Chairs & Conference Report Closing Remarks
Julian MackayMackay, Julian Victoria University of Wellington Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Kiwan MaengMaeng, Kiwan Carnegie Mellon University, USA Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
Rasool MagharehMaghareh, Rasool National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stephen MagillMagill, Stephen Muse DevUnited States Experimenting with Infer at Scale – Invited Talk
Scott MahlkeMahlke, Scott University of Michigan Path Sensitive Signatures for Control Flow Error Detection
Petar MaksimovićMaksimović, Petar Imperial College London, UK Gillian: a Multi-language Platform for Program Correctness and Incorrectness WebAssembly: sequential and concurrent semantics Gillian, Part I: A Multi-language Platform for Symbolic Execution
Louis MandelMandel, Louis IBM Research Reactive Probabilistic Programming
Hongzi MaoMao, Hongzi MIT CSAIL Learned Garbage Collection
Luc MarangetMaranget, Luc Inria ParisFrance ARMv8 and RISC-V relaxed memory concurrency
Vladimir MarcinMarcin, Vladimir Brno University of Technology, Faculty of Information Technology Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Ryan MarcusMarcus, Ryan MIT CSAIL / Intel LabsUnited States Learned Garbage Collection Committee Member in Program Committee within the MAPL-track
Sangyoung MarkMark, Sangyoung TU BerlinGermany WIP: Towards Building Better Mobile Web Browsers for Ad-blocking: The Energy Perspective
Stefano MarkidisMarkidis, Stefano KTH Royal Institute of TechnologySweden Committee Member in Program Committee for ISMM 2020 Session Chair of Session 2A (part of ISMM )
Andrea MarongiuMarongiu, Andrea University of Modena and Reggio Emilia A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores
Stefan MarrMarr, Stefan University of KentUnited Kingdom Workshops and Tutorials Co-Chair in Organizing Committee for PLDI 2020
Margaret MartonosiMartonosi, Margaret Princeton University and NSF "Ask Me Anything" with Margaret Martonosi
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Maxim MattheeuwsMattheeuws, Maxim ETH Zurich A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores
Justus MatthiesenMatthiesen, Justus University of Cambridge Cerberus: executable reference semantics and memory object models for ISO and de facto C
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Steering Committee for PLDI 2020 "Ask Me Anything" with Kathryn McKinley
James McKinnaMcKinna, James University of Edinburgh Committee Member in Program Committee within the BAPL-track
Kayvan MemarianMemarian, Kayvan University of CambridgeIran Cerberus: executable reference semantics and memory object models for ISO and de facto C
Na MengMeng, Na Virginia TechUnited States Web Chair in Organizing Committee for PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
Mira MeziniMezini, Mira Technische Universität DarmstadtGermany TACAI: An Intermediate Representation based on Abstract Interpretation
Heather MillerMiller, Heather Carnegie Mellon University Committee Member in Program Committee within the BAPL-track Committee Member in External Review Committee within the PLDI Research Papers-track
Todd MillsteinMillstein, Todd University of California at Los Angeles, USA Data-Driven Inference of Representation Invariants
Anders MiltnerMiltner, Anders Princeton University, USAUnited States Data-Driven Inference of Representation Invariants
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Value and Allocation Sensitivities in Static Python Analyses
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Session Chair of Probabilistic Programming (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Neil MitchellMitchell, Neil FacebookUnited Kingdom Committee Member in Program Committee within the BAPL-track
Sidi Mohamed BeillahiMohamed Beillahi, Sidi IRIF - Université de ParisFrance Behavioral Simulation for Smart Contracts
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Chair in Program Committee within the BAPL-track Committee Member in Organizing Committee within the BAPL-track
Raphaël MonatMonat, Raphaël Sorbonne University — LIP6France Value and Allocation Sensitivities in Static Python Analyses
Simon W. MooreMoore, Simon W. University of Cambridge Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Michał MoskalMoskal, Michał Microsoft Research Microsoft MakeCode
Luca MottolaMottola, Luca Politecnico di Milano, Italy and RI.Se SICS, Sweden pc in Program Committee within the LCTES-track
Frank MuellerMueller, Frank North Carolina State University, USA Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises pc in Program Committee within the LCTES-track
Stefan K. MullerMuller, Stefan K. Carnegie Mellon University, USA Responsive Parallelism with Futures and State
Prashanth MundkurMundkur, Prashanth SRI International Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Saurav MuralidharanMuralidharan, Saurav NVIDIA Committee Member in External Review Committee within the PLDI Research Papers-track
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in External Review Committee within the PLDI Research Papers-track
Girish MururuMururu, Girish Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Madan MusuvathiMusuvathi, Madan Microsoft Research Panel: Charting your Path EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Committee Member in External Program Committee within the PLDI Research Papers-track
Onur MutluMutlu, Onur ETH Zurich Improving Phase Change Memory Performance with Data Content Aware Access
Suha Orhun MutluergilMutluergil, Suha Orhun IRIF, France / University of Paris, France / CNRS, France Inductive Sequentialization of Asynchronous Programs
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Committee Member in Program Committee within the REMS-DeepSpec-track
Gábor MártonMárton, Gábor Ericsson LtdHungary Tool Talk: CodeChecker
Peter MüllerMüller, Peter ETH ZurichSwitzerland Session Chair of Session 2 (part of PLDI Ask Me Anything)
N Ayman NadeemNadeem, Ayman GitHub, Inc.United States Committee Member in Program Committee within the MAPL-track
Santosh NagarakatteNagarakatte, Santosh Rutgers University, USA Session Chair of Synthesis III (part of PLDI Research Papers) Debugging and Detecting Numerical Errors in Computation with Posits Committee Member in Program Committee within the PLDI Research Papers-track
Mayur NaikNaik, Mayur University of Pennsylvania PC Chair in Organizing Committee within the MAPL-track
Chandrakana NandiNandi, Chandrakana University of Washington, USAUnited States Panel: Surviving Grad School Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Iman NarasamdyaNarasamdya, Iman Microsoft Committee Member in Program Committee within the BAPL-track
Luigi NardiNardi, Luigi Lund University and Stanford University Design Space Exploration
David NaumannNaumann, David Stevens Institute of Technology Verified Sequential Malloc/Free
Matthew NaylorNaylor, Matthew University of CambridgeUnited Kingdom Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Peter G. NeumannNeumann, Peter G. SRI InternationalUnited States Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Phúc C. NguyễnNguyễn, Phúc C. University of Maryland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kyndylan NienhuisNienhuis, Kyndylan University of Cambridge Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Rachit NigamNigam, Rachit Cornell University, USA WIP: A Synthesis-aided Compiler for DSP Architectures Predictable Accelerator Design with Time-Sensitive Affine Types Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrew NisbetNisbet, Andrew University of Manchester, UK PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
Xinyu NiuNiu, Xinyu Corerain Technologies On the Challenges in Programming Mixed-Precision Deep Neural Networks
Robert M. NortonNorton, Robert M. University of Cambridge Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Martin NowackNowack, Martin Imperial College London Tool Talk: KLEE
Hanna NyblomNyblom, Hanna KTHSweden ThinGC: Complete Isolation With Marginal Overhead
Andres NötzliNötzli, Andres Stanford University, USA Towards a Verified Range Analysis for JavaScript JITs
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Committee Member in External Review Committee within the PLDI Research Papers-track
Peter O'HearnO'Hearn, Peter Facebook Keynote Speaker in Keynote Speakers within the SOAP-track
Peter W. O'HearnO'Hearn, Peter W. Facebook and University College London Keynote: Formal Reasoning and the Hacker Way "Ask Me Anything" with Peter O’Hearn
Chanyoung OhOh, Chanyoung University of Seoul WIP: Towards Real-time CNN Inference from a Video Stream on a Mobile GPU
Hakjoo OhOh, Hakjoo Korea University, South Korea Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting pc in Program Committee within the LCTES-track
Auguste OlivryOlivry, Auguste Inria, France Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Design Space Exploration
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Committee Member in Program Committee within the PLDI Research Papers-track
Guilherme OttoniOttoni, Guilherme Facebook Committee Member in External Program Committee within the PLDI Research Papers-track
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance Value and Allocation Sensitivities in Static Python Analyses
Rémi OudinOudin, Rémi Sorbonne University — LIP6France Intermittent Computing with Peripherals, Formally Verified
P Uday P. KhedkerP. Khedker, Uday IIT Bombay pc in Program Committee within the LCTES-track Committee Member in Program Committee within the SOAP-track
Munindar P. SinghP. Singh, Munindar North Carolina State University Programming for Autonomy
Saswat PadhiPadhi, Saswat University of California at Los Angeles, USA Data-Driven Inference of Representation Invariants Committee Member in External Review Committee within the PLDI Research Papers-track
Oded PadonPadon, Oded Stanford University, USA First-Order Quantified Separators
Gianluca PalermoPalermo, Gianluca Politecnico di MilanoItaly A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations
Jens PalsbergPalsberg, Jens University of California, Los Angeles Committee Member in Steering Committee for PLDI 2020
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in SRC Committee within the PLDI Student Research Competition-track
Santosh PandePande, Santosh Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Gunju ParkPark, Gunju University of Seoul WIP: Towards Real-time CNN Inference from a Video Stream on a Mobile GPU
Sunghyun ParkPark, Sunghyun University of MichiganUnited States Path Sensitive Signatures for Control Flow Error Detection
Yongjun ParkPark, Yongjun Hanyang University pc in Program Committee within the LCTES-track
Bryan ParnoParno, Bryan Carnegie Mellon University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs Committee Member in External Review Committee within the PLDI Research Papers-track
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the PLDI Research Papers-track
Nisarg PatelPatel, Nisarg New York University, USA Verifying Concurrent Search Structure Templates
Mayur PatilPatil, Mayur University of California, Riverside Learning Quantitative Representation Synthesis
Marco PatrignaniPatrignani, Marco Stanford University, USA / CISPA, Germany Type-Directed Scheduling of Streaming Accelerators
Ondřej PavelaPavela, Ondřej Brno University of Technology, Faculty of Information Technology Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Hannes PayerPayer, Hannes Google Steering Committee Member in Steering Committee for ISMM 2020
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão UFMGBrazil pc in Program Committee within the LCTES-track
Pavlos PetoumenosPetoumenos, Pavlos University of Manchester, UKUnited Kingdom Effective Function Merging in the SSA Form
Erez PetrankPetrank, Erez Technion, Israel Committee Member in Program Committee for ISMM 2020 Session Chair of Session 1A (part of ISMM ) NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Committee Member in External Program Committee within the PLDI Research Papers-track
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK "Ask Me Anything" with Simon Peyton Jones
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google Session Chair of Synthesis II (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Ankush PhuliaPhulia, Ankush IIT Delhi, India OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
Aihua PiaoPiao, Aihua Institute of Information Engineering, Chinese Academy of Sciences Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge, UK Cerberus: executable reference semantics and memory object models for ISO and de facto C ARMv8 and RISC-V relaxed memory concurrency WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Steering Committee for PLDI 2020 Session Chair of Session 1 (part of PLDI Ask Me Anything)
Andy PimentelPimentel, Andy University of AmsterdamNetherlands CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2020 Session Chair of Networking and Hardware (part of PLDI Research Papers) Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ruzica PiskacPiskac, Ruzica Yale University, USA Committee Member in Program Committee within the PLDI Research Papers-track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Clément Pit-ClaudelPit-Claudel, Clément Massachusetts Institute of Technology, USA The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Anton PodkopaevPodkopaev, Anton MPI-SWS, NRU HSE, JetBrains ResearchRussia WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Session Chair of Day 1 Afternoon (part of PLMW@PLDI) Committee Member in Program Committee within the BAPL-track Co-chair in Organizing Committee within the PLMW@PLDI-track Committee Member in Organizing Committee within the Ally Skills@PLDI-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
Natalie PopescuPopescu, Natalie University of California San Diego WebAssembly: sequential and concurrent semantics
Barry PorterPorter, Barry Lancaster UniversityUnited Kingdom Performance Optimization on big.LITTLE Architectures: A Memory-latency Aware Approach
Chris PorterPorter, Chris Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Marc PouzetPouzet, Marc École normale supérieure Reactive Probabilistic Programming
Varot PremtoonPremtoon, Varot Massachusetts Institute of Technology, USA Semantic Code Search via Equational Reasoning
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Verified Programming with Project Everest
Christopher PultePulte, Christopher University of Cambridge, UK Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V ARMv8 and RISC-V relaxed memory concurrency WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Markus PüschelPüschel, Markus ETH Zurich, Switzerland Learning Fast and Precise Numerical Analysis
Q Shaz QadeerQadeer, Shaz Novi, USA Inductive Sequentialization of Asynchronous Programs Armada: Low-Effort Verification of High-Performance Concurrent Programs
Depei QianQian, Depei Beihang University, China SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Xuehai QianQian, Xuehai University of Southern California, USA SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Boqin QinQin, Boqin Beijing University of Posts and Telecommunications, Pennsylvania State UniversityChina Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Xiaokang QiuQiu, Xiaokang Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Accessibility Chair in Organizing Committee for PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft BluePencil: Automating repetitive code edits without examples
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in Program Committee within the PLDI Research Papers-track
Sriram RajamaniRajamani, Sriram Microsoft Research Committee Member in Steering Committee for PLDI 2020
Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States Verified Programming with Project Everest Committee Member in External Review Committee within the PLDI Research Papers-track
Raghavendra RameshRamesh, Raghavendra ConsenSys, Australia Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
Xiaojia RaoRao, Xiaojia Imperial CollegeUnited Kingdom WebAssembly: sequential and concurrent semantics
Fabrice RastelloRastello, Fabrice Inria, France Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in External Review Committee within the PLDI Research Papers-track
Baishakhi RayRay, Baishakhi Columbia University, New YorkUnited States Committee Member in Program Committee within the MAPL-track
Veselin RaychevRaychev, Veselin DeepCode AG Committee Member in Program Committee within the PLDI Research Papers-track
Philip ReamesReames, Philip Committee Member in External Review Committee for ISMM 2020
John RegehrRegehr, John University of UtahUnited States Session Chair of Session 5 (part of PLDI Ask Me Anything) Committee Member in Program Committee within the PLDI Research Papers-track
Christoph ReichenbachReichenbach, Christoph Lund University Committee Member in Organizing Committee within the SOAP-track
Alastair ReidReid, Alastair Google ResearchUnited Kingdom Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Michael ReifReif, Michael TU Darmstadt, GermanyGermany TACAI: An Intermediate Representation based on Abstract Interpretation
Glenn ReinmanReinman, Glenn UCLAUnited States WIP: FPGA-based Near Data Processing Platform Selection Using Fast Performance Modeling
Bin RenRen, Bin College of William and Mary pc in Program Committee within the LCTES-track
John RennerRenner, John University of California at San Diego, USA Student Volunteer Co-Chair in Organizing Committee for PLDI 2020 WebAssembly: sequential and concurrent semantics Towards a Verified Range Analysis for JavaScript JITs Student Volunteer Co-Chair in Student Volunteering within the PLDI Student Volunteering-track
John ReppyReppy, John University of Chicago, USA From Folklore to Fact: Comparing Implementations of Stacks and Continuations
Thomas RepsReps, Thomas University of Wisconsin-Madison, USA Templates and Recurrences: Better Together Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Fast Graph Simplification for Interleaved Dyck-Reachability
Tamara RezkRezk, Tamara Inria, France Constant-Time Foundations for the New Spectre Era
Tanguy RissetRisset, Tanguy Univ. Lyon, INSA-Lyon, Inria, CITI Intermittent Computing with Peripherals, Formally Verified
Fabian RitterRitter, Fabian Saarland University, Germany PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
Rodrigo C. O. RochaRocha, Rodrigo C. O. University of Edinburgh, UK Effective Function Merging in the SSA Form
Christine RochangeRochange, Christine University of ToulouseFrance Improving the performance of WCET analysis in the presence of variable latencies
Michael RoeRoe, Michael University of CambridgeUnited Kingdom Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Jake RoemerRoemer, Jake Ohio State University, USA SmartTrack: Efficient Predictive Race Detection
Adam RogalewiczRogalewicz, Adam Brno University of Technology, Faculty of Information Technology Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Ian RogersRogers, Ian Google, USAUnited States Committee Member in External Review Committee for ISMM 2020 Session Chair of Session 1B (Repeat of Session 1A) (part of ISMM )
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany WebAssembly: sequential and concurrent semantics Committee Member in External Review Committee within the PLDI Research Papers-track
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of Singapore, Singapore Binary Rewriting without Control Flow Recovery
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in External Program Committee within the PLDI Research Papers-track
Gabriel RyanRyan, Gabriel Columbia University, USA Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
S Olli SaarikiviSaarikivi, Olli Microsoft Research, RedmondUnited States EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Saday SadayappanSadayappan, Saday University of Utah, USA Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Caitlin SadowskiSadowski, Caitlin Keynote: Beyond Code: New Signals for Static Analysis Keynote Speaker in Keynote Speakers within the SOAP-track
Masahiro SakaiSakai, Masahiro Preferred Networks Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
Georgios SakkasSakkas, Georgios University of California at San Diego, USA Type Error Feedback via Analytic Program Repair
Gabriela SampaioSampaio, Gabriela Imperial College London, UK Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Adrian SampsonSampson, Adrian Cornell University, USA Session Chair of Language Design I (part of PLDI Research Papers) Session Chair of Session 3 (part of PLDI Ask Me Anything) Session Chair of Day 2 Morning (part of PLMW@PLDI) WIP: A Synthesis-aided Compiler for DSP Architectures Predictable Accelerator Design with Time-Sensitive Affine Types Co-chair in Organizing Committee within the PLMW@PLDI-track Committee Member in Program Committee within the PLDI Research Papers-track
Joshua San MiguelSan Miguel, Joshua University of Wisconsin pc in Program Committee within the LCTES-track
Alex Sanchez-SternSanchez-Stern, Alex University of California, San DiegoUnited States Generating Correctness Proofs with Neural Networks
José Fragoso SantosSantos, José Fragoso Imperial College London Gillian: a Multi-language Platform for Program Correctness and Incorrectness
Amitabha SanyalSanyal, Amitabha IIT Bombay Garbage Collection Using a Finite Liveness Domain
Susmit SarkarSarkar, Susmit University of St. Andrews ARMv8 and RISC-V relaxed memory concurrency
John SarracinoSarracino, John University of California, San Diego Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jennifer B. SartorSartor, Jennifer B. Ghent University, BelgiumBelgium Steering Committee Member in Steering Committee for ISMM 2020
Annabel SatinSatin, Annabel P.C.K. Treasurer & Conference Manager in Organizing Committee for PLDI 2020
Lawrence SaulSaul, Lawrence University of California, San Diego Generating Correctness Proofs with Neural Networks
Shimpei SawadaSawada, Shimpei Preferred Networks Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
Daniel SchemmelSchemmel, Daniel RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Tool Talk: Soufflé Explaining Bug Provenance with Trace Witnesses Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Tool Talk: Phasar
Fabian SchuikiSchuiki, Fabian ETH Zurich, Switzerland LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
Michael ScottScott, Michael University of RochesterUnited States Understanding and Optimizing Persistent Memory Allocation
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Session Chair of Language Implementation (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Koushik SenSen, Koushik University of California, BerkeleyUnited States General Chair in Organizing Committee within the MAPL-track
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Session Chair of Smart Contracts (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Manuel SerranoSerrano, Manuel Inria, France HipHop.js: (A)Synchronous Reactive Web Programming Committee Member in SRC Committee within the PLDI Student Research Competition-track
Peter SewellSewell, Peter University of Cambridge Welcome and brief project overviews Cerberus: executable reference semantics and memory object models for ISO and de facto C Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V ARMv8 and RISC-V relaxed memory concurrency Committee Member in Organizing Committee within the REMS-DeepSpec-track
Ali SezginSezgin, Ali University of Cambridge ARMv8 and RISC-V relaxed memory concurrency
Hovav ShachamShacham, Hovav University of Texas at Austin, USA Towards a Verified Range Analysis for JavaScript JITs
James ShacklefordShackleford, James Drexel UniversityUnited States Compiling Spiking Neural Networks to Neuromorphic Hardware
Preey ShahShah, Preey IIT Bombay, India Garbage Collection Using a Finite Liveness Domain
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Program Committee within the MAPL-track
Upamanyu SharmaSharma, Upamanyu University of Michigan, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Dennis ShashaShasha, Dennis New York University, USA Verifying Concurrent Search Structure Templates
Jixiang ShenShen, Jixiang The University of SydneyAustralia Explaining Bug Provenance with Trace Witnesses
Peiyuan ShenShen, Peiyuan Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States pc in Program Committee within the LCTES-track
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USA Reactive Probabilistic Programming
Xin ShiShi, Xin Microsoft Corporation Infer#: An Automatic Bug Detector on .NET Programs
Shunsuke ShimizuShimizu, Shunsuke Preferred Networks Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
Ji-Yong ShinShin, Ji-Yong Yale UniversityUnited States Compositional Atomic Distributed Object Specifications for Distributed System Verification
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States pc in Program Committee within the LCTES-track
Julian ShunShun, Julian MIT Committee Member in External Review Committee within the PLDI Research Papers-track
Xujie SiSi, Xujie McGill University, Canada Session Chair of Deep Learning and Program Verification (part of MAPL) Committee Member in Program Committee within the MAPL-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Panel: Charting your Path
Ben SimnerSimner, Ben ARMv8 and RISC-V relaxed memory concurrency
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Steering Committee Chair in Steering Committee for ISMM 2020
Kyle SingerSinger, Kyle Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Gagandeep SinghSingh, Gagandeep ETH Zurich, SwitzerlandIndia Learning Fast and Precise Numerical Analysis
Rishabh SinghSingh, Rishabh Google BrainUnited States Towards Human-Like Program Synthesis
Aishwarya SivaramanSivaraman, Aishwarya University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens, GreeceGreece Explaining Bug Provenance with Trace Witnesses Tool Talk: DOOP Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
Steffen SmolkaSmolka, Steffen Cornell University Committee Member in External Review Committee within the PLDI Research Papers-track
Gustavo SoaresSoares, Gustavo MicrosoftUnited States BluePencil: Automating repetitive code edits without examples
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology, USA Neurosymbolic Reasoning and the Third Wave of Program Synthesis Semantic Code Search via Equational Reasoning Committee Member in External Program Committee within the PLDI Research Papers-track
Linhai SongSong, Linhai Pennsylvania State University, USAUnited States Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Shihao SongSong, Shihao Drexel UniversityUnited States Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories Improving Phase Change Memory Performance with Data Content Aware Access Compiling Spiking Neural Networks to Neuromorphic Hardware
Tyler SorensenSorensen, Tyler Imperial College LondonUnited States Session Chair of Concurrency (part of PLDI Research Papers)
Tyler SorensenSorensen, Tyler Princeton UniversityUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Artur SouzaSouza, Artur Universidade Federal de Minas Gerais (UFMG) Design Space Exploration
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States pc in Program Committee within the LCTES-track
Manu SridharanSridharan, Manu University of California RiversideUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2020 Session Chair of Verification II (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Caleb StanfordStanford, Caleb University of PennsylvaniaUnited States Symbolic Extended Regular Expressions Matching and Analysis
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States "Ask Me Anything" with Guy Steele
Deian StefanStefan, Deian University of California at San Diego, USA WebAssembly: sequential and concurrent semantics Constant-Time Foundations for the New Spectre Era Towards a Verified Range Analysis for JavaScript JITs Committee Member in SRC Committee within the PLDI Student Research Competition-track
Samuel SteffenSteffen, Samuel ETH Zurich, Switzerland λPSI: Exact Inference for Higher-Order Probabilistic Programs
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee for ISMM 2020
Jan StolarekStolarek, Jan University of Edinburgh, UK FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Bjarne StroustrupStroustrup, Bjarne Morgan Stanley and Columbia University "Ask Me Anything" with Bjarne Stroustrup
Michelle StroutStrout, Michelle University of ArizonaUnited States Session Chair of Session 11 (part of PLDI Ask Me Anything) "Ask Me Anything" with Michelle Strout Committee Member in Program Committee within the PLDI Research Papers-track
Zhendong SuSu, Zhendong ETH Zurich, Switzerland Blended, Precise Semantic Program Embeddings Validating SMT Solvers via Semantic Fusion
Pavle SuboticSubotic, Pavle AmazonUnited Kingdom Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Kausik SubramanianSubramanian, Kausik University of Wisconsin-Madison, USA Detecting Network Load Violations for Distributed Control Planes
Arun SubramaniyanSubramaniyan, Arun University of Michigan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Brian SuchySuchy, Brian Northwestern University, USAUnited States CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
Yulei SuiSui, Yulei University of Technology Sydney, AustraliaAustralia pc in Program Committee within the LCTES-track
Yizhou SunSun, Yizhou UCLA A Gentle Tutorial on Graph Neural Networks and Its Application to Programming Languages
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Neel SundaresanSundaresan, Neel Microsoft Corporation Infer#: An Automatic Bug Detector on .NET Programs
Charles SuttonSutton, Charles Google ResearchUnited States Session Chair of Compilers for Deep Learning Frameworks (part of MAPL) Committee Member in Program Committee within the MAPL-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Verified Programming with Project Everest
T Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France pc in Program Committee within the LCTES-track
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University, USASingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zujun TanTan, Zujun Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Joseph TassarottiTassarotti, Joseph Boston College Verifying Crash-Safe, Concurrent Systems with Perennial
Nesime TatbulTatbul, Nesime Intel Labs and MITUnited States Publicity Chair in Organizing Committee within the MAPL-track
Ross TateTate, Ross Cornell UniversityUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track Co-chair in SRC Committee within the PLDI Student Research Competition-track
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Committee Member in External Program Committee within the PLDI Research Papers-track
Samuel ThomasThomas, Samuel Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Workshops and Tutorials Co-Chair in Organizing Committee for PLDI 2020 Steering Committee Member in Steering Committee for ISMM 2020
Emina TorlakTorlak, Emina University of WashingtonUnited States PC Chair in Organizing Committee for PLDI 2020 Committee Member in Steering Committee for PLDI 2020 Session Chair of Session 13 (part of PLDI Ask Me Anything) Program Chair in Program Committee within the PLDI Research Papers-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Session Chair of Session 15 (part of PLDI Ask Me Anything)
Po-An TsaiTsai, Po-An NVIDIAUnited States Committee Member in Program Committee for ISMM 2020 Session Chair of Session 2B (Repeat of Session 2A) (part of ISMM )
Petar TsankovTsankov, Petar ETH Zurich / ChainSecuritySwitzerland Committee Member in Program Committee within the PLDI Research Papers-track
Kuen Hung TsoiTsoi, Kuen Hung Corerain Technologies On the Challenges in Programming Mixed-Precision Deep Neural Networks
Dean TullsenTullsen, Dean University of California at San Diego, USA Constant-Time Foundations for the New Spectre Era
U Sebastian UllrichUllrich, Sebastian KIT, GermanyGermany Lean 4
Caterina UrbanUrban, Caterina INRIA & École Normale SupérieureFrance Committee Member in Program Committee within the SOAP-track
Muhammad UsmanUsman, Muhammad University of Texas at Austin, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, Germany Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States WIP: A Synthesis-aided Compiler for DSP Architectures
Marko VasicVasic, Marko University of Texas at Austin, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Mandana VaziriVaziri, Mandana IBM Research Committee Member in Program Committee within the PLDI Research Papers-track
Margus VeanesVeanes, Margus Microsoft Research Symbolic Extended Regular Expressions Matching and Analysis
Martin VechevVechev, Martin ETH Zurich, Switzerland Committee Member in Steering Committee for PLDI 2020 Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics λPSI: Exact Inference for Higher-Order Probabilistic Programs Learning Fast and Precise Numerical Analysis Committee Member in External Program Committee within the PLDI Research Papers-track
Deepan VenkateshVenkatesh, Deepan University of Illinois at Urbana-Champaign, USA Scalable Validation of Binary Lifters
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrainsRussia Committee Member in Program Committee within the BAPL-track
Haris VikaloVikalo, Haris University of Texas at Austin, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Pepe VilaVila, Pepe IMDEA Software Institute, Spain CacheQuery: Learning Replacement Policies from Hardware Caches
John VilkVilk, John StripeUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Session Chair of Session 4 (part of Infer Practitioners) Infer team Q&A Committee Member in Program Committee within the Infer Practitioners-track Committee Member in Organizing Committee within the Infer Practitioners-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Declarative Language Definition with Spoofax Chair in Program Committee within the BAPL-track Committee Member in Organizing Committee within the BAPL-track Committee Member in Organizing Committee within the BAPL-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Session Chair of Session 16 (part of PLDI Ask Me Anything)
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Dimitrios VytiniotisVytiniotis, Dimitrios DeepMindUnited Kingdom Committee Member in Program Committee within the PLDI Research Papers-track
W David WalkerWalker, David Princeton University, USA Data-Driven Inference of Representation Invariants NV: An Intermediate Language for Verification of Network Control Planes
Kaiyuan WangWang, Kaiyuan Google, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Ke WangWang, Ke Visa ResearchUnited States Session Chair of Machine Learning II (part of PLDI Research Papers) Session Chair of Graph Neural Networks for Program Reasoning (part of MAPL) Blended, Precise Semantic Program Embeddings Committee Member in Program Committee within the PLDI Research Papers-track Committee Member in Program Committee within the MAPL-track
Wenxi WangWang, Wenxi University of Texas at Austin, USAUnited States A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Xi WangWang, Xi University of Washington Committee Member in External Review Committee within the PLDI Research Papers-track
Xinyu WangWang, Xinyu University of Michigan at Ann Arbor, USA Multi-modal Synthesis of Regular Expressions
Yanjun WangWang, Yanjun Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
Yanzhi WangWang, Yanzhi Northeastern University, USA SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Zheng WangWang, Zheng University of Leeds, UK Effective Function Merging in the SSA Form
Mark WassellWassell, Mark University of Cambridge Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
Conrad WattWatt, Conrad University of Cambridge, UK WebAssembly: sequential and concurrent semantics Repairing and Mechanising the JavaScript Relaxed Memory Model
Yuanhao WeiWei, Yuanhao Carnegie Mellon University, USA NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
Westley WeimerWeimer, Westley University of Michigan, USA Type Error Feedback via Analytic Program Repair
Haosen WenWen, Haosen University of Rochester Understanding and Optimizing Persistent Memory Allocation
John WickersonWickerson, John Imperial College LondonUnited Kingdom Publicity Co-Chair in Organizing Committee for PLDI 2020 Session Chair of Session 8 (part of PLDI Ask Me Anything)
Thomas WiesWies, Thomas New York University, USA Verifying Concurrent Search Structure Templates
James R. WilcoxWilcox, James R. Certora, USA Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Armada: Low-Effort Verification of High-Performance Concurrent Programs
Jesper WilhelmssonWilhelmsson, Jesper OracleSweden ThinGC: Complete Isolation With Marginal Overhead
Max WillseyWillsey, Max University of Washington, USA Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Dominik WintererWinterer, Dominik ETH Zurich, Switzerland Validating SMT Solvers via Semantic Fusion
Willy WolffWolff, Willy Lancaster University Performance Optimization on big.LITTLE Architectures: A Memory-latency Aware Approach
Justin WongWong, Justin Columbia University, USA Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden ThinGC: Complete Isolation With Marginal Overhead Improving Program Locality in the GC using Hotness
Bo WuWu, Bo Colorado School of Mines pc in Program Committee within the LCTES-track
Wei-Cheng WuWu, Wei-Cheng University of Southern California, USA Efficient Handling of String-Number Conversion
Xi WuWu, Xi The University of SydneyAustralia Explaining Bug Provenance with Trace Witnesses
Xiaodi WuWu, Xiaodi University of Maryland, USA On the Principles of Differentiable Quantum Programming Languages
Zhenwei WuWu, Zhenwei National University of Defense Technology, China / University of Manchester, UK PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Committee Member in External Review Committee within the PLDI Research Papers-track
X Jun XiaoXiao, Jun University of AmsterdamNetherlands CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems
Ningning XieXie, Ningning University of TorontoCanada Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Chao XiongXiong, Chao Corerain Technologies On the Challenges in Programming Mixed-Precision Deep Neural Networks
Yingfei XiongXiong, Yingfei Peking University, China Question Selection for Interactive Program Synthesis
Zikang XiongXiong, Zikang Purdue University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guoqing Harry XuXu, Guoqing Harry University of California at Los Angeles, USA Crafty: Efficient, HTM-Compatible Persistent Transactions Committee Member in External Review Committee within the PLDI Research Papers-track
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Steering Committee Member in Steering Committee for ISMM 2020
Ziyang XuXu, Ziyang Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Anton XueXue, Anton University of Pennsylvania Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jingling XueXue, Jingling UNSW SydneyAustralia General Chair in Organizing Committee within the LCTES-track
Y Eran YahavYahav, Eran TechnionIsrael Technical talk: Neural Methods for Programming Language Processing Committee Member in Program Committee within the PLDI Research Papers-track
Boris YakobowskiYakobowski, Boris AdaCoreFrance Inferring things on Ada code – Invited Talk
Albert Mingkun YangYang, Albert Mingkun Uppsala University, Sweden ThinGC: Complete Isolation With Marginal Overhead Improving Program Locality in the GC using Hotness
Hailong YangYang, Hailong Beihang University, China SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Jean YangYang, Jean Carnegie Mellon University Panel: Surviving Grad School
Laurence T. YangYang, Laurence T. Huazhong University of Science and TechnologyChina ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness
Xi YangYang, Xi University of Sydney, AustraliaAustralia Committee Member in Program Committee for ISMM 2020
Jianan YaoYao, Jianan Columbia University, USA Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
Xi YeYe, Xi University of Texas at Austin, USA Multi-modal Synthesis of Regular Expressions
Yuwei YeYe, Yuwei Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Pen-Chung YewYew, Pen-Chung University of Minnesota pc in Program Committee within the LCTES-track
Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
Youngmin YiYi, Youngmin University of Seoul WIP: Towards Real-time CNN Inference from a Video Stream on a Mobile GPU
Adarsh YogaYoga, Adarsh Intel Corporation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Greta YorshYorsh, Greta Jane Street Committee Member in Program Committee within the BAPL-track Committee Member in Program Committee within the SOAP-track
Zeming YuYu, Zeming Pennsylvania State University, USA Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Heechul YunYun, Heechul University of Kansas pc in Program Committee within the LCTES-track
Z Yannick ZakowskiZakowski, Yannick University of Pennsylvania Representing recursive and impure programs in Coq: from a toy assembly language to a modular formal semantics for LLVM IR
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Program Committee within the REMS-DeepSpec-track
Jianping ZengZeng, Jianping Purdue University, USAUnited States Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Web Chair in Organizing Committee within the LCTES-track
Antonia ZhaiZhai, Antonia University of Minnesota pc in Program Committee within the LCTES-track
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Validating SMT Solvers via Semantic Fusion
Lu ZhangZhang, Lu Peking University, China Question Selection for Interactive Program Synthesis
Qirun ZhangZhang, Qirun Georgia Institute of Technology, USA Session Chair of Symbolic Execution (part of PLDI Research Papers) Fast Graph Simplification for Interleaved Dyck-Reachability Debug Information Validation for Optimized Code Committee Member in Program Committee within the PLDI Research Papers-track
Tong ZhangZhang, Tong Samsung pc in Program Committee within the LCTES-track
Wenzhe ZhangZhang, Wenzhe National University of Defense Technology, China PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
Xin ZhangZhang, Xin Massachusetts Institute of TechnologyUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Yiying ZhangZhang, Yiying University of California at San Diego, USA Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
Ze ZhangZhang, Ze University of MichiganUnited States Path Sensitive Signatures for Control Flow Error Detection
Zhiru ZhangZhang, Zhiru Cornell University, USA Predictable Accelerator Design with Time-Sensitive Affine Types
Ruizhe ZhaoZhao, Ruizhe Imperial College LondonUnited Kingdom On the Challenges in Programming Mixed-Precision Deep Neural Networks
Xueyuan ZhaoZhao, Xueyuan Carnegie Mellon University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Huiyang ZhouZhou, Huiyang North Carolina State U. pc in Program Committee within the LCTES-track
Haoran ZhuZhu, Haoran Huazhong University of Science and Technology ApproxRefresh: Enabling Uncorrectable Data Reuse on Flash Memory with Approximate Read Awareness
Shaopeng ZhuZhu, Shaopeng University of Maryland, USA On the Principles of Differentiable Quantum Programming Languages
Youwei ZhuoZhuo, Youwei University of Southern California, USA SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
Wei ZouZou, Wei Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Session Chair of Session 3 (part of Infer Practitioners) Static Performance Analysis Infer team Q&A Committee Member in Program Committee within the Infer Practitioners-track
Ö Erik ÖsterlundÖsterlund, Erik Oracle, Sweden ThinGC: Complete Isolation With Marginal Overhead Improving Program Locality in the GC using Hotness

PLDI 2020 Contributors

Results (791)

Tracks

Co-hosted Conferences

Co-hosted Events

Workshops