PLDI 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (649)

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
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
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
Shoaib Akram Ghent University Belgium Student Volunteer Co-Chair in Organizing Committee for PLDI 2019 PC Member in Program Committee for ISMM 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 On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) 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
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
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
Jatin Arora IIT Bombay, India Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track in PLDI 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
Mahesh Balasubramanian Arizona State University United States Web Chair in Organizing Committee within the LCTES-track
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
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
Martin Becker TU Munich Author of Imprecision in WCET estimates due to library calls and how to reduce it (Work in progress) within the LCTES 2019-track in LCTES 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
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 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 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 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 Artifacts Evaluation Committee Member in Artifact Evaluation Committee within the LCTES-track
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
Laurin Brandner ETH Zurich, Switzerland Author of A Fast Analytical Model of Fully Associative Caches within the PLDI Research Papers-track in PLDI 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
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 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 Co-organizer in Organizing Committee within the WAX-track
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 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
Samarjit Chakraborty Author of Imprecision in WCET estimates due to library calls and how to reduce it (Work in progress) within the LCTES 2019-track in LCTES 2019
Brad Chamberlain Cray Inc. United States Program Chair in Organizing Committee within the CHIUW-track Program Chair in Program Committee within the CHIUW-track
Satish Chandra Facebook United States 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 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
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
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 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
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
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
William Cook University of Texas at Austin Committee Member in Program Committee within the DBPL-track
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
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-Throughtput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track in PLDI 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 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
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
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 Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track in PLDI 2019 Author of Synthesizing Database Programs for Schema Refactoring 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 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
Alastair Donaldson Google and Imperial College London United Kingdom 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
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
Christophe Dubach University of Edinburgh United Kingdom Committee Member in Program Committee within the ARRAY-track Steering Committee Member in Steering Committee within the LCTES-track
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
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
Michael Emmi SRI International United States Committee Member in Program Committee within the PLDI Research Papers-track
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
Hadi Esmaeilzadeh Georgia Tech Co-organizer in Organizing Committee within the WAX-track
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
Xinyu Feng Nanjing University China 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. Steering Committee Member in Organizing Committee within the CHIUW-track Committee Member in Program Committee within the CHIUW-track
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 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
Jeffrey S. Foster Tufts University United States 2018 General Chair in Steering Committee for PLDI 2019 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
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
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 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 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
Guy Golan-Gueta VMWare Research Committee Member in Program Committee within the PLDI Research Papers-track
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 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
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
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 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
R Harikrishnan Unnithan Author of SHAKTI-MS: A RISC-V Processor for Memory Safety in C within the LCTES 2019-track in LCTES 2019
Matin Hashemi Sharif University of Technology Iran Committee Member in Program Committee within the LCTES-track
Magne Haveraaen University of Bergen, Norway Committee Member in Program Committee within the ARRAY-track
Peter Hawkins Google Committee Member in External Review Committee within the PLDI Research Papers-track
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 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
Oscar Hernandez ORNL Committee Member in Program Committee within the CHIUW-track
Martin Hirzel IBM Research United States 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
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
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
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 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
Oren Ish-Shalom 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
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
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
Ranjit Jhala University of California, San Diego United States Author of FaCT: A DSL for Timing-Sensitive Computation within the PLDI Research Papers-track in PLDI 2019 Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track in PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
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
Lei Ju Shandong University China Committee Member in Program Committee within the LCTES-track
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 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
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
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
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
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 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
Dexter Kozen 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
Shriram Krishnamurthi Brown University, United States Committee Member in Program Committee within the PLDI Research Papers-track
Neelakantan R. 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
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 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
Praveen Kumar Cornell University United States Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track in PLDI 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
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
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 Committee Member in External Program Committee within the PLDI Research Papers-track
Ben Laurie DeepMind 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. 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
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
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
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
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
Alexander K. Lew Massachusetts Institute of Technology, USA 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
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 University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the DBPL-track
Calvin Lin University of Texas, Austin United States 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
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
Pengcheng Li Google, Inc China 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 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 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
Shan Lu University of Chicago Author of DFix: Automatically Fixing Timing Bugs in Distributed Systems within the PLDI Research Papers-track in PLDI 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 Committee Member in Program Committee within the PLDI Research Papers-track
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
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
Yatin Manerkar Princeton University United States Presenter of Automated Formal Memory Consistency Verification of Hardware within the DeepSpec 2019-track in DeepSpec 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
Michael 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 Committee Member in External Review Committee within the PLDI Research Papers-track
Hidehiko Masuhara Tokyo Institute of Technology Japan 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-Throughtput and Constant-Time Ciphers, by Construction within the PLDI Research Papers-track in PLDI 2019
Ravindra Metta Tata Research Development and Design Centre Author of Imprecision in WCET estimates due to library calls and how to reduce it (Work in progress) within the LCTES 2019-track in LCTES 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 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
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 On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) 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
Barzan Mozafari University of Michigan, USA Author of Huron: Hybrid False Sharing Detection and Repair within the PLDI Research Papers-track in PLDI 2019
Lenore Mullin SUNY Albany, USA Committee Member in Program Committee within the ARRAY-track
Saurav Muralidharan NVIDIA Committee Member in External Review Committee within the PLDI Research Papers-track
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
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 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 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 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
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
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 Co-chair in Organizing Committee within the DBPL-track PC co-chair in Program Committee within the DBPL-track
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
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 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
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
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 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
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
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
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
Hannes Payer Google Committee Member in Steering Committee for ISMM 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 Committee Member in External Program Committee within the PLDI Research Papers-track
Gustavo Petri IRIF, Université Paris Diderot France 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 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
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 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 Microsoft Research Committee Member in Program Committee within the PLDI Research Papers-track
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 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Arjun Radhakrishna Microsoft Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track in PLDI 2019
Mukund Raghothaman University of Pennsylvania, USA 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
Veselin Raychev DeepCode AG Author of Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019 Author of Unsupervised Learning of API Aliasing Specifications 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
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
Martin Rinard Massachusetts Institute of Technology United States 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 Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads within the LCTES 2019-track in LCTES 2019
Benjamin Robbins Cray Inc. General Chair in Organizing Committee within the CHIUW-track
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
Tiark Rompf Purdue University United States Committee Member in Program Committee within the DBPL-track
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 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 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 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
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
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
Annabel Satin P.C.K. Treasurer & Conference Manager in Organizing Committee for PLDI 2019
Alceste Scalas Aston University 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 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
Christian Schulte KTH Royal Institute of Technology, Sweden 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
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
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
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
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
Avraham Shinnar IBM Research Committee Member in Program Committee within the DBPL-track
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 On Intermittence Bugs in the Battery-less Internet of Things (Work in progress) 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
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
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
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
Manu Sridharan University of California, Riverside United States Committee Member in External Review Committee within the PLDI Research Papers-track
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 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 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
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
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 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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 Carnegie Mellon University 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
Amin Timany imec-Distrinet KU-Leuven Belgium Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
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
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
Petar Tsankov ETH Zurich 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
Didem Unat Koç University 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 Scalable Taint Specification Inference with Big Code within the PLDI Research Papers-track in PLDI 2019 Author of Unsupervised Learning of API Aliasing Specifications 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
R Venkatesh Author of Imprecision in WCET estimates due to library calls and how to reduce it (Work in progress) 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
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
Peixin Wang 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
Chao Wang University of Southern California United States Author of Replication-Aware Linearizability 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
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
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
Li-yao Xia Presenter of Interaction Trees: Representing Recursive and Impure Programs in Coq within the DeepSpec 2019-track in DeepSpec 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 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
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
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
Ayal Zaks Intel Corporation and Technion, Israel Committee Member in Program Committee within the PLDI Research Papers-track
Steve Zdancewic University of Pennsylvania United States Session Chair of Interaction Trees and Algebraic Effects II (part of DeepSpec)
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 SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track in PLDI 2019 Author of Programming Support for Autonomizing Software 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 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
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 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

PLDI 2019 Contributors

Results (649)

Tracks

Co-hosted Conferences

Co-hosted Workshops