PLDI 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (813)

Parosh Aziz Abdulla Uppsala University, Sweden Sweden Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Oskar Abrahamsson Chalmers University of Technology, Sweden Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Ole Abusdal Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019
Sara Achour MIT United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tosiron Adegbija University of Arizona Committee Member in Program Committee within the LCTES-track
Sarita Adve Author of Approximate Checkers within the WAX 2019-track in WAX 2019
Vikram Adve University of Illinois at Urbana-Champaign United States Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track in PLDI 2019
Neha Agarwal Google United States Committee Member in Program Committee within the PLDI Research Papers-track
Saad Ahmed LUMS, Pakistan Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track in LCTES 2019 Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019
Amal Ahmed Northeastern University, USA United States Committee Member in Program Committee within the PLDI Research Papers-track
Alex Aiken Stanford University Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track in PLDI 2019
Jessica Ai Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Shoaib Akram Ghent University Belgium Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 PC Member in Program Committee for ISMM 2019
Muhammad Ahad Ul Alam Florida State University, USA Author of Exploration of Memory Hybridization for RDD Caching in Spark within the ISMM 2019-track in ISMM 2019
Benjamin Albrecht Cray Inc. Author of Chapel in Cray HPO within the CHIUW 2019-track in CHIUW 2019
Jade Alglave University College London France Committee Member in External Program Committee within the PLDI Research Papers-track
Karim Ali University of Alberta Committee Member in Program Committee within the SOAP-track
Muhammad Hamad Alizai LUMS, Pakistan Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track in LCTES 2019 Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019 Author of On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) within the LCTES 2019-track in LCTES 2019
Nicholas Allen Author of Commit-time Incremental Analysis within the SOAP-track in SOAP 2019
Deyaaeldeen Almahallawi Indiana University United States Author of Toward Efficient Gradual Typing for Structural Types via Coercions within the PLDI Research Papers-track in PLDI 2019
Rajeev Alur University of Pennsylvania United States Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Saman Amarsinghe MIT Committee Member in External Program Committee within the PLDI Research Papers-track
Dr Amita Kapoor University of Delhi, Delhi India Organizer of Probabilistic Programming using Edward/TensorFlow within the PLDI Tutorials-track in PLDI 2019 Organizer of Deep Reinforcement Learning using TensorFlow within the PLDI Tutorials-track in PLDI 2019
Nadav Amit Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Greg Anderson University of Texas at Austin, USA Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track in PLDI 2019
June Andronick Data61,CSIRO (formerly NICTA) and UNSW Australia Committee Member in Program Committee within the PLDI Research Papers-track
Andrew Appel Princeton Session Chair of Interaction Trees and Algebraic Effects I (part of DeepSpec) Presenter of Abstraction, Subsumption, and Linking in VST within the DeepSpec 2019-track in DeepSpec 2019 Presenter of Project Updates from Participating Sites within the DeepSpec 2019-track in DeepSpec 2019 Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track in DeepSpec 2019
Michael Arntzenius University of Birmingham, UK Author of Datafun: A higher-order functional Datalog within the DPA-track in DPA 2019
Jatin Arora IIT Bombay, India Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Nimar S. Arora Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Meenakshi Arunachalam Intel, USA Author of Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism within the PLDI Research Papers-track in PLDI 2019
Rafael Asenjo Universidad de Málaga Spain Committee Member in Program Committee within the CHIUW-track
Angello Astorga Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track in PLDI 2019
Mohamed Faouzi Atig Uppsala University Sweden Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Travis Augustine Colorado State University, USA Author of Generating Piecewise-Regular Code from Irregular Structures within the PLDI Research Papers-track in PLDI 2019
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David B. Whalley Florida State University United States Steering Committee Member in Steering Committee within the LCTES-track Committee Member in Program Committee within the LCTES-track
Abu Bakar Northwestern University, US Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019
Darshana Balakrishnan University at Buffalo Author of Fluid Data Structures within the DBPL 2019-track in DBPL 2019
Mahesh Balasubramanian Arizona State University United States Web Chair in Organizing Committee within the LCTES-track
Hampus Balldin Author of MetaDL: Analysing Datalog in Datalog within the SOAP-track in SOAP 2019
Thomas Ball Microsoft Research United States Committee Member in External Review Committee within the PLDI Research Papers-track
Rajkishore Barik Intel Labs Committee Member in Steering Committee within the MAPL-track
Sean Bartell University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Henrik Barthels RWTH Aachen Author of Code Generation in Linnea (extended abstract) within the ARRAY 2019-track in ARRAY 2019
Gilles Barthe IMDEA Software Institute Spain Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track in PLDI 2019 Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Osbert Bastani University of Pennsylvania United States Committee Member in Program Committee within the MAPL-track Committee Member in External Review Committee within the PLDI Research Papers-track
Guillaume Baudart IBM Research United States Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track in MAPL 2019
Khalid Belhajjame PSL, Université Paris-Dauphine, LAMSADE Author of Streaming saturation for large RDF graphs with dynamic schema information within the DBPL 2019-track in DBPL 2019
Elias Benussi Faculty Science Ltd Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track in PLDI 2019
Emery Berger University of Massachusetts, Amherst United States 2016 Program Chair in Steering Committee for PLDI 2019 Author of Mesh: Compacting Memory Management for C/C++ Applications within the PLDI Research Papers-track in PLDI 2019
Lennart Beringer Princeton University United States Session Chair of Coinduction and Testing (part of DeepSpec) Session Chair of Deep Specifications (part of DeepSpec) Presenter of Abstraction, Subsumption, and Linking in VST within the DeepSpec 2019-track in DeepSpec 2019 Committee Member in Organizing Committee within the DeepSpec-track
Robert Bernecky Snake Island Research Author of Convolutional Neural Networks in APL within the ARRAY 2019-track in ARRAY 2019
Naveed Anwar Bhatti RISE, Sweden Sweden Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track in LCTES 2019 Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019
Benjamin Bichsel ETH Zurich, Switzerland Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019
Paolo Bientinesi Umeå University Sweden Author of Code Generation in Linnea (extended abstract) within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track
Walter Binder University of Lugano, Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Swarnendu Biswas IIT Kanpur India Committee Member in External Review Committee within the PLDI Research Papers-track
Steve Blackburn Australian National University Australia Committee Member in External Review Committee for ISMM 2019 Author of Design and Analysis of Field-Logging Write Barriers within the ISMM 2019-track in ISMM 2019 Organizer of Using the V8 JavaScript Virtual Machine as a Research Platform within the PLDI Tutorials-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Maxwell Troy Bland University of California at San Diego, USA Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019
Guy E. Blelloch Carnegie Mellon University Author of Low-Latency Graph Streaming using Compressed Purely-Functional Trees within the PLDI Research Papers-track in PLDI 2019
Christophe Bobda University of Arkansas Committee Member in Program Committee within the LCTES-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track in SOAP 2019 Author of SootDiff: Bytecode Comparison across different Java Compilers within the SOAP-track in SOAP 2019 Committee Member in Program Committee within the SOAP-track Committee Member in External Review Committee within the PLDI Research Papers-track
Rastislav Bodik University of Washington United States Committee Member in Program Committee within the MAPL-track Committee Member in External Program Committee within the PLDI Research Papers-track
Bruno Bodin Yale-NUS College Singapore Author of High-Level Synthesis of Functional Patterns with Lift within the ARRAY 2019-track in ARRAY 2019 Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the LCTES-track
Hans-J. Boehm Google Author of Keynote 1: Relaxed memory ordering needs a better specification within the ISMM 2019-track in ISMM 2019
Michael Bond Ohio State University PC Member in Program Committee for ISMM 2019
Unmesh Bordoloi General Motors Committee Member in Program Committee within the LCTES-track
Peter Braam Speaker of Array Processing on Steroids for the SKA Radio-Telescope within the ARRAY 2019-track in ARRAY 2019
Laurin Brandner ETH Zurich, Switzerland Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track in PLDI 2019
Alexander Brauckmann Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019
Gunavaran Brihadiswarn University of Moratuwa Author of Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory within the LCTES 2019-track in LCTES 2019
Oliver Bringmann University of Tübingen, Germany Germany Committee Member in Program Committee within the LCTES-track
Marc Brockschmidt Microsoft Research United Kingdom Committee Member in Program Committee within the MAPL-track Committee Member in External Review Committee within the PLDI Research Papers-track
Fraser Brown Stanford University Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Lubomír Bulej Charles University Czech Republic Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Alan Burns University of York Author of From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) within the LCTES 2019-track in LCTES 2019
Theodore Butler Drexel University, USA Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Cristian Cadar Imperial College London United Kingdom Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track in PLDI 2019
Haipeng Cai Washington State University Pullman United States Author of An Empirical Comparison between Monkey Testing and Human Testing (Work in progress) within the LCTES 2019-track in LCTES 2019
Giovanni Campagna Stanford University, USA Author of Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands within the PLDI Research Papers-track in PLDI 2019
David Campbell University of Florida Author of PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress) within the LCTES 2019-track in LCTES 2019
Ting Cao Microsoft Research China PC Member in Program Committee for ISMM 2019 Session Chair of Performance (part of PLDI Research Papers) Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Michael Carbin Massachusetts Institute of Technology United States Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track in WAX 2019 Co-organizer in Organizing Committee within the WAX-track
Paris Carbone KTH, Sweden Author of Arc: An IR for Batch and Stream Programming within the DBPL 2019-track in DBPL 2019
João M. P. Cardoso University of Porto and INESC TEC, Portugal Portugal Committee Member in Program Committee within the LCTES-track
Elias Castegren Uppsala University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jeronimo Castrillon TU Dresden, Germany Germany Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019 Author of TeIL: a type-safe imperative Tensor Intermediate Language within the ARRAY 2019-track in ARRAY 2019 Author of Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Sunjay Cauligi University of California, San Diego Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Luis Ceze University of Washington Brazil Co-organizer in Organizing Committee within the WAX-track
Tej Chajed Massachusetts Institute of Technology, USA United States Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track in PLDI 2019
Brad Chamberlain Cray Inc. United States Session Chair of Keynote Talk by Anshu Dubey (Argonne) (part of CHIUW) Author of Chapel 101 within the CHIUW 2019-track in CHIUW 2019 PC Chair of Welcome, State of the Chapel Project within the CHIUW 2019-track in CHIUW 2019 Program Chair in Organizing Committee within the CHIUW-track Program Chair in Program Committee within the CHIUW-track
Satish Chandra Facebook United States Session Chair of Type Systems III (part of PLDI Research Papers) Author of Neural Query Expansion for Code Search within the MAPL 2019-track in MAPL 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Wanli Chang University of York United Kingdom Session Chair of Session 3: Applications (part of LCTES) Author of From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Stephen Chang Northeastern University Committee Member in External Review Committee within the PLDI Research Papers-track
Krishnendu Chatterjee IST Austria Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Sudipta Chattopadhyay Singapore University of Technology and Design Author of Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory within the LCTES 2019-track in LCTES 2019
Swarat Chaudhuri Rice University Author of Neural Query Expansion for Code Search within the MAPL 2019-track in MAPL 2019 Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the MAPL-track Committee Member in External Program Committee within the PLDI Research Papers-track
James Cheney University of Edinburgh, UK United States Author of Mixing set and bag semantics within the DBPL 2019-track in DBPL 2019 Author of Language-integrated provenance by trace analysis within the DBPL 2019-track in DBPL 2019
Jian-Jia Chen TU Dortmund University Germany Author of Note from General Chair within the LCTES 2019-track in LCTES 2019 General Chair in Organizing Committee within the LCTES-track
Rong Chen Shanghai Jiao Tong University China Committee Member in External Review Committee for ISMM 2019
Shuo-Han Chen Academia Sinica, Taipei Author of 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems within the LCTES 2019-track in LCTES 2019
Xianglan Chen University of Science and Technology of China, China Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 2019
Yiran Chen Duke University Committee Member in Program Committee within the LCTES-track
Hao Chen Microsoft Research Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Kazem Cheshmi University of Toronto Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
Benjamin Chetioui University of Bergen, Norway Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019
Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology China Committee Member in External Review Committee within the PLDI Research Papers-track
Alvin Cheung 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
Nicholas Chiang Gunn High School Author of Automating the Generation of Hardware Component Knowledge Bases within the LCTES 2019-track in LCTES 2019
Victor Chibotaru DeepCode, Switzerland Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019
David Chisnall University of Cambridge Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Adam Chlipala Massachusetts Institute of Technology, USA United States Session Chair of HW/SW Interface Specifications (part of DeepSpec) Presenter of Project Updates from Participating Sites within the DeepSpec 2019-track in DeepSpec 2019 Presenter of Fast, Verified Partial Evaluation within the DeepSpec 2019-track in DeepSpec 2019
Joonwon Choi Massachusetts Institute of Technology, USA Presenter of Modular Correctness Proofs at the Hardware-Software Interface within the DeepSpec 2019-track in DeepSpec 2019
Jiho Choi University of Illinois at Urbana-Champaign Author of Reusable Inline Caching for JavaScript Performance within the PLDI Research Papers-track in PLDI 2019
Stephen Chong Harvard University, USA Committee Member in External Review Committee within the PLDI Research Papers-track
Maria Christakis MPI-SWS Germany 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 Chugh 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 Churchill Stanford University United States Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track in PLDI 2019
Sylvan Clebsch Imperial College London Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Albert Cohen Google France 2017 General Chair in Steering Committee for PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Dario Colazzo Author of Streaming saturation for large RDF graphs with dynamic schema information within the DBPL 2019-track in DBPL 2019
Mistral Contrastin University of Cambridge, UK United Kingdom Author of Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic within the DPA-track in DPA 2019
William Cook University of Texas at Austin Committee Member in Program Committee within the DBPL-track
David Cox Author of Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations within the MAPL 2019-track in MAPL 2019
Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Chris Cummins University of Edinburgh United Kingdom Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019
Marco Cusumano-Towner MIT-CSAIL Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track in PLDI 2019
Daniele Cono D'Elia Sapienza University of Rome Italy Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Pierre-Evariste Dagand LIP6/CNRS France Author of Usuba: High-Throughput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track in PLDI 2019
Andreas Dann Paderborn University Germany Author of FutureSoot: Making Soot ready for the future analyses of complex software within the SOAP-track in SOAP 2019 Author of SootDiff: Bytecode Comparison across different Java Compilers within the SOAP-track in SOAP 2019
Kyle Daruwalla University of Wisconsin – Madison Author of BitBench: A Benchmark for Bitstream Computing within the LCTES 2019-track in LCTES 2019
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA United States Author of The K Framework within the DPA-track in DPA 2019 Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track in PLDI 2019
Ankush Das Carnegie Mellon University United States Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sourav Das IIT Madras Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Roshan Dathathri University of Texas at Austin, USA Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Eddie C. Davis Boise State University, USA Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
André DeHon University of Pennsylvania, USA Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Ulan Degenbaev Google Author of Concurrent Marking of Shape-Changing Objects within the ISMM 2019-track in ISMM 2019 Organizer of Using the V8 JavaScript Virtual Machine as a Research Platform within the PLDI Tutorials-track in PLDI 2019
Pantazis Deligiannis Microsoft Research United Kingdom Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track in PLDI 2019
Christina Delimitriou Cornell University United States Committee Member in External Review Committee within the PLDI Research Papers-track
Camil Demetrescu Sapienza University Rome Italy Committee Member in Program Committee within the PLDI Research Papers-track
Ankush Desai University of California, Berkeley Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track in PLDI 2019
Laxman Dhulipala Carnegie Mellon University Author of Low-Latency Graph Streaming using Compressed Purely-Functional Trees within the PLDI Research Papers-track in PLDI 2019
Robert Dick University of Michigan, USA Committee Member in Program Committee within the LCTES-track
Isil Dillig UT Austin United States 2017 Member at Large in Steering Committee for PLDI 2019 Author of Synthesizing Database Programs for Schema Refactoring within the PLDI Research Papers-track in PLDI 2019 Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Rayna Dimitrova University of Leicester, UK Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Zeyu Ding Pennsylvania State University, USA Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track in PLDI 2019
Yufei Ding UCSB China PC Member in Program Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Chen Ding University of Rochester Author of Timescale Functions for Parallel Memory Allocation within the ISMM 2019-track in ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Yejia Di East China Normal University, Chongqing University Author of 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems within the LCTES 2019-track in LCTES 2019
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track in SOAP 2019
Alastair Donaldson Google and Imperial College London United Kingdom Session Chair of Concurrency I (part of PLDI Research Papers) Author of Hacks to Compensate for Lack of Novelty in Programming Languages Research within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Author of Sparse Record and Replay with Controlled Scheduling within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Ning Dong Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
James Dong University of Texas at Austin, USA Author of Synthesizing Database Programs for Schema Refactoring within the PLDI Research Papers-track in PLDI 2019
Dana Drachsler Cohen ETH Zurich Switzerland 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 Dreossi University of California at Berkeley United States Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Sophia Drossopoulou Imperial College London United Kingdom Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Christophe Dubach University of Edinburgh United Kingdom Author of High-Level Synthesis of Functional Patterns with Lift within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track Steering Committee Member in Steering Committee within the LCTES-track
Anshu Dubey Argonne National Laboratory Keynote Speaker of Programming Abstractions for Orchestration of HPC Scientific Computing within the CHIUW 2019-track in CHIUW 2019
Gilles Duboscq Oracle Labs Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Lydia Duncan Cray Inc. Author of Calling Chapel Code: Interoperability Improvements within the CHIUW 2019-track in CHIUW 2019
Alexandru Dura Author of MetaDL: Analysing Datalog in Datalog within the SOAP-track in SOAP 2019
Jan Eberhardt DeepCode, Switzerland Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track in PLDI 2019
Bernhard Egger Seoul National University South Korea Committee Member in Program Committee within the LCTES-track
Martin Elsman University of Copenhagen, Denmark Denmark Session Chair of Session 3 (part of ARRAY) Author of Data-Parallel Flattening by Expansion within the ARRAY 2019-track in ARRAY 2019
Michael Emmi SRI International United States Committee Member in Program Committee within the PLDI Research Papers-track
Mehmet Emre University of California, Santa Barbara Author of Fixpoint Reuse for Incremental JavaScript Analysis within the SOAP-track in SOAP 2019
Constantin Enea Université Paris Diderot France Author of Replication-Aware Linearizability within the PLDI Research Papers-track in PLDI 2019
Stefano Ermon Stanford Committee Member in Steering Committee within the MAPL-track
Sebastian Ertel Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019
Hadi Esmaeilzadeh Georgia Tech Co-organizer in Organizing Committee within the WAX-track
Gregory Essertel Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track in DBPL 2019
Mohammad Amin Farvardin PSL, Université Paris-Dauphine, LAMSADE Author of Streaming saturation for large RDF graphs with dynamic schema information within the DBPL 2019-track in DBPL 2019
Kavon Farvardin University of Chicago United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Azadeh Farzan University of Toronto Canada Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track in PLDI 2019
Alexandra (Sasha) Fedorova University of British Columbia Canada Committee Member in External Review Committee within the PLDI Research Papers-track
Stefan Fehrenbach University of Edinburgh Author of Language-integrated provenance by trace analysis within the DBPL 2019-track in DBPL 2019
Xinyu Feng Nanjing University China Session Chair of Systems I (part of PLDI Research Papers) Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Xiaobing Feng ICT CAS Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Michael Ferguson Cray Inc. Session Chair of Applications of Chapel (continued) (part of CHIUW) Session Chair of Applications of Chapel (part of CHIUW) Presenter of Towards Radix Sorting in the Chapel Standard Library within the CHIUW 2019-track in CHIUW 2019 Author of Chapel Unblocked: Recent Communication Optimizations in Chapel within the CHIUW 2019-track in CHIUW 2019 Steering Committee Member in Organizing Committee within the CHIUW-track Committee Member in Program Committee within the CHIUW-track
Vimuth Fernando University of Illinois at Urbana-Champaign Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track in WAX 2019
Sebastian Fischmeister University of Waterloo, Canada Steering Committee Member in Steering Committee within the LCTES-track
Kathleen Fisher Tufts University, USA United States Program Chair in Organizing Committee for PLDI 2019 Author of Career Options in Academia, Industry, and Government within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Program Chair in Program Committee within the PLDI Research Papers-track
Cormac Flanagan University of California, Santa Cruz Ireland PLDI Steering Committee Chair in Steering Committee for PLDI 2019
Christopher Fletcher Author of Approximate Checkers within the WAX 2019-track in WAX 2019
Jeffrey S. Foster Tufts University United States 2018 General Chair in Steering Committee for PLDI 2019 Session Chair of Type Systems II (part of PLDI Research Papers) Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track in PLDI 2019
Nate Foster Cornell University United States Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Anthony Fox University of Cambridge, UK Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Daniel J. Fremont University of California at Berkeley, USA Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Stephen Freund Williams College United States Sponsorship Co-Chair in Organizing Committee for PLDI 2019
Per Fuchs Vrije Universiteit (VU) Amsterdam Author of Implementing Stencil Problems in Chapel: An Experience Report within the CHIUW 2019-track in CHIUW 2019
Hongfei Fu IST Austria Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Zhoulai Fu IT University of Copenhagen, Denmark Author of Effective Floating-Point Analysis via Weak-Distance Minimization within the PLDI Research Papers-track in PLDI 2019
Hugo Férée University of Kent, UK United Kingdom Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track in PLDI 2019
David G. Wonnacott Haverford College United States Session Chair of Chapel Performance and Optimizations (part of CHIUW) Committee Member in Program Committee within the CHIUW-track
Marco Gaboardi University at Buffalo, SUNY United States Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track in PLDI 2019
Deepak Garg Max Planck Institute for Software Systems Germany Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track in PLDI 2019
François Gauthier Oracle Labs Australia Committee Member in Program Committee within the SOAP-track
Elazar Gershuni Tel Aviv University Israel Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Nikhil Ghanathe Microsoft Research, India Author of Compiling KB-Sized Machine Learning Models to Tiny IoT Devices within the PLDI Research Papers-track in PLDI 2019
Shromona Ghosh University of California at Berkeley, USA Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Jeremy Gibbons Department of Computer Science, University of Oxford United 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 Gilray University of Maryland Author of Size-Change Termination as a Contract within the PLDI Research Papers-track in PLDI 2019
Thomas Gilray The University of Alabama at Birmingham United States Author of Tunable abstract abstract machines within the DPA-track in DPA 2019
Andrés Goens Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019
Beliz Gokkaya Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Guy Golan-Gueta VMWare Research Committee Member in Program Committee within the PLDI Research Papers-track
Simon Goldsmith Author of Adventures in Commercial-Grade Static Analysis within the SOAP-track in SOAP 2019
Rahul Gopinath CISPA Helmholtz Center for Information Security Germany Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Sridhar Gopinath Microsoft Research, India India Author of Compiling KB-Sized Machine Learning Models to Tiny IoT Devices within the PLDI Research Papers-track in PLDI 2019
Justin Gottschlich Intel Labs Committee Member in Steering Committee within the MAPL-track
Neville Grech 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) Author of Gigahorse: Thorough Smart Contract Decompilation and Security Analyses within the DPA-track in DPA 2019 Author of Best presentation announcement and closing of the day within the SOAP-track in SOAP 2019 Author of Laurie Hendren Euology within the SOAP-track in SOAP 2019 Author of Welcome to SOAP 2019 within the SOAP-track in SOAP 2019 Co-chair in Organizing Committee within the SOAP-track Committee Member in Organizing Committee within the DPA-track
Michael Greenberg Pomona College Committee Member in Program Committee within the PLDI Research Papers-track
Benjamin Gregoire INRIA Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Clemens Grelck University of Amsterdam Germany Author of Implementing Stencil Problems in Chapel: An Experience Report within the CHIUW 2019-track in CHIUW 2019
Tobias Grosser ETH Zurich Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track in PLDI 2019
Dan Grossman University of Washington United States 2018 Program Chair in Steering Committee for PLDI 2019 Session Chair of Concurrency II (part of PLDI Research Papers)
Vinod Grover NVIDIA United States Committee Member in Program Committee within the ARRAY-track
David Grove IBM Research United States Committee Member in External Review Committee for ISMM 2019
Hui Guan North Carolina State University Author of Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability within the PLDI Research Papers-track in PLDI 2019
Haryadi S. Gunawi University of Chicago, USA Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 2019
Rajiv Gupta UC Riverside United States PC Member in Program Committee for ISMM 2019
Rajesh Gupta UC San Diego Keynote Speaker of New Models and Methods for Programming Cyber-Physical Systems within the LCTES 2019-track in LCTES 2019
Aarti Gupta Princeton University Committee Member in External Review Committee within the PLDI Research Papers-track
Arie Gurfinkel University of Waterloo Canada Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Sankha Narayan Guria University of Maryland, College Park United States Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track in PLDI 2019
Tobias Gysi ETH Zurich, Switzerland Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track in PLDI 2019
Christine H. Flood Red Hat Committee Member in Steering Committee for ISMM 2019
William T. Hallahan Yale University Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019
Mary Hall University of Utah Author of How to be a great researcher within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Fazal Hameed TU Dresden, Germany Author of Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads within the LCTES 2019-track in LCTES 2019
Matthew Hammer None United States Author of ILC: A Calculus for Composable, Computational Cryptography within the PLDI Research Papers-track in PLDI 2019
Frank Hannig Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany Committee Member in Program Committee within the LCTES-track
Ben Hardekopf UC Santa Barbara Author of Fixpoint Reuse for Incremental JavaScript Analysis within the SOAP-track in SOAP 2019
Seif Haridi Author of Arc: An IR for Batch and Stream Programming within the DBPL 2019-track in DBPL 2019
R Harikrishnan Unnithan Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Ben Harshbarger Cray Inc. Author of Chapel Unblocked: Recent Communication Optimizations in Chapel within the CHIUW 2019-track in CHIUW 2019
Matin Hashemi Sharif University of Technology Iran Committee Member in Program Committee within the LCTES-track
Magne Haveraaen University of Bergen, Norway Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track
Peter Hawkins Google Committee Member in External Review Committee within the PLDI Research Papers-track
Akihiro Hayashi Rice University, USA United States Author of GPUIterator: Bridging the Gap between Chapel and GPU Platforms within the CHIUW 2019-track in CHIUW 2019
Thomas Haywood Dadzie Hanyang University South Korea Author of SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited) within the LCTES 2019-track in LCTES 2019
Brian Hempel University of Chicago Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Troels Henriksen University of Copenhagen, Denmark Denmark Author of Data-Parallel Flattening by Expansion within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track
Kihong Heo University of Pennsylvania, USA United States Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Ben Hermann Paderborn University Germany Author of FutureSoot: Making Soot ready for the future analyses of complex software within the SOAP-track in SOAP 2019 Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track in SOAP 2019 Author of SootDiff: Bytecode Comparison across different Java Compilers within the SOAP-track in SOAP 2019
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Author of Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP within the DPA-track in DPA 2019
Oscar Hernandez ORNL Committee Member in Program Committee within the CHIUW-track
Alex Heye Cray Inc. Author of Chapel in Cray HPO within the CHIUW 2019-track in CHIUW 2019
Pieter Hijma Vrije Universiteit (VU) Amsterdam Author of Implementing Stencil Problems in Chapel: An Experience Report within the CHIUW 2019-track in CHIUW 2019
Martin Hirzel IBM Research United States Session Chair of Probabilistic Programming (part of PLDI Research Papers) Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track in MAPL 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Torsten Hoefler ETH Zurich Switzerland Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track in PLDI 2019
Jan Hoffmann Carnegie Mellon University United States Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track in PLDI 2019
Paul Hohensee Amazon Committee Member in External Review Committee for ISMM 2019
Hossein Hojjat Rochester Institute of Technology and University of Tehran United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wolf Honore Presenter of Connecting Separation Logic with First-Order Reasoning on Memory within the DeepSpec 2019-track in DeepSpec 2019
Michihiro Horie IBM Research - Tokyo Author of Scaling Up Parallel GC Work-Stealing in Many-Core Environments within the ISMM 2019-track in ISMM 2019
Hiroshi Horii IBM Research, Japan Author of Scaling Up Parallel GC Work-Stealing in Many-Core Environments within the ISMM 2019-track in ISMM 2019
Nhut Minh Ho National University of Singapore Author of ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution within the LCTES 2019-track in LCTES 2019
Luke Hsiao Stanford University United States Author of Automating the Generation of Hardware Component Knowledge Bases within the LCTES 2019-track in LCTES 2019
Justin Hsu University of Wisconsin-Madison, USA United States Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Lisa Hsu Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019
Jian Huang University of Illinois at Urbana-Champaign United States Author of AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability within the PLDI Research Papers-track in PLDI 2019
Yipeng Huang Princeton University United States Author of Invited Talk: Yipeng Huang within the WAX 2019-track in WAX 2019
Jeff Huang Texas A&M University Committee Member in External Review Committee within the PLDI Research Papers-track
Marieke Huisman University of Twente Netherlands Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Chung-Kil Hur Seoul National University Korea, South Session Chair of Verification I (part of PLDI Research Papers) Presenter of Coinductive Reasoning about Interaction Trees within the DeepSpec 2019-track in DeepSpec 2019 Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Qinheping Hu University of Wisconsin-Madison United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Matthias Höschele CISPA, Germany Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Haruki Imai IBM Research - Tokyo Japan Author of Automatic GPU Memory Management for Large Neural Models in TensorFlow within the ISMM 2019-track in ISMM 2019
Oren Ish-Shalom Tel Aviv University, Israel Israel Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track in PLDI 2019
David Iten Cray Inc. Author of Calling Chapel Code: Interoperability Improvements within the CHIUW 2019-track in CHIUW 2019
Shachar Itzhaky Technion, Israel Israel Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track in PLDI 2019
Zachary G. Ives University of Pennsylvania Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track in PLDI 2019
Arun Iyer Microsoft Research, India Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019
Nouraldin Jaber Purdue University, USA United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nicholas Jacek UMass Amherst Author of Learning When to Garbage Collect with Random Forests within the ISMM 2019-track in ISMM 2019
Dejice Jacob Author of ALPyNA: Acceleration of Loops in Python for Novel Architectures within the ARRAY 2019-track in ARRAY 2019
Suresh Jagannathan Purdue University Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Louis Jenkins University of Rochester Author of Chapel Graph Library (CGL) within the CHIUW 2019-track in CHIUW 2019
Ranjit Jhala University of California, San Diego United States Session Chair of Type Systems I (part of PLDI Research Papers) Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019 Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Thomas Jiang Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Hanru Jiang University of Science and Technology of China China Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track in PLDI 2019
Xun Jiao Villanova University United States Committee Member in Program Committee within the LCTES-track
Limin Jia Carnegie Mellon University United States Committee Member in Program Committee within the PLDI Research Papers-track
Alexandra Jimborean Uppsala University Sweden Committee Member in External Review Committee within the PLDI Research Papers-track
Brian Johannesmeyer University of California at San Diego, USA Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Manohar Jonnalagedda Inpher Inc., Switzerland Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019
Keyur Joshi University of Illinois at Urbana-Champaign United States Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track in WAX 2019
Lei Ju Shandong University China Committee Member in Program Committee within the LCTES-track
Jaakko Järvi University of Bergen Norway Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019
M. Frans Kaashoek Massachusetts Institute of Technology, USA Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track in PLDI 2019
Amir Kafshdar Goharshady IST Austria Austria Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
David M. Kahn Carnegie Mellon University, USA Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Gowtham Kaki Purdue University United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vasiliki Kalavri ETH Zurich Committee Member in Program Committee within the DBPL-track
Alexander Kampmann CISPA Helmholtz Center for Information Security Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Mahmut Taylan Kandemir Pennsylvania State University, USA United States Author of Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Seokwon Kang Hanyang University Author of A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress) within the LCTES 2019-track in LCTES 2019
Jeehoon Kang KAIST South Korea Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track in PLDI 2019
Timotej Kapus Imperial College London Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track in PLDI 2019
Mustafa Karakoy TOBB University of Economics and Technology, Turkey Author of Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism within the PLDI Research Papers-track in PLDI 2019
Sagar Karandikar University of California, Berkeley United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ben Karel University of Pennsylvania, USA Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Ulya Karpuzcu 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 Kasampalis University of Illinois at Urbana-Champaign, USA Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track in PLDI 2019
Vineeth Kashyap GrammaTech, Inc. India Author of Fast and Precise Disassembly using Datalog within the DPA-track in DPA 2019
Baris Kasikci University of Michigan, USA Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Harshad Kasture Oracle Committee Member in Program Committee within the DBPL-track
Kiran Kate Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track in MAPL 2019
Kiyokuni Kawachiya IBM Research - Tokyo Author of Automatic GPU Memory Management for Large Neural Models in TensorFlow within the ISMM 2019-track in ISMM 2019
Milod Kazerounian University of Maryland, College Park United States Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track in PLDI 2019
Gabriele Keller Utrecht University Netherlands Committee Member in Program Committee within the PLDI Research Papers-track
Stephen Kell University of Kent PC Member in Program Committee for ISMM 2019
Oliver Kennedy University at Buffalo Author of Fluid Data Structures within the DBPL 2019-track in DBPL 2019
Asif Ali Khan TU Dresden, Germany Germany Author of Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads within the LCTES 2019-track in LCTES 2019
Tanvir Ahmed Khan University of Michigan, USA Bangladesh Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Daniel Kifer Dept. of Computer Science and Engineering, Penn State University Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track in PLDI 2019
Jihye Kim Kookmin University Author of SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited) within the LCTES 2019-track in LCTES 2019
Seohyun Kim Facebook Author of Neural Query Expansion for Code Search within the MAPL 2019-track in MAPL 2019
Dohyeong Kim Purdue University Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track in PLDI 2019
Johannes Kinder Bundeswehr University Munich Germany Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track in PLDI 2019
Christoph Kirsch University of Salzburg Austria Committee Member in Steering Committee for ISMM 2019
Oleg Kiselyov Committee Member in Program Committee within the DBPL-track
Tristan Knoth University of California at San Diego, USA Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track in PLDI 2019
Jérémie Koenig Yale University United States Presenter of Refinement-Based Game Semantics for CompCert within the DeepSpec 2019-track in DeepSpec 2019
Michalis Kokologiannakis Max Planck Institute for Software Systems (MPI-SWS) Greece Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track in PLDI 2019
Martin Kong Brookhaven National Laboratory United States Author of Model-Driven Transformations for Multi- and Many-Core CPUs within the PLDI Research Papers-track in PLDI 2019
Chaitanya Koparkar Indiana University United States Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019
Eric Koskinen 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 Kowalski Pacific Northwest National Laboratory Author of Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods within the ARRAY 2019-track in ARRAY 2019
Dexter Kozen Cornell University United States Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Chandra Krintz UC Santa Barbara 2016 General Chair in Steering Committee for PLDI 2019 Committee Member in Program Committee within the LCTES-track
Sriram Krishnamoorthy Pacific Northwest National Laboratories Author of Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods within the ARRAY 2019-track in ARRAY 2019
Shriram Krishnamurthi Brown University, United States Committee Member in Program Committee within the PLDI Research Papers-track
Paddy Krishnan Author of Commit-time Incremental Analysis within the SOAP-track in SOAP 2019
Neel Krishnaswami Computer Laboratory, University of Cambridge Author of A Typed, Algebraic Approach to Parsing within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Shankaranarayanan Krishna IIT Bombay, India Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Martin Kristien University of Edinburgh, UK United Kingdom Author of High-Level Synthesis of Functional Patterns with Lift within the ARRAY 2019-track in ARRAY 2019
Lars Kroll KTH Royal Institute of Technology, Sweden Sweden Author of Arc: An IR for Batch and Stream Programming within the DBPL 2019-track in DBPL 2019
Anitha Kubendran Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Andre Kuhlenschmidt Indiana University United States Author of Toward Efficient Gradual Typing for Structural Types via Coercions within the PLDI Research Papers-track in PLDI 2019
Prasad Kulkarni University of Kansas Committee Member in Program Committee within the LCTES-track
Prasad Kulkarni Steering Committee Member in Steering Committee within the LCTES-track
Milind Kulkarni Purdue University United States Session Chair of PL Research Topics (part of PLMW @ PLDI) Session Chair of Icebreaker (part of PLMW @ PLDI) Facilitator of Icebreaker within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Author of Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees within the PLDI Research Papers-track in PLDI 2019 Author of Composable, Sound Transformations of Nested Recursion and Loops within the PLDI Research Papers-track in PLDI 2019 Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019 PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Aditi Kulkarni National University of Singapore Author of SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing within the LCTES 2019-track in LCTES 2019
Ramana Kumar DeepMind United Kingdom Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Arun Kumar Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Praveen Kumar Cornell University United States Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
H. T. Kung Author of Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations within the MAPL 2019-track in MAPL 2019
Tei-Wei Kuo Academia Sinica, Taiwan Steering Committee Member in Steering Committee within the LCTES-track
Lindsey Kuper University of California, Santa Cruz Committee Member in External Review Committee within the PLDI Research Papers-track
Yeondae Kwon The University of Tokyo Author of Detecting Unsatisfiable CSS Rules in the Presence of DTDs within the DBPL 2019-track in DBPL 2019
Ori Lahav Tel Aviv University Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Kim Laine Microsoft Research, n.n. Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Akash Lal Microsoft Research India India Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track in PLDI 2019
Leonidas Lampropoulos University of Pennsylvania Greece Presenter of Coverage Guided, Property Based Testing within the DeepSpec 2019-track in DeepSpec 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Monica S. Lam Stanford University, USA Author of Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands within the PLDI Research Papers-track in PLDI 2019
James Larus EPFL Switzerland Session Chair of Systems II (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Ben Laurie Google Research Presenter of Project Oak: Control Data in Distributed Systems, Verify All The Things within the DeepSpec 2019-track in DeepSpec 2019
Kristin Lauter Microsoft Research, n.n. Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Marc-André Laverdière Synopsys, Inc. Canada Committee Member in Program Committee within the SOAP-track
Thierry Lavoie 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) Author of Best presentation announcement and closing of the day within the SOAP-track in SOAP 2019 Author of Laurie Hendren Euology within the SOAP-track in SOAP 2019 Author of Welcome to SOAP 2019 within the SOAP-track in SOAP 2019 Co-chair in Organizing Committee within the SOAP-track
Claire Le Goues Carnegie Mellon University United States Author of Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators within the PLDI Research Papers-track in PLDI 2019
Hugh Leather University of Edinburgh Author of A Case Study on Machine Learning for Synthesizing Benchmarks within the MAPL 2019-track in MAPL 2019
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in External Review Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Richard Leer Heinz Nixdorf Institut, Paderborn University Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track in SOAP 2019
Wen-Chuan Lee Purdue University Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track in PLDI 2019
Sung-Hwan Lee Seoul National University, South Korea Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track in PLDI 2019
Jongeun Lee UNIST (Ulsan National Institute of Science and Technology), Korea South Korea Publicity Chair in Organizing Committee within the LCTES-track
Jiwon Lee Hanyang University Author of SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited) within the LCTES 2019-track in LCTES 2019
Woosuk Lee Hanyang University, Korea South Korea Committee Member in Program Committee within the PLDI Research Papers-track
Kyoungwoo Lee Yonsei University Committee Member in Program Committee within the LCTES-track
Dongyoon Lee Virginia Tech, USA PC Member in Program Committee for ISMM 2019
Daniel Lehmann TU Darmstadt Germany Organizer of Dynamically Analyzing WebAssembly with Wasabi within the PLDI Tutorials-track in PLDI 2019
Daan Leijen Microsoft Research, USA United States Presenter of Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control) within the DeepSpec 2019-track in DeepSpec 2019
Ricardo Leite University of Porto Portugal Author of A Lock-Free Coalescing-Capable Mechanism for Memory Management within the ISMM 2019-track in ISMM 2019
David Leopoldseder Johannes Kepler University Linz Austria Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Philip Levis Stanford University Author of Automating the Generation of Hardware Component Knowledge Bases within the LCTES 2019-track in LCTES 2019
Ton Chanh Le Stevens Institute of Technology United States Author of SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic within the PLDI Research Papers-track in PLDI 2019
Tung D. Le IBM Research - Tokyo Author of Automatic GPU Memory Management for Large Neural Models in TensorFlow within the ISMM 2019-track in ISMM 2019
Alexander K. Lew Massachusetts Institute of Technology, USA United States Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track in PLDI 2019
Ondřej Lhoták University of Waterloo Canada Committee Member in External Review Committee within the PLDI Research Papers-track
Hongjin Liang Nanjing University, China China Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track in PLDI 2019
Kevin Liao Author of ILC: A Calculus for Composable, Computational Cryptography within the PLDI Research Papers-track in PLDI 2019
Christopher Lidbury Imperial College London Author of Sparse Record and Replay with Controlled Scheduling within the PLDI Research Papers-track in PLDI 2019
Paul Lietar Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Seung-Hwan Lim Oak Ridge National Laboratory, USA Author of Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability within the PLDI Research Papers-track in PLDI 2019
Sam Lindley The University of Edinburgh and Imperial College London United Kingdom Committee Member in Program Committee within the DBPL-track
Calvin Lin University of Texas, Austin United States Session Chair of Research Career Options (part of PLMW @ PLDI) PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Felix Lin Purdue University PC Member in Program Committee for ISMM 2019
Mikko H. Lipasti Author of BitBench: A Benchmark for Bitstream Computing within the LCTES 2019-track in LCTES 2019
Michael Lippautz Google Author of Concurrent Marking of Shape-Changing Objects within the ISMM 2019-track in ISMM 2019
Mengqi Liu Yale University Presenter of Compositional Verification of Preemptive OS Kernels with Temporal and Spatial Isolation within the DeepSpec 2019-track in DeepSpec 2019
Lun Liu University of California at Los Angeles, USA Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track in PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hang Liu UMass Lowell Committee Member in Program Committee within the CHIUW-track
Xu Liu College of William and Mary PC Member in Program Committee for ISMM 2019
Haopeng Liu University of Chicago Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yingqi Liu Purdue University, USA Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track in PLDI 2019
Jed Liu Barefoot Networks Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Peng Liu Purdue University Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track in PLDI 2019
Tongping Liu PC Member in Program Committee for ISMM 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Jason Liu Author of Neural Query Expansion for Code Search within the MAPL 2019-track in MAPL 2019
Pengcheng Li Google, Inc China Author of Timescale Functions for Parallel Memory Allocation within the ISMM 2019-track in ISMM 2019 Committee Member in Program Committee within the LCTES-track
Guangpu Li University of Chicago, USA Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 2019
Xinyi Li Chang'an University Author of IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems within the LCTES 2019-track in LCTES 2019
Nuno P. Lopes Microsoft Research Session Chair of Synthesis (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Blake Loring Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track in PLDI 2019
Tze Meng Low CMU Session Chair of Session 4 (part of ARRAY) Author of Linear Algebraic Depth-First Search within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track
Brandon Lucia Carnegie Mellon University United States Publicity in Organizing Committee for PLDI 2019 Author of Transactional Concurrency for Intermittent Systems within the PLDI Research Papers-track in PLDI 2019 Author of Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints within the PLDI Research Papers-track in PLDI 2019
Hao Luo University of Rochester Author of Timescale Functions for Parallel Memory Allocation within the ISMM 2019-track in ISMM 2019
Shan Lu University of Chicago Author of Keynote 2: Why do big data and cloud systems stop (slow down)? within the ISMM 2019-track in ISMM 2019 Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 2019
Yi Lu Oracle Author of Commit-time Incremental Analysis within the SOAP-track in SOAP 2019
Fang Lv Institute of Computing Technology, Chinese Academy of Sciences Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Andreas Lööw Chalmers University of Technology Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Martin Maas Google United 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̀ Barcelona Supercomputing Center Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019
Anil Madhavapeddy OCaml Labs United Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
P. Madhusudan University of Illinois at Urbana-Champaign United States Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track in PLDI 2019
Magnus Madsen Aarhus University Denmark Committee Member in Organizing Committee within the DPA-track
Kiwan Maeng Carnegie Mellon University, USA Author of Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints within the PLDI Research Papers-track in PLDI 2019
Rasool Maghareh National University of Singapore Singapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Stephen Magill Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track in PLDI 2019
Abdulrahman Mahmoud UIUC Author of Approximate Checkers within the WAX 2019-track in WAX 2019
Kenji Maillard Inria Paris and ENS Paris Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrea Maioli Politecnico di Milano, Italy Author of On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) within the LCTES 2019-track in LCTES 2019
Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia United Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Saeed Maleki Microsoft Research Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Konstantinos Mamouras University of Pennsylvania Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track in PLDI 2019
Louis Mandel IBM Research United States Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track in MAPL 2019
Yatin Manerkar Princeton University United States Presenter of Automated Formal Memory Consistency Verification of Hardware within the DeepSpec 2019-track in DeepSpec 2019
Panagiotis Manolios Northeastern University Author of Records with Rank Polymorphism within the ARRAY 2019-track in ARRAY 2019
Vikash Mansingkha MIT Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track in PLDI 2019
William Mansky University of Illinois at Chicago United States Presenter of Connecting Separation Logic with First-Order Reasoning on Memory within the DeepSpec 2019-track in DeepSpec 2019
Michaël Marcozzi Imperial College London United Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Roy Margalit Tel Aviv University, Israel Author of Robustness Against Release/Acquire Semantics within the PLDI Research Papers-track in PLDI 2019
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track in WAX 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Jason Mars University of Michigan Author of What I wish I knew my first few years of grad school within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019
Hidehiko Masuhara Tokyo Institute of Technology Japan Author of Massively Parallel GPU Memory Compaction within the ISMM 2019-track in ISMM 2019 Committee Member in Program Committee within the ARRAY-track
Bernd Mathiske Committee Member in External Review Committee for ISMM 2019
Björn Mathis CISPA Helmholtz Center for Information Security Germany Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Tim Mattson Intel, USA General Chair in Organizing Committee within the MAPL-track
Shiqing Ma Purdue University, USA Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track in PLDI 2019
Mikaël Mayer EPFL, Switzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Trevor L. McDonell Utrecht University Netherlands Committee Member in Program Committee within the ARRAY-track
Andrew McGregor Author of Mesh: Compacting Memory Management for C/C++ Applications within the PLDI Research Papers-track in PLDI 2019
Kathryn S McKinley Google General Chair in Organizing Committee for PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
James McKinna University of Edinburgh Presenter of Names, Places, and Things: Generic Traversals over Generic Syntax with Binding within the DeepSpec 2019-track in DeepSpec 2019
Maryam Mehri Dehnavi University of Toronto Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the CHIUW-track
Na Meng Virginia Tech United States Web Chair in Organizing Committee for PLDI 2019 Session Chair of Session 2: Architecture and Compilers (part of LCTES) Author of An Empirical Comparison between Monkey Testing and Human Testing (Work in progress) within the LCTES 2019-track in LCTES 2019
Arjun Menon IIT Madras Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Michaël Mera CISPA, Germany Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Darius Mercadier Sorbonne Universités —UPMC Univ Paris 06 Author of Usuba: High-Throughput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track in PLDI 2019
Michael Merrill US DoD Author of Arkouda: Interactive Data Exploration Backed by Chapel within the CHIUW 2019-track in CHIUW 2019
Jesse Michel Massachusetts Institute of Technology Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track in WAX 2019
Matthew Milano Cornell University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Andrew Miller University of Illinois at Urbana-Champaign, USA Author of ILC: A Calculus for Composable, Computational Cryptography within the PLDI Research Papers-track in PLDI 2019
Todd Millstein University of California, Los Angeles Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track in PLDI 2019
Sasa Misailovic University of Illinois at Urbana-Champaign United States Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track in WAX 2019 Co-organizer in Organizing Committee within the WAX-track Committee Member in Program Committee within the PLDI Research Papers-track
Duncan Mitchell Royal Holloway, University of London Author of Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript within the PLDI Research Papers-track in PLDI 2019
Tulika Mitra National University of Singapore, Singapore Singapore Author of SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Mostafa Mohammed Virginia Tech Author of An Empirical Comparison between Monkey Testing and Human Testing (Work in progress) within the LCTES 2019-track in LCTES 2019
Mehrad Moradshahi Stanford University, USA Author of Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands within the PLDI Research Papers-track in PLDI 2019
Igor Moreno Santos Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Eliot Moss University of Massachusetts Amherst Author of Learning When to Garbage Collect with Random Forests within the ISMM 2019-track in ISMM 2019
Luca Mottola Politecnico di Milano, Italy and RI.Se SICS, Sweden Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track in LCTES 2019 Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019 Author of On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) within the LCTES 2019-track in LCTES 2019
Barzan Mozafari University of Michigan, USA Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Md Muhib Khan Florida State University Author of Exploration of Memory Hybridization for RDD Caching in Spark within the ISMM 2019-track in ISMM 2019
Lenore Mullin SUNY Albany, USA Session Chair of Session 5 (part of ARRAY) Author of Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays within the ARRAY 2019-track in ARRAY 2019 Committee Member in Program Committee within the ARRAY-track
Saurav Muralidharan NVIDIA Committee Member in External Review Committee within the PLDI Research Papers-track
Vijayaraghavan Murali Rice University, USA Author of Neural Query Expansion for Code Search within the MAPL 2019-track in MAPL 2019
Filip Murlak University of Warsaw Author of On the Semantics of Cypher's Implicit Group-by within the DBPL 2019-track in DBPL 2019
Madan Musuvathi Microsoft Research Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track in PLDI 2019 Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France Author of Replication-Aware Linearizability within the PLDI Research Papers-track in PLDI 2019
Erdal Mutlu Pacific Northwest National Laboratory Author of Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods within the ARRAY 2019-track in ARRAY 2019
Onur Mutlu ETH Zurich Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Abdullah Muzahid Texas A & M University United States Publicity Chair in Organizing Committee within the MAPL-track
Andrew Myers Cornell University United States Committee Member in External Program Committee within the PLDI Research Papers-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Todd Mytkowicz Microsoft Research Author of A week in the life of an MSR Researcher within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Vijay Nagarajan University of Edinburgh, UK Steering Committee Member in Steering Committee within the LCTES-track
Santosh Nagarakatte Rutgers University, USA United States Session Chair of Language Design II (part of PLDI Research Papers) Author of Parallelism-Centric What-If and Differential Analyses within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Mayur Naik University of Pennsylvania Author of Keynote: Learning to Reason about Programs within the MAPL 2019-track in MAPL 2019 Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Payal Nandy University of Utah, USA Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
Nina Narodytska VMWare Research United States Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Amit Kumar Nath Florida State University, USA Author of Exploration of Memory Hybridization for RDD Caching in Spark within the ISMM 2019-track in ISMM 2019
Jorge A. Navas SRI International United States Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Yasushi Negishi IBM Research - Tokyo Author of Automatic GPU Memory Management for Large Neural Models in TensorFlow within the ISMM 2019-track in ISMM 2019
Timothy Neumann US DoD Author of Arkouda: Interactive Data Exploration Backed by Chapel within the CHIUW 2019-track in CHIUW 2019
Ryan R. Newton Indiana University United States Author of Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees within the PLDI Research Papers-track in PLDI 2019 Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019
ThanhVu Nguyen University of Nebraska-Lincoln United States Author of SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic within the PLDI Research Papers-track in PLDI 2019
Phúc C. Nguyễn University of Maryland Author of Size-Change Termination as a Contract within the PLDI Research Papers-track in PLDI 2019
Kim Nguyễn 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
Lawton Nichols Author of Fixpoint Reuse for Incremental JavaScript Analysis within the SOAP-track in SOAP 2019
Victor Nicolet University of Toronto Canada Author of Modular Divide-and-Conquer Parallelization of Nested Loops within the PLDI Research Papers-track in PLDI 2019
Rachit Nigam Cornell University United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Rishiyur Nikhil Presenter of Development of the RISC-V ISA Formal Specification within the DeepSpec 2019-track in DeepSpec 2019
Daniel Nikolov Author of Co-Optimization of Optics, Architecture, and Vision Algorithms within the WAX 2019-track in WAX 2019
Sam H. Noh UNIST (Ulsan National Institute of Science and Technology), Korea Steering Committee Member in Steering Committee within the LCTES-track
Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia Australia Session Chair of Verification II (part of PLDI Research Papers) Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Tony Nowatzki University of California, Los Angeles PC Member in Program Committee for ISMM 2019
Michael O'Boyle University of Edinburgh Committee Member in External Review Committee within the PLDI Research Papers-track
Rebecca O'Donoghue Author of Commit-time Incremental Analysis within the SOAP-track in SOAP 2019
Steven O'Hara Author of Modernizing Parsing Tools within the SOAP-track in SOAP 2019
Kazunori Ogata IBM Research, Japan Author of Scaling Up Parallel GC Work-Stealing in Many-Core Environments within the ISMM 2019-track in ISMM 2019
Hyunok Oh Hanyang Univ Session Chair of Session 4: Benchmarking and In-progress Works (part of LCTES) Author of SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited) within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Takuya Okada University of Tsukuba Author of Detecting Unsatisfiable CSS Rules in the Presence of DTDs within the DBPL 2019-track in DBPL 2019
Catherine R. M. Olschanowsky Boise State University, USA Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
Kunle Olukotun Stanford University United States Committee Member in Steering Committee within the MAPL-track
Guilherme Ottoni Facebook Committee Member in External Program Committee within the PLDI Research Papers-track
Scott Owens University of Kent, UK United Kingdom Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track in PLDI 2019
Rohan Padhye University of California, Berkeley Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nikhil Padmanabhan Yale University Steering Committee Member in Organizing Committee within the CHIUW-track Committee Member in Program Committee within the CHIUW-track
Oded Padon Stanford University United States Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track in PLDI 2019
Shankara Pailoor University of Texas at Austin, USA Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track in PLDI 2019
Sreepathi Pai University of Rochester United 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
Yash Palkhiwala University of Pennsylvania, USA Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Jens Palsberg 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 Panda IIT Delhi Committee Member in Program Committee within the LCTES-track
Zoe Paraskevopoulou Princeton University United States Presenter of Closure Conversion is Safe for Space within the DeepSpec 2019-track in DeepSpec 2019
Matthew Parkinson Microsoft Research, UK United Kingdom Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Daejun Park University of Illinois at Urbana-Champaign Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track in PLDI 2019
Yongjun Park Hanyang University Author of A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress) within the LCTES 2019-track in LCTES 2019
Yongjoo Park University of Michigan Author of Invited Talk: Yongjoo Park within the WAX 2019-track in WAX 2019
Suresh Parthasarathy Microsoft Research, India Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019
Daniel Patterson Northeastern University United States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sri Raj Paul Georgia Institute of Technology United States Author of GPUIterator: Bridging the Gap between Chapel and GPU Platforms within the CHIUW 2019-track in CHIUW 2019
Hannes Payer Google Committee Member in Steering Committee for ISMM 2019 Author of Concurrent Marking of Shape-Changing Objects within the ISMM 2019-track in ISMM 2019 Organizer of Using the V8 JavaScript Virtual Machine as a Research Platform within the PLDI Tutorials-track in PLDI 2019
Li-Shiuan Peh National University of Singapore Author of SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing within the LCTES 2019-track in LCTES 2019
David Mitchel Perry Purdue University Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track in PLDI 2019
Erez Petrank Technion Israel Session Chair of Memory Management (part of PLDI Research Papers) Committee Member in External Program Committee within the PLDI Research Papers-track
Gustavo Petri Arm Ltd United Kingdom Author of Replication-Aware Linearizability within the PLDI Research Papers-track in PLDI 2019
Jean Pichon-Pharabod University of Cambridge Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track in PLDI 2019
Benjamin C. Pierce University of Pennsylvania United States SIGPLAN Vice Chair in Steering Committee for PLDI 2019 Session Chair of Modular Reasoning (part of DeepSpec) Presenter of Overview of the DeepSpec Expedition and its Capstone Application within the DeepSpec 2019-track in DeepSpec 2019
Andy Pimentel University of Amsterdam Netherlands Committee Member in Program Committee within the LCTES-track
Luís Pina George Mason University United States Committee Member in External Review Committee within the PLDI Research Papers-track
Ruzica Piskac Yale University, USA Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019
Gilles Pokam Intel Corporation Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Ilia Polian University of Stuttgart Committee Member in Program Committee within the LCTES-track
Nadia Polikarpova University of California, San Diego United States Session Chair of Dynamics: Analysis and Compilation (part of PLDI Research Papers) Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Alex Polozov Microsoft Research United States Committee Member in Program Committee within the MAPL-track
Jan Posiadała Nodes and Edges Author of On the Semantics of Cypher's Implicit Group-by within the DBPL 2019-track in DBPL 2019
Alex Potanin Victoria University of Wellington New Zealand Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Louis-Noel Pouchet Colorado State University Author of Generating Piecewise-Regular Code from Irregular Structures within the PLDI Research Papers-track in PLDI 2019 Author of Model-Driven Transformations for Multi- and Many-Core CPUs within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Bobby Powers University of Massachusetts, Amherst Author of Mesh: Compacting Memory Management for C/C++ Applications within the PLDI Research Papers-track in PLDI 2019
Michael Pradel TU Darmstadt and Facebook Germany Session Chair of Learning Specifications (part of PLDI Research Papers) Organizer of Dynamically Analyzing WebAssembly with Wasabi within the PLDI Tutorials-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Himeshi Praveeni De Silva Author of ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution within the LCTES 2019-track in LCTES 2019
Aleksandar Prokopec Oracle Labs Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Christopher Pulte University of Cambridge Author of Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model within the PLDI Research Papers-track in PLDI 2019
Markus Püschel ETH Zürich Switzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Shaz Qadeer Facebook United States Committee Member in Program Committee within the PLDI Research Papers-track
Shaz Qadeer Facebook United States Organizer of Safe Asynchronous Programming: Methodology, Language, and Tools within the PLDI Tutorials-track in PLDI 2019
Xudong Qin East China Normal University, China Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Xiaokang Qiu Purdue University United States Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Weihao Qu University at Buffalo, SUNY Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track in PLDI 2019
Azalea Raad MPI-SWS, Germany United Kingdom Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track in PLDI 2019 Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Arjun Radhakrishna Microsoft Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mukund Raghothaman University of Pennsylvania, USA Author of Precise Program Reasoning using Probabilistic Methods within the DPA-track in DPA 2019 Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track in PLDI 2019
Mike Rainey Indiana University, USA United States Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019
Sriram Rajamani Microsoft Research Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Fabrice Rastello INRIA France Committee Member in Program Committee within the LCTES-track
Aseem Rastogi Microsoft Research India Committee Member in External Review Committee within the PLDI Research Papers-track
Alex Jason Ratner Author of Building Training Sets with Snorkel: Three Key Operators within the MAPL 2019-track in MAPL 2019
Veselin Raychev DeepCode AG Session Chair of Parallelism and Super Computing I (part of PLDI Research Papers) Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track in PLDI 2019 Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Chester Rebeiro IIT Madras Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Paul Reckamp UIUC Author of Approximate Checkers within the WAX 2019-track in WAX 2019
Christoph Reichenbach Lund University Author of MetaDL and Beyond: Custom Program Analyses in Datalog within the DPA-track in DPA 2019 Author of MetaDL: Analysing Datalog in Datalog within the SOAP-track in SOAP 2019
John Renner University of California, San Diego Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
John Reppy University of Chicago Committee Member in External Program Committee within the PLDI Research Papers-track
William Reus US DoD Author of Arkouda: Interactive Data Exploration Backed by Chapel within the CHIUW 2019-track in CHIUW 2019
Wilmer Ricciotti University of Edinburgh, UK Italy Author of Mixing set and bag semantics within the DBPL 2019-track in DBPL 2019
Martin Rinard Massachusetts Institute of Technology United States Session Chair of Static Analysis (part of PLDI Research Papers) Author of Using Active Learning to Synthesize Models of Applications That Access Databases within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Noam Rinetzky Tel Aviv University Israel Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track in PLDI 2019 Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Norman A. Rink TU Dresden, Germany Author of TeIL: a type-safe imperative Tensor Intermediate Language within the ARRAY 2019-track in ARRAY 2019 Author of Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads within the LCTES 2019-track in LCTES 2019
Benjamin Robbins Cray Inc. Session Chair of Lightning Talks and Flash Discussions (part of CHIUW) Author of Chapel in Cray HPO within the CHIUW 2019-track in CHIUW 2019 General Chair of Welcome, State of the Chapel Project within the CHIUW 2019-track in CHIUW 2019 General Chair in Organizing Committee within the CHIUW-track
Ricardo Rocha University of Porto, Portugal Portugal Author of A Lock-Free Coalescing-Capable Mechanism for Memory Management within the ISMM 2019-track in ISMM 2019
Gabriel Rodríguez Universidade da Coruña, Spain Spain Author of Generating Piecewise-Regular Code from Irregular Structures within the PLDI Research Papers-track in PLDI 2019
Jannick Rolland University of Rochester Author of Co-Optimization of Optics, Architecture, and Vision Algorithms within the WAX 2019-track in WAX 2019
Tiark Rompf Purdue University United States Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track in DBPL 2019 Committee Member in Program Committee within the DBPL-track
Elliot Ronaghan Cray Inc. Presenter of Chapel Unblocked: Recent Communication Optimizations in Chapel within the CHIUW 2019-track in CHIUW 2019
Grigore Rosu University of Illinois at Urbana-Champaign United States Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track in PLDI 2019
Andrea Rosà University of Lugano, Switzerland Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Reuben N. S. Rowe University of Kent United Kingdom Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track in PLDI 2019
Cindy Rubio-Gonzalez University of California, Davis Session Chair of Bug Finding & Testing I (part of PLDI Research Papers) Author of Func2vec: Path-Based Function Embedding within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Emily Ruppel Carnegie Mellon University, USA Author of Transactional Concurrency for Intermittent Systems within the PLDI Research Papers-track in PLDI 2019
Sukyoung Ryu KAIST, South Korea Korea, South Committee Member in External Program Committee within the PLDI Research Papers-track
Leonid Ryzhyk VMware Research Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Presenter of Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec within the DeepSpec 2019-track in DeepSpec 2019
Christopher Ré Author of Automating the Generation of Hardware Component Knowledge Bases within the LCTES 2019-track in LCTES 2019
Feras Saad Massachusetts Institute of Technology United States Author of Gen: A General-Purpose Probabilistic Programming System with Programmable Inference within the PLDI Research Papers-track in PLDI 2019
Olli Saarikivi Author of CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing within the PLDI Research Papers-track in PLDI 2019
Mooly Sagiv Tel Aviv University Israel Author of Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions within the PLDI Research Papers-track in PLDI 2019
Shambwaditya Saha Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track in PLDI 2019
Laith Sakka Purdue University United States Author of Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees within the PLDI Research Papers-track in PLDI 2019 Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019
Roopsha Samanta Purdue University Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2019 Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track in PLDI 2019 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 Sampson Cornell University United States Author of Designing Languages for Designing Hardware within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Co-organizer in Organizing Committee within the WAX-track
Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Andrew Santosa National University of Singapore Author of ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution within the LCTES 2019-track in LCTES 2019
Vivek Sarkar Rice University, USA United States Author of GPUIterator: Bridging the Gap between Chapel and GPU Platforms within the CHIUW 2019-track in CHIUW 2019
Janarthanan Sarma Colorado State University, USA Author of Generating Piecewise-Regular Code from Irregular Structures within the PLDI Research Papers-track in PLDI 2019
John Sarracino University of California, San Diego Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Carlo Sartiani Author of Streaming saturation for large RDF graphs with dynamic schema information within the DBPL 2019-track in DBPL 2019
Jennifer B. Sartor Ghent University and Vrije Universiteit Brussel Belgium Committee Member in Steering Committee for ISMM 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Koichi Sasada Cookpad, Japan Japan Author of Gradual Write-Barrier Insertion into a Ruby Interpreter within the ISMM 2019-track in ISMM 2019
Annabel Satin P.C.K. Treasurer & Conference Manager in Organizing Committee for PLDI 2019
Alceste Scalas Aston University, Birmingham, UK United Kingdom Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track in PLDI 2019
Max Schaefer Semmle United Kingdom Session Chair of Session III (part of DPA) Session Chair of Session II (part of DPA) Author of Variant analysis with QL within the DPA-track in DPA 2019 Organizer of Declarative Program Analysis With QL within the PLDI Tutorials-track in PLDI 2019 Committee Member in Organizing Committee within the DPA-track
Stefanie Scherzinger Committee Member in Program Committee within the DBPL-track
Bernhard Scholz University of Sydney, Australia Committee Member in Program Committee within the LCTES-track
Sven-Bodo Scholz Heriot-Watt University United Kingdom Author of Convolutional Neural Networks in APL within the ARRAY 2019-track in ARRAY 2019
Christian Schulte KTH Royal Institute of Technology, Sweden Author of Arc: An IR for Batch and Stream Programming within the DBPL 2019-track in DBPL 2019 Committee Member in Program Committee within the LCTES-track
Carly Schulz University of Wisconsin - Madison Author of BitBench: A Benchmark for Bitstream Computing within the LCTES 2019-track in LCTES 2019
Chris Seaton Oracle Labs United Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Klas Segeljakt KTH Author of Arc: An IR for Batch and Stream Programming within the DBPL 2019-track in DBPL 2019
Taro Sekiyama National Institute of Informatics Japan Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Koushik Sen University of California, Berkeley United States Committee Member in Program Committee within the MAPL-track
Ilya Sergey Yale-NUS College Singapore 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. Serup DIKU, University of Copenhagen Denmark Author of Data-Parallel Flattening by Expansion within the ARRAY 2019-track in ARRAY 2019
Vivek Seshadri Microsoft Research, India Author of Compiling KB-Sized Machine Learning Models to Tiny IoT Devices within the PLDI Research Papers-track in PLDI 2019
Sanjit Seshia UC Berkeley Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Rushi Shah UT Austin Author of Synthesizing Database Programs for Schema Refactoring within the PLDI Research Papers-track in PLDI 2019
Amir Shaikhha University of Oxford Committee Member in Program Committee within the DBPL-track
Alex Shamis Microsoft Research / Imperial College London Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Zili Shao 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
Zhong Shao Yale University United States Session Chair of Verifying All the Things (part of DeepSpec) Session Chair of Compiler Verification (part of DeepSpec) Presenter of Project Updates from Participating Sites within the DeepSpec 2019-track in DeepSpec 2019 Committee Member in Organizing Committee within the DeepSpec-track
Aditya Sharad Semmle United States Organizer of Declarative Program Analysis With QL within the PLDI Tutorials-track in PLDI 2019
Rahul Sharma Microsoft Research India Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track in PLDI 2019 Author of Compiling KB-Sized Machine Learning Models to Tiny IoT Devices within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Edwin Sha Chongqing University Author of 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems within the LCTES 2019-track in LCTES 2019
Xipeng Shen North Carolina State University United States Author of IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems within the LCTES 2019-track in LCTES 2019 Author of Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability within the PLDI Research Papers-track in PLDI 2019
Jiasi Shen Massachusetts Institute of Technology Author of Using Active Learning to Synthesize Models of Applications That Access Databases within the PLDI Research Papers-track in PLDI 2019
Benjamin Sherman Massachusetts Institute of Technology, USA United States Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track in WAX 2019
Avraham Shinnar IBM Research Author of Machine Learning in Python with No Strings Attached within the MAPL 2019-track in MAPL 2019 Committee Member in Program Committee within the DBPL-track
Olin Shivers Northeastern University, USA Author of Records with Rank Polymorphism within the ARRAY 2019-track in ARRAY 2019
Liang Shi Chongqing University Author of 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems within the LCTES 2019-track in LCTES 2019
Wenjun Shi East China Normal University, China Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Sharon Shoham Tel Aviv university Israel Committee Member in External Review Committee within the PLDI Research Papers-track
Tatiana Shpeisman Google Brain United States Committee Member in Steering Committee within the MAPL-track Committee Member in Program Committee within the ARRAY-track
Aviral Shrivastava Arizona State University United States Author of Note from Program Chair within the LCTES 2019-track in LCTES 2019 Program Chair in Organizing Committee within the LCTES-track
Thomas Shull University of Illinois at Urbana-Champaign Author of Reusable Inline Caching for JavaScript Performance within the PLDI Research Papers-track in PLDI 2019 Author of AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability within the PLDI Research Papers-track in PLDI 2019
Julian Shun MIT Author of Low-Latency Graph Streaming using Compressed Purely-Functional Trees within the PLDI Research Papers-track in PLDI 2019
Junaid Haroon Siddiqui Lahore University of Management Sciences Pakistan Author of Efficient Intermittent Computing with Differential Checkpointing within the LCTES 2019-track in LCTES 2019 Author of The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers within the LCTES 2019-track in LCTES 2019 Author of On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) within the LCTES 2019-track in LCTES 2019
Jeremy G. Siek Indiana University, USA United States Author of Toward Efficient Gradual Typing for Structural Types via Coercions within the PLDI Research Papers-track in PLDI 2019
Alexandra Silva University College London United Kingdom Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Tyler Simon UMBC Committee Member in Program Committee within the CHIUW-track
Doug Simon Oracle Labs Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Jeremy Singer University of Glasgow United Kingdom General Chair in Organizing Committee for ISMM 2019 Author of ALPyNA: Acceleration of Loops in Python for Novel Architectures within the ARRAY 2019-track in ARRAY 2019 Author of Final Remarks within the ISMM 2019-track in ISMM 2019 Author of Welcome from the chairs within the ISMM 2019-track in ISMM 2019
Xujie Si University of Pennsylvania Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 Author of Continuously Reasoning about Programs using Differential Bayesian Inference within the PLDI Research Papers-track in PLDI 2019
Rocky Slavin Author of Modernizing Parsing Tools within the SOAP-track in SOAP 2019
Justin Slepak Northeastern University United States Author of Records with Rank Polymorphism within the ARRAY 2019-track in ARRAY 2019
Yannis Smaragdakis University of Athens Committee Member in Program Committee within the SOAP-track
Jonathan M. Smith University of Pennsylvania, USA Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Aaron Smith Author of Raising Binaries to LLVM IR with MCTOLL (Work in progress) within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Steffen Smolka Cornell University Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 2019
Richard Socher Salesforce, USA Author of Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands within the PLDI Research Papers-track in PLDI 2019
Gary Soeller Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Armando Solar-Lezama MIT CSAIL United States Program Chair in Organizing Committee within the MAPL-track
Mahdi Soltan Mohammadi University of Arizona United States Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
John Sonchack University of Pennsylvania, USA Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Dawn Song Committee Member in Program Committee within the MAPL-track
Daniele G. Spampinato ETH Zurich Author of Linear Algebraic Depth-First Search within the ARRAY 2019-track in ARRAY 2019
Matthias Springer Tokyo Institute of Technology Germany Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 Author of Massively Parallel GPU Memory Compaction within the ISMM 2019-track in ISMM 2019
Manu Sridharan University of California, Riverside United States Committee Member in External Review Committee within the PLDI Research Papers-track
Upasana Sridhar Author of Linear Algebraic Depth-First Search within the ARRAY 2019-track in ARRAY 2019
Caleb Stanford University of Pennsylvania United States Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track in PLDI 2019
Guy L. Steele Jr. Oracle Labs United States Committee Member in External Program Committee within the PLDI Research Papers-track
Todor Stefanov Leiden University Committee Member in Program Committee within the LCTES-track
Deian Stefan University of California San Diego Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Samuel Steffen ETH Zurich, Switzerland Switzerland Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track in PLDI 2019
Michel Steuwer University of Glasgow United Kingdom Author of High-Level Synthesis of Functional Patterns with Lift within the ARRAY 2019-track in ARRAY 2019 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 Stitt University of Florida United States Session Chair of Session 1: Memory Management (part of LCTES) Author of PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress) within the LCTES 2019-track in LCTES 2019 Committee Member in Program Committee within the LCTES-track
Bogdan-Alexandru Stoica Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michelle Strout University of Arizona United 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) Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019 PLMW Co-Chair in Organizing Committee within the PLMW @ PLDI-track
Martin Studener JKU Linz, Austria Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Kirshanthan Sundararajah Purdue University United States Author of Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees within the PLDI Research Papers-track in PLDI 2019 Author of Composable, Sound Transformations of Nested Recursion and Loops within the PLDI Research Papers-track in PLDI 2019
Yahui Sun Texas A&M University Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Paweł Susicki Nodes and Edges Author of On the Semantics of Cypher's Implicit Group-by within the DBPL 2019-track in DBPL 2019
Xuesong Su UNSW Sydney Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-track in LCTES 2019
Zhendong Su ETH Zurich Switzerland Author of Effective Floating-Point Analysis via Weak-Distance Minimization within the PLDI Research Papers-track in PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Nobutaka Suzuki University of Tsukuba Author of Detecting Unsatisfiable CSS Rules in the Presence of DTDs within the DBPL 2019-track in DBPL 2019
Ruby Tahboub Purdue University United States Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track in DBPL 2019
Mikio Takeuchi IBM Research - Tokyo Author of Scaling Up Parallel GC Work-Stealing in Many-Core Environments within the ISMM 2019-track in ISMM 2019
Jean-Pierre Talpin INRIA, France Committee Member in Program Committee within the LCTES-track
Ankur Taly Google Committee Member in External Review Committee within the PLDI Research Papers-track
Qiyi Tang Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Panqiu Tang Author of Approximate Checkers within the WAX 2019-track in WAX 2019
Xulong Tang Penn State Author of Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism within the PLDI Research Papers-track in PLDI 2019
Val Tannen University of Pennsylvania, USA Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track in PLDI 2019
Tian Tan Aarhus University, Denmark China Committee Member in Student Research Competition (SRC) within the PLDI Student Research Competition (SRC)-track
Yong Kiam Tan Carnegie Mellon University, USA Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track in PLDI 2019
Joseph Tassarotti Boston College Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track in PLDI 2019
Ross Tate Cornell University United 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 Tatlock University of Washington United States Committee Member in Program Committee within the PLDI Research Papers-track
Jürgen Teich Committee Member in Program Committee within the LCTES-track
David Tench University of Massachusetts at Amherst, USA Author of Mesh: Compacting Memory Management for C/C++ Applications within the PLDI Research Papers-track in PLDI 2019
Simon Thompson Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track in PLDI 2019
Philippe Tillet Author of Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations within the MAPL 2019-track in MAPL 2019
Amin Timany imec-Distrinet KU-Leuven Belgium Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael Tingley Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Gregory Titus Cray Inc. Author of Chapel Unblocked: Recent Communication Optimizations in Chapel within the CHIUW 2019-track in CHIUW 2019
Ben L. Titzer Google Germany Committee Member in Steering Committee for ISMM 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Ben Titzer Google Workshops and Tutorials Chair in Organizing Committee for PLDI 2019
Sam Tobin-Hochstadt Indiana University United States Author of Size-Change Termination as a Contract within the PLDI Research Papers-track in PLDI 2019
Hiroyuki Tomiyama Ritsumeikan University Japan Committee Member in Program Committee within the LCTES-track
Narjes Torabi Author of HackPPL: A Universal Probabilistic Programming Language within the MAPL 2019-track in MAPL 2019
Emina Torlak University of Washington United States 2018 Member at Large in Steering Committee for PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
Josep Torrellas University of Illinois at Urbana-Champaign Author of Reusable Inline Caching for JavaScript Performance within the PLDI Research Papers-track in PLDI 2019 Author of AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability within the PLDI Research Papers-track in PLDI 2019
Emma Tosch University of Massachusetts, Amherst Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019
Samuel Triest Author of Co-Optimization of Optics, Architecture, and Vision Algorithms within the WAX 2019-track in WAX 2019
Caroline Trippel Princeton University Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019
Petar Tsankov ETH Zurich / ChainSecurity Switzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Petr Tuma Charles University Czech Republic Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Ilyas Turimbetov Author of Program Analysis for Process Migration within the SOAP-track in SOAP 2019
Didem Unat Koç University Author of Program Analysis for Process Migration within the SOAP-track in SOAP 2019 Committee Member in Program Committee within the CHIUW-track
Caterina Urban INRIA & École Normale Supérieure France Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Model Checking for Weakly Consistent Libraries within the PLDI Research Papers-track in PLDI 2019
David Van Horn University of Maryland, USA United States Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track in PLDI 2019 Author of Size-Change Termination as a Contract within the PLDI Research Papers-track in PLDI 2019
Laurent Vanbever ETH Zürich Switzerland Committee Member in External Review Committee within the PLDI Research Papers-track
Ana Lucia Varbanescu Committee Member in Program Committee within the CHIUW-track
Nikos Vasilakis University of Pennsylvania, USA Greece Author of Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution within the PLDI Research Papers-track in PLDI 2019
Niki Vazou IMDEA Software Institute Author of Type-Level Computations for Ruby Libraries within the PLDI Research Papers-track in PLDI 2019
Martin Vechev ETH Zürich 2017 Program Chair in Steering Committee for PLDI 2019 Author of Unsupervised Learning of API Aliasing Specifications within the PLDI Research Papers-track in PLDI 2019 Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019
Kamakoti Veezhinathan IIT Madras Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Vanchinathan Venkataramani National University of Singapore Author of SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing within the LCTES 2019-track in LCTES 2019
Anand Venkat University of Utah India Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
Sahil Verma IIT Kanpur Author of NAP: Noise-Based Sensitivity Analysis for Programs. within the WAX 2019-track in WAX 2019
Alex Villazón Universidad Privada Boliviana, Bolivia Bolivia Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Michael Vollmer Indiana University, USA United States Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track in PLDI 2019
Haris Volos Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Richard Vuduc Georgia Tech United States Committee Member in Program Committee within the CHIUW-track
Guido Wachsmuth Oracle Labs Switzerland Committee Member in Program Committee within the DBPL-track
Riad S. Wahby Stanford University, USA Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019
Chao Wang IRIF, Université Paris Diderot, France Author of Replication-Aware Linearizability within the PLDI Research Papers-track in PLDI 2019
Peixin Wang Shanghai Jiao Tong University Author of Cost Analysis of Nondeterministic Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Yuxin Wang Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track in PLDI 2019
Chao Wang USC United States Author of Abstract Interpretation under Speculative Execution within the PLDI Research Papers-track in PLDI 2019
Rujia Wang Illinois Institute of Technology Committee Member in Program Committee within the LCTES-track
Yan Wang Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuting Wang Yale University Presenter of Stack-Aware CompCert within the DeepSpec 2019-track in DeepSpec 2019
Chundong Wang Singapore University of Technology and Design Singapore Author of Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory within the LCTES 2019-track in LCTES 2019
Shiyu Wang University of Illinois at Urbana-Champaign, USA Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track in PLDI 2019
Di Wang Carnegie Mellon University United States Author of Resource-Guided Program Synthesis within the PLDI Research Papers-track in PLDI 2019
Chenxi Wang UCLA Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Yuepeng Wang University of Texas at Austin Author of Synthesizing Database Programs for Schema Refactoring within the PLDI Research Papers-track in PLDI 2019
Guanhong Wang Pennsylvania State University, USA Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track in PLDI 2019
Jack Weast Intel, USA Keynote Speaker of An Open, Transparent, Industry-Driven Approach to AV Safety within the LCTES 2019-track in LCTES 2019
Ran Wei University of York Author of From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) within the LCTES 2019-track in LCTES 2019
Andy Wellings University of York Author of From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) within the LCTES 2019-track in LCTES 2019
Thomas F. Wenisch University of Michigan, USA Committee Member in External Review Committee within the PLDI Research Papers-track
John Wickerson Imperial College London United Kingdom Committee Member in Program Committee within the PLDI Research Papers-track
Christian Wimmer Oracle Labs PC Member in Program Committee for ISMM 2019
Christoph M. Wintersteiger Microsoft Research, UK Author of snmalloc: A Message Passing Allocator within the ISMM 2019-track in ISMM 2019
Weng-Fai Wong National University of Singapore Author of ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution within the LCTES 2019-track in LCTES 2019
Thomas Wuerthinger Oracle Labs Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Xilun Wu Purdue University Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track in DBPL 2019
Melanie Wu Pomona College Committee Member in Program Committee within the DBPL-track
Peng Wu Huawei America Research Lab United States Committee Member in Program Committee within the LCTES-track
Hui Wu University of New South Wales, Australia Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-track in LCTES 2019
Meng Wu Virginia Tech China Author of Abstract Interpretation under Speculative Execution within the PLDI Research Papers-track in PLDI 2019
Sen Wu Stanford University Author of Automating the Generation of Hardware Component Knowledge Bases within the LCTES 2019-track in LCTES 2019
Siyang Xiao University of Science and Technology of China, China Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track in PLDI 2019
Tao Xie University of Illinois at Urbana-Champaign, USA United States Author of Learning Stateful Preconditions Modulo a Test Generator within the PLDI Research Papers-track in PLDI 2019
Zikang Xiong Purdue University Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track in PLDI 2019
Anton Xue Yale University Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019
Jingling Xue UNSW Sydney Australia Author of WCET-Aware Hyper-Block Construction for Clustered VLIW Processors within the LCTES 2019-track in LCTES 2019 Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Jason Xue City University of Hong Kong, China Author of 1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems within the LCTES 2019-track in LCTES 2019 Steering Committee Member in Steering Committee within the LCTES-track
Silei Xu Author of Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands within the PLDI Research Papers-track in PLDI 2019
Harry Xu UCLA United States Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Harry Xu University of California, Los Angeles (UCLA) United States Program Chair in Organizing Committee for ISMM 2019 Author of Final Remarks within the ISMM 2019-track in ISMM 2019 Author of Welcome from the chairs within the ISMM 2019-track in ISMM 2019
S. Bharadwaj Yadavalli Microsoft Author of Raising Binaries to LLVM IR with MCTOLL (Work in progress) within the LCTES 2019-track in LCTES 2019
Eran Yahav Technion Israel Committee Member in External Program Committee within the PLDI Research Papers-track
Jeremy Yallop University of Cambridge, UK Author of A Typed, Algebraic Approach to Parsing within the PLDI Research Papers-track in PLDI 2019
Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University. Australia Author of An Applied Quantum Hoare Logic within the PLDI Research Papers-track in PLDI 2019
Adarsh Yoga Rutgers University, USA Author of Parallelism-Centric What-If and Differential Analyses within the PLDI Research Papers-track in PLDI 2019
Nobuko Yoshida Imperial College London Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track in PLDI 2019
Xiangyu Yue University of California at Berkeley, USA Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track in PLDI 2019
Tomofumi Yuki Author of Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors within the PLDI Research Papers-track in PLDI 2019
Nengkun Yu University of Technology Sydney, Australia Author of An Applied Quantum Hoare Logic within the PLDI Research Papers-track in PLDI 2019
Weikuan Yu Florida State University, USA Author of Exploration of Memory Hybridization for RDD Caching in Spark within the ISMM 2019-track in ISMM 2019
Yongseung Yu Hanyang University Author of A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress) within the LCTES 2019-track in LCTES 2019
Buse Yılmaz Author of Program Analysis for Process Migration within the SOAP-track in SOAP 2019
Ayal Zaks Intel Corporation and Technion, Israel Committee Member in Program Committee within the PLDI Research Papers-track
Marcin Zalewski Pacific Northwest National Laboratory Author of Chapel Graph Library (CGL) within the CHIUW 2019-track in CHIUW 2019
Steve Zdancewic University of Pennsylvania United States Session Chair of Interaction Trees and Algebraic Effects II (part of DeepSpec) Presenter of Interaction Trees: Representing Recursive and Impure Programs in Coq within the DeepSpec 2019-track in DeepSpec 2019
Nickolai Zeldovich Massachusetts Institute of Technology, USA Author of Argosy: Verifying Layered Storage Systems with Recovery Refinement within the PLDI Research Papers-track in PLDI 2019
Andreas Zeller Saarland University Germany Author of Parser-Directed Fuzzing within the PLDI Research Papers-track in PLDI 2019
Jieyuan Zhang UNSW, Australia China Author of Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs within the PLDI Research Papers-track in PLDI 2019
Lei Zhang North Carolina State University Author of IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems within the LCTES 2019-track in LCTES 2019
Xiangyu Zhang Purdue University Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track in PLDI 2019 Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Danfeng Zhang Pennsylvania State University United States Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track in PLDI 2019
Minjia Zhang Microsoft Research United States Publicity in Organizing Committee for PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Zheng Zhang Rutgers University Committee Member in Steering Committee for ISMM 2019 Steering Committee Member in Steering Committee within the LCTES-track
Youtao Zhang University of Pittsburgh, USA Steering Committee Member in Steering Committee within the LCTES-track
Qirun Zhang Georgia Institute of Technology United States Session Chair of Parsing (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
Eddy (Zheng) Zhang Rutgers Committee Member in Program Committee within the PLDI Research Papers-track
Yifan Zhao University of Michigan, USA Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Shuai Zhao University of York Author of From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited) within the LCTES 2019-track in LCTES 2019
Junpeng Zha University of Science and Technology of China, China Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track in PLDI 2019
Yudi Zheng Oracle Labs Switzerland Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the PLDI Research Papers-track in PLDI 2019
Guolong Zheng University of Nebraska Lincoln Author of SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic within the PLDI Research Papers-track in PLDI 2019
Li Zhou Department of Computer Science and Technology, Tsinghua University Author of An Applied Quantum Hoare Logic within the PLDI Research Papers-track in PLDI 2019
Heng Zhuo University of Wisconsin - Madison Author of BitBench: A Benchmark for Bitstream Computing within the LCTES 2019-track in LCTES 2019
He Zhu Galois, Inc. Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track in PLDI 2019
Yuhao Zhu University of Rochester Author of Co-Optimization of Optics, Architecture, and Vision Algorithms within the WAX 2019-track in WAX 2019
Lukasz Ziarek SUNY Buffalo, USA United States Author of Fluid Data Structures within the DBPL 2019-track in DBPL 2019
John Zigman University of Sydney, Australia Author of Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories within the PLDI Research Papers-track in PLDI 2019
Benjamin Zorn Microsoft Research United States Session Chair of Language Design I (part of PLDI Research Papers) Panelist of Panel: Charting Your Path within the PLMW @ PLDI 2019-track in PLMW @ PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
mejbah alam Intel, USA Committee Member in Program Committee within the MAPL-track
Rijnard van Tonder Carnegie Mellon University Author of Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators within the PLDI Research Papers-track in PLDI 2019
yisong yue Caltech Committee Member in Program Committee within the MAPL-track
Ezgi Çiçek Facebook London Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track in PLDI 2019
Artjoms Šinkarovs Heriot-Watt University, UK Author of Convolutional Neural Networks in APL within the ARRAY 2019-track in ARRAY 2019

PLDI 2019 Contributors

Results (813)

Tracks

Co-hosted Conferences

Co-hosted Workshops