PLDI 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (555)

Martha A. Kim Columbia University Committee Member in Program Committee for PLDI 2016
Sara Achour Massachusetts Institute of Technology, USA Author of Configuration Synthesis for Programmable Analog Devices with Arco within the Research Papers-track in PLDI 2016
Michael D. Adams University of Utah Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track in PLDI 2016
Vikram Adve University of Illinois at Urbana-Champaign Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016
Mehrdad Afshari Vivibe LLC United States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Edward Aftandilian Google Committee Member in External Review Committee for PLDI 2016
Alex Aiken Stanford University Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track in PLDI 2016 Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track in PLDI 2016
Bader AlBassam University of South Florida Video Co-Chair in Organizing Committee for PLDI 2016
Aws Albarghouthi University of Wisconsin–Madison Committee Member in External Review Committee for PLDI 2016 Author of MapReduce Program Synthesis within the Research Papers-track in PLDI 2016
Jacob Albers University of Chicago Author of Programmatic and Direct Manipulation, Together at Last within the Research Papers-track in PLDI 2016
Duco van Amstel Author of Generalized Cache Tiling for Dataflow Programs within the LCTES-track in LCTES 2016
Owen Arden Cornell University Committee Member in External Review Committee for PLDI 2016
Steven Arzt TU Darmstadt, Germany Germany Author of Towards Cross-Platform Cross-Language Analysis with Soot within the SOAP-track in SOAP 2016
Neil Audsley University of York, UK Committee Member in Program Committee for LCTES 2016
Abdulbaki Aydin Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track in PLDI 2016
David B. Whalley Program Chair in Organizing Committee for LCTES 2016 Session Chair of Keynote #2 (part of LCTES)
Michael Bader Author of ActorX10: An Actor Library for X10 within the X10-track in X10 Author of SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations within the X10-track in X10
Sara Baghsorkhi Intel Labs Committee Member in Program Committee for ISMM 2016 Author of FlexVec: Auto-Vectorization for Irregular Loops within the Research Papers-track in PLDI 2016
Helge Bahmann Author of Compiling with the Regionalized Value State Dependence Graph within the LCTES-track in LCTES 2016
Gogul Balakrishnan Google Invited speaker of Scalable Security Analysis of Android Apps within the FMS-track in FMS
George Balatsouras University of Athens Committee Member in External Review Committee for PLDI 2016
Thomas Ball Microsoft Research Committee Member in Program Committee within the SOAP-track
Soumyadip Bandyopadhyay Author of Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs within the ARRAY-track in ARRAY
Kunal Banerjee Author of Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs within the ARRAY-track in ARRAY Author of Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences within the LCTES-track in LCTES 2016
Lucas Bang Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track in PLDI 2016
Wenlei Bao Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Rajkishore Barik Intel Labs Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Dan Barowy University of Massachusetts Amherst United States Student Volunteer Captain in Organizing Committee for PLDI 2016 Committee Member in External Review Committee for PLDI 2016
Luiz André Barroso Google Keynote Speaker of Programming a Warehouse-scale Computer within the Invited Speakers-track in PLDI 2016
Mark Batty University of Cambridge Committee Member in External Review Committee for PLDI 2016
Spenser Bauman Indiana University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Martin Becker TU Munich Author of TIC: A Scalable Model Checking Based Approach to WCET Estimation within the LCTES-track in LCTES 2016
Ryan Beckett Princeton University Author of Temporal NetKAT within the Research Papers-track in PLDI 2016
Quinn Beightol Cornell Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track in PLDI 2016
Marco Bekooij NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2016
Emery Berger University of Massachusetts, Amherst United States Chair in Program Committee for PLDI 2016 Program Chair in Distinguished Paper Committee for PLDI 2016 Program Chair in Organizing Committee for PLDI 2016 Program Chair of Chair's Welcome and Distinguished Paper Announcements (part of PLDI Invited Speakers)
Daniel Berlin Google Mountain View Committee Member in Program Committee within the SOAP-track
Robert Bernecky Snake Island Research Committee Member in Programme Committee within the ARRAY-track
Somashekaracharya G Bhaskaracharya Indian Institute of Science and National Instruments Author of Automatic Storage Optimization for Arrays [TOPLAS] within the Research Papers-track in PLDI 2016
Abhishek Bhattacharjee Rutgers University Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Pavol Bielik ETH Zurich, Switzerland Slovakia Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
Paolo Bientinesi Author of TTC: A Tensor Transposition Compiler for Multiple Architectures within the ARRAY-track in ARRAY
João Bispo FEUP, Universidade do Porto Portugal Author of SSA-based MATLAB-to-C Compilation and Optimization within the ARRAY-track in ARRAY Author of On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues within the LCTES-track in LCTES 2016 Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
Nikolaj Bjørner Microsoft Research Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track in PLDI 2016
Steve Blackburn Australian National University Australia Committee Member in External Program Committee for PLDI 2016 Committee Member in Program Committee for ISMM 2016 Author of Rust as a Language for High Performance GC Implementation within the ISMM-track in ISMM 2016 Speaker of The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations within the PLMW@PLDI 2016-track in PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI-track
Sam Blackshear Facebook United States Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI-track
Gedare Bloom Howard University Author of CBufs: Efficient, System-Wide Memory Management and Sharing within the ISMM-track in ISMM 2016
Robert Bocchino NASA/Caltech Jet Propulsion Laboratory Committee Member in External Review Committee for PLDI 2016
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Session Chair of Session III (part of SOAP) Author of Towards Cross-Platform Cross-Language Analysis with Soot within the SOAP-track in SOAP 2016 Author of Toward an Automated Benchmark Management System within the SOAP-track in SOAP 2016
Rastislav Bodik University of Washington, USA Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Author of Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture within the LCTES-track in LCTES 2016
Hans-J. Boehm Google Committee Member in Program Committee for PLDI 2016 Committee Member in External Review Committee for ISMM 2016 Session Chair of Down to the Metal II (part of PLDI Research Papers) Session Chair of Modeling, Characterization, and Tools (part of ISMM) Author of Persistence Programming Models for Non-Volatile Memory within the ISMM-track in ISMM 2016
Prasad Bokil Author of TIC: A Scalable Model Checking Based Approach to WCET Estimation within the LCTES-track in LCTES 2016
Uday Bondhugula Indian Institute of Science India Author of Automatic Storage Optimization for Arrays [TOPLAS] within the Research Papers-track in PLDI 2016
Michael Bond Ohio State University Committee Member in Steering Committee for ISMM 2016 Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track in ISMM 2016
James Bornholt University of Washington Speaker of Programming with Estimates within the PLMW@PLDI 2016-track in PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI-track
Jacob Brock University of Rochester Author of Hardware Support for Protective and Collaborative Cache Sharing within the ISMM-track in ISMM 2016
Francois Broquedis Universite Joseph Fourier - Grenoble 1 Author of A bounded memory allocator for software-defined global address spaces within the ISMM-track in ISMM 2016
Fraser Brown Stanford University Author of Verifying Precise Floating-Point Optimizations in LLVM within the SOAP-track in SOAP 2016
David Brumley Carnegie Mellon University United States Committee Member in Program Committee for PLDI 2016
Tevfik Bultan Author of Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution within the SOAP-track in SOAP 2016 Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track in PLDI 2016
Bernd Burgstaller Yonsei University, Korea Committee Member in Program Committee for LCTES 2016
Martin Burtscher Texas State University Author of Higher-Order and Tuple-Based Massively-Parallel Prefix Sums within the Research Papers-track in PLDI 2016
Björn Bönninghoff Author of Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling within the LCTES-track in LCTES 2016
Cristian Cadar Imperial College London Committee Member in Program Committee for PLDI 2016
Man Cao Ohio State University Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track in ISMM 2016
Michael Carbin MIT Committee Member in Program Committee for PLDI 2016 Session Chair of New Languages (part of PLDI Research Papers) Speaker of Approximate Computing: it's better than good, it's good enough! within the PLMW@PLDI 2016-track in PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI-track
João M. P. Cardoso University of Porto, Portugal Committee Member in Program Committee for LCTES 2016 Session Chair of Session 4: Worst-Case Analysis and Error Handling (part of LCTES) Author of On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues within the LCTES-track in LCTES 2016 Author of A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach within the LCTES-track in LCTES 2016 Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
João Cardoso Author of SSA-based MATLAB-to-C Compilation and Optimization within the ARRAY-track in ARRAY
Tiago Carvalho University of Porto Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
Pavol Cerny University of Colorado Boulder Slovakia Author of Event-driven Network Programming within the Research Papers-track in PLDI 2016
Dhruva Chakrabarti Presenter of How Should We Program Non-volatile Memory? within the Tutorials-track in PLDI 2016
Dhruva Chakrabarti HP Labs Author of Persistence Programming Models for Non-Volatile Memory within the ISMM-track in ISMM 2016
Prasenjit Chakraborty Author of Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems within the LCTES-track in LCTES 2016
Samarjit Chakraborty Author of TIC: A Scalable Model Checking Based Approach to WCET Estimation within the LCTES-track in LCTES 2016
Brad Chamberlain Author of Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel within the ARRAY-track in ARRAY
Buddhika Chamith Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track in PLDI 2016
Li-Pin Chang National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2016
Che-Wei Chang Chang Gung University, Taiwan Publicity Chair in Organizing Committee for LCTES 2016 Session Chair of Session 2: Loop and Dataflow Analysis (part of LCTES) Author of Energy-Saving Designs for Mobile Devices with Non-Volatile Memory within the LCTES-track in LCTES 2016
Swarat Chaudhuri Rice University Committee Member in External Program Committee for PLDI 2016 Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track in PLDI 2016
Perry Cheng IBM Research Committee Member in External Review Committee for PLDI 2016 Committee Member in Steering Committee for ISMM 2016
Jian-Jia Chen Author of Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling within the LCTES-track in LCTES 2016
Kuan-Hsun Chen Author of Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling within the LCTES-track in LCTES 2016
Hao Chen Yale University Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track in PLDI 2016
Yuting Chen Shanghai Jiao Tong University Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track in PLDI 2016
Alvin Cheung University of Washington Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Verified Lifting of Stencil Computations within the Research Papers-track in PLDI 2016 Panelist in Organizing Committee within the PLMW@PLDI-track
Bruce Childers University of Pittsburgh Author of Achieving Yield, Density and Performance Effective DRAM within the LCTES-track in LCTES 2016
David Chisnall University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Olaf Chitil University of Kent, UK Author of Lightweight Computation Tree Tracing for Lazy Functional Languages within the Research Papers-track in PLDI 2016
Meng-Chieh Chiu UMass Amherst Author of Assessing the Limits of Program-Specific Garbage Collection Performance within the Research Papers-track in PLDI 2016
Stephen Chong Harvard University Invited speaker of Report on the NSF Workshop on Formal Methods for Security within the FMS-track in FMS Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016
Michael Christensen UC Santa Barbara United States Student Volunteer Captain in Organizing Committee for PLDI 2016
Steffen Christgau Author of Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB within the ARRAY-track in ARRAY
Ravi Chugh University of Chicago Committee Member in External Review Committee for PLDI 2016 Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Programmatic and Direct Manipulation, Together at Last within the Research Papers-track in PLDI 2016 Panelist in Organizing Committee within the PLMW@PLDI-track
Duc-Hiep Chu National University of Singapore Vietnam Author of Symbolic Execution for Memory Consumption Analysis within the LCTES-track in LCTES 2016
Albert Cohen INRIA Committee Member in Program Committee for PLDI 2016 Session Chair of Parallelism II (part of PLDI Research Papers) PLDI 2017 General Chair of SRC Awards, PLDI’17 Introduction (part of PLDI Invited Speakers) Author of A bounded memory allocator for software-defined global address spaces within the ISMM-track in ISMM 2016 Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016 Author of Automatic Storage Optimization for Arrays [TOPLAS] within the Research Papers-track in PLDI 2016 Author of Polyhedral AST generation is more than scanning polyhedra [TOPLAS] within the Research Papers-track in PLDI 2016
David Cok GrammaTech, Inc Author of Polymorphic Type Inference for Machine Code within the Research Papers-track in PLDI 2016
Benjamin Cosman University of California, San Diego Author of Refinement Types for TypeScript within the Research Papers-track in PLDI 2016
David Costanzo Yale University Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track in PLDI 2016
Manuel Costa Microsoft Research Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Joshua Cranmer UIUC Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
John Criswell University of Rochester Committee Member in External Review Committee for PLDI 2016
Charlie Curtsinger Grinnell College Committee Member in Program Committee for PLDI 2016
Loris D'Antoni University of Wisconsin–Madison Committee Member in Program Committee for PLDI 2016
Luke Dalessandro Indiana University Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track in PLDI 2016
David Darais University of Maryland, College Park United States Video Co-Chair in Organizing Committee for PLDI 2016
Eva Darulova MPI-SWS, Germany Committee Member in External Review Committee for PLDI 2016
Yaniv David Technion Author of Statistical Similarity of Binaries within the Research Papers-track in PLDI 2016
John Davis Pure Storage Inc Panelist of Panel: Career Paths within the PLMW@PLDI 2016-track in PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI-track
Bjorn De Sutter Ghent University, Belgium Committee Member in Steering Committee for LCTES 2016
Ulan Degenbaev Google Author of Idle Time Garbage Collection Scheduling within the Research Papers-track in PLDI 2016
Joseph Devietti University of Pennsylvania Author of Remix: Online Detection and Repair of Cache Contention for the JVM within the Research Papers-track in PLDI 2016
Monika Dhok IISC Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Dave Dice Oracle Labs Author of Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures within the ISMM-track in ISMM 2016
Will Dietz University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Isil Dillig University of Texas, Austin Turkey Committee Member in Program Committee for PLDI 2016 Session Chair of Verification I (part of PLDI Research Papers) Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track in PLDI 2016 Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track in PLDI 2016
Marko Dimjašević University of Utah, USA Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Chen Ding University of Rochester United States Committee Member in External Review Committee for ISMM 2016 Author of Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) within the ISMM-track in ISMM 2016 Author of Hardware Support for Protective and Collaborative Cache Sharing within the ISMM-track in ISMM 2016
Dino Distefano Facebook London Committee Member in Program Committee within the SOAP-track
Julian Dolby IBM Thomas J. Watson Research Center United Kingdom Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track in PLDI 2016
Lukasz Domagala Author of Generalized Cache Tiling for Dataflow Programs within the LCTES-track in LCTES 2016
Alastair Donaldson Imperial College London United Kingdom Author of Exposing Errors Related to Weak Memory in GPU Applications within the Research Papers-track in PLDI 2016
Gautam Doshi Author of Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems within the LCTES-track in LCTES 2016
Dana Drachsler Cohen Technion Israel Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Christophe Dubach University of Edinburgh Author of A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors within the LCTES-track in LCTES 2016
Anupam Dutta Carnegie Mellon University Invited speaker of Privacy and Algorithmic Accountability within the FMS-track in FMS
Nikil Dutt Author of Smart Embedded Computing through Self-Awareness within the LCTES-track in LCTES 2016
Md E. Haque University of Michigan Committee Member in Organizing Committee within the PLMW@PLDI-track
Michael Eichberg TU Darmstadt Author of Toward an Automated Benchmark Management System within the SOAP-track in SOAP 2016
Carol Eidt Microsoft Author of RyuJIT: Open Source JIT Compiler for .NET within the Tutorials-track in PLDI 2016
Jochen Eisinger Google Author of Idle Time Garbage Collection Scheduling within the Research Papers-track in PLDI 2016
Ariel Eizenberg University of Pennsylvania Author of Remix: Online Detection and Repair of Cache Contention for the JVM within the Research Papers-track in PLDI 2016
Ahmed El-Hassany ETH Zürich Switzerland Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
Martin Elsman Department of Computer Science, University of Copenhagen Denmark Chair in Programme Committee within the ARRAY-track Co-chair in Organizing Committee within the ARRAY-track
Michael Emmi IMDEA Software Institute Invited speaker of Verifying Constant-Time Implementations within the FMS-track in FMS
Manfred Ernst Google Author of Idle Time Garbage Collection Scheduling within the Research Papers-track in PLDI 2016
Michael D. Ernst University of Washington Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Author of Fast Synthesis of Fast Collections within the Research Papers-track in PLDI 2016
Maarten Faddegon University of Kent, UK Netherlands Author of Lightweight Computation Tree Tracing for Lazy Functional Languages within the Research Papers-track in PLDI 2016
Heiko Falk Ulm University, Germany Committee Member in Steering Committee for LCTES 2016
Xiaokang Fan Author of Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization within the LCTES-track in LCTES 2016
Matthias Felleisen Northeastern University Germany Speaker of Keynote: “Love, Marriage, and Happiness” within the PLMW@PLDI 2016-track in PLMW@PLDI Keynote Speaker in Organizing Committee within the PLMW@PLDI-track
Jeremy Fineman Author of A Case for Distributed Work-Stealing in Regular Applications within the X10-track in X10
Sebastian Fischmeister University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2016
Cormac Flanagan UC Santa Cruz Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016
Claudia Fohry Universität Kassel Program Chair of Closing Remarks within the X10-track in X10 Program Chair of Opening and Welcome within the X10-track in X10 Author of Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS within the X10-track in X10 Program Chair in Program Committee within the X10-track Program Chair in Organizing Committee within the X10-track
Bryan Ford EPFL, Switzerland Committee Member in Program Committee for PLDI 2016
Jeffrey S. Foster University of Maryland, College Park Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track in PLDI 2016
Nate Foster Cornell University Author of Event-driven Network Programming within the Research Papers-track in PLDI 2016
George Fourtounis University of Athens Committee Member in External Review Committee for PLDI 2016
Armando Fox UC Berkeley Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Björn Franke University of Edinburgh Germany Committee Member in Steering Committee for LCTES 2016 Author of Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator within the LCTES-track in LCTES 2016
Matt Fredrikson Carnegie Mellon University Committee Member in Program Committee for PLDI 2016
Sicun Gao MIT Committee Member in External Review Committee for PLDI 2016
Teo Georgiev The George Washington University Author of CBufs: Efficient, System-Wide Memory Management and Sharing within the ISMM-track in ISMM 2016
Soheil Ghiasi UC Davis, USA Committee Member in Program Committee for LCTES 2016
Francois Gindraud Joseph Fourier University, France; Author of A bounded memory allocator for software-defined global address spaces within the ISMM-track in ISMM 2016
Michael Glaß Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Klaus Gleissenthall Technische Universität München Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track in PLDI 2016
Patrice Godefroid Microsoft Research United States Committee Member in Program Committee for PLDI 2016
Guy Golan-Gueta Yahoo Labs Author of Transactional Data Structure Libraries within the Research Papers-track in PLDI 2016
Liang Gong University of California, Berkeley Presenter of Dynamic analysis of JavaScript with Jalangi within the Tutorials-track in PLDI 2016
Colin Gordon Drexel University United States Committee Member in External Review Committee for PLDI 2016
Michael Greenberg Pomona College Author of Temporal NetKAT within the Research Papers-track in PLDI 2016
Clemens Grelck University of Amsterdam Germany Chair in Programme Committee within the ARRAY-track Co-chair in Organizing Committee within the ARRAY-track
Robert Grimm Goldman Sachs Committee Member in External Program Committee for PLDI 2016
Tobias Grosser ETH Zurich, Switzerland Author of Polyhedral AST generation is more than scanning polyhedra [TOPLAS] within the Research Papers-track in PLDI 2016
Dan Grossman University of Washington, USA Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
David Grove IBM Research United States Committee Member in Steering Committee for ISMM 2016 Author of Resilient X10 over MPI User Level Failure Mitigation within the X10-track in X10
Gustavo Guerra Microsoft Corporation, London Author of Types from data: Making structured data first-class citizens in F# within the Research Papers-track in PLDI 2016
Arjun Guha University of Massachusetts, Amherst Committee Member in Program Committee for PLDI 2016 Author of Rehearsal: A Configuration Verification Tool for Puppet within the Research Papers-track in PLDI 2016
Sumit Gulwani Microsoft Research, USA India Author of PROSE: Programming using Examples within the Tutorials-track in PLDI 2016
Joshua Guttman Worcester Polytechnic Institute Invited speaker of Report on the NSF Workshop on Formal Methods for Security within the FMS-track in FMS
Ronghui Gu Yale University China Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track in PLDI 2016 Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track in PLDI 2016
Sam Guyer Tufts University Committee Member in Program Committee for PLDI 2016 Committee Member in Steering Committee for ISMM 2016 Session Chair of Memory Management (part of PLDI Research Papers) Author of Iceberg: A Tool for Static Analysis of Java Critical Sections within the SOAP-track in SOAP 2016
Thomas H. Austin Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016
Christine H. Flood Red Hat General Chair in Organizing Committee for ISMM 2016 Author of Opening Remarks within the ISMM-track in ISMM 2016
Mary Hall University of Utah Speaker of Getting People to Listen within the PLMW@PLDI 2016-track in PLMW@PLDI Moderator of Panel: Career Paths within the PLMW@PLDI 2016-track in PLMW@PLDI Co-chair in Organizing Committee within the PLMW@PLDI-track
Matthew Hammer University of Colorado, Boulder United States Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Sara S. Hamouda Australian National University Author of Resilient X10 over MPI User Level Failure Mitigation within the X10-track in X10
Travis Hance Dropbox Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016
Frank Hannig Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Ben Hardekopf UC Santa Barbara Student Research Competition and Volunteer Chair in Organizing Committee for PLDI 2016 Student Research Competition Chair of SRC Awards, PLDI’17 Introduction (part of PLDI Invited Speakers)
William Harris Georgia Tech Committee Member in External Review Committee for PLDI 2016
Matin Hashemi Sharif University of Technology, Iran Committee Member in Program Committee for LCTES 2016
Wessam Hassanein Google Author of Understanding and Improving JVM GC Work Stealing at the Data Center Scale within the ISMM-track in ISMM 2016
Steve Heller Two Sigma United States Committee Member in Program Committee for ISMM 2016 Session Chair of Non-traditional and Datacenter Scale Memory System (part of ISMM)
Brian Hempel University of Chicago Author of Programmatic and Direct Manipulation, Together at Last within the Research Papers-track in PLDI 2016
Laurie Hendren McGill University Canada Committee Member in Program Committee within the X10-track Committee Member in Programme Committee within the ARRAY-track
Troels Henriksen DIKU Denmark Author of Design and GPGPU Performance of Futhark's Redomap Construct within the ARRAY-track in ARRAY
Stephan Herhut Google Inc. Committee Member in Programme Committee within the ARRAY-track
Maurice Herlihy Brown University Author of Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures within the ISMM-track in ISMM 2016
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee for PLDI 2016 Session Chair of Energy & Performance (part of PLDI Research Papers)
Benjamin Herta Author of Resilient X10 over MPI User Level Failure Mitigation within the X10-track in X10
Stefan Heule Stanford University Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track in PLDI 2016
Michael Hicks University of Maryland at College Park, USA Committee Member in Program Committee for PLDI 2016
Parker Hill Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016
Michael Hind IBM Research United States Committee Member in External Program Committee for PLDI 2016 Committee Member in External Review Committee for ISMM 2016
Hank Hoffman University of Chicago Committee Member in External Review Committee for PLDI 2016
Hossein Hojjat Cornell University Iran Author of Event-driven Network Programming within the Research Papers-track in PLDI 2016
Celeste Hollenbeck University of Utah Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track in PLDI 2016
Changwan Hong Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Tony Hosking Australian National University, Data61, and Purdue University Australia Committee Member in Program Committee for PLDI 2016 Committee Member in Steering Committee for ISMM 2016 Session Chair of Parallelism I (part of PLDI Research Papers) Author of Rust as a Language for High Performance GC Implementation within the ISMM-track in ISMM 2016
Justin Hsu University of Pennsylvania Committee Member in External Review Committee for PLDI 2016
Aaron Hsu Author of The Key to a Data Parallel Compiler within the ARRAY-track in ARRAY
Shan Shan Huang Logicblox Panelist of Panel: Career Paths within the PLMW@PLDI 2016-track in PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI-track
Michael Huang University of Rochester Author of Hardware Support for Protective and Collaborative Cache Sharing within the ISMM-track in ISMM 2016
Jeff Huang Texas A&M University Committee Member in Program Committee within the SOAP-track
Shiliang Hu Intel Corporation Author of Remix: Online Detection and Repair of Cache Contention for the JVM within the Research Papers-track in PLDI 2016
Sibren Isaacman Loyola University Maryland Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Shachar Itzhaky MIT CSAIL Author of Verified Lifting of Stencil Computations within the Research Papers-track in PLDI 2016
Nicholas Jacek UMass Amherst Author of Assessing the Limits of Program-Specific Garbage Collection Performance within the Research Papers-track in PLDI 2016
Joxan Jaffar National University of Singapore Session Chair of Session 5: Computation Partitioning (part of LCTES) Author of Symbolic Execution for Memory Consumption Analysis within the LCTES-track in LCTES 2016
Suresh Jagannathan Purdue University United States Author of Automatically Learning Shape Specifications within the Research Papers-track in PLDI 2016
Magnus Jahre Norwegian University of Science and Technology Author of Compiling with the Regionalized Value State Dependence Graph within the LCTES-track in LCTES 2016
Michael Jantz University of Tennessee, USA Session Chair of Session 3: Presentations of Posters (part of LCTES) Author of Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems within the LCTES-track in LCTES 2016
Jean-Baptiste Jeannin Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jinkyu Jeong Sungkyunkwan University Korea, South Committee Member in Program Committee for ISMM 2016
Ranjit Jhala University of California, San Diego Committee Member in Program Committee for PLDI 2016 Author of Refinement Types for TypeScript within the Research Papers-track in PLDI 2016
Somesh Jha University of Wisconsin, Madison Co-chair in Organizing Committee within the FMS-track
Richard Jones University of Kent Committee Member in External Review Committee for ISMM 2016
Simon Peyton Jones Microsoft Research, Cambridge Committee Member in External Program Committee for PLDI 2016
Gangwon Jo Seoul National University Korea, South Author of A Distributed OpenCL Framework using Redundant Computation and Data Replication within the Research Papers-track in PLDI 2016
Jaehoon Jung Seoul National University Korea, South Author of A Distributed OpenCL Framework using Redundant Computation and Data Replication within the Research Papers-track in PLDI 2016
Hartmut Kaiser Author of Extending C++ with Co-Array semantics within the ARRAY-track in ARRAY
Melanie Kambadur Columbia University Committee Member in External Review Committee for PLDI 2016
Shoaib Kamil MIT CSAIL, USA Author of Verified Lifting of Stencil Computations within the Research Papers-track in PLDI 2016
Amey Karkare IIT Kanpur Author of Liveness-Based Garbage Collection for Lazy Languages within the ISMM-track in ISMM 2016
Idit Keidar Technion - Israel institute of technology Author of Transactional Data Structure Libraries within the Research Papers-track in PLDI 2016
Gabriele Keller University of New South Wales Committee Member in Programme Committee within the ARRAY-track
David Kempe II Author of Occurrence Typing Modulo Theories within the Research Papers-track in PLDI 2016
Andrew Kent Indiana University United States Author of Occurrence Typing Modulo Theories within the Research Papers-track in PLDI 2016
Jungwon Kim Oak Ridge National Laboratory United States Author of A Distributed OpenCL Framework using Redundant Computation and Data Replication within the Research Papers-track in PLDI 2016
Junghyun Kim Seoul National University Korea, South Author of A Distributed OpenCL Framework using Redundant Computation and Data Replication within the Research Papers-track in PLDI 2016
Zachary Kincaid University of Toronto United States Committee Member in External Review Committee for PLDI 2016
Christoph Kirsch University of Salzburg Committee Member in Program Committee for ISMM 2016
Christian Klinger University of Texas, Austin Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track in PLDI 2016
Andreas Kloeckner University of Illinois at Urbana-Champaign United States Author of Array Program Transformation with Loo.py by Example: High-Order Finite Elements within the ARRAY-track in ARRAY Chair in Programme Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Alex Kogan Oracle Labs United States Author of Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures within the ISMM-track in ISMM 2016
Ulrich Kremer Rutgers University, USA Committee Member in Program Committee for LCTES 2016 Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Chandra Krintz UC Santa Barbara United States General Chair in Organizing Committee for PLDI 2016 Committee Member in Program Committee for LCTES 2016 General Chair of Chair's Welcome and Distinguished Paper Announcements (part of PLDI Invited Speakers)
Murali Krishna Ramanathan Indian Institute of Science, Bangalore India Committee Member in External Review Committee for PLDI 2016
Sriram Krishnamoorthy Pacific Northwest National Laboratories Author of Keynote: Tracking and Constraining Work Stealing Schedulers within the X10-track in X10 Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Morten Kromberg Author of Invited talk: Notation for Parallel Thoughts within the ARRAY-track in ARRAY
Prasad Kulkarni University of Kansas India Committee Member in Steering Committee for LCTES 2016 Author of Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems within the LCTES-track in LCTES 2016
Milind Kulkarni Purdue University Panelist of Panel: Career Paths within the PLMW@PLDI 2016-track in PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI-track
Prasanna Kumar IIT Bombay Author of Liveness-Based Garbage Collection for Lazy Languages within the ISMM-track in ISMM 2016
Vivek Kumar Committee Member in Program Committee within the X10-track
Vikrant Kumar Author of Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems within the LCTES-track in LCTES 2016
Tei-Wei Kuo Academia Sinica, Taiwan General Chair in Organizing Committee for LCTES 2016 Session Chair of LCTES Keynote #1 (part of LCTES)
Ivan Kuraj MIT CSAIL, USA Serbia and Montenegro Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track in PLDI 2016
Tobias Kussmaul TU Darmstadt Author of Towards Cross-Platform Cross-Language Analysis with Soot within the SOAP-track in SOAP 2016
Bradley Kuszmaul MIT Committee Member in Program Committee for ISMM 2016
Akash Lal Microsoft Research India India Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Ken Friis Larsen DIKU, University of Copenhagen Author of Design and GPGPU Performance of Futhark's Redomap Construct within the ARRAY-track in ARRAY
Michael A. Laurenzano University of Michigan United States Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016
Julia Lawall LIP6 Committee Member in External Program Committee for PLDI 2016 Committee Member in Program Committee for LCTES 2016
Doug Lea State University of New York (SUNY) Oswego Committee Member in External Program Committee for PLDI 2016 Committee Member in Program Committee for ISMM 2016 Committee Member in Program Committee for ISMM 2016 Committee Member in Program Committee for ISMM 2016
Jae W. Lee Sungkyunkwan University Korea, South Committee Member in Program Committee for LCTES 2016
Wonyeol Lee Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track in PLDI 2016
Jaejin Lee Seoul National University Author of A Distributed OpenCL Framework using Redundant Computation and Data Replication within the Research Papers-track in PLDI 2016
Dongyoon Lee Virginia Tech, USA Committee Member in Program Committee for LCTES 2016
Sorin Lerner University of California, San Diego Author of Invited Talk: Toward Gamification of Proofs about Programs within the SOAP-track in SOAP 2016
Vu Le Microsoft Vietnam Committee Member in External Review Committee for PLDI 2016
Ondřej Lhoták University of Waterloo Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track in PLDI 2016
Ben Liblit University of Wisconsin–Madison Committee Member in External Program Committee for PLDI 2016
Jay Ligatti University of South Florida Committee Member in External Review Committee for PLDI 2016
James Lingard University of Cambridge (when this work was done) Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Yi Lin Australian National University Author of Rust as a Language for High Performance GC Implementation within the ISMM-track in ISMM 2016
Felix Lin Purdue University Author of Characterizing Emerging Heterogeneous Memory within the ISMM-track in ISMM 2016
Barbara Liskov MIT Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track in PLDI 2016
Liu Liu Rutgers University Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Xu Liu College of William and Mary Author of Characterizing Emerging Heterogeneous Memory within the ISMM-track in ISMM 2016
Jed Liu Cornell University Committee Member in External Review Committee for PLDI 2016
Hai Liu Intel Labs Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Zhiyuan Li Purdue Universitym, USA Committee Member in Program Committee for LCTES 2016
Pengcheng Li Author of Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) within the ISMM-track in ISMM 2016
Xiangqi Li University of Utah Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Joshua Lockerman Yale University Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track in PLDI 2016
Alexey Loginov GrammaTech, Inc Author of Polymorphic Type Inference for Machine Code within the Research Papers-track in PLDI 2016
Calvin Loncaric University of Washington Author of Fast Synthesis of Fast Collections within the Research Papers-track in PLDI 2016
Fan Long MIT CSAIL United States Committee Member in External Review Committee for PLDI 2016
Nuno P. Lopes Microsoft Research Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Brandon Lucia Carnegie Mellon University United States Committee Member in Program Committee for PLDI 2016
Hao Luo University of Rochester Author of Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) within the ISMM-track in ISMM 2016
Dan Lustig Princeton University/NVIDIA United States Committee Member in External Review Committee for PLDI 2016
Shan Lu University of Chicago Committee Member in External Review Committee for ISMM 2016 Speaker of Fighting Software Inefficiency Through Automated Bug Detection within the PLMW@PLDI 2016-track in PLMW@PLDI Speaker in Organizing Committee within the PLMW@PLDI-track
Welf Löwe Linnaeus University Author of Block-Free Concurrent GC: Stack Scanning and Copying within the ISMM-track in ISMM 2016
P. Madhusudan University of Illinois at Urbana-Champaign Co-chair in Organizing Committee within the FMS-track
Magnus Madsen University of Waterloo Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track in PLDI 2016
Rasool Maghareh Author of Symbolic Execution for Memory Consumption Analysis within the LCTES-track in LCTES 2016
Scott Mahlke University of Michigan Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016
Claire Maiza Verimag, France Committee Member in Program Committee for LCTES 2016
Petr Maj ReactorLabs Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Sepideh Maleki Texas State University Author of Higher-Order and Tuple-Based Massively-Parallel Prefix Sums within the Research Papers-track in PLDI 2016
Saeed Maleki Microsoft Research Committee Member in External Review Committee for PLDI 2016
Chittaranjan Mandal Author of Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences within the LCTES-track in LCTES 2016
Louis Mandel Author of Control Structure Overloading in X10 within the X10-track in X10
Daniel Marino Symantec Research Labs Committee Member in External Review Committee for PLDI 2016
Chick Markley UC Berkeley Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Benjamin Marlin UMass Amherst Author of Assessing the Limits of Program-Specific Garbage Collection Performance within the Research Papers-track in PLDI 2016
Jason Mars University of Michigan Speaker of The Secrets within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016 Committee Member in Organizing Committee within the PLMW@PLDI-track
Luiz G. A. Martins Author of A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach within the LCTES-track in LCTES 2016
Peter Marwedel Author of Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling within the LCTES-track in LCTES 2016
Hidehiko Masuhara Tokyo Institute of Technology Author of Object Support in an Array-based GPGPU Extension for Ruby within the ARRAY-track in ARRAY Committee Member in Programme Committee within the ARRAY-track
Justus Matthiesen University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Stephen McCamant University of Minnesota United States Committee Member in Program Committee for PLDI 2016 Session Chair of Down to the Metal I (part of PLDI Research Papers)
Jedidiah McClurg University of Colorado Boulder United States Author of Event-driven Network Programming within the Research Papers-track in PLDI 2016
Ross McIlroy Google Author of Idle Time Garbage Collection Scheduling within the Research Papers-track in PLDI 2016
Kathryn S McKinley Microsoft Research Committee Member in External Program Committee for PLDI 2016 Speaker of Research is a Social Process within the PLMW@PLDI 2016-track in PLMW@PLDI Committee Member in Organizing Committee within the PLMW@PLDI-track
Kenneth L. McMillan Microsoft Research Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
Kayvan Memarian University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
David Menendez Rutgers University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Na Meng Virginia Tech Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Ravindra Metta Tata Research Development and Design Centre Author of TIC: A Scalable Model Checking Based Approach to WCET Estimation within the LCTES-track in LCTES 2016
Paul-Jules Micolet Author of A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors within the LCTES-track in LCTES 2016
Serge Midonnet Author of The Scheduling of Parallel Tasks in Heterogeneous Real-Time Systems within the LCTES-track in LCTES 2016
Matthew Might University of Utah, USA United States Speaker of Professional Communication within the PLMW@PLDI 2016-track in PLMW@PLDI Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track in PLDI 2016 Speaker in Organizing Committee within the PLMW@PLDI-track
Todd Millstein University of California, Los Angeles Committee Member in Program Committee for PLDI 2016 Session Chair of Software-Defined Networking (part of PLDI Research Papers) Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track in PLDI 2016
Josh Milthorpe IBM Research Australia Author of Resilient X10 over MPI User Level Failure Mitigation within the X10-track in X10 Author of Control Structure Overloading in X10 within the X10-track in X10 Committee Member in Program Committee within the X10-track
Nhat Minh Le ENS Paris France Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Sasa Misailovic ETH Zurich Committee Member in External Review Committee for PLDI 2016
Jeremie Miserez ETH Zürich Switzerland Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
Tulika Mitra National University of Singapore, Singapore Committee Member in Program Committee for LCTES 2016
José Morales IMDEA Software Institute Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Eliot Moss University of Massachusetts Amherst United States Committee Member in External Review Committee for ISMM 2016 Author of Assessing the Limits of Program-Specific Garbage Collection Performance within the Research Papers-track in PLDI 2016
Frank Mueller North Carolina State University, USA Committee Member in Program Committee for LCTES 2016
Eric Mullen University of Washington Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
Onur Mutlu Carnegie Mellon University Committee Member in External Review Committee for ISMM 2016
Onur Mutlu ETH Zurich Keynote Speaker of Keynote talk: Rethinking Memory System Design within the ISMM-track in ISMM 2016
Andrew Myers Cornell University Committee Member in External Program Committee for PLDI 2016 Session Chair of Security (part of PLDI Research Papers) Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track in PLDI 2016
Todd Mytkowicz Microsoft Research Committee Member in Program Committee for PLDI 2016
Peter Müller ETH Zurich Committee Member in Program Committee within the SOAP-track
Santosh Nagarakatte Rutgers University Committee Member in Program Committee for PLDI 2016 Session Chair of Verifying Systems (part of PLDI Research Papers)
Iulian Neamtiu New Jersey Institute of Technology, USA United States Poster Chair in Organizing Committee for PLDI 2016 Chair in Poster Selection Committee within the PLDI Student Posters-track
Ryan R. Newton Indiana University Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track in PLDI 2016
Lisa Nguyen Quang Do Fraunhofer IEM Germany Author of Toward an Automated Benchmark Management System within the SOAP-track in SOAP 2016
Kyndylan Nienhuis University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Ricardo Nobre FEUP, Universidade do Porto Portugal Author of A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach within the LCTES-track in LCTES 2016 Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
Sam H. Noh UNIST (Ulsan National Institute of Science and Technology), Korea Committee Member in Steering Committee for LCTES 2016
Matt Noonan GrammaTech, Inc Author of Invited Talk: Machine-code analysis and transformation at GrammaTech within the SOAP-track in SOAP 2016 Author of Polymorphic Type Inference for Machine Code within the Research Papers-track in PLDI 2016
Michael Norrish NICTA Author of Rust as a Language for High Performance GC Implementation within the ISMM-track in ISMM 2016
andres Notzli Stanford University Author of Verifying Precise Floating-Point Optimizations in LLVM within the SOAP-track in SOAP 2016
Nate Nystrom University of Lugano Committee Member in Program Committee within the X10-track
Michael O'Boyle University of Edinburgh Committee Member in Program Committee for LCTES 2016
Robert O'Callahan Mozilla Corporation Committee Member in External Program Committee for PLDI 2016
Cosmin Oancea Author of Design and GPGPU Performance of Futhark's Redomap Construct within the ARRAY-track in ARRAY
Peter Ohmann University of Wisconsin - Madison United States Committee Member in External Review Committee for PLDI 2016
Peter-Michael Osera Grinnell College United States Committee Member in External Review Committee for PLDI 2016
Guilherme Ottoni Facebook Committee Member in Program Committee for PLDI 2016
Saswat Padhi University of California, Los Angeles Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track in PLDI 2016
Oded Padon Tel Aviv University Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
David Padua University of Illinois at Urbana-Champaign United States Committee Member in Program Committee for LCTES 2016 Chair in Programme Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Yunheung Paek Seoul National University, Korea Committee Member in Program Committee for LCTES 2016
Pavel Panchekha University of Washington Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Aurojit Panda Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
Raj Parihar University of Rochester Author of Hardware Support for Protective and Collaborative Cache Sharing within the ISMM-track in ISMM 2016
Gabriel Parmer The George Washington University Author of CBufs: Efficient, System-Wide Memory Management and Sharing within the ISMM-track in ISMM 2016
Bryan Parno Invited speaker of Ironclad: Full Verification of Complex Systems within the FMS-track in FMS
Nimrod Partush Technion Author of Statistical Similarity of Binaries within the Research Papers-track in PLDI 2016
Harish Patil Presenter of Using PinPlay for Reproducible Analysis and Replay Debugging within the Tutorials-track in PLDI 2016
Jeeva Paudel Committee Member in Program Committee within the X10-track
Hannes Payer Google Author of Idle Time Garbage Collection Scheduling within the Research Papers-track in PLDI 2016
Erez Petrank Technion, Israel Committee Member in Steering Committee for ISMM 2016
Tomas Petricek University of Cambridge, UK Author of Types from data: Making structured data first-class citizens in F# within the Research Papers-track in PLDI 2016
Gustavo Petri LIAFA, Université Paris Diderot Author of Automatically Learning Shape Specifications within the Research Papers-track in PLDI 2016
Phitchaya Mangpo Phothilimthana Author of Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture within the LCTES-track in LCTES 2016
Keshav Pingali University of Texas, Austin India Committee Member in External Program Committee for PLDI 2016
Pedro Pinto Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
Marco Pistoia IBM Research, USA Italy Committee Member in External Review Committee for PLDI 2016
Gilles Pokam Intel Corporation Author of Remix: Online Detection and Repair of Cache Contention for the JVM within the Research Papers-track in PLDI 2016
Nadia Polikarpova MIT CSAIL, USA Russia Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track in PLDI 2016
Joe Gibbs Politz Swarthmore College Committee Member in External Review Committee for PLDI 2016
Alex Polozov University of Washington, USA Ukraine Presenter of PROSE: Programming using Examples within the Tutorials-track in PLDI 2016
Justin Pombrio Brown University United States Committee Member in Artifact Evaluation Committee for PLDI 2016
Justin Pombrio Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jonas Posner Author of Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS within the X10-track in X10
Louis-Noel Pouchet Ohio State University Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Michael Pradel TU Darmstadt, Germany Committee Member in External Review Committee for PLDI 2016
Alexander Pöppl Author of ActorX10: An Actor Library for X10 within the X10-track in X10 Author of SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations within the X10-track in X10
Chenxiong Qian Georgia Tech Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Rodric Rabbah IBM Research United States Committee Member in External Review Committee for PLDI 2016
Arjun Radhakrishna Microsoft Committee Member in External Review Committee for PLDI 2016
Cosmin Radoi University of Illinois Committee Member in External Review Committee for PLDI 2016
Jonathan Ragan-Kelley Stanford Committee Member in External Review Committee for PLDI 2016
Mukund Raghotaman University of Pennsylvania Committee Member in External Review Committee for PLDI 2016
Sriram Rajamani Microsoft Research Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
J. Ramanujam Louisiana State University Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Fabrice Rastello INRIA, France Author of A bounded memory allocator for software-defined global address spaces within the ISMM-track in ISMM 2016 Author of Generalized Cache Tiling for Dataflow Programs within the LCTES-track in LCTES 2016 Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Aseem Rastogi University of Maryland, College Park Committee Member in External Review Committee for PLDI 2016
Veselin Raychev ETH Zurich Bulgaria Committee Member in External Review Committee for PLDI 2016
Vijay J. Reddi Author of GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing within the Research Papers-track in PLDI 2016
John Regehr University of Utah Artifact Evaluation Co-Chair in Artifact Evaluation Committee for PLDI 2016 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Alastair Reid Session Chair of Session 1: Dynamic Translation and Iterative Compilation (part of LCTES)
Nico Reissmann Norwegian University of Science and Technology Norway Author of Compiling with the Regionalized Value State Dependence Graph within the LCTES-track in LCTES 2016
Luís Reis Author of SSA-based MATLAB-to-C Compilation and Optimization within the ARRAY-track in ARRAY Author of On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues within the LCTES-track in LCTES 2016 Author of The LARA-based Compiler Toolsuite within the LCTES-track in LCTES 2016
Yuxin Ren he George washington university Author of CBufs: Efficient, System-Wide Memory Management and Sharing within the ISMM-track in ISMM 2016
Brianna M. Ren University of Maryland, College Park Author of Just-in-Time Static Type Checking for Dynamic Languages within the Research Papers-track in PLDI 2016
Martin Rinard Massachusetts Institute of Technology, USA Committee Member in External Program Committee for PLDI 2016 Author of Configuration Synthesis for Programmable Analog Devices with Arco within the Research Papers-track in PLDI 2016
Jonathan Risinger Rutgers University Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Xavier Rival INRIA/CNRS/ENS Paris Program Co-Chair in Organizing Committee within the SOAP-track
Forrest Robinson University of Kansas, USA Author of Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems within the LCTES-track in LCTES 2016
Jake Roemer Ohio State University Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track in ISMM 2016
Sascha Roloff Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Tiark Rompf Purdue & Oracle Labs Sponsorship Chair in Organizing Committee for PLDI 2016
Atanas Rountev Ohio State University Author of On The Unsoundness of Static Analysis for Android GUIs within the SOAP-track in SOAP 2016 Committee Member in Program Committee within the SOAP-track
Indrajit Roy Presenter of How Should We Program Non-volatile Memory? within the Tutorials-track in PLDI 2016
Cindy Rubio-Gonzalez University of California, Davis Committee Member in Program Committee for PLDI 2016 Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Panelist in Organizing Committee within the PLMW@PLDI-track
Andrey Rybalchenko Microsoft Research Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track in PLDI 2016
Sukyoung Ryu KAIST Korea, South Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track in PLDI 2016
P. Sadayappan Ohio State University Author of Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses within the Research Papers-track in PLDI 2016
Caitlin Sadowski Google Committee Member in Program Committee for PLDI 2016
Mooly Sagiv Tel Aviv University Israel Committee Member in External Program Committee for PLDI 2016 Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
Guido Salvaneschi TU Darmstadt Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track in PLDI 2016
Mehrzad Samadi University of Michigan Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016
Malavika Samak Indian Institute of Science, Bangalore India Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Adrian Sampson Cornell University & Microsoft Research Committee Member in Program Committee for PLDI 2016
Aravind Sankaran India Author of TTC: A Tensor Transposition Compiler for Multiple Architectures within the ARRAY-track in ARRAY
Amitabha Sanyal IIT Bombay Author of Liveness-Based Garbage Collection for Lazy Languages within the ISMM-track in ISMM 2016
Dipankar Sarkar Author of Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences within the LCTES-track in LCTES 2016
Santonu Sarkar Author of Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs within the ARRAY-track in ARRAY
Rahul Sarpeshkar MIT Author of Configuration Synthesis for Programmable Analog Devices with Arco within the Research Papers-track in PLDI 2016
Jennifer B. Sartor Vrije Universiteit Brussel Committee Member in External Review Committee for ISMM 2016
Eric Schkufza VMware Research Group Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track in PLDI 2016
Cole Schlesinger Samsung Research America Committee Member in External Review Committee for PLDI 2016
Bettina Schnor Author of Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB within the ARRAY-track in ARRAY
Bernhard Scholz University of Sydney, Australia Committee Member in Program Committee for LCTES 2016
Michael Schuldt Author of Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture within the LCTES-track in LCTES 2016
Christian Schulte KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2016
Tobias Schwarzer Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Aritra Sengupta Ohio State University Author of Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future within the ISMM-track in ISMM 2016
Koushik Sen University of California, Berkeley Program Chair of Dynamic analysis of JavaScript with Jalangi within the Tutorials-track in PLDI 2016
Sanjit Seshia UC Berkeley Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Peter Sewell University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Michael D. Shah Tufts University Author of Iceberg: A Tool for Static Analysis of Java Critical Sections within the SOAP-track in SOAP 2016
Rian Shambaugh University of Massachusetts Amherst United States Author of Rehearsal: A Configuration Verification Tool for Puppet within the Research Papers-track in PLDI 2016
Zhong Shao Yale University United States Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track in PLDI 2016 Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track in PLDI 2016
Gokarna Sharma Kent State University, USA Committee Member in External Review Committee for ISMM 2016
Rahul Sharma Stanford University Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track in PLDI 2016 Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track in PLDI 2016 Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track in PLDI 2016
Mary Sheeran Committee Member in Programme Committee within the ARRAY-track
Shashank Shekhar Author of Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems within the LCTES-track in LCTES 2016
Du Shen College of William and Mary Author of Characterizing Emerging Heterogeneous Memory within the ISMM-track in ISMM 2016
Brendan Sheridan Author of A Case for Distributed Work-Stealing in Regular Applications within the X10-track in X10
Sharon Shoham Author of Ivy: Safety Verification by Interactive Generalization within the Research Papers-track in PLDI 2016
Tatiana Shpeisman Intel Labs Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Julian Shun University of California, Berkeley Committee Member in External Review Committee for PLDI 2016
Stelios Sidiroglou-Douskos MIT CSAIL Committee Member in External Review Committee for PLDI 2016
Jeremy Singer University of Glasgow Committee Member in External Review Committee for ISMM 2016
Rohit Sinha University of California, Berkeley Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Vilhelm Sjoberg Yale University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Ariel Slonim Presenter of Using PinPlay for Reproducible Analysis and Replay Debugging within the Tutorials-track in PLDI 2016
Yannis Smaragdakis University of Athens Committee Member in Program Committee for PLDI 2016
Aaron Smith Author of A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors within the LCTES-track in LCTES 2016
Calvin Smith University of Wisconsin - Madison Author of MapReduce Program Synthesis within the Research Papers-track in PLDI 2016
Armando Solar-Lezama MIT United States Committee Member in External Program Committee for PLDI 2016 Session Chair of Verification II (part of PLDI Research Papers) Speaker of What’s Next for Program Synthesis within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016 Author of Program Synthesis from Polymorphic Refinement Types within the Research Papers-track in PLDI 2016 Author of Verified Lifting of Stencil Computations within the Research Papers-track in PLDI 2016 Speaker in Organizing Committee within the PLMW@PLDI-track
Tyler Sorensen University College London Author of Exposing Errors Related to Weak Memory in GPU Applications within the Research Papers-track in PLDI 2016
Robert Soulé Universita della Svizzera italiana (USI) Committee Member in External Review Committee for PLDI 2016
Marcelo Sousa University of Oxford Author of Cartesian Hoare Logic for Verifying k-Safety Properties within the Research Papers-track in PLDI 2016
Johannes Spazier Author of Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB within the ARRAY-track in ARRAY
Michael Spear Lehigh University Committee Member in Program Committee for ISMM 2016
Alexander Spiegelman Technion - Israel institute of technology Author of Transactional Data Structure Libraries within the Research Papers-track in PLDI 2016
Tom Spink University of Edinburgh Author of Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator within the LCTES-track in LCTES 2016
Mitchell Spradlin University of Chicago Author of Programmatic and Direct Manipulation, Together at Last within the Research Papers-track in PLDI 2016
Matthias Springer Tokyo Institute of Technology Germany Author of Object Support in an Array-based GPGPU Extension for Ruby within the ARRAY-track in ARRAY
Paul Springer Author of TTC: A Tensor Transposition Compiler for Multiple Architectures within the ARRAY-track in ARRAY
Manu Sridharan Samsung Research America Committee Member in Distinguished Paper Committee for PLDI 2016 Publicity Chair in Organizing Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Presenter of Dynamic analysis of JavaScript with Jalangi within the Tutorials-track in PLDI 2016
Guy L. Steele Jr. Oracle Labs Committee Member in External Program Committee for PLDI 2016 Committee Member in External Review Committee for ISMM 2016
Gordon Stewart Ohio University Committee Member in External Review Committee for PLDI 2016
Michelle Strout The University of Arizona United States Committee Member in External Program Committee for PLDI 2016 Session Chair of Parsing & Compilation (part of PLDI Research Papers)
Yulei Sui Author of Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization within the LCTES-track in LCTES 2016
Chengnian Sun University of California at Davis, USA Committee Member in Artifact Evaluation Committee for PLDI 2016 Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track in PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Zhendong Su University of California, Davis United States Committee Member in Program Committee for PLDI 2016 Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track in PLDI 2016
Ting Su East China Normal University Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track in PLDI 2016
Bo Joel Svensson Indiana University Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track in PLDI 2016
Don Syme Microsoft Author of Types from data: Making structured data first-class citizens in F# within the Research Papers-track in PLDI 2016
Jean-Pierre Talpin INRIA, France Committee Member in Program Committee for LCTES 2016
Ady Tal Presenter of Using PinPlay for Reproducible Analysis and Replay Debugging within the Tutorials-track in PLDI 2016
Jubi Taneja University of Utah India Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Lingjia Tang University of Michigan Speaker of Programming-language Runtime Systems in Datacenters within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation within the Research Papers-track in PLDI 2016 Speaker in Organizing Committee within the PLMW@PLDI-track
Olivier Tardieu IBM Research Author of Resilient X10 over MPI User Level Failure Mitigation within the X10-track in X10 General Chair of Closing Remarks within the X10-track in X10 Speaker of Introduction to (Resilient) X10 and APGAS -- slides are attached within the X10-track in X10 Author of Control Structure Overloading in X10 within the X10-track in X10 General Chair of Opening and Welcome within the X10-track in X10 Committee Member in Program Committee within the X10-track General Chair in Organizing Committee within the X10-track
Zachary Tatlock University of Washington Committee Member in Program Committee for PLDI 2016 Artifact Evaluation Co-Chair in Artifact Evaluation Committee for PLDI 2016 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2016 Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jürgen Teich Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Aditya Thakur Google Committee Member in External Review Committee for PLDI 2016
Ben L. Titzer Google Committee Member in Program Committee for ISMM 2016
Ben Titzer Google Session Chair of Concurrent Memory Management (part of ISMM)
Sam Tobin-Hochstadt Indiana University Author of Occurrence Typing Modulo Theories within the Research Papers-track in PLDI 2016
Emina Torlak University of Washington United States Author of Fast Synthesis of Fast Collections within the Research Papers-track in PLDI 2016
Emma Tosch University of Massachusetts Amherst Committee Member in External Review Committee for PLDI 2016
Ehsan Totoni Intel Labs Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Antoine Tran Tan Author of Extending C++ with Co-Array semantics within the ARRAY-track in ARRAY
Omer Tripp IBM Research, USA Presenter of Cross-platform analysis of mobile apps using the WALA framework within the Tutorials-track in PLDI 2016
Leonard Truong UC Berkeley / Intel Labs Author of Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks within the Research Papers-track in PLDI 2016
Gang-Ryung Uh Qualcomm, USA Committee Member in Program Committee for LCTES 2016
Vlad Ureche EPFL, Switzerland Romania Committee Member in External Review Committee for PLDI 2016
Laurent Vanbever ETH Zürich Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
Nalini Vasudevan Google Author of FlexVec: Auto-Vectorization for Irregular Loops within the Research Papers-track in PLDI 2016
Kapil Vaswani Microsoft Research Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track in PLDI 2016
Niki Vazou UC San Diego Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Martin Vechev ETH Zurich Bulgaria Committee Member in Program Committee for PLDI 2016 Session Chair of Synthesis II (part of PLDI Research Papers) Author of Invited Talk: Probabilistic Learning from Big Code within the SOAP-track in SOAP 2016 Author of SDNRacer: Concurrency Analysis for Software-Defined Networks within the Research Papers-track in PLDI 2016
Panagiotis Vekris University of California, San Diego Author of Refinement Types for TypeScript within the Research Papers-track in PLDI 2016
R. Venkatesh Author of TIC: A Scalable Model Checking Based Approach to WCET Estimation within the LCTES-track in LCTES 2016
Sven Verdoolaege Author of Polyhedral AST generation is more than scanning polyhedra [TOPLAS] within the Research Papers-track in PLDI 2016
John Vilk University of Massachusetts, Amherst United States Committee Member in External Review Committee for PLDI 2016
Singh Vineet Author of Using PinPlay for Reproducible Analysis and Replay Debugging within the Tutorials-track in PLDI 2016
Jan Vitek Northeastern University Switzerland Committee Member in Steering Committee for LCTES 2016 Committee Member in Programme Committee within the ARRAY-track
Haris Volos Presenter of How Should We Program Non-volatile Memory? within the Tutorials-track in PLDI 2016
Harry Wagstaff Author of Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator within the LCTES-track in LCTES 2016
David Walker Princeton University Committee Member in External Program Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Session Chair of Types I (part of PLDI Research Papers) Author of Temporal NetKAT within the Research Papers-track in PLDI 2016
Yan Wang Author of On The Unsoundness of Static Analysis for Android GUIs within the SOAP-track in SOAP 2016
Tim Warburton Author of Array Program Transformation with Loo.py by Example: High-Order Finite Elements within the ARRAY-track in ARRAY
Robert N. M. Watson University of Cambridge Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track in PLDI 2016
Aaron Weiss University of Massachusetts Amherst United States Author of Rehearsal: A Configuration Verification Tool for Puppet within the Research Papers-track in PLDI 2016
Shiyi Wei Virginia Tech Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Ben Wiedermann Harvey Mudd College Moderator of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Co-chair in Organizing Committee within the PLMW@PLDI-track
Lucas Wilcox Author of Array Program Transformation with Loo.py by Example: High-Order Finite Elements within the ARRAY-track in ARRAY
James R. Wilcox University of Washington United States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Stefan Wildermann Author of ActorX10: An Actor Library for X10 within the X10-track in X10
Christian Wimmer Oracle Labs Presenter of One VM to Rule Them All, One VM to Bind Them within the Tutorials-track in PLDI 2016
Doug Woos University of Washington United States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Youfeng Wu Intel Corporation Author of FlexVec: Auto-Vectorization for Irregular Loops within the Research Papers-track in PLDI 2016
Peng Wu Huawei America Lab China Committee Member in Program Committee for ISMM 2016
Hui Wu University of New South Wales, Australia Committee Member in Program Committee for LCTES 2016
Xiongnan (Newman) Wu Yale University Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track in PLDI 2016
Bo Wu Colorado School of Mines Committee Member in External Review Committee for PLDI 2016
Xiao Xiao SourceBrella Inc. Author of Invited Talk: Falcon: Towards an industrial strength heap analyzer within the SOAP-track in SOAP 2016
Jingling Xue UNSW Australia Committee Member in Steering Committee for LCTES 2016 Committee Member in Program Committee for LCTES 2016 Author of Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization within the LCTES-track in LCTES 2016
Jason Xue City University of Hong Kong, China Committee Member in Steering Committee for LCTES 2016
Harry Xu University of California, Irvine United States Committee Member in Program Committee for ISMM 2016
Navid Yaghmazadeh University of Texas, Austin Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track in PLDI 2016
Eran Yahav Technion Israel Committee Member in Program Committee for PLDI 2016 Session Chair of Synthesis I (part of PLDI Research Papers) Author of Statistical Similarity of Binaries within the Research Papers-track in PLDI 2016
Jean Yang Carnegie Mellon University Committee Member in Program Committee for PLDI 2016 Session Chair of Types II (part of PLDI Research Papers) Panelist of Panel: What I Wish I Knew When I Started Grad School within the PLMW@PLDI 2016-track in PLMW@PLDI Author of Precise, Dynamic Information Flow for Database-Backed Applications within the Research Papers-track in PLDI 2016 Panelist in Organizing Committee within the PLMW@PLDI-track
Chengmo Yang University of Delaware, USA Committee Member in Program Committee for LCTES 2016
Annie Yang Texas State University Author of Higher-Order and Tuple-Based Massively-Parallel Prefix Sums within the Research Papers-track in PLDI 2016
Xi Yang Australian National University, Australia Committee Member in External Review Committee for PLDI 2016
Ming-Ho Yee University of Waterloo Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track in PLDI 2016
Wang Yi Uppsala University, Sweden Committee Member in Steering Committee for LCTES 2016
Benjamin Ylvisaker Colorado College Author of Pseudo-preemptive Threads for Reliable and Maintainable Multitasking Software within the LCTES-track in LCTES 2016
Adarsh Yoga Rutgers University, USA Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Timothy Yong Rutgers University Author of Improving Energy-Bound Application Effectiveness through Redundancy and Approximation within the LCTES-track in LCTES 2016
Greta Yorsh Queen Mary University of London Committee Member in Program Committee for PLDI 2016
Tomofumi Yuki Committee Member in Program Committee within the X10-track
Damiano Zanardini Universidad Politecnica de Madrid, Spain Committee Member in Program Committee for LCTES 2016
Yizhou Zhang Cornell University Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track in PLDI 2016
Xiangyu Zhang Purdue University Workshops and Tutorials Chair in Organizing Committee for PLDI 2016
Zheng Zhang Rutgers University United States Program Chair in Program Committee for ISMM 2016 Program Chair in Organizing Committee for ISMM 2016 Session Chair of Keynote (part of ISMM)
Hailong Zhang Ohio State University, USA Author of On The Unsoundness of Static Analysis for Android GUIs within the SOAP-track in SOAP 2016
Youtao Zhang University of Pittsburgh, USA Steering Committee Chair in Organizing Committee for LCTES 2016
Charles Zhang HKUST Hong Kong Session Chair of Session I (part of SOAP) Session Chair of Session II (part of SOAP) Program Co-Chair in Organizing Committee within the SOAP-track
Zhijia Zhao UC Riverside Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Jianjun Zhao Shanghai Jiao Tong University China Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track in PLDI 2016
Hao Zhou Author of Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization within the LCTES-track in LCTES 2016
Yuhao Zhu Author of GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing within the Research Papers-track in PLDI 2016
He Zhu Purdue University United States Author of Automatically Learning Shape Specifications within the Research Papers-track in PLDI 2016
Benjamin Zorn Microsoft Research United States Committee Member in External Program Committee for PLDI 2016 Session Chair of Testing & Debugging (part of PLDI Research Papers) Keynote Speaker of Programming Languages and Technical Disruption within the Invited Speakers-track in PLDI 2016
Daryl Zuniga University of Washington Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
Andreas Zwinkau Karlsruhe Institute of Technology Author of A Memory Model for X10 within the X10-track in X10
Erik Österlund Linnaeus University, Sweden Sweden Author of Block-Free Concurrent GC: Stack Scanning and Copying within the ISMM-track in ISMM 2016

PLDI 2016 Contributors

Results (555)

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums