PLDI 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (812)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Verification of Programs under the Release-Acquire Semantics
Oskar AbrahamssonAbrahamsson, Oskar Chalmers University of Technology, Sweden Verified Compilation on a Verified Processor
Ole AbusdalAbusdal, Ole Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
Sara AchourAchour, Sara MITUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tosiron AdegbijaAdegbija, Tosiron University of Arizona Committee Member in Program Committee within the LCTES-track
Sarita AdveAdve, Sarita Approximate Checkers
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
Neha AgarwalAgarwal, Neha GoogleUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Saad AhmedAhmed, Saad LUMS, Pakistan Efficient Intermittent Computing with Differential Checkpointing The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Jessica AiAi, Jessica HackPPL: A Universal Probabilistic Programming Language
Alex AikenAiken, Alex Stanford University Semantic Program Alignment for Equivalence Checking
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 PC Member in Program Committee for ISMM 2019
mejbah alamalam, mejbah Intel, USA Committee Member in Program Committee within the MAPL-track
Muhammad Ahad Ul AlamAlam, Muhammad Ahad Ul Florida State University, USA Exploration of Memory Hybridization for RDD Caching in Spark
Benjamin AlbrechtAlbrecht, Benjamin Cray Inc. Chapel in Cray HPO
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in External Program Committee within the PLDI Research Papers-track
Karim AliAli, Karim University of Alberta Committee Member in Program Committee within the SOAP-track
Muhammad Hamad AlizaiAlizai, Muhammad Hamad LUMS, Pakistan Efficient Intermittent Computing with Differential Checkpointing On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Nicholas AllenAllen, Nicholas Commit-time Incremental Analysis
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana UniversityUnited States Toward Efficient Gradual Typing for Structural Types via Coercions
Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Data-Trace Types for Distributed Stream Processing Systems Committee Member in External Review Committee within the PLDI Research Papers-track
Saman AmarasingheAmarasinghe, Saman MIT Committee Member in External Program Committee within the PLDI Research Papers-track
Nadav AmitAmit, Nadav Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Dr Amita KapoorAmita Kapoor, Dr University of Delhi, Delhi India Probabilistic Programming using Edward/TensorFlow Deep Reinforcement Learning using TensorFlow
Greg AndersonAnderson, Greg University of Texas at Austin, USA Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
June AndronickAndronick, June Data61,CSIRO (formerly NICTA) and UNSWAustralia Committee Member in Program Committee within the PLDI Research Papers-track
Andrew AppelAppel, Andrew Princeton Session Chair of Interaction Trees and Algebraic Effects I (part of DeepSpec) Closure Conversion is Safe for Space Abstraction, Subsumption, and Linking in VST Project Updates from Participating Sites
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Datafun: A higher-order functional Datalog
Jatin AroraArora, Jatin IIT Bombay, India Verification of Programs under the Release-Acquire Semantics
Nimar S. AroraArora, Nimar S. HackPPL: A Universal Probabilistic Programming Language
Meenakshi ArunachalamArunachalam, Meenakshi Intel, USA Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
Rafael AsenjoAsenjo, Rafael Universidad de MálagaSpain Committee Member in Program Committee within the CHIUW-track
Angello AstorgaAstorga, Angello Learning Stateful Preconditions Modulo a Test Generator
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Verification of Programs under the Release-Acquire Semantics
Travis AugustineAugustine, Travis Colorado State University, USA Generating Piecewise-Regular Code from Irregular Structures
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
B David B. WhalleyB. Whalley, David Florida State UniversityUnited States Steering Committee Member in Steering Committee within the LCTES-track Committee Member in Program Committee within the LCTES-track
Abu BakarBakar, Abu Northwestern University, US The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Darshana BalakrishnanBalakrishnan, Darshana University at Buffalo Fluid Data Structures
Mahesh BalasubramanianBalasubramanian, Mahesh Arizona State UniversityUnited States Web Chair in Organizing Committee within the LCTES-track
Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Hampus BalldinBalldin, Hampus MetaDL: Analysing Datalog in Datalog
Raj BarikBarik, Raj Intel Labs Committee Member in Steering Committee within the MAPL-track
Sean BartellBartell, Sean University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Gilles BartheBarthe, Gilles IMDEA Software InstituteSpain FaCT: A DSL for Timing-Sensitive Computation Bidirectional Type Checking for Relational Properties
Henrik BarthelsBarthels, Henrik RWTH Aachen Code Generation in Linnea (extended abstract)
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Committee Member in Program Committee within the MAPL-track Committee Member in External Review Committee within the PLDI Research Papers-track
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Machine Learning in Python with No Strings Attached
Khalid BelhajjameBelhajjame, Khalid PSL, Université Paris-Dauphine, LAMSADE Streaming saturation for large RDF graphs with dynamic schema information
Elias BenussiBenussi, Elias Faculty Science Ltd Verifying Message-Passing Programs with Dependent Behavioural Types
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States 2016 Program Chair in Steering Committee for PLDI 2019 Mesh: Compacting Memory Management for C/C++ Applications
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Coinduction and Testing (part of DeepSpec) Session Chair of Deep Specifications (part of DeepSpec) Abstraction, Subsumption, and Linking in VST Committee Member in Organizing Committee within the DeepSpec-track
Robert BerneckyBernecky, Robert Snake Island Research Convolutional Neural Networks in APL
Naveed Anwar BhattiBhatti, Naveed Anwar RISE, SwedenSweden Efficient Intermittent Computing with Differential Checkpointing The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Benjamin BichselBichsel, Benjamin ETH Zurich, Switzerland Scalable Taint Specification Inference with Big Code
Paolo BientinesiBientinesi, Paolo Umeå UniversitySweden Code Generation in Linnea (extended abstract) Committee Member in Program Committee within the ARRAY-track
Walter BinderBinder, Walter University of Lugano, Switzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM Committee Member in Program Committee within the PLDI Research Papers-track
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Committee Member in External Review Committee within the PLDI Research Papers-track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in External Review Committee for ISMM 2019 Design and Analysis of Field-Logging Write Barriers Using the V8 JavaScript Virtual Machine as a Research Platform Committee Member in External Program Committee within the PLDI Research Papers-track
Maxwell Troy BlandBland, Maxwell Troy University of California at San Diego, USA Lazy Counterfactual Symbolic Execution
Guy E. BlellochBlelloch, Guy E. Carnegie Mellon University Low-Latency Graph Streaming using Compressed Purely-Functional Trees
Christophe BobdaBobda, Christophe University of Arkansas Committee Member in Program Committee within the LCTES-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Know Your Analysis: How Instrumentation Aids Understanding Static Analysis SootDiff: Bytecode Comparison across different Java Compilers Committee Member in Program Committee within the SOAP-track Committee Member in External Review Committee within the PLDI Research Papers-track
Rastislav BodikBodik, Rastislav University of WashingtonUnited States Committee Member in Program Committee within the MAPL-track Committee Member in External Program Committee within the PLDI Research Papers-track
Bruno BodinBodin, Bruno Yale-NUS CollegeSingapore High-Level Synthesis of Functional Patterns with Lift Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the LCTES-track
Hans-J. BoehmBoehm, Hans-J. Google Keynote 1: Relaxed memory ordering needs a better specification
Michael D. BondBond, Michael D. Ohio State University PC Member in Program Committee for ISMM 2019
Unmesh BordoloiBordoloi, Unmesh General Motors Committee Member in Program Committee within the LCTES-track
Peter BraamBraam, Peter Array Processing on Steroids for the SKA Radio-Telescope
Laurin BrandnerBrandner, Laurin ETH Zurich, Switzerland A Fast Analytical Model of Fully Associative Caches
Alexander BrauckmannBrauckmann, Alexander A Case Study on Machine Learning for Synthesizing Benchmarks
Gunavaran BrihadiswarnBrihadiswarn, Gunavaran University of Moratuwa Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
Oliver BringmannBringmann, Oliver University of Tübingen, GermanyGermany Committee Member in Program Committee within the LCTES-track
Marc BrockschmidtBrockschmidt, Marc Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the MAPL-track Committee Member in External Review Committee within the PLDI Research Papers-track
Fraser BrownBrown, Fraser Stanford University FaCT: A DSL for Timing-Sensitive Computation
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Alan BurnsBurns, Alan University of York From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
Theodore ButlerButler, Theodore Drexel University, USA snmalloc: A Message Passing Allocator
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Computing Summaries of String Loops in C for Better Testing and Refactoring
Haipeng CaiCai, Haipeng Washington State University PullmanUnited States An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
Giovanni CampagnaCampagna, Giovanni Stanford University, USA Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
David CampbellCampbell, David University of Florida PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress)
Ting CaoCao, Ting Microsoft ResearchChina PC Member in Program Committee for ISMM 2019 Session Chair of Performance (part of PLDI Research Papers) Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Committee Member in External Review Committee within the PLDI Research Papers-track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States NAP: Noise-Based Sensitivity Analysis for Programs. Co-organizer in Organizing Committee within the WAX-track
Paris CarboneCarbone, Paris KTH, Sweden Arc: An IR for Batch and Stream Programming
João M. P. CardosoCardoso, João M. P. University of Porto and INESC TEC, PortugalPortugal Committee Member in Program Committee within the LCTES-track
Elias CastegrenCastegren, Elias Uppsala University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany A Case Study on Machine Learning for Synthesizing Benchmarks TeIL: a type-safe imperative Tensor Intermediate Language Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads Committee Member in Program Committee within the LCTES-track
Sunjay CauligiCauligi, Sunjay University of California, San Diego FaCT: A DSL for Timing-Sensitive Computation
Luis CezeCeze, Luis University of WashingtonBrazil Co-organizer in Organizing Committee within the WAX-track
Tej ChajedChajed, Tej Massachusetts Institute of Technology, USAUnited States Argosy: Verifying Layered Storage Systems with Recovery Refinement
Brad ChamberlainChamberlain, Brad Cray Inc.United States Session Chair of Keynote Talk by Anshu Dubey (Argonne) (part of CHIUW) Chapel 101 Welcome, State of the Chapel Project Program Chair in Organizing Committee within the CHIUW-track Program Chair in Program Committee within the CHIUW-track
Satish ChandraChandra, Satish FacebookUnited States Session Chair of Type Systems III (part of PLDI Research Papers) Neural Query Expansion for Code Search Committee Member in External Program Committee within the PLDI Research Papers-track
Stephen ChangChang, Stephen Northeastern University Committee Member in External Review Committee within the PLDI Research Papers-track
Wanli ChangChang, Wanli University of YorkUnited Kingdom Session Chair of Session 3: Applications (part of LCTES) From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) Committee Member in Program Committee within the LCTES-track
Krishnendu ChatterjeeChatterjee, Krishnendu IST Austria Cost Analysis of Nondeterministic Probabilistic Programs
Sudipta ChattopadhyayChattopadhyay, Sudipta Singapore University of Technology and Design Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
Swarat ChaudhuriChaudhuri, Swarat Rice University Neural Query Expansion for Code Search Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Committee Member in Program Committee within the MAPL-track Committee Member in External Program Committee within the PLDI Research Papers-track
Hao ChenChen, Hao Microsoft Research CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Jian-Jia ChenChen, Jian-Jia TU Dortmund UniversityGermany Note from General Chair General Chair in Organizing Committee within the LCTES-track
Rong ChenChen, Rong Shanghai Jiao Tong UniversityChina Committee Member in External Review Committee for ISMM 2019
Shuo-Han ChenChen, Shuo-Han Academia Sinica, Taipei 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
Xianglan ChenChen, Xianglan University of Science and Technology of China, China DFix: Automatically Fixing Timing Bugs in Distributed Systems
Yiran ChenChen, Yiran Duke University Committee Member in Program Committee within the LCTES-track
James CheneyCheney, James University of Edinburgh, UKUnited States Language-integrated provenance by trace analysis Mixing set and bag semantics
Kazem CheshmiCheshmi, Kazem University of Toronto Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Benjamin ChetiouiChetioui, Benjamin University of Bergen, Norway Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
Alvin CheungCheung, Alvin University of Washington Session Chair of Welcome (part of DBPL) Co-chair in Organizing Committee within the DBPL-track PC Co-Chair in Program Committee within the DBPL-track Committee Member in Steering Committee within the MAPL-track
Shing-Chi CheungCheung, Shing-Chi Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyChina Committee Member in External Review Committee within the PLDI Research Papers-track
Nicholas ChiangChiang, Nicholas Gunn High School Automating the Generation of Hardware Component Knowledge Bases
Victor ChibotaruChibotaru, Victor DeepCode, Switzerland Scalable Taint Specification Inference with Big Code
David ChisnallChisnall, David University of Cambridge snmalloc: A Message Passing Allocator
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Session Chair of HW/SW Interface Specifications (part of DeepSpec) Fast, Verified Partial Evaluation Project Updates from Participating Sites
Jiho ChoiChoi, Jiho University of Illinois at Urbana-Champaign Reusable Inline Caching for JavaScript Performance
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA Modular Correctness Proofs at the Hardware-Software Interface
Stephen ChongChong, Stephen Harvard University, USA Committee Member in External Review Committee within the PLDI Research Papers-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Student Research Competition Co-Chair in Organizing Committee for PLDI 2019 Co-chair in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Ravi ChughChugh, Ravi University of Chicago Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2019 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Berkeley ChurchillChurchill, Berkeley Stanford UniversityUnited States Semantic Program Alignment for Equivalence Checking
Sylvan ClebschClebsch, Sylvan Imperial College London snmalloc: A Message Passing Allocator
Albert CohenCohen, Albert GoogleFrance 2017 General Chair in Steering Committee for PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Dario ColazzoColazzo, Dario Streaming saturation for large RDF graphs with dynamic schema information
Mistral ContrastinContrastin, Mistral University of Cambridge, UKUnited Kingdom Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
William CookCook, William University of Texas at Austin Committee Member in Program Committee within the DBPL-track
David CoxCox, David Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
Huimin CuiCui, Huimin Institute of Computing Technology, Chinese Academy of Sciences Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Chris CumminsCummins, Chris University of EdinburghUnited Kingdom A Case Study on Machine Learning for Synthesizing Benchmarks
Marco Cusumano-TownerCusumano-Towner, Marco MIT-CSAIL Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
D Daniele Cono D'EliaD'Elia, Daniele Cono Sapienza University of RomeItaly Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Usuba: High-Throughput and Constant-Time Ciphers, by Construction
Andreas DannDann, Andreas Paderborn UniversityGermany FutureSoot: Making Soot ready for the future analyses of complex software SootDiff: Bytecode Comparison across different Java Compilers
Kyle DaruwallaDaruwalla, Kyle University of Wisconsin – Madison BitBench: A Benchmark for Bitstream Computing
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sourav DasDas, Sourav IIT Madras SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Sandeep DasguptaDasgupta, Sandeep University of Illinois at Urbana-Champaign, USAUnited States The K Framework A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
Roshan DathathriDathathri, Roshan University of Texas at Austin, USA CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Eddie C. DavisDavis, Eddie C. Boise State University, USA Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Ulan DegenbaevDegenbaev, Ulan Google Concurrent Marking of Shape-Changing Objects Using the V8 JavaScript Virtual Machine as a Research Platform
André DeHonDeHon, André University of Pennsylvania, USA Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Pantazis DeligiannisDeligiannis, Pantazis Microsoft ResearchUnited Kingdom Safe Asynchronous Programming: Methodology, Language, and Tools
Christina DelimitriouDelimitriou, Christina Cornell UniversityUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the PLDI Research Papers-track
Ankush DesaiDesai, Ankush University of California, Berkeley Safe Asynchronous Programming: Methodology, Language, and Tools
Laxman DhulipalaDhulipala, Laxman Carnegie Mellon University Low-Latency Graph Streaming using Compressed Purely-Functional Trees
Yejia DiDi, Yejia East China Normal University, Chongqing University 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
Robert DickDick, Robert University of Michigan, USA Committee Member in Program Committee within the LCTES-track
Isil DilligDillig, Isil UT AustinUnited States 2017 Member at Large in Steering Committee for PLDI 2019 Synthesizing Database Programs for Schema Refactoring Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Committee Member in External Program Committee within the PLDI Research Papers-track
Rayna DimitrovaDimitrova, Rayna University of Leicester, UK Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Chen DingDing, Chen University of Rochester Timescale Functions for Parallel Memory Allocation Committee Member in External Review Committee within the PLDI Research Papers-track
Yufei DingDing, Yufei UCSBChina PC Member in Program Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Zeyu DingDing, Zeyu Pennsylvania State University, USA Proving Differential Privacy with Shadow Execution
Philipp Dominik SchubertDominik Schubert, Philipp Heinz Nixdorf Institut, Paderborn UniversityGermany Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Alastair DonaldsonDonaldson, Alastair Google and Imperial College LondonUnited Kingdom Session Chair of Concurrency I (part of PLDI Research Papers) Hacks to Compensate for Lack of Novelty in Programming Languages Research Sparse Record and Replay with Controlled Scheduling Committee Member in Program Committee within the PLDI Research Papers-track
James DongDong, James University of Texas at Austin, USA Synthesizing Database Programs for Schema Refactoring
Ning DongDong, Ning HackPPL: A Universal Probabilistic Programming Language
Dana Drachsler CohenDrachsler Cohen, Dana ETH ZurichSwitzerland Committee Member in Program Committee within the SOAP-track Committee Member in Program Committee within the MAPL-track Committee Member in Program Committee within the PLDI Research Papers-track
Tommaso DreossiDreossi, Tommaso University of California at BerkeleyUnited States Scenic: A Language for Scenario Specification and Scene Generation
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom snmalloc: A Message Passing Allocator
Christophe DubachDubach, Christophe University of EdinburghUnited Kingdom High-Level Synthesis of Functional Patterns with Lift Committee Member in Program Committee within the ARRAY-track Steering Committee Member in Steering Committee within the LCTES-track
Anshu DubeyDubey, Anshu Argonne National Laboratory Programming Abstractions for Orchestration of HPC Scientific Computing
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Lydia DuncanDuncan, Lydia Cray Inc. Calling Chapel Code: Interoperability Improvements
Alexandru DuraDura, Alexandru MetaDL: Analysing Datalog in Datalog
E Jan EberhardtEberhardt, Jan DeepCode, Switzerland Unsupervised Learning of API Aliasing Specifications
Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea Committee Member in Program Committee within the LCTES-track
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Session Chair of Session 3 (part of ARRAY) Data-Parallel Flattening by Expansion
Michael EmmiEmmi, Michael SRI InternationalUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Mehmet EmreEmre, Mehmet University of California, Santa Barbara Fixpoint Reuse for Incremental JavaScript Analysis
Constantin EneaEnea, Constantin Université Paris DiderotFrance Replication-Aware Linearizability
Stefano ErmonErmon, Stefano Stanford Committee Member in Steering Committee within the MAPL-track
Sebastian ErtelErtel, Sebastian A Case Study on Machine Learning for Synthesizing Benchmarks
Hadi EsmaeilzadehEsmaeilzadeh, Hadi Georgia Tech Co-organizer in Organizing Committee within the WAX-track
Gregory EssertelEssertel, Gregory Towards Compiling Graph Queries in Relational Engines
F Kavon FarvardinFarvardin, Kavon University of ChicagoUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mohammad Amin FarvardinFarvardin, Mohammad Amin PSL, Université Paris-Dauphine, LAMSADE Streaming saturation for large RDF graphs with dynamic schema information
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Modular Divide-and-Conquer Parallelization of Nested Loops
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) University of British ColumbiaCanada Committee Member in External Review Committee within the PLDI Research Papers-track
Stefan FehrenbachFehrenbach, Stefan University of Edinburgh Language-integrated provenance by trace analysis
Xiaobing FengFeng, Xiaobing ICT CAS Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Xinyu FengFeng, Xinyu Nanjing UniversityChina Session Chair of Systems I (part of PLDI Research Papers) Towards Certified Separate Compilation for Concurrent Programs Committee Member in Program Committee within the PLDI Research Papers-track
Michael FergusonFerguson, Michael Cray Inc. Session Chair of Applications of Chapel (continued) (part of CHIUW) Session Chair of Applications of Chapel (part of CHIUW) Towards Radix Sorting in the Chapel Standard Library Chapel Unblocked: Recent Communication Optimizations in Chapel Steering Committee Member in Organizing Committee within the CHIUW-track Committee Member in Program Committee within the CHIUW-track
Vimuth FernandoFernando, Vimuth University of Illinois at Urbana-Champaign Identifying Optimal Parameters for Approximate Randomized Algorithms
Sebastian FischmeisterFischmeister, Sebastian University of Waterloo, Canada Steering Committee Member in Steering Committee within the LCTES-track
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Program Chair in Organizing Committee for PLDI 2019 Career Options in Academia, Industry, and Government Program Chair in Program Committee within the PLDI Research Papers-track
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland PLDI Steering Committee Chair in Steering Committee for PLDI 2019
Christopher W. FletcherFletcher, Christopher W. Approximate Checkers
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States 2018 General Chair in Steering Committee for PLDI 2019 Session Chair of Type Systems II (part of PLDI Research Papers) Type-Level Computations for Ruby Libraries
Nate FosterFoster, Nate Cornell UniversityUnited States Scalable Verification of Probabilistic Networks
Anthony FoxFox, Anthony University of Cambridge, UK Verified Compilation on a Verified Processor
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom snmalloc: A Message Passing Allocator
Daniel J. FremontFremont, Daniel J. University of California at Berkeley, USA Scenic: A Language for Scenario Specification and Scene Generation
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2019
Hongfei FuFu, Hongfei IST Austria Cost Analysis of Nondeterministic Probabilistic Programs
Zhoulai FuFu, Zhoulai IT University of Copenhagen, Denmark Effective Floating-Point Analysis via Weak-Distance Minimization
Per FuchsFuchs, Per Vrije Universiteit (VU) Amsterdam Implementing Stencil Problems in Chapel: An Experience Report
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Characterising Renaming within OCaml’s Module System: Theory and Implementation
G David G. WonnacottG. Wonnacott, David Haverford CollegeUnited States Session Chair of Chapel Performance and Optimizations (part of CHIUW) Committee Member in Program Committee within the CHIUW-track
Marco GaboardiGaboardi, Marco University at Buffalo, SUNYUnited States Bidirectional Type Checking for Relational Properties
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Bidirectional Type Checking for Relational Properties
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Elazar GershuniGershuni, Elazar Tel Aviv UniversityIsrael Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Nikhil GhanatheGhanathe, Nikhil Microsoft Research, India Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Shromona GhoshGhosh, Shromona University of California at Berkeley, USA Scenic: A Language for Scenario Specification and Scene Generation
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of Session 1 (part of ARRAY) Session Chair of Session 2 (part of ARRAY) Chair in Organizing Committee within the ARRAY-track
Thomas GilrayGilray, Thomas The University of Alabama at BirminghamUnited States Tunable abstract abstract machines
Thomas GilrayGilray, Thomas University of Maryland Size-Change Termination as a Contract
Andrés GoensGoens, Andrés A Case Study on Machine Learning for Synthesizing Benchmarks
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar IST AustriaAustria Cost Analysis of Nondeterministic Probabilistic Programs
Beliz GokkayaGokkaya, Beliz HackPPL: A Universal Probabilistic Programming Language
Guy Golan-GuetaGolan-Gueta, Guy VMWare Research Committee Member in Program Committee within the PLDI Research Papers-track
Simon GoldsmithGoldsmith, Simon Adventures in Commercial-Grade Static Analysis
Rahul GopinathGopinath, Rahul CISPA Helmholtz Center for Information SecurityGermany Parser-Directed Fuzzing
Sridhar GopinathGopinath, Sridhar Microsoft Research, IndiaIndia Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Justin GottschlichGottschlich, Justin Intel Labs Committee Member in Steering Committee within the MAPL-track
Neville GrechGrech, Neville University of Athens Session Chair of Session I (part of DPA) Session Chair of Session IV (part of DPA) Session Chair of Demos, Tributes and Awards (part of SOAP) Session Chair of Performance and Optimizations for Program Analysis Tools (part of SOAP) Gigahorse: Thorough Smart Contract Decompilation and Security Analyses Best presentation announcement and closing of the day Laurie Hendren Euology Welcome to SOAP 2019 Co-chair in Organizing Committee within the SOAP-track Committee Member in Organizing Committee within the DPA-track
Michael GreenbergGreenberg, Michael Pomona College Committee Member in Program Committee within the PLDI Research Papers-track
Benjamin GregoireGregoire, Benjamin INRIA FaCT: A DSL for Timing-Sensitive Computation
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Implementing Stencil Problems in Chapel: An Experience Report
Tobias GrosserGrosser, Tobias ETH Zurich A Fast Analytical Model of Fully Associative Caches
Dan GrossmanGrossman, Dan University of WashingtonUnited States 2018 Program Chair in Steering Committee for PLDI 2019 Session Chair of Concurrency II (part of PLDI Research Papers)
David GroveGrove, David IBM ResearchUnited States Committee Member in External Review Committee for ISMM 2019
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the ARRAY-track
Hui GuanGuan, Hui North Carolina State University Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
Haryadi S. GunawiGunawi, Haryadi S. University of Chicago, USA DFix: Automatically Fixing Timing Bugs in Distributed Systems
Aarti GuptaGupta, Aarti Princeton University Committee Member in External Review Committee within the PLDI Research Papers-track
Rajesh GuptaGupta, Rajesh UC San Diego New Models and Methods for Programming Cyber-Physical Systems
Rajiv GuptaGupta, Rajiv UC RiversideUnited States PC Member in Program Committee for ISMM 2019
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Sankha Narayan GuriaGuria, Sankha Narayan University of Maryland, College ParkUnited States Type-Level Computations for Ruby Libraries
Tobias GysiGysi, Tobias ETH Zurich, Switzerland A Fast Analytical Model of Fully Associative Caches
H Christine H. FloodH. Flood, Christine Red Hat Committee Member in Steering Committee for ISMM 2019
Mary HallHall, Mary University of Utah How to be a great researcher Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Committee Member in External Program Committee within the PLDI Research Papers-track
William T. HallahanHallahan, William T. Yale University Lazy Counterfactual Symbolic Execution
Fazal HameedHameed, Fazal TU Dresden, Germany Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
Matthew HammerHammer, Matthew NoneUnited States ILC: A Calculus for Composable, Computational Cryptography
Frank HannigHannig, Frank Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Committee Member in Program Committee within the LCTES-track
Ben HardekopfHardekopf, Ben UC Santa Barbara Fixpoint Reuse for Incremental JavaScript Analysis
Seif HaridiHaridi, Seif Arc: An IR for Batch and Stream Programming
R Harikrishnan UnnithanHarikrishnan Unnithan, R SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Ben HarshbargerHarshbarger, Ben Cray Inc. Chapel Unblocked: Recent Communication Optimizations in Chapel
Matin HashemiHashemi, Matin Sharif University of TechnologyIran Committee Member in Program Committee within the LCTES-track
Magne HaveraaenHaveraaen, Magne University of Bergen, Norway Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays Committee Member in Program Committee within the ARRAY-track
Peter HawkinsHawkins, Peter Google Committee Member in External Review Committee within the PLDI Research Papers-track
Akihiro HayashiHayashi, Akihiro Rice University, USAUnited States GPUIterator: Bridging the Gap between Chapel and GPU Platforms
Thomas Haywood DadzieHaywood Dadzie, Thomas Hanyang UniversitySouth Korea SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited)
Brian HempelHempel, Brian University of Chicago Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Data-Parallel Flattening by Expansion Committee Member in Program Committee within the ARRAY-track
Kihong HeoHeo, Kihong University of Pennsylvania, USAUnited States Continuously Reasoning about Programs using Differential Bayesian Inference Committee Member in External Review Committee within the PLDI Research Papers-track
Ben HermannHermann, Ben Paderborn UniversityGermany FutureSoot: Making Soot ready for the future analyses of complex software Know Your Analysis: How Instrumentation Aids Understanding Static Analysis SootDiff: Bytecode Comparison across different Java Compilers
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
Oscar HernandezHernandez, Oscar ORNL Committee Member in Program Committee within the CHIUW-track
Alex HeyeHeye, Alex Cray Inc. Chapel in Cray HPO
Pieter HijmaHijma, Pieter Vrije Universiteit (VU) Amsterdam Implementing Stencil Problems in Chapel: An Experience Report
Martin HirzelHirzel, Martin IBM ResearchUnited States Session Chair of Probabilistic Programming (part of PLDI Research Papers) Machine Learning in Python with No Strings Attached Committee Member in Program Committee within the PLDI Research Papers-track
Nhut Minh HoHo, Nhut Minh National University of Singapore ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
Torsten HoeflerHoefler, Torsten ETH ZurichSwitzerland A Fast Analytical Model of Fully Associative Caches
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Resource-Guided Program Synthesis
Paul HohenseeHohensee, Paul Amazon Committee Member in External Review Committee for ISMM 2019
Hossein HojjatHojjat, Hossein Rochester Institute of Technology and University of TehranUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wolf HonoreHonore, Wolf Connecting Separation Logic with First-Order Reasoning on Memory
Michihiro HorieHorie, Michihiro IBM Research - Tokyo Scaling Up Parallel GC Work-Stealing in Many-Core Environments
Hiroshi HoriiHorii, Hiroshi IBM Research, Japan Scaling Up Parallel GC Work-Stealing in Many-Core Environments
Luke HsiaoHsiao, Luke Stanford UniversityUnited States Automating the Generation of Hardware Component Knowledge Bases
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Scalable Verification of Probabilistic Networks
Lisa HsuHsu, Lisa Panel: Charting Your Path
Qinheping HuHu, Qinheping University of Wisconsin-MadisonUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeff HuangHuang, Jeff Texas A&M University Committee Member in External Review Committee within the PLDI Research Papers-track
Jian HuangHuang, Jian University of Illinois at Urbana-ChampaignUnited States AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
Yipeng HuangHuang, Yipeng Princeton UniversityUnited States Invited Talk: Yipeng Huang
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Session Chair of Verification I (part of PLDI Research Papers) Coinductive Reasoning about Interaction Trees Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Committee Member in Program Committee within the PLDI Research Papers-track
Matthias HöscheleHöschele, Matthias CISPA, Germany Parser-Directed Fuzzing
I Haruki ImaiImai, Haruki IBM Research - TokyoJapan Automatic GPU Memory Management for Large Neural Models in TensorFlow
Oren Ish-ShalomIsh-Shalom, Oren Tel Aviv University, IsraelIsrael Computing Summaries of String Loops in C for Better Testing and Refactoring
David ItenIten, David Cray Inc. Calling Chapel Code: Interoperability Improvements
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Computing Summaries of String Loops in C for Better Testing and Refactoring
Zachary G. IvesIves, Zachary G. University of Pennsylvania Data-Trace Types for Distributed Stream Processing Systems
Arun IyerIyer, Arun Microsoft Research, India Synthesis and Machine Learning for Heterogeneous Extraction
J Nouraldin JaberJaber, Nouraldin Purdue University, USAUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nicholas JacekJacek, Nicholas UMass Amherst Learning When to Garbage Collect with Random Forests
Dejice JacobJacob, Dejice ALPyNA: Acceleration of Loops in Python for Novel Architectures
Suresh JagannathanJagannathan, Suresh Purdue University An Inductive Synthesis Framework for Verifiable Reinforcement Learning Committee Member in Program Committee within the PLDI Research Papers-track
Louis JenkinsJenkins, Louis University of Rochester Chapel Graph Library (CGL)
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Session Chair of Type Systems I (part of PLDI Research Papers) FaCT: A DSL for Timing-Sensitive Computation Lazy Counterfactual Symbolic Execution Committee Member in External Program Committee within the PLDI Research Papers-track
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Hanru JiangJiang, Hanru University of Science and Technology of ChinaChina Towards Certified Separate Compilation for Concurrent Programs
Thomas JiangJiang, Thomas HackPPL: A Universal Probabilistic Programming Language
Xun JiaoJiao, Xun Villanova UniversityUnited States Committee Member in Program Committee within the LCTES-track
Alexandra JimboreanJimborean, Alexandra Uppsala UniversitySweden Committee Member in External Review Committee within the PLDI Research Papers-track
Brian JohannesmeyerJohannesmeyer, Brian University of California at San Diego, USA FaCT: A DSL for Timing-Sensitive Computation
Manohar JonnalageddaJonnalagedda, Manohar Inpher Inc., Switzerland Synthesis and Machine Learning for Heterogeneous Extraction
Keyur JoshiJoshi, Keyur University of Illinois at Urbana-ChampaignUnited States Identifying Optimal Parameters for Approximate Randomized Algorithms
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee within the LCTES-track
Jaakko JärviJärvi, Jaakko University of BergenNorway Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
K M. Frans KaashoekKaashoek, M. Frans Massachusetts Institute of Technology, USA Argosy: Verifying Layered Storage Systems with Recovery Refinement
David M. KahnKahn, David M. Carnegie Mellon University, USA Scalable Verification of Probabilistic Networks
Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vasiliki KalavriKalavri, Vasiliki ETH Zurich Committee Member in Program Committee within the DBPL-track
Alexander KampmannKampmann, Alexander CISPA Helmholtz Center for Information Security Parser-Directed Fuzzing
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State University, USAUnited States Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism Committee Member in External Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
Seokwon KangKang, Seokwon Hanyang University A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
Timotej KapusKapus, Timotej Imperial College London Computing Summaries of String Loops in C for Better Testing and Refactoring
Mustafa KarakoyKarakoy, Mustafa TOBB University of Economics and Technology, Turkey Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
Sagar KarandikarKarandikar, Sagar University of California, BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ben KarelKarel, Ben University of Pennsylvania, USA Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Ulya KarpuzcuKarpuzcu, Ulya University of Minnesota, USA Session Chair of Opening and Introduction (part of WAX) Program Chair in Program Committee within the WAX-track Program Chair in Organizing Committee within the WAX-track
Theodoros KasampalisKasampalis, Theodoros University of Illinois at Urbana-Champaign, USA A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India Fast and Precise Disassembly using Datalog
Baris KasikciKasikci, Baris University of Michigan, USA Huron: Hybrid False Sharing Detection and Repair
Harshad KastureKasture, Harshad Oracle Committee Member in Program Committee within the DBPL-track
Kiran KateKate, Kiran Machine Learning in Python with No Strings Attached
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - Tokyo Automatic GPU Memory Management for Large Neural Models in TensorFlow
Milod KazerounianKazerounian, Milod University of Maryland, College ParkUnited States Type-Level Computations for Ruby Libraries
Stephen KellKell, Stephen University of Kent PC Member in Program Committee for ISMM 2019
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Committee Member in Program Committee within the PLDI Research Papers-track
Oliver KennedyKennedy, Oliver University at Buffalo Fluid Data Structures
Asif Ali KhanKhan, Asif Ali TU Dresden, GermanyGermany Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
Tanvir Ahmed KhanKhan, Tanvir Ahmed University of Michigan, USABangladesh Huron: Hybrid False Sharing Detection and Repair
Daniel KiferKifer, Daniel Dept. of Computer Science and Engineering, Penn State University Proving Differential Privacy with Shadow Execution
Dohyeong KimKim, Dohyeong Purdue University SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
Jihye KimKim, Jihye Kookmin University SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited)
Seohyun KimKim, Seohyun Facebook Neural Query Expansion for Code Search
Johannes KinderKinder, Johannes Bundeswehr University MunichGermany Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Christoph KirschKirsch, Christoph University of SalzburgAustria Committee Member in Steering Committee for ISMM 2019
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the DBPL-track
Tristan KnothKnoth, Tristan University of California at San Diego, USA Resource-Guided Program Synthesis
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Refinement-Based Game Semantics for CompCert
Michalis KokologiannakisKokologiannakis, Michalis Max Planck Institute for Software Systems (MPI-SWS)Greece Model Checking for Weakly Consistent Libraries
Martin KongKong, Martin Brookhaven National LaboratoryUnited States Model-Driven Transformations for Multi- and Many-Core CPUs
Chaitanya KoparkarKoparkar, Chaitanya Indiana UniversityUnited States LoCal: A Language for Programs Operating on Serialized Data
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track Committee Member in External Review Committee within the PLDI Research Papers-track
Karol KowalskiKowalski, Karol Pacific Northwest National Laboratory Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
Dexter KozenKozen, Dexter Cornell UniversityUnited States Scalable Verification of Probabilistic Networks
Chandra KrintzKrintz, Chandra UC Santa Barbara 2016 General Chair in Steering Committee for PLDI 2019 Committee Member in Program Committee within the LCTES-track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India Verification of Programs under the Release-Acquire Semantics
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Committee Member in Program Committee within the PLDI Research Papers-track
Paddy KrishnanKrishnan, Paddy Commit-time Incremental Analysis
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge A Typed, Algebraic Approach to Parsing Committee Member in Program Committee within the PLDI Research Papers-track
Martin KristienKristien, Martin University of Edinburgh, UKUnited Kingdom High-Level Synthesis of Functional Patterns with Lift
Lars KrollKroll, Lars KTH Royal Institute of Technology, SwedenSweden Arc: An IR for Batch and Stream Programming
Anitha KubendranKubendran, Anitha HackPPL: A Universal Probabilistic Programming Language
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana UniversityUnited States Toward Efficient Gradual Typing for Structural Types via Coercions
Aditi KulkarniKulkarni, Aditi National University of Singapore SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Session Chair of PL Research Topics (part of PLMW @ PLDI) Session Chair of Icebreaker (part of PLMW @ PLDI) Icebreaker Composable, Sound Transformations of Nested Recursion and Loops Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees LoCal: A Language for Programs Operating on Serialized Data PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Prasad KulkarniKulkarni, Prasad Steering Committee Member in Steering Committee within the LCTES-track
Prasad KulkarniKulkarni, Prasad University of Kansas Committee Member in Program Committee within the LCTES-track
Arun KumarKumar, Arun HackPPL: A Universal Probabilistic Programming Language
Praveen KumarKumar, Praveen Cornell UniversityUnited States Scalable Verification of Probabilistic Networks
Ramana KumarKumar, Ramana DeepMindUnited Kingdom Verified Compilation on a Verified Processor
H. T. KungKung, H. T. Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan Steering Committee Member in Steering Committee within the LCTES-track
Lindsey KuperKuper, Lindsey University of California, Santa Cruz Committee Member in External Review Committee within the PLDI Research Papers-track
Yeondae KwonKwon, Yeondae The University of Tokyo Detecting Unsatisfiable CSS Rules in the Presence of DTDs
L Ori LahavLahav, Ori Tel Aviv University Robustness Against Release/Acquire Semantics
Kim LaineLaine, Kim Microsoft Research, n.n. CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Akash LalLal, Akash Microsoft Research IndiaIndia Safe Asynchronous Programming: Methodology, Language, and Tools
Monica S. LamLam, Monica S. Stanford University, USA Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Coverage Guided, Property Based Testing Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James LarusLarus, James EPFLSwitzerland Session Chair of Systems II (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Ben LaurieLaurie, Ben Google Research Project Oak: Control Data in Distributed Systems, Verify All The Things
Kristin LauterLauter, Kristin Microsoft Research, n.n. CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Marc-André LaverdièreLaverdière, Marc-André Synopsys, Inc.Canada Committee Member in Program Committee within the SOAP-track
Thierry LavoieLavoie, Thierry Synopsys, Inc. Session Chair of Opening (part of SOAP) Session Chair of Engineering Advances for Program Analysis Tools (part of SOAP) Session Chair of Industry Talks (part of SOAP) Best presentation announcement and closing of the day Laurie Hendren Euology Welcome to SOAP 2019 Co-chair in Organizing Committee within the SOAP-track
Claire Le GouesLe Goues, Claire Carnegie Mellon UniversityUnited States Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
Tung D. LeLe, Tung D. IBM Research - Tokyo Automatic GPU Memory Management for Large Neural Models in TensorFlow
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in External Review Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Hugh LeatherLeather, Hugh University of Edinburgh A Case Study on Machine Learning for Synthesizing Benchmarks
Dongyoon LeeLee, Dongyoon Virginia Tech, USA PC Member in Program Committee for ISMM 2019
Jiwon LeeLee, Jiwon Hanyang University SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited)
Jongeun LeeLee, Jongeun UNIST (Ulsan National Institute of Science and Technology), KoreaSouth Korea Publicity Chair in Organizing Committee within the LCTES-track
Kyoungwoo LeeLee, Kyoungwoo Yonsei University Committee Member in Program Committee within the LCTES-track
Sung-Hwan LeeLee, Sung-Hwan Seoul National University, South Korea Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
Wen-Chuan LeeLee, Wen-Chuan Purdue University Programming Support for Autonomizing Software
Woosuk LeeLee, Woosuk Hanyang University, KoreaSouth Korea Committee Member in Program Committee within the PLDI Research Papers-track
Richard LeerLeer, Richard Heinz Nixdorf Institut, Paderborn University Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Daniel LehmannLehmann, Daniel TU DarmstadtGermany Dynamically Analyzing WebAssembly with Wasabi
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control)
Ricardo LeiteLeite, Ricardo University of PortoPortugal A Lock-Free Coalescing-Capable Mechanism for Memory Management
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Philip LevisLevis, Philip Stanford University Automating the Generation of Hardware Component Knowledge Bases
Alexander K. LewLew, Alexander K. Massachusetts Institute of Technology, USAUnited States Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in External Review Committee within the PLDI Research Papers-track
Guangpu LiLi, Guangpu University of Chicago, USA DFix: Automatically Fixing Timing Bugs in Distributed Systems
Pengcheng LiLi, Pengcheng Google, IncChina Timescale Functions for Parallel Memory Allocation Committee Member in Program Committee within the LCTES-track
Xinyi LiLi, Xinyi Chang'an University IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
Hongjin LiangLiang, Hongjin Nanjing University, ChinaChina Towards Certified Separate Compilation for Concurrent Programs
Kevin LiaoLiao, Kevin ILC: A Calculus for Composable, Computational Cryptography
Christopher LidburyLidbury, Christopher Imperial College London Sparse Record and Replay with Controlled Scheduling
Paul LietarLietar, Paul snmalloc: A Message Passing Allocator
Seung-Hwan LimLim, Seung-Hwan Oak Ridge National Laboratory, USA Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
Calvin LinLin, Calvin University of Texas, AustinUnited States Session Chair of Research Career Options (part of PLMW @ PLDI) PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Felix LinLin, Felix Purdue University PC Member in Program Committee for ISMM 2019
Sam LindleyLindley, Sam The University of Edinburgh and Imperial College LondonUnited Kingdom Committee Member in Program Committee within the DBPL-track
Mikko H. LipastiLipasti, Mikko H. BitBench: A Benchmark for Bitstream Computing
Michael LippautzLippautz, Michael Google Concurrent Marking of Shape-Changing Objects
Hang LiuLiu, Hang UMass Lowell Committee Member in Program Committee within the CHIUW-track
Haopeng LiuLiu, Haopeng University of Chicago DFix: Automatically Fixing Timing Bugs in Distributed Systems Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason LiuLiu, Jason Neural Query Expansion for Code Search
Jed LiuLiu, Jed Barefoot Networks Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Lun LiuLiu, Lun University of California at Los Angeles, USA Accelerating Sequential Consistency for Java with Speculative Compilation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mengqi LiuLiu, Mengqi Yale University Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation
Peng LiuLiu, Peng Purdue University Programming Support for Autonomizing Software
Tongping LiuLiu, Tongping PC Member in Program Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Xu LiuLiu, Xu College of William and Mary PC Member in Program Committee for ISMM 2019
Yingqi LiuLiu, Yingqi Purdue University, USA Programming Support for Autonomizing Software
Nuno P. LopesLopes, Nuno P. Microsoft Research Session Chair of Synthesis (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Blake LoringLoring, Blake Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Tze Meng LowLow, Tze Meng CMU Session Chair of Session 4 (part of ARRAY) Linear Algebraic Depth-First Search Committee Member in Program Committee within the ARRAY-track
Shan LuLu, Shan University of Chicago Keynote 2: Why do big data and cloud systems stop (slow down)? DFix: Automatically Fixing Timing Bugs in Distributed Systems
Yi LuLu, Yi Oracle Commit-time Incremental Analysis
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Publicity in Organizing Committee for PLDI 2019 Transactional Concurrency for Intermittent Systems Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints
Hao LuoLuo, Hao University of Rochester Timescale Functions for Parallel Memory Allocation
Fang LvLv, Fang Institute of Computing Technology, Chinese Academy of Sciences Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Andreas LööwLööw, Andreas Chalmers University of Technology Verified Compilation on a Verified Processor
M Shiqing MaMa, Shiqing Purdue University, USA Programming Support for Autonomizing Software
Martin MaasMaas, Martin GoogleUnited States Session Chair of Reasoning and Optimizing ML Models (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Sandra MaciàMacià, Sandra Barcelona Supercomputing Center Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Learning Stateful Preconditions Modulo a Test Generator
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in Organizing Committee within the DPA-track
Kiwan MaengMaeng, Kiwan Carnegie Mellon University, USA Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints
Rasool MagharehMaghareh, Rasool National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stephen MagillMagill, Stephen An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Abdulrahman MahmoudMahmoud, Abdulrahman UIUC Approximate Checkers
Kenji MaillardMaillard, Kenji Inria Paris and ENS Paris Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrea MaioliMaioli, Andrea Politecnico di Milano, Italy On Intermittence Bugs in the Battery-less Internet of Things (Work in progress)
Petar MaksimovićMaksimović, Petar Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, SerbiaUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Saeed MalekiMaleki, Saeed Microsoft Research CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Konstantinos MamourasMamouras, Konstantinos University of Pennsylvania Data-Trace Types for Distributed Stream Processing Systems
Louis MandelMandel, Louis IBM ResearchUnited States Machine Learning in Python with No Strings Attached
Yatin ManerkarManerkar, Yatin Princeton UniversityUnited States Automated Formal Memory Consistency Verification of Hardware
Panagiotis ManoliosManolios, Panagiotis Northeastern University Records with Rank Polymorphism
Vikash MansinghkaMansinghka, Vikash MIT Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
William ManskyMansky, William University of Illinois at ChicagoUnited States Connecting Separation Logic with First-Order Reasoning on Memory
Michaël MarcozziMarcozzi, Michaël Imperial College LondonUnited Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Roy MargalitMargalit, Roy Tel Aviv University, Israel Robustness Against Release/Acquire Semantics
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Identifying Optimal Parameters for Approximate Randomized Algorithms Committee Member in External Review Committee within the PLDI Research Papers-track
Jason MarsMars, Jason University of Michigan What I wish I knew my first few years of grad school
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Massively Parallel GPU Memory Compaction Committee Member in Program Committee within the ARRAY-track
Björn MathisMathis, Björn CISPA Helmholtz Center for Information SecurityGermany Parser-Directed Fuzzing
Bernd MathiskeMathiske, Bernd Committee Member in External Review Committee for ISMM 2019
Tim MattsonMattson, Tim Intel, USA General Chair in Organizing Committee within the MAPL-track
Mikaël MayerMayer, Mikaël EPFL, Switzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Andrew McGregorMcGregor, Andrew Mesh: Compacting Memory Management for C/C++ Applications
Kathryn S McKinleyMcKinley, Kathryn S Google General Chair in Organizing Committee for PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
James McKinnaMcKinna, James University of Edinburgh Names, Places, and Things: Generic Traversals over Generic Syntax with Binding
Maryam Mehri DehnaviMehri Dehnavi, Maryam University of Toronto Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Committee Member in Program Committee within the CHIUW-track
Na MengMeng, Na Virginia TechUnited States Web Chair in Organizing Committee for PLDI 2019 Session Chair of Session 2: Architecture and Compilers (part of LCTES) An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
Arjun MenonMenon, Arjun IIT Madras SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Michaël MeraMera, Michaël CISPA, Germany Parser-Directed Fuzzing
Darius MercadierMercadier, Darius Sorbonne Universités —UPMC Univ Paris 06 Usuba: High-Throughput and Constant-Time Ciphers, by Construction
Michael MerrillMerrill, Michael US DoD Arkouda: Interactive Data Exploration Backed by Chapel
Jesse MichelMichel, Jesse Massachusetts Institute of Technology NAP: Noise-Based Sensitivity Analysis for Programs.
Matthew MilanoMilano, Matthew Cornell University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrew MillerMiller, Andrew University of Illinois at Urbana-Champaign, USA ILC: A Calculus for Composable, Computational Cryptography
Todd MillsteinMillstein, Todd University of California, Los Angeles Accelerating Sequential Consistency for Java with Speculative Compilation
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Identifying Optimal Parameters for Approximate Randomized Algorithms Co-organizer in Organizing Committee within the WAX-track Committee Member in Program Committee within the PLDI Research Papers-track
Duncan MitchellMitchell, Duncan Royal Holloway, University of London Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Tulika MitraMitra, Tulika National University of Singapore, SingaporeSingapore SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing Committee Member in Program Committee within the LCTES-track
Mostafa MohammedMohammed, Mostafa Virginia Tech An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
Mehrad MoradshahiMoradshahi, Mehrad Stanford University, USA Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
Igor Moreno SantosMoreno Santos, Igor Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eliot MossMoss, Eliot University of Massachusetts Amherst Learning When to Garbage Collect with Random Forests
Luca MottolaMottola, Luca Politecnico di Milano, Italy and RI.Se SICS, Sweden Efficient Intermittent Computing with Differential Checkpointing On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Barzan MozafariMozafari, Barzan University of Michigan, USA Huron: Hybrid False Sharing Detection and Repair
Md Muhib KhanMuhib Khan, Md Florida State University Exploration of Memory Hybridization for RDD Caching in Spark
Lenore MullinMullin, Lenore SUNY Albany, USA Session Chair of Session 5 (part of ARRAY) Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays Committee Member in Program Committee within the ARRAY-track
Vijayaraghavan MuraliMurali, Vijayaraghavan Rice University, USA Neural Query Expansion for Code Search
Saurav MuralidharanMuralidharan, Saurav NVIDIA Committee Member in External Review Committee within the PLDI Research Papers-track
Filip MurlakMurlak, Filip University of Warsaw On the Semantics of Cypher's Implicit Group-by
Madan MusuvathiMusuvathi, Madan Microsoft Research CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Accelerating Sequential Consistency for Java with Speculative Compilation
Erdal MutluMutlu, Erdal Pacific Northwest National Laboratory Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
Onur MutluMutlu, Onur ETH Zurich Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Suha Orhun MutluergilMutluergil, Suha Orhun IRIF, France / University Paris Diderot, France / CNRS, France Replication-Aware Linearizability
Abdullah MuzahidMuzahid, Abdullah Texas A & M UniversityUnited States Publicity Chair in Organizing Committee within the MAPL-track
Andrew C. MyersMyers, Andrew C. Cornell UniversityUnited States Committee Member in External Program Committee within the PLDI Research Papers-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Verified Compilation on a Verified Processor Committee Member in External Review Committee within the PLDI Research Papers-track
Todd MytkowiczMytkowicz, Todd Microsoft Research A week in the life of an MSR Researcher CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
N Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK Steering Committee Member in Steering Committee within the LCTES-track
Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Session Chair of Language Design II (part of PLDI Research Papers) Parallelism-Centric What-If and Differential Analyses Committee Member in External Review Committee within the PLDI Research Papers-track
Mayur NaikNaik, Mayur University of Pennsylvania Keynote: Learning to Reason about Programs Continuously Reasoning about Programs using Differential Bayesian Inference Committee Member in External Review Committee within the PLDI Research Papers-track
Payal NandyNandy, Payal University of Utah, USA Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Nina NarodytskaNarodytska, Nina VMWare ResearchUnited States Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Amit Kumar NathNath, Amit Kumar Florida State University, USA Exploration of Memory Hybridization for RDD Caching in Spark
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Yasushi NegishiNegishi, Yasushi IBM Research - Tokyo Automatic GPU Memory Management for Large Neural Models in TensorFlow
Timothy NeumannNeumann, Timothy US DoD Arkouda: Interactive Data Exploration Backed by Chapel
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees LoCal: A Language for Programs Operating on Serialized Data
ThanhVu NguyenNguyen, ThanhVu University of Nebraska-LincolnUnited States SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
Kim NguyễnNguyễn, Kim University of Paris-Sud, France Session Chair of Welcome (part of DBPL) Co-chair in Organizing Committee within the DBPL-track PC Co-Chair in Program Committee within the DBPL-track
Phúc C. NguyễnNguyễn, Phúc C. University of Maryland Size-Change Termination as a Contract
Lawton NicholsNichols, Lawton Fixpoint Reuse for Incremental JavaScript Analysis
Victor NicoletNicolet, Victor University of TorontoCanada Modular Divide-and-Conquer Parallelization of Nested Loops
Rachit NigamNigam, Rachit Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rishiyur NikhilNikhil, Rishiyur Development of the RISC-V ISA Formal Specification
Daniel NikolovNikolov, Daniel Co-Optimization of Optics, Architecture, and Vision Algorithms
Sam H. NohNoh, Sam H. UNIST (Ulsan National Institute of Science and Technology), Korea Steering Committee Member in Steering Committee within the LCTES-track
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Session Chair of Verification II (part of PLDI Research Papers) Verified Compilation on a Verified Processor
Tony NowatzkiNowatzki, Tony University of California, Los Angeles PC Member in Program Committee for ISMM 2019
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
Rebecca O'DonoghueO'Donoghue, Rebecca Commit-time Incremental Analysis
Steven O'HaraO'Hara, Steven Modernizing Parsing Tools
Kazunori OgataOgata, Kazunori IBM Research, Japan Scaling Up Parallel GC Work-Stealing in Many-Core Environments
Hyunok OhOh, Hyunok Hanyang Univ Session Chair of Session 4: Benchmarking and In-progress Works (part of LCTES) SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited) Committee Member in Program Committee within the LCTES-track
Takuya OkadaOkada, Takuya University of Tsukuba Detecting Unsatisfiable CSS Rules in the Presence of DTDs
Catherine R. M. OlschanowskyOlschanowsky, Catherine R. M. Boise State University, USA Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Committee Member in Steering Committee within the MAPL-track
Guilherme OttoniOttoni, Guilherme Facebook Committee Member in External Program Committee within the PLDI Research Papers-track
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Characterising Renaming within OCaml’s Module System: Theory and Implementation
P Rohan PadhyePadhye, Rohan University of California, Berkeley Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nikhil PadmanabhanPadmanabhan, Nikhil Yale University Steering Committee Member in Organizing Committee within the CHIUW-track Committee Member in Program Committee within the CHIUW-track
Oded PadonPadon, Oded Stanford UniversityUnited States Semantic Program Alignment for Equivalence Checking
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Session Chair of Parallelism and Super Computing II (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Shankara PailoorPailoor, Shankara University of Texas at Austin, USA Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Yash PalkhiwalaPalkhiwala, Yash University of Pennsylvania, USA Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) SIGPLAN Chair in Steering Committee for PLDI 2019 Session Chair of Bug Finding & Testing II (part of PLDI Research Papers)
Preeti Ranjan PandaPanda, Preeti Ranjan IIT Delhi Committee Member in Program Committee within the LCTES-track
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Closure Conversion is Safe for Space
Daejun ParkPark, Daejun University of Illinois at Urbana-Champaign A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
Yongjoo ParkPark, Yongjoo University of Michigan Invited Talk: Yongjoo Park
Yongjun ParkPark, Yongjun Hanyang University A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
Matthew ParkinsonParkinson, Matthew Microsoft Research, UKUnited Kingdom snmalloc: A Message Passing Allocator
Suresh ParthasarathyParthasarathy, Suresh Microsoft Research, India Synthesis and Machine Learning for Heterogeneous Extraction
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sri Raj PaulPaul, Sri Raj Georgia Institute of TechnologyUnited States GPUIterator: Bridging the Gap between Chapel and GPU Platforms
Hannes PayerPayer, Hannes Google Committee Member in Steering Committee for ISMM 2019 Concurrent Marking of Shape-Changing Objects Using the V8 JavaScript Virtual Machine as a Research Platform
Li-Shiuan PehPeh, Li-Shiuan National University of Singapore SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
David Mitchel PerryPerry, David Mitchel Purdue University SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
Erez PetrankPetrank, Erez TechnionIsrael Session Chair of Memory Management (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Gustavo PetriPetri, Gustavo Arm LtdUnited Kingdom Replication-Aware Linearizability
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States SIGPLAN Vice Chair in Steering Committee for PLDI 2019 Session Chair of Modular Reasoning (part of DeepSpec) Overview of the DeepSpec Expedition and its Capstone Application
Andy PimentelPimentel, Andy University of AmsterdamNetherlands Committee Member in Program Committee within the LCTES-track
Luís PinaPina, Luís George Mason UniversityUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale University, USA Lazy Counterfactual Symbolic Execution
Gilles PokamPokam, Gilles Intel Corporation Huron: Hybrid False Sharing Detection and Repair
Ilia PolianPolian, Ilia University of Stuttgart Committee Member in Program Committee within the LCTES-track
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Session Chair of Dynamics: Analysis and Compilation (part of PLDI Research Papers) Resource-Guided Program Synthesis Committee Member in Program Committee within the PLDI Research Papers-track
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the MAPL-track
Jan PosiadałaPosiadała, Jan Nodes and Edges On the Semantics of Cypher's Implicit Group-by
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University Generating Piecewise-Regular Code from Irregular Structures Model-Driven Transformations for Multi- and Many-Core CPUs Committee Member in Program Committee within the PLDI Research Papers-track
Bobby PowersPowers, Bobby University of Massachusetts, Amherst Mesh: Compacting Memory Management for C/C++ Applications
Michael PradelPradel, Michael TU Darmstadt and FacebookGermany Session Chair of Learning Specifications (part of PLDI Research Papers) Dynamically Analyzing WebAssembly with Wasabi Committee Member in Program Committee within the PLDI Research Papers-track
Himeshi Praveeni De SilvaPraveeni De Silva, Himeshi ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Christopher PultePulte, Christopher University of Cambridge Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
Markus PüschelPüschel, Markus ETH ZürichSwitzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Q Shaz QadeerQadeer, Shaz FacebookUnited States Safe Asynchronous Programming: Methodology, Language, and Tools
Shaz QadeerQadeer, Shaz FacebookUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Xudong QinQin, Xudong East China Normal University, China Cost Analysis of Nondeterministic Probabilistic Programs
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Weihao QuQu, Weihao University at Buffalo, SUNY Bidirectional Type Checking for Relational Properties
R Azalea RaadRaad, Azalea MPI-SWS, GermanyUnited Kingdom Model Checking for Weakly Consistent Libraries Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft Synthesis and Machine Learning for Heterogeneous Extraction Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania, USA Precise Program Reasoning using Probabilistic Methods Continuously Reasoning about Programs using Differential Bayesian Inference
Mike RaineyRainey, Mike Indiana University, USAUnited States LoCal: A Language for Programs Operating on Serialized Data
Sriram RajamaniRajamani, Sriram Microsoft Research Synthesis and Machine Learning for Heterogeneous Extraction Committee Member in External Review Committee within the PLDI Research Papers-track
Fabrice RastelloRastello, Fabrice INRIAFrance Committee Member in Program Committee within the LCTES-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in External Review Committee within the PLDI Research Papers-track
Alex Jason RatnerRatner, Alex Jason Building Training Sets with Snorkel: Three Key Operators
Veselin RaychevRaychev, Veselin DeepCode AG Session Chair of Parallelism and Super Computing I (part of PLDI Research Papers) Unsupervised Learning of API Aliasing Specifications Scalable Taint Specification Inference with Big Code Committee Member in External Review Committee within the PLDI Research Papers-track
Chester RebeiroRebeiro, Chester IIT Madras SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Paul ReckampReckamp, Paul UIUC Approximate Checkers
Christoph ReichenbachReichenbach, Christoph Lund University MetaDL and Beyond: Custom Program Analyses in Datalog MetaDL: Analysing Datalog in Datalog
John RennerRenner, John University of California, San Diego FaCT: A DSL for Timing-Sensitive Computation
John ReppyReppy, John University of Chicago Committee Member in External Program Committee within the PLDI Research Papers-track
William ReusReus, William US DoD Arkouda: Interactive Data Exploration Backed by Chapel
Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Mixing set and bag semantics
Martin RinardRinard, Martin Massachusetts Institute of TechnologyUnited States Session Chair of Static Analysis (part of PLDI Research Papers) Using Active Learning to Synthesize Models of Applications That Access Databases Committee Member in Program Committee within the PLDI Research Papers-track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Computing Summaries of String Loops in C for Better Testing and Refactoring
Norman A. RinkRink, Norman A. TU Dresden, Germany TeIL: a type-safe imperative Tensor Intermediate Language Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
Benjamin RobbinsRobbins, Benjamin Cray Inc. Session Chair of Lightning Talks and Flash Discussions (part of CHIUW) Chapel in Cray HPO Welcome, State of the Chapel Project General Chair in Organizing Committee within the CHIUW-track
Ricardo RochaRocha, Ricardo University of Porto, PortugalPortugal A Lock-Free Coalescing-Capable Mechanism for Memory Management
Gabriel RodríguezRodríguez, Gabriel Universidade da Coruña, SpainSpain Generating Piecewise-Regular Code from Irregular Structures
Jannick RollandRolland, Jannick University of Rochester Co-Optimization of Optics, Architecture, and Vision Algorithms
Tiark RompfRompf, Tiark Purdue UniversityUnited States Towards Compiling Graph Queries in Relational Engines Committee Member in Program Committee within the DBPL-track
Elliot RonaghanRonaghan, Elliot Cray Inc. Chapel Unblocked: Recent Communication Optimizations in Chapel
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Reuben N. S. RoweRowe, Reuben N. S. University of KentUnited Kingdom Characterising Renaming within OCaml’s Module System: Theory and Implementation
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Session Chair of Bug Finding & Testing I (part of PLDI Research Papers) Func2vec: Path-Based Function Embedding Committee Member in Program Committee within the PLDI Research Papers-track
Emily RuppelRuppel, Emily Carnegie Mellon University, USA Transactional Concurrency for Intermittent Systems
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Committee Member in External Program Committee within the PLDI Research Papers-track
Leonid RyzhykRyzhyk, Leonid VMware Research Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Christopher RéRé, Christopher Automating the Generation of Hardware Component Knowledge Bases
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec
S Feras SaadSaad, Feras Massachusetts Institute of TechnologyUnited States Gen: A General-Purpose Probabilistic Programming System with Programmable Inference
Olli SaarikiviSaarikivi, Olli CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Shambwaditya SahaSaha, Shambwaditya Learning Stateful Preconditions Modulo a Test Generator
Laith SakkaSakka, Laith Purdue UniversityUnited States Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees LoCal: A Language for Programs Operating on Serialized Data
Roopsha SamantaSamanta, Roopsha Purdue University Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2019 SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in External Review Committee within the PLDI Research Papers-track
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Designing Languages for Designing Hardware Panel: Charting Your Path Co-organizer in Organizing Committee within the WAX-track
Alberto L. Sangiovanni-VincentelliSangiovanni-Vincentelli, Alberto L. University of California at Berkeley, USA Scenic: A Language for Scenario Specification and Scene Generation
Andrew SantosaSantosa, Andrew National University of Singapore ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
Vivek SarkarSarkar, Vivek Rice University, USAUnited States GPUIterator: Bridging the Gap between Chapel and GPU Platforms
Janarthanan SarmaSarma, Janarthanan Colorado State University, USA Generating Piecewise-Regular Code from Irregular Structures
John SarracinoSarracino, John University of California, San Diego Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Carlo SartianiSartiani, Carlo Streaming saturation for large RDF graphs with dynamic schema information
Jennifer B. SartorSartor, Jennifer B. Ghent University and Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for ISMM 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Koichi SasadaSasada, Koichi Cookpad, JapanJapan Gradual Write-Barrier Insertion into a Ruby Interpreter
Annabel SatinSatin, Annabel P.C.K. Treasurer & Conference Manager in Organizing Committee for PLDI 2019
Alceste ScalasScalas, Alceste Aston University, Birmingham, UKUnited Kingdom Verifying Message-Passing Programs with Dependent Behavioural Types
Max SchaeferSchaefer, Max GitHubUnited Kingdom Session Chair of Session III (part of DPA) Session Chair of Session II (part of DPA) Variant analysis with QL Declarative Program Analysis With QL Committee Member in Organizing Committee within the DPA-track
Stefanie ScherzingerScherzinger, Stefanie Committee Member in Program Committee within the DBPL-track
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Committee Member in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Heriot-Watt UniversityUnited Kingdom Convolutional Neural Networks in APL
Christian SchulteSchulte, Christian KTH Royal Institute of Technology, Sweden Arc: An IR for Batch and Stream Programming Committee Member in Program Committee within the LCTES-track
Carly SchulzSchulz, Carly University of Wisconsin - Madison BitBench: A Benchmark for Bitstream Computing
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Klas SegeljaktSegeljakt, Klas KTH Arc: An IR for Batch and Stream Programming
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in Program Committee within the MAPL-track
Ilya SergeySergey, Ilya Yale-NUS CollegeSingapore Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track Committee Member in Program Committee within the PLDI Research Papers-track
Niels G. W. SerupSerup, Niels G. W. DIKU, University of CopenhagenDenmark Data-Parallel Flattening by Expansion
Vivek SeshadriSeshadri, Vivek Microsoft Research, India Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sanjit SeshiaSeshia, Sanjit UC Berkeley Scenic: A Language for Scenario Specification and Scene Generation
Edwin ShaSha, Edwin Chongqing University 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
Rushi ShahShah, Rushi UT Austin Synthesizing Database Programs for Schema Refactoring
Amir ShaikhhaShaikhha, Amir University of Oxford Committee Member in Program Committee within the DBPL-track
Alex ShamisShamis, Alex Microsoft Research / Imperial College London snmalloc: A Message Passing Allocator
Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Verifying All the Things (part of DeepSpec) Session Chair of Compiler Verification (part of DeepSpec) Project Updates from Participating Sites Committee Member in Organizing Committee within the DeepSpec-track
Zili ShaoShao, Zili The Chinese University of Hong Kong Steering Committee Member in Steering Committee within the LCTES-track Committee Member in Program Committee within the LCTES-track
Aditya SharadSharad, Aditya SemmleUnited States Declarative Program Analysis With QL
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Semantic Program Alignment for Equivalence Checking Committee Member in External Program Committee within the PLDI Research Papers-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Using Active Learning to Synthesize Models of Applications That Access Databases
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USAUnited States NAP: Noise-Based Sensitivity Analysis for Programs.
Liang ShiShi, Liang Chongqing University 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
Wenjun ShiShi, Wenjun East China Normal University, China Cost Analysis of Nondeterministic Probabilistic Programs
Avraham ShinnarShinnar, Avraham IBM Research Machine Learning in Python with No Strings Attached Committee Member in Program Committee within the DBPL-track
Olin ShiversShivers, Olin Northeastern University, USA Records with Rank Polymorphism
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Committee Member in External Review Committee within the PLDI Research Papers-track
Tatiana ShpeismanShpeisman, Tatiana Google BrainUnited States Committee Member in Steering Committee within the MAPL-track Committee Member in Program Committee within the ARRAY-track
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States Note from Program Chair Program Chair in Organizing Committee within the LCTES-track
Thomas ShullShull, Thomas University of Illinois at Urbana-Champaign AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability Reusable Inline Caching for JavaScript Performance
Julian ShunShun, Julian MIT Low-Latency Graph Streaming using Compressed Purely-Functional Trees
Xujie SiSi, Xujie University of Pennsylvania Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 Continuously Reasoning about Programs using Differential Bayesian Inference
Junaid Haroon SiddiquiSiddiqui, Junaid Haroon Lahore University of Management SciencesPakistan Efficient Intermittent Computing with Differential Checkpointing On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Toward Efficient Gradual Typing for Structural Types via Coercions
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Scalable Verification of Probabilistic Networks
Doug SimonSimon, Doug Oracle LabsSwitzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Tyler SimonSimon, Tyler UMBC Committee Member in Program Committee within the CHIUW-track
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom General Chair in Organizing Committee for ISMM 2019 ALPyNA: Acceleration of Loops in Python for Novel Architectures Welcome from the chairs Final Remarks
Rocky SlavinSlavin, Rocky Modernizing Parsing Tools
Justin SlepakSlepak, Justin Northeastern UniversityUnited States Records with Rank Polymorphism
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in Program Committee within the SOAP-track
Aaron SmithSmith, Aaron Raising Binaries to LLVM IR with MCTOLL (Work in progress) Committee Member in Program Committee within the LCTES-track
Jonathan M. SmithSmith, Jonathan M. University of Pennsylvania, USA Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Steffen SmolkaSmolka, Steffen Cornell University Scalable Verification of Probabilistic Networks
Richard SocherSocher, Richard Salesforce, USA Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
Gary SoellerSoeller, Gary FaCT: A DSL for Timing-Sensitive Computation
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Program Chair in Organizing Committee within the MAPL-track
Mahdi Soltan MohammadiSoltan Mohammadi, Mahdi University of ArizonaUnited States Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
John SonchackSonchack, John University of Pennsylvania, USA Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Dawn SongSong, Dawn Committee Member in Program Committee within the MAPL-track
Daniele G. SpampinatoSpampinato, Daniele G. ETH Zurich Linear Algebraic Depth-First Search
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 Massively Parallel GPU Memory Compaction
Upasana SridharSridhar, Upasana Linear Algebraic Depth-First Search
Manu SridharanSridharan, Manu University of California, RiversideUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Caleb StanfordStanford, Caleb University of PennsylvaniaUnited States Data-Trace Types for Distributed Stream Processing Systems
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in External Program Committee within the PLDI Research Papers-track
Deian StefanStefan, Deian University of California San Diego FaCT: A DSL for Timing-Sensitive Computation
Todor StefanovStefanov, Todor Leiden University Committee Member in Program Committee within the LCTES-track
Samuel SteffenSteffen, Samuel ETH Zurich, SwitzerlandSwitzerland Unsupervised Learning of API Aliasing Specifications
Michel SteuwerSteuwer, Michel University of GlasgowUnited Kingdom High-Level Synthesis of Functional Patterns with Lift Artifact Evaluation Chair in Organizing Committee within the LCTES-track Committee Member in Artifact Evaluation Committee within the LCTES-track Committee Member in Program Committee within the LCTES-track
Greg StittStitt, Greg University of FloridaUnited States Session Chair of Session 1: Memory Management (part of LCTES) PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress) Committee Member in Program Committee within the LCTES-track
Bogdan Alexandru StoicaStoica, Bogdan Alexandru University of ChicagoUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michelle StroutStrout, Michelle University of ArizonaUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2019 Session Chair of Chapel Implementation Improvements (part of CHIUW) Session Chair of PL Mentoring Talk (part of PLMW @ PLDI) Session Chair of Panel: Charting Your Path (part of PLMW @ PLDI) Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Martin StudenerStudener, Martin JKU Linz, Austria Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Xuesong SuSu, Xuesong UNSW Sydney WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Effective Floating-Point Analysis via Weak-Distance Minimization Committee Member in Program Committee within the PLDI Research Papers-track
Yahui SunSun, Yahui Texas A&M University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Composable, Sound Transformations of Nested Recursion and Loops Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
Paweł SusickiSusicki, Paweł Nodes and Edges On the Semantics of Cypher's Implicit Group-by
Nobutaka SuzukiSuzuki, Nobutaka University of Tsukuba Detecting Unsatisfiable CSS Rules in the Presence of DTDs
T Ruby TahboubTahboub, Ruby Purdue UniversityUnited States Towards Compiling Graph Queries in Relational Engines
Mikio TakeuchiTakeuchi, Mikio IBM Research - Tokyo Scaling Up Parallel GC Work-Stealing in Many-Core Environments
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Committee Member in Program Committee within the LCTES-track
Ankur TalyTaly, Ankur Google Committee Member in External Review Committee within the PLDI Research Papers-track
Tian TanTan, Tian Aarhus University, DenmarkChina Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University, USA Verified Compilation on a Verified Processor
Panqiu TangTang, Panqiu Approximate Checkers
Qiyi TangTang, Qiyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xulong TangTang, Xulong Penn State Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism
Val TannenTannen, Val University of Pennsylvania, USA Data-Trace Types for Distributed Stream Processing Systems
Joseph TassarottiTassarotti, Joseph Boston College Argosy: Verifying Layered Storage Systems with Recovery Refinement
Ross TateTate, Ross Cornell UniversityUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2019 Co-chair in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Jürgen TeichTeich, Jürgen Committee Member in Program Committee within the LCTES-track
David TenchTench, David University of Massachusetts at Amherst, USA Mesh: Compacting Memory Management for C/C++ Applications
Simon ThompsonThompson, Simon Characterising Renaming within OCaml’s Module System: Theory and Implementation
Philippe TilletTillet, Philippe Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael TingleyTingley, Michael HackPPL: A Universal Probabilistic Programming Language
Gregory TitusTitus, Gregory Cray Inc. Chapel Unblocked: Recent Communication Optimizations in Chapel
Ben L. TitzerTitzer, Ben L. GoogleGermany Workshops and Tutorials Chair in Organizing Committee for PLDI 2019 Committee Member in Steering Committee for ISMM 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Size-Change Termination as a Contract
Hiroyuki TomiyamaTomiyama, Hiroyuki Ritsumeikan UniversityJapan Committee Member in Program Committee within the LCTES-track
Narjes TorabiTorabi, Narjes HackPPL: A Universal Probabilistic Programming Language
Emina TorlakTorlak, Emina University of WashingtonUnited States 2018 Member at Large in Steering Committee for PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Josep TorrellasTorrellas, Josep University of Illinois at Urbana-Champaign AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability Reusable Inline Caching for JavaScript Performance
Emma ToschTosch, Emma University of Massachusetts, Amherst Panel: Charting Your Path
Samuel TriestTriest, Samuel Co-Optimization of Optics, Architecture, and Vision Algorithms
Caroline TrippelTrippel, Caroline Princeton University Panel: Charting Your Path
Petar TsankovTsankov, Petar ETH Zurich / ChainSecuritySwitzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Petr TumaTuma, Petr Charles UniversityCzech Republic Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Ilyas TurimbetovTurimbetov, Ilyas Program Analysis for Process Migration
U Didem UnatUnat, Didem Koç University Program Analysis for Process Migration Committee Member in Program Committee within the CHIUW-track
Caterina UrbanUrban, Caterina INRIA & École Normale SupérieureFrance Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Model Checking for Weakly Consistent Libraries
David Van HornVan Horn, David University of Maryland, USAUnited States Size-Change Termination as a Contract Type-Level Computations for Ruby Libraries
Rijnard van Tondervan Tonder, Rijnard Carnegie Mellon University Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators
Laurent VanbeverVanbever, Laurent ETH ZürichSwitzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Ana Lucia VarbanescuVarbanescu, Ana Lucia Committee Member in Program Committee within the CHIUW-track
Nikos VasilakisVasilakis, Nikos University of Pennsylvania, USAGreece Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution
Niki VazouVazou, Niki IMDEA Software Institute Type-Level Computations for Ruby Libraries
Martin VechevVechev, Martin ETH Zürich 2017 Program Chair in Steering Committee for PLDI 2019 Unsupervised Learning of API Aliasing Specifications Scalable Taint Specification Inference with Big Code
Kamakoti VeezhinathanVeezhinathan, Kamakoti IIT Madras SHAKTI-MS: A RISC-V Processor for Memory Safety in C
Anand VenkatVenkat, Anand University of UtahIndia Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Vanchinathan VenkataramaniVenkataramani, Vanchinathan National University of Singapore SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
Sahil VermaVerma, Sahil IIT Kanpur NAP: Noise-Based Sensitivity Analysis for Programs.
Alex VillazónVillazón, Alex Universidad Privada Boliviana, BoliviaBolivia Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Michael VollmerVollmer, Michael Indiana University, USAUnited States LoCal: A Language for Programs Operating on Serialized Data
Haris VolosVolos, Haris Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Richard VuducVuduc, Richard Georgia TechUnited States Committee Member in Program Committee within the CHIUW-track
W Guido WachsmuthWachsmuth, Guido Oracle LabsSwitzerland Committee Member in Program Committee within the DBPL-track
Riad S. WahbyWahby, Riad S. Stanford University, USA FaCT: A DSL for Timing-Sensitive Computation
Chao WangWang, Chao USCUnited States Abstract Interpretation under Speculative Execution
Chao WangWang, Chao IRIF, Université Paris Diderot, France Replication-Aware Linearizability
Chenxi WangWang, Chenxi UCLA Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Chundong WangWang, Chundong Singapore University of Technology and DesignSingapore Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
Di WangWang, Di Carnegie Mellon UniversityUnited States Resource-Guided Program Synthesis
Guanhong WangWang, Guanhong Pennsylvania State University, USA Proving Differential Privacy with Shadow Execution
Peixin WangWang, Peixin Shanghai Jiao Tong University Cost Analysis of Nondeterministic Probabilistic Programs
Rujia WangWang, Rujia Illinois Institute of Technology Committee Member in Program Committee within the LCTES-track
Shiyu WangWang, Shiyu University of Illinois at Urbana-Champaign, USA Learning Stateful Preconditions Modulo a Test Generator
Yan WangWang, Yan Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuepeng WangWang, Yuepeng University of Texas at Austin Synthesizing Database Programs for Schema Refactoring
Yuting WangWang, Yuting Yale University Stack-Aware CompCert
Yuxin WangWang, Yuxin Proving Differential Privacy with Shadow Execution
Jack WeastWeast, Jack Intel, USA An Open, Transparent, Industry-Driven Approach to AV Safety
Ran WeiWei, Ran University of York From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
Andy WellingsWellings, Andy University of York From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
Thomas F. WenischWenisch, Thomas F. University of Michigan, USA Committee Member in External Review Committee within the PLDI Research Papers-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Committee Member in Program Committee within the PLDI Research Papers-track
Christian WimmerWimmer, Christian Oracle Labs PC Member in Program Committee for ISMM 2019
Christoph M. WintersteigerWintersteiger, Christoph M. Microsoft Research, UK snmalloc: A Message Passing Allocator
Weng-Fai WongWong, Weng-Fai National University of Singapore ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
Hui WuWu, Hui University of New South Wales, Australia WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
Melanie WuWu, Melanie Pomona College Committee Member in Program Committee within the DBPL-track
Meng WuWu, Meng Virginia TechChina Abstract Interpretation under Speculative Execution
Peng WuWu, Peng Huawei America Research LabUnited States Committee Member in Program Committee within the LCTES-track
Sen WuWu, Sen Stanford University Automating the Generation of Hardware Component Knowledge Bases
Xilun WuWu, Xilun Purdue University Towards Compiling Graph Queries in Relational Engines
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Renaissance: Benchmarking Suite for Parallel Applications on the JVM
X Siyang XiaoXiao, Siyang University of Science and Technology of China, China Towards Certified Separate Compilation for Concurrent Programs
Tao XieXie, Tao University of Illinois at Urbana-Champaign, USAUnited States Learning Stateful Preconditions Modulo a Test Generator
Zikang XiongXiong, Zikang Purdue University An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Guoqing Harry XuXu, Guoqing Harry UCLAUnited States Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Program Chair in Organizing Committee for ISMM 2019 Welcome from the chairs Final Remarks
Silei XuXu, Silei Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands
Anton XueXue, Anton Yale University Lazy Counterfactual Symbolic Execution
Jason XueXue, Jason City University of Hong Kong, China 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems Steering Committee Member in Steering Committee within the LCTES-track
Jingling XueXue, Jingling UNSW SydneyAustralia WCET-Aware Hyper-Block Construction for Clustered VLIW Processors Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
Y S. Bharadwaj YadavalliYadavalli, S. Bharadwaj Microsoft Raising Binaries to LLVM IR with MCTOLL (Work in progress)
Eran YahavYahav, Eran TechnionIsrael Committee Member in External Program Committee within the PLDI Research Papers-track
Jeremy YallopYallop, Jeremy University of Cambridge, UK A Typed, Algebraic Approach to Parsing
Buse YılmazYılmaz, Buse Program Analysis for Process Migration
Mingsheng YingYing, Mingsheng University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.Australia An Applied Quantum Hoare Logic
Adarsh YogaYoga, Adarsh Rutgers University, USA Parallelism-Centric What-If and Differential Analyses
Nobuko YoshidaYoshida, Nobuko Imperial College London Verifying Message-Passing Programs with Dependent Behavioural Types
Nengkun YuYu, Nengkun University of Technology Sydney, Australia An Applied Quantum Hoare Logic
Weikuan YuYu, Weikuan Florida State University, USA Exploration of Memory Hybridization for RDD Caching in Spark
Yongseung YuYu, Yongseung Hanyang University A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
Xiangyu YueYue, Xiangyu University of California at Berkeley, USA Scenic: A Language for Scenario Specification and Scene Generation
yisong yueyue, yisong Caltech Committee Member in Program Committee within the MAPL-track
Tomofumi YukiYuki, Tomofumi Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Z Ayal ZaksZaks, Ayal Intel Corporation and Technion, Israel Committee Member in Program Committee within the PLDI Research Papers-track
Marcin ZalewskiZalewski, Marcin Pacific Northwest National Laboratory Chapel Graph Library (CGL)
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Session Chair of Interaction Trees and Algebraic Effects II (part of DeepSpec) Interaction Trees: Representing Recursive and Impure Programs in Coq
Nickolai ZeldovichZeldovich, Nickolai Massachusetts Institute of Technology, USA Argosy: Verifying Layered Storage Systems with Recovery Refinement
Andreas ZellerZeller, Andreas Saarland UniversityGermany Parser-Directed Fuzzing
Junpeng ZhaZha, Junpeng University of Science and Technology of China, China Towards Certified Separate Compilation for Concurrent Programs
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Proving Differential Privacy with Shadow Execution
Eddy (Zheng) ZhangZhang, Eddy (Zheng) Rutgers Committee Member in Program Committee within the PLDI Research Papers-track
Jieyuan ZhangZhang, Jieyuan UNSW, AustraliaChina Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs
Lei ZhangZhang, Lei North Carolina State University IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
Minjia ZhangZhang, Minjia Microsoft ResearchUnited States Publicity in Organizing Committee for PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Session Chair of Parsing (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Xiangyu ZhangZhang, Xiangyu Purdue University Programming Support for Autonomizing Software SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features Committee Member in External Review Committee within the PLDI Research Papers-track
Youtao ZhangZhang, Youtao University of Pittsburgh, USA Steering Committee Member in Steering Committee within the LCTES-track
Zheng ZhangZhang, Zheng Rutgers University Committee Member in Steering Committee for ISMM 2019 Steering Committee Member in Steering Committee within the LCTES-track
Shuai ZhaoZhao, Shuai University of York From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
Yifan ZhaoZhao, Yifan University of Michigan, USA Huron: Hybrid False Sharing Detection and Repair
Guolong ZhengZheng, Guolong University of Nebraska Lincoln SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
Yudi ZhengZheng, Yudi Oracle LabsSwitzerland Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Li ZhouZhou, Li Department of Computer Science and Technology, Tsinghua University An Applied Quantum Hoare Logic
He ZhuZhu, He Rutgers University, USA An Inductive Synthesis Framework for Verifiable Reinforcement Learning
Yuhao ZhuZhu, Yuhao University of Rochester Co-Optimization of Optics, Architecture, and Vision Algorithms
Heng ZhuoZhuo, Heng University of Wisconsin - Madison BitBench: A Benchmark for Bitstream Computing
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Fluid Data Structures
John ZigmanZigman, John University of Sydney, Australia Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Session Chair of Language Design I (part of PLDI Research Papers) Panel: Charting Your Path Committee Member in External Program Committee within the PLDI Research Papers-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Bidirectional Type Checking for Relational Properties
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Convolutional Neural Networks in APL