PLDI 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (554)

A Martha A. KimA. Kim, Martha Columbia University Committee Member in Program Committee for PLDI 2016
Sara AchourAchour, Sara Massachusetts Institute of Technology, USA Configuration Synthesis for Programmable Analog Devices with Arco
Michael D. AdamsAdams, Michael D. University of Utah On the Complexity and Performance of Parsing with Derivatives
Vikram S. AdveAdve, Vikram S. 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 AfshariAfshari, Mehrdad Vivibe LLCUnited States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Eddie AftandilianAftandilian, Eddie Google Committee Member in External Review Committee for PLDI 2016
Alex AikenAiken, Alex Stanford University Verifying Bit Manipulations of Floating-Point Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin–Madison Committee Member in External Review Committee for PLDI 2016 MapReduce Program Synthesis
Bader AlBassamAlBassam, Bader University of South Florida Video Co-Chair in Organizing Committee for PLDI 2016
Jacob AlbersAlbers, Jacob University of Chicago Programmatic and Direct Manipulation, Together at Last
Duco van AmstelAmstel, Duco van Generalized Cache Tiling for Dataflow Programs
Owen ArdenArden, Owen Cornell University Committee Member in External Review Committee for PLDI 2016
Steven ArztArzt, Steven TU Darmstadt, GermanyGermany Towards Cross-Platform Cross-Language Analysis with Soot
Neil AudsleyAudsley, Neil University of York, UK Committee Member in Program Committee for LCTES 2016
Abdulbaki AydinAydin, Abdulbaki String Analysis for Vulnerability Detection and Repair
B David B. WhalleyB. Whalley, David Program Chair in Organizing Committee for LCTES 2016 Session Chair of Keynote #2 (part of LCTES )
Michael BaderBader, Michael SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations ActorX10: An Actor Library for X10
Sara BaghsorkhiBaghsorkhi, Sara Intel Labs Committee Member in Program Committee for ISMM 2016 FlexVec: Auto-Vectorization for Irregular Loops
Helge BahmannBahmann, Helge Compiling with the Regionalized Value State Dependence Graph
Gogul BalakrishnanBalakrishnan, Gogul Google Scalable Security Analysis of Android Apps
George BalatsourasBalatsouras, George University of Athens Committee Member in External Review Committee for PLDI 2016
Thomas BallBall, Thomas Microsoft Research Committee Member in Program Committee within the SOAP-track
Soumyadip BandyopadhyayBandyopadhyay, Soumyadip Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs
Kunal BanerjeeBanerjee, Kunal Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Lucas BangBang, Lucas String Analysis for Vulnerability Detection and Repair
Wenlei BaoBao, Wenlei Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Raj BarikBarik, Raj Intel Labs Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Dan BarowyBarowy, Dan University of Massachusetts AmherstUnited States Student Volunteer Captain in Organizing Committee for PLDI 2016 Committee Member in External Review Committee for PLDI 2016
Luiz André BarrosoBarroso, Luiz André Google Programming a Warehouse-scale Computer
Mark BattyBatty, Mark University of Cambridge Committee Member in External Review Committee for PLDI 2016
Spenser BaumanBauman, Spenser Indiana University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Martin BeckerBecker, Martin TU Munich TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ryan BeckettBeckett, Ryan Princeton University Temporal NetKAT
Quinn BeightolBeightol, Quinn Cornell Accepting Blame for Safe Tunneled Exceptions
Marco BekooijBekooij, Marco NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2016
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited 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 BerlinBerlin, Daniel Google Mountain View Committee Member in Program Committee within the SOAP-track
Robert BerneckyBernecky, Robert Snake Island Research Committee Member in Programme Committee within the ARRAY-track
Somashekaracharya G BhaskaracharyaBhaskaracharya, Somashekaracharya G Indian Institute of Science and National Instruments Automatic Storage Optimization for Arrays [TOPLAS]
Abhishek BhattacharjeeBhattacharjee, Abhishek Rutgers University Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Pavol BielikBielik, Pavol ETH Zurich, SwitzerlandSlovakia SDNRacer: Concurrency Analysis for Software-Defined Networks
Paolo BientinesiBientinesi, Paolo TTC: A Tensor Transposition Compiler for Multiple Architectures
João BispoBispo, João FEUP, Universidade do PortoPortugal SSA-based MATLAB-to-C Compilation and Optimization The LARA-based Compiler Toolsuite On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in External Program Committee for PLDI 2016 Committee Member in Program Committee for ISMM 2016 Rust as a Language for High Performance GC Implementation The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations Speaker in Organizing Committee within the PLMW@PLDI-track
Sam BlackshearBlackshear, Sam FacebookUnited States Panel: What I Wish I Knew When I Started Grad School Panelist in Organizing Committee within the PLMW@PLDI-track
Gedare BloomBloom, Gedare Howard University CBufs: Efficient, System-Wide Memory Management and Sharing
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Committee Member in External Review Committee for PLDI 2016
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Session Chair of Session III (part of SOAP) Towards Cross-Platform Cross-Language Analysis with Soot Toward an Automated Benchmark Management System
Rastislav BodíkBodík, Rastislav University of Washington, USA Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Hans-J. BoehmBoehm, Hans-J. 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 ) Persistence Programming Models for Non-Volatile Memory
Prasad BokilBokil, Prasad TIC: A Scalable Model Checking Based Approach to WCET Estimation
Michael D. BondBond, Michael D. Ohio State University Committee Member in Steering Committee for ISMM 2016 Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia Automatic Storage Optimization for Arrays [TOPLAS]
James BornholtBornholt, James University of Washington Programming with Estimates Speaker in Organizing Committee within the PLMW@PLDI-track
Jacob BrockBrock, Jacob University of Rochester Hardware Support for Protective and Collaborative Cache Sharing
Francois BroquedisBroquedis, Francois Universite Joseph Fourier - Grenoble 1 A bounded memory allocator for software-defined global address spaces
Fraser BrownBrown, Fraser Stanford University Verifying Precise Floating-Point Optimizations in LLVM
David BrumleyBrumley, David Carnegie Mellon UniversityUnited States Committee Member in Program Committee for PLDI 2016
Tevfik BultanBultan, Tevfik Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution String Analysis for Vulnerability Detection and Repair
Bernd BurgstallerBurgstaller, Bernd Yonsei University, Korea Committee Member in Program Committee for LCTES 2016
Martin BurtscherBurtscher, Martin Texas State University Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
Björn BönninghoffBönninghoff, Björn Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
C Cristian CadarCadar, Cristian Imperial College London Committee Member in Program Committee for PLDI 2016
Man CaoCao, Man Ohio State University Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Michael CarbinCarbin, Michael MIT Committee Member in Program Committee for PLDI 2016 Session Chair of New Languages (part of PLDI Research Papers) Approximate Computing: it's better than good, it's good enough! Speaker in Organizing Committee within the PLMW@PLDI-track
João CardosoCardoso, João SSA-based MATLAB-to-C Compilation and Optimization
João M. P. CardosoCardoso, João M. P. 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 ) A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach The LARA-based Compiler Toolsuite On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues
Tiago CarvalhoCarvalho, Tiago University of Porto The LARA-based Compiler Toolsuite
Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia Event-driven Network Programming
Dhruva ChakrabartiChakrabarti, Dhruva HP Labs Persistence Programming Models for Non-Volatile Memory
Dhruva ChakrabartiChakrabarti, Dhruva How Should We Program Non-volatile Memory?
Prasenjit ChakrabortyChakraborty, Prasenjit Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Samarjit ChakrabortyChakraborty, Samarjit TIC: A Scalable Model Checking Based Approach to WCET Estimation
Brad ChamberlainChamberlain, Brad Invited talk: Lessons Learned in Array Programming: from ZPL to Chapel
Buddhika ChamithChamith, Buddhika Living on the edge: Rapid-toggling probes with cross modification on x86
Che-Wei ChangChang, Che-Wei Chang Gung University, Taiwan Publicity Chair in Organizing Committee for LCTES 2016 Session Chair of Session 2: Loop and Dataflow Analysis (part of LCTES ) Energy-Saving Designs for Mobile Devices with Non-Volatile Memory
Li-Pin ChangChang, Li-Pin National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2016
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in External Program Committee for PLDI 2016 Synthesizing Transformations on Hierarchically Structured Data
Hao ChenChen, Hao Yale University Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Jian-Jia ChenChen, Jian-Jia Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
Kuan-Hsun ChenChen, Kuan-Hsun Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
Yuting ChenChen, Yuting Shanghai Jiao Tong University Coverage-Directed Differential Testing of JVM Implementations
Perry ChengCheng, Perry IBM Research Committee Member in External Review Committee for PLDI 2016 Committee Member in Steering Committee for ISMM 2016
Alvin CheungCheung, Alvin University of Washington Panel: What I Wish I Knew When I Started Grad School Verified Lifting of Stencil Computations Panelist in Organizing Committee within the PLMW@PLDI-track
Bruce ChildersChilders, Bruce University of Pittsburgh Achieving Yield, Density and Performance Effective DRAM
David ChisnallChisnall, David University of Cambridge Into the depths of C: elaborating the de facto standards
Olaf ChitilChitil, Olaf University of Kent, UK Lightweight Computation Tree Tracing for Lazy Functional Languages
Meng-Chieh ChiuChiu, Meng-Chieh UMass Amherst Assessing the Limits of Program-Specific Garbage Collection Performance
Stephen ChongChong, Stephen Harvard University Report on the NSF Workshop on Formal Methods for Security Precise, Dynamic Information Flow for Database-Backed Applications
Michael ChristensenChristensen, Michael UC Santa BarbaraUnited States Student Volunteer Captain in Organizing Committee for PLDI 2016
Steffen ChristgauChristgau, Steffen Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB
Duc-Hiep ChuChu, Duc-Hiep National University of SingaporeVietnam Symbolic Execution for Memory Consumption Analysis
Ravi ChughChugh, Ravi University of Chicago Committee Member in External Review Committee for PLDI 2016 Panel: What I Wish I Knew When I Started Grad School Programmatic and Direct Manipulation, Together at Last Panelist in Organizing Committee within the PLMW@PLDI-track
Albert CohenCohen, Albert 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) A bounded memory allocator for software-defined global address spaces Polyhedral AST generation is more than scanning polyhedra [TOPLAS] Automatic Storage Optimization for Arrays [TOPLAS] Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
David CokCok, David GrammaTech, Inc Polymorphic Type Inference for Machine Code
Benjamin CosmanCosman, Benjamin University of California, San Diego Refinement Types for TypeScript
Manuel CostaCosta, Manuel Microsoft Research A Design and Verification Methodology for Secure Isolated Regions
David CostanzoCostanzo, David Yale University End-to-End Verification of Information-Flow Security for C and Assembly Programs
Joshua CranmerCranmer, Joshua UIUC Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
John CriswellCriswell, John University of Rochester Committee Member in External Review Committee for PLDI 2016
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Program Committee for PLDI 2016
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–Madison Committee Member in Program Committee for PLDI 2016
Luke DalessandroDalessandro, Luke Indiana University Living on the edge: Rapid-toggling probes with cross modification on x86
David DaraisDarais, David University of Maryland, College ParkUnited States Video Co-Chair in Organizing Committee for PLDI 2016
Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in External Review Committee for PLDI 2016
Yaniv DavidDavid, Yaniv Technion Statistical Similarity of Binaries
John DavisDavis, John Pure Storage Inc Panel: Career Paths Panelist in Organizing Committee within the PLMW@PLDI-track
Bjorn De SutterDe Sutter, Bjorn Ghent University, Belgium Committee Member in Steering Committee for LCTES 2016
Ulan DegenbaevDegenbaev, Ulan Google Idle Time Garbage Collection Scheduling
Joseph DeviettiDevietti, Joseph University of Pennsylvania Remix: Online Detection and Repair of Cache Contention for the JVM
Monika DhokDhok, Monika IISC Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Dave DiceDice, Dave Oracle Labs Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures
Will DietzDietz, Will University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Işıl DilligDillig, Işıl University of Texas, AustinTurkey Committee Member in Program Committee for PLDI 2016 Session Chair of Verification I (part of PLDI Research Papers) Synthesizing Transformations on Hierarchically Structured Data Cartesian Hoare Logic for Verifying k-Safety Properties
Marko DimjaševićDimjašević, Marko 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 DingDing, Chen University of RochesterUnited States Committee Member in External Review Committee for ISMM 2016 Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM) Hardware Support for Protective and Collaborative Cache Sharing
Dino DistefanoDistefano, Dino Facebook London Committee Member in Program Committee within the SOAP-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited Kingdom Cross-platform analysis of mobile apps using the WALA framework
Lukasz DomagalaDomagala, Lukasz Generalized Cache Tiling for Dataflow Programs
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Exposing Errors Related to Weak Memory in GPU Applications
Gautam DoshiDoshi, Gautam Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Christophe DubachDubach, Christophe University of Edinburgh A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Nikil DuttDutt, Nikil Smart Embedded Computing through Self-Awareness
Anupam DuttaDutta, Anupam Carnegie Mellon University Privacy and Algorithmic Accountability
E Md E. HaqueE. Haque, Md University of Michigan Committee Member in Organizing Committee within the PLMW@PLDI-track
Michael EichbergEichberg, Michael TU Darmstadt Toward an Automated Benchmark Management System
Carol EidtEidt, Carol Microsoft RyuJIT: Open Source JIT Compiler for .NET
Jochen EisingerEisinger, Jochen Google Idle Time Garbage Collection Scheduling
Ariel EizenbergEizenberg, Ariel University of Pennsylvania Remix: Online Detection and Repair of Cache Contention for the JVM
Ahmed ElhassanyElhassany, Ahmed ETH ZürichSwitzerland SDNRacer: Concurrency Analysis for Software-Defined Networks
Martin ElsmanElsman, Martin Department of Computer Science, University of CopenhagenDenmark Chair in Programme Committee within the ARRAY-track Co-chair in Organizing Committee within the ARRAY-track
Michael EmmiEmmi, Michael IMDEA Software Institute Verifying Constant-Time Implementations
Manfred ErnstErnst, Manfred Google Idle Time Garbage Collection Scheduling
Michael D. ErnstErnst, Michael D. University of Washington Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Fast Synthesis of Fast Collections
F Maarten FaddegonFaddegon, Maarten University of Kent, UKNetherlands Lightweight Computation Tree Tracing for Lazy Functional Languages
Heiko FalkFalk, Heiko Ulm University, Germany Committee Member in Steering Committee for LCTES 2016
Xiaokang FanFan, Xiaokang Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Matthias FelleisenFelleisen, Matthias Northeastern UniversityGermany Keynote: “Love, Marriage, and Happiness” Keynote Speaker in Organizing Committee within the PLMW@PLDI-track
Jeremy FinemanFineman, Jeremy A Case for Distributed Work-Stealing in Regular Applications
Sebastian FischmeisterFischmeister, Sebastian University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2016
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Committee Member in Distinguished Paper Committee for PLDI 2016 Committee Member in External Program Committee for PLDI 2016 Precise, Dynamic Information Flow for Database-Backed Applications
Claudia FohryFohry, Claudia Universität Kassel Closing Remarks Opening and Welcome Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS Program Chair in Program Committee within the X10-track Program Chair in Organizing Committee within the X10-track
Bryan FordFord, Bryan EPFL, Switzerland Committee Member in Program Committee for PLDI 2016
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College Park Just-in-Time Static Type Checking for Dynamic Languages
Nate FosterFoster, Nate Cornell University Event-driven Network Programming
George FourtounisFourtounis, George University of Athens Committee Member in External Review Committee for PLDI 2016
Armando FoxFox, Armando UC Berkeley Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Björn FrankeFranke, Björn University of EdinburghGermany Committee Member in Steering Committee for LCTES 2016 Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Matt FredriksonFredrikson, Matt Carnegie Mellon University Committee Member in Program Committee for PLDI 2016
G Sicun GaoGao, Sicun MIT Committee Member in External Review Committee for PLDI 2016
Teo GeorgievGeorgiev, Teo The George Washington University CBufs: Efficient, System-Wide Memory Management and Sharing
Soheil GhiasiGhiasi, Soheil UC Davis, USA Committee Member in Program Committee for LCTES 2016
Francois GindraudGindraud, Francois Joseph Fourier University, France; A bounded memory allocator for software-defined global address spaces
Michael GlaßGlaß, Michael ActorX10: An Actor Library for X10
Klaus GleissenthallGleissenthall, Klaus Technische Universität München Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Patrice GodefroidGodefroid, Patrice Microsoft ResearchUnited States Committee Member in Program Committee for PLDI 2016
Guy Golan-GuetaGolan-Gueta, Guy Yahoo Labs Transactional Data Structure Libraries
Liang GongGong, Liang University of California, Berkeley Dynamic analysis of JavaScript with Jalangi
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in External Review Committee for PLDI 2016
Michael GreenbergGreenberg, Michael Pomona College Temporal NetKAT
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Chair in Programme Committee within the ARRAY-track Co-chair in Organizing Committee within the ARRAY-track
Robert GrimmGrimm, Robert Goldman Sachs Committee Member in External Program Committee for PLDI 2016
Tobias GrosserGrosser, Tobias ETH Zurich, Switzerland Polyhedral AST generation is more than scanning polyhedra [TOPLAS]
Dan GrossmanGrossman, Dan University of Washington, USA Verified Peephole Optimizations for CompCert
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for ISMM 2016 Resilient X10 over MPI User Level Failure Mitigation
Ronghui GuGu, Ronghui Yale UniversityChina Toward Compositional Verification of Interruptible OS Kernels and Device Drivers End-to-End Verification of Information-Flow Security for C and Assembly Programs
Gustavo GuerraGuerra, Gustavo Microsoft Corporation, London Types from data: Making structured data first-class citizens in F#
Arjun GuhaGuha, Arjun University of Massachusetts, Amherst Committee Member in Program Committee for PLDI 2016 Rehearsal: A Configuration Verification Tool for Puppet
Sumit GulwaniGulwani, Sumit Microsoft Research, USAIndia PROSE: Programming using Examples
Joshua GuttmanGuttman, Joshua Worcester Polytechnic Institute Report on the NSF Workshop on Formal Methods for Security
Sam GuyerGuyer, Sam 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) Iceberg: A Tool for Static Analysis of Java Critical Sections
H Thomas H. AustinH. Austin, Thomas Precise, Dynamic Information Flow for Database-Backed Applications
Christine H. FloodH. Flood, Christine Red Hat General Chair in Organizing Committee for ISMM 2016 Opening Remarks
Mary HallHall, Mary University of Utah Getting People to Listen Panel: Career Paths Co-chair in Organizing Committee within the PLMW@PLDI-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Sara S. HamoudaHamouda, Sara S. Australian National University Resilient X10 over MPI User Level Failure Mitigation
Travis HanceHance, Travis Dropbox Precise, Dynamic Information Flow for Database-Backed Applications
Frank HannigHannig, Frank ActorX10: An Actor Library for X10
Ben HardekopfHardekopf, Ben 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 HarrisHarris, William Georgia Tech Committee Member in External Review Committee for PLDI 2016
Matin HashemiHashemi, Matin Sharif University of Technology, Iran Committee Member in Program Committee for LCTES 2016
Wessam HassaneinHassanein, Wessam Google Understanding and Improving JVM GC Work Stealing at the Data Center Scale
Steve HellerHeller, Steve Two SigmaUnited States Committee Member in Program Committee for ISMM 2016 Session Chair of Non-traditional and Datacenter Scale Memory System (part of ISMM )
Brian HempelHempel, Brian University of Chicago Programmatic and Direct Manipulation, Together at Last
Laurie HendrenHendren, Laurie McGill UniversityCanada Committee Member in Program Committee within the X10-track Committee Member in Programme Committee within the ARRAY-track
Troels HenriksenHenriksen, Troels DIKUDenmark Design and GPGPU Performance of Futhark's Redomap Construct
Stephan HerhutHerhut, Stephan Google Inc. Committee Member in Programme Committee within the ARRAY-track
Maurice HerlihyHerlihy, Maurice Brown University Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures
Manuel HermenegildoHermenegildo, Manuel 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 HertaHerta, Benjamin Resilient X10 over MPI User Level Failure Mitigation
Stefan HeuleHeule, Stefan Stanford University Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Michael HicksHicks, Michael University of Maryland at College Park, USA Committee Member in Program Committee for PLDI 2016
Parker HillHill, Parker Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
Michael HindHind, Michael IBM ResearchUnited States Committee Member in External Program Committee for PLDI 2016 Committee Member in External Review Committee for ISMM 2016
Henry HoffmannHoffmann, Henry University of Chicago Committee Member in External Review Committee for PLDI 2016
Hossein HojjatHojjat, Hossein Cornell UniversityIran Event-driven Network Programming
Celeste HollenbeckHollenbeck, Celeste University of Utah On the Complexity and Performance of Parsing with Derivatives
Changwan HongHong, Changwan Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia 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) Rust as a Language for High Performance GC Implementation
Aaron HsuHsu, Aaron The Key to a Data Parallel Compiler
Justin HsuHsu, Justin University of Pennsylvania Committee Member in External Review Committee for PLDI 2016
Shiliang HuHu, Shiliang Intel Corporation Remix: Online Detection and Repair of Cache Contention for the JVM
Jeff HuangHuang, Jeff Texas A&M University Committee Member in Program Committee within the SOAP-track
Michael HuangHuang, Michael University of Rochester Hardware Support for Protective and Collaborative Cache Sharing
Shan Shan HuangHuang, Shan Shan Logicblox Panel: Career Paths Panelist in Organizing Committee within the PLMW@PLDI-track
I Sibren IsaacmanIsaacman, Sibren Loyola University Maryland Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Shachar ItzhakyItzhaky, Shachar MIT CSAIL Verified Lifting of Stencil Computations
J Nicholas JacekJacek, Nicholas UMass Amherst Assessing the Limits of Program-Specific Garbage Collection Performance
Joxan JaffarJaffar, Joxan National University of Singapore Session Chair of Session 5: Computation Partitioning (part of LCTES ) Symbolic Execution for Memory Consumption Analysis
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Automatically Learning Shape Specifications
Magnus JahreJahre, Magnus Norwegian University of Science and Technology Compiling with the Regionalized Value State Dependence Graph
Michael JantzJantz, Michael University of Tennessee, USA Session Chair of Session 3: Presentations of Posters (part of LCTES ) Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Jean-Baptiste JeanninJeannin, Jean-Baptiste 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 JeongJeong, Jinkyu Sungkyunkwan UniversityKorea, South Committee Member in Program Committee for ISMM 2016
Somesh JhaJha, Somesh University of Wisconsin, Madison Co-chair in Organizing Committee within the FMS-track
Ranjit JhalaJhala, Ranjit University of California, San Diego Committee Member in Program Committee for PLDI 2016 Refinement Types for TypeScript
Gangwon JoJo, Gangwon Seoul National UniversityKorea, South A Distributed OpenCL Framework using Redundant Computation and Data Replication
Richard JonesJones, Richard University of Kent Committee Member in External Review Committee for ISMM 2016
Jaehoon JungJung, Jaehoon Seoul National UniversityKorea, South A Distributed OpenCL Framework using Redundant Computation and Data Replication
K Hartmut KaiserKaiser, Hartmut Extending C++ with Co-Array semantics
Melanie KambadurKambadur, Melanie Columbia University Committee Member in External Review Committee for PLDI 2016
Shoaib KamilKamil, Shoaib MIT CSAIL, USA Verified Lifting of Stencil Computations
Amey KarkareKarkare, Amey IIT Kanpur Liveness-Based Garbage Collection for Lazy Languages
Idit KeidarKeidar, Idit Technion - Israel institute of technology Transactional Data Structure Libraries
Gabriele KellerKeller, Gabriele University of New South Wales Committee Member in Programme Committee within the ARRAY-track
David Kempe IIKempe II, David Occurrence Typing Modulo Theories
Andrew KentKent, Andrew Indiana UniversityUnited States Occurrence Typing Modulo Theories
Junghyun KimKim, Junghyun Seoul National UniversityKorea, South A Distributed OpenCL Framework using Redundant Computation and Data Replication
Jungwon KimKim, Jungwon Oak Ridge National LaboratoryUnited States A Distributed OpenCL Framework using Redundant Computation and Data Replication
Zachary KincaidKincaid, Zachary University of TorontoUnited States Committee Member in External Review Committee for PLDI 2016
Christoph KirschKirsch, Christoph University of Salzburg Committee Member in Program Committee for ISMM 2016
Christian KlingerKlinger, Christian University of Texas, Austin Synthesizing Transformations on Hierarchically Structured Data
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Array Program Transformation with Loo.py by Example: High-Order Finite Elements Chair in Programme Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Alex KoganKogan, Alex Oracle LabsUnited States Fast Non-intrusive Memory Reclamation for Highly-Concurrent Data Structures
Uli KremerKremer, Uli Rutgers University, USA Committee Member in Program Committee for LCTES 2016 Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited 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 RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Committee Member in External Review Committee for PLDI 2016
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Keynote: Tracking and Constraining Work Stealing Schedulers Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Morten KrombergKromberg, Morten Invited talk: Notation for Parallel Thoughts
Milind KulkarniKulkarni, Milind Purdue University Panel: Career Paths Panelist in Organizing Committee within the PLMW@PLDI-track
Prasad KulkarniKulkarni, Prasad University of KansasIndia Committee Member in Steering Committee for LCTES 2016 Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Prasanna KumarKumar, Prasanna IIT Bombay Liveness-Based Garbage Collection for Lazy Languages
Vikrant KumarKumar, Vikrant Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Vivek KumarKumar, Vivek Committee Member in Program Committee within the X10-track
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan General Chair in Organizing Committee for LCTES 2016 Session Chair of LCTES Keynote #1 (part of LCTES )
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Program Synthesis from Polymorphic Refinement Types
Tobias KussmaulKussmaul, Tobias TU Darmstadt Towards Cross-Platform Cross-Language Analysis with Soot
Bradley KuszmaulKuszmaul, Bradley MIT Committee Member in Program Committee for ISMM 2016
L Akash LalLal, Akash Microsoft Research IndiaIndia A Design and Verification Methodology for Secure Isolated Regions
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Design and GPGPU Performance of Futhark's Redomap Construct
Michael A. LaurenzanoLaurenzano, Michael A. University of MichiganUnited States Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
Julia LawallLawall, Julia LIP6 Committee Member in External Program Committee for PLDI 2016 Committee Member in Program Committee for LCTES 2016
Vu LeLe, Vu MicrosoftVietnam Committee Member in External Review Committee for PLDI 2016
Doug LeaLea, Doug 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
Dongyoon LeeLee, Dongyoon Virginia Tech, USA Committee Member in Program Committee for LCTES 2016
Jae W. LeeLee, Jae W. Sungkyunkwan UniversityKorea, South Committee Member in Program Committee for LCTES 2016
Jaejin LeeLee, Jaejin Seoul National University A Distributed OpenCL Framework using Redundant Computation and Data Replication
Wonyeol LeeLee, Wonyeol Stanford UniversityUnited States Verifying Bit Manipulations of Floating-Point
Sorin LernerLerner, Sorin University of California, San Diego Invited Talk: Toward Gamification of Proofs about Programs
Ondřej LhotákLhoták, Ondřej University of Waterloo From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Pengcheng LiLi, Pengcheng Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM)
Xiangqi LiLi, Xiangqi University of Utah Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Zhiyuan LiLi, Zhiyuan Purdue Universitym, USA Committee Member in Program Committee for LCTES 2016
Ben LiblitLiblit, Ben University of Wisconsin–Madison Committee Member in External Program Committee for PLDI 2016
Jay LigattiLigatti, Jay University of South Florida Committee Member in External Review Committee for PLDI 2016
Felix LinLin, Felix Purdue University Characterizing Emerging Heterogeneous Memory
Yi LinLin, Yi Australian National University Rust as a Language for High Performance GC Implementation
James LingardLingard, James University of Cambridge (when this work was done) Into the depths of C: elaborating the de facto standards
Barbara LiskovLiskov, Barbara MIT Accepting Blame for Safe Tunneled Exceptions
Hai LiuLiu, Hai Intel Labs Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Jed LiuLiu, Jed Cornell University Committee Member in External Review Committee for PLDI 2016
Liu LiuLiu, Liu Rutgers University Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Xu LiuLiu, Xu College of William and Mary Characterizing Emerging Heterogeneous Memory
Joshua LockermanLockerman, Joshua Yale University Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Alexey LoginovLoginov, Alexey GrammaTech, Inc Polymorphic Type Inference for Machine Code
Calvin LoncaricLoncaric, Calvin University of Washington Fast Synthesis of Fast Collections
Fan LongLong, Fan MIT CSAILUnited States Committee Member in External Review Committee for PLDI 2016
Nuno P. LopesLopes, Nuno P. Microsoft Research A Design and Verification Methodology for Secure Isolated Regions
Shan LuLu, Shan University of Chicago Committee Member in External Review Committee for ISMM 2016 Fighting Software Inefficiency Through Automated Bug Detection Speaker in Organizing Committee within the PLMW@PLDI-track
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Committee Member in Program Committee for PLDI 2016
Hao LuoLuo, Hao University of Rochester Rethinking a Heap Hierarchy as a Cache Hierarchy: A Higher-Order Theory of Memory Demand (HOTM)
Dan LustigLustig, Dan Princeton University/NVIDIAUnited States Committee Member in External Review Committee for PLDI 2016
Welf LöweLöwe, Welf Linnaeus University Block-Free Concurrent GC: Stack Scanning and Copying
M P. MadhusudanMadhusudan, P. University of Illinois at Urbana-Champaign Co-chair in Organizing Committee within the FMS-track
Magnus MadsenMadsen, Magnus University of Waterloo From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Rasool MagharehMaghareh, Rasool Symbolic Execution for Memory Consumption Analysis
Scott MahlkeMahlke, Scott University of Michigan Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
Claire MaizaMaiza, Claire Verimag, France Committee Member in Program Committee for LCTES 2016
Petr MajMaj, Petr ReactorLabs Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Saeed MalekiMaleki, Saeed Microsoft Research Committee Member in External Review Committee for PLDI 2016
Sepideh MalekiMaleki, Sepideh Texas State University Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
Chittaranjan MandalMandal, Chittaranjan Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Louis MandelMandel, Louis Control Structure Overloading in X10
Daniel MarinoMarino, Daniel Symantec Research Labs Committee Member in External Review Committee for PLDI 2016
Chick MarkleyMarkley, Chick UC Berkeley Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Benjamin MarlinMarlin, Benjamin UMass Amherst Assessing the Limits of Program-Specific Garbage Collection Performance
Jason MarsMars, Jason University of Michigan The Secrets Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Committee Member in Organizing Committee within the PLMW@PLDI-track
Luiz G. A. MartinsMartins, Luiz G. A. A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
Peter MarwedelMarwedel, Peter Compensate or Ignore? Meeting control robustness requirements through adaptive Soft-Error Handling
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology Object Support in an Array-based GPGPU Extension for Ruby Committee Member in Programme Committee within the ARRAY-track
Justus MatthiesenMatthiesen, Justus University of Cambridge Into the depths of C: elaborating the de facto standards
Stephen McCamantMcCamant, Stephen University of MinnesotaUnited States Committee Member in Program Committee for PLDI 2016 Session Chair of Down to the Metal I (part of PLDI Research Papers)
Jedidiah McClurgMcClurg, Jedidiah University of Colorado BoulderUnited States Event-driven Network Programming
Ross McIlroyMcIlroy, Ross Google Idle Time Garbage Collection Scheduling
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Committee Member in External Program Committee for PLDI 2016 Research is a Social Process Committee Member in Organizing Committee within the PLMW@PLDI-track
Kenneth L. McMillanMcMillan, Kenneth L. Microsoft Research Ivy: Safety Verification by Interactive Generalization
Kayvan MemarianMemarian, Kayvan University of Cambridge Into the depths of C: elaborating the de facto standards
David MenendezMenendez, David Rutgers University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Na MengMeng, Na Virginia Tech Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Ravindra MettaMetta, Ravindra Tata Research Development and Design Centre TIC: A Scalable Model Checking Based Approach to WCET Estimation
Paul-Jules MicoletMicolet, Paul-Jules A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Serge MidonnetMidonnet, Serge The Scheduling of Parallel Tasks in Heterogeneous Real-Time Systems
Matthew MightMight, Matthew University of Utah, USAUnited States Professional Communication On the Complexity and Performance of Parsing with Derivatives Speaker in Organizing Committee within the PLMW@PLDI-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in Program Committee for PLDI 2016 Session Chair of Software-Defined Networking (part of PLDI Research Papers) Data-Driven Precondition Inference with Learned Features
Josh MilthorpeMilthorpe, Josh IBM ResearchAustralia Resilient X10 over MPI User Level Failure Mitigation Control Structure Overloading in X10 Committee Member in Program Committee within the X10-track
Nhat Minh LeMinh Le, Nhat ENS ParisFrance Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Sasa MisailovicMisailovic, Sasa ETH Zurich Committee Member in External Review Committee for PLDI 2016
Jeremie MiserezMiserez, Jeremie ETH ZürichSwitzerland SDNRacer: Concurrency Analysis for Software-Defined Networks
Tulika MitraMitra, Tulika National University of Singapore, Singapore Committee Member in Program Committee for LCTES 2016
José MoralesMorales, José 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 MossMoss, Eliot University of Massachusetts AmherstUnited States Committee Member in External Review Committee for ISMM 2016 Assessing the Limits of Program-Specific Garbage Collection Performance
Frank MuellerMueller, Frank North Carolina State University, USA Committee Member in Program Committee for LCTES 2016
Eric MullenMullen, Eric University of Washington Verified Peephole Optimizations for CompCert
Onur MutluMutlu, Onur Carnegie Mellon University Committee Member in External Review Committee for ISMM 2016
Onur MutluMutlu, Onur ETH Zurich Keynote talk: Rethinking Memory System Design
Andrew MyersMyers, Andrew Cornell University Committee Member in External Program Committee for PLDI 2016 Session Chair of Security (part of PLDI Research Papers) Accepting Blame for Safe Tunneled Exceptions
Todd MytkowiczMytkowicz, Todd Microsoft Research Committee Member in Program Committee for PLDI 2016
Peter MüllerMüller, Peter ETH Zurich Committee Member in Program Committee within the SOAP-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers University Committee Member in Program Committee for PLDI 2016 Session Chair of Verifying Systems (part of PLDI Research Papers)
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of Technology, USAUnited States Poster Chair in Organizing Committee for PLDI 2016 Chair in Poster Selection Committee within the PLDI Student Posters-track
Ryan R. NewtonNewton, Ryan R. Indiana University Living on the edge: Rapid-toggling probes with cross modification on x86
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEMGermany Toward an Automated Benchmark Management System
Kyndylan NienhuisNienhuis, Kyndylan University of Cambridge Into the depths of C: elaborating the de facto standards
Ricardo NobreNobre, Ricardo FEUP, Universidade do PortoPortugal A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach The LARA-based Compiler Toolsuite
Sam H. NohNoh, Sam H. UNIST (Ulsan National Institute of Science and Technology), Korea Committee Member in Steering Committee for LCTES 2016
Matt NoonanNoonan, Matt GrammaTech, Inc Invited Talk: Machine-code analysis and transformation at GrammaTech Polymorphic Type Inference for Machine Code
Michael NorrishNorrish, Michael NICTA Rust as a Language for High Performance GC Implementation
andres NotzliNotzli, andres Stanford University Verifying Precise Floating-Point Optimizations in LLVM
Nate NystromNystrom, Nate University of Lugano Committee Member in Program Committee within the X10-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Committee Member in Program Committee for LCTES 2016
Robert O'CallahanO'Callahan, Robert Mozilla Corporation Committee Member in External Program Committee for PLDI 2016
Cosmin OanceaOancea, Cosmin Design and GPGPU Performance of Futhark's Redomap Construct
Peter OhmannOhmann, Peter University of Wisconsin - MadisonUnited States Committee Member in External Review Committee for PLDI 2016
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in External Review Committee for PLDI 2016
Guilherme OttoniOttoni, Guilherme Facebook Committee Member in Program Committee for PLDI 2016
P Saswat PadhiPadhi, Saswat University of California, Los Angeles Data-Driven Precondition Inference with Learned Features
Oded PadonPadon, Oded Tel Aviv University Ivy: Safety Verification by Interactive Generalization
David PaduaPadua, David University of Illinois at Urbana-ChampaignUnited 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 PaekPaek, Yunheung Seoul National University, Korea Committee Member in Program Committee for LCTES 2016
Pavel PanchekhaPanchekha, Pavel University of Washington Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Aurojit PandaPanda, Aurojit Ivy: Safety Verification by Interactive Generalization
Raj PariharParihar, Raj University of Rochester Hardware Support for Protective and Collaborative Cache Sharing
Gabriel ParmerParmer, Gabriel The George Washington University CBufs: Efficient, System-Wide Memory Management and Sharing
Bryan ParnoParno, Bryan Ironclad: Full Verification of Complex Systems
Nimrod PartushPartush, Nimrod Technion Statistical Similarity of Binaries
Harish PatilPatil, Harish Using PinPlay for Reproducible Analysis and Replay Debugging
Jeeva PaudelPaudel, Jeeva Committee Member in Program Committee within the X10-track
Hannes PayerPayer, Hannes Google Idle Time Garbage Collection Scheduling
Erez PetrankPetrank, Erez Technion, Israel Committee Member in Steering Committee for ISMM 2016
Gustavo PetriPetri, Gustavo LIAFA, Université Paris Diderot Automatically Learning Shape Specifications
Tomas PetricekPetricek, Tomas University of Cambridge, UK Types from data: Making structured data first-class citizens in F#
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge Committee Member in External Program Committee for PLDI 2016
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Keshav PingaliPingali, Keshav University of Texas, AustinIndia Committee Member in External Program Committee for PLDI 2016
Pedro PintoPinto, Pedro The LARA-based Compiler Toolsuite
Marco PistoiaPistoia, Marco IBM Research, USAItaly Committee Member in External Review Committee for PLDI 2016
Gilles PokamPokam, Gilles Intel Corporation Remix: Online Detection and Repair of Cache Contention for the JVM
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Program Synthesis from Polymorphic Refinement Types
Joe Gibbs PolitzPolitz, Joe Gibbs Swarthmore College Committee Member in External Review Committee for PLDI 2016
Alex PolozovPolozov, Alex University of Washington, USAUkraine PROSE: Programming using Examples
Justin PombrioPombrio, Justin Brown UniversityUnited States Committee Member in Artifact Evaluation Committee for PLDI 2016
Justin PombrioPombrio, Justin Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jonas PosnerPosner, Jonas Cooperation vs. Coordination for Lifeline-Based Global Load Balancing in APGAS
Louis-Noël PouchetPouchet, Louis-Noël Ohio State University Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Michael PradelPradel, Michael TU Darmstadt, Germany Committee Member in External Review Committee for PLDI 2016
Alexander PöpplPöppl, Alexander SWE-X10: An Actor-Based and Locally Coordinated Solver for the Shallow Water Equations ActorX10: An Actor Library for X10
Q Chenxiong QianQian, Chenxiong Georgia Tech Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
R Rodric RabbahRabbah, Rodric IBM ResearchUnited States Committee Member in External Review Committee for PLDI 2016
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft Committee Member in External Review Committee for PLDI 2016
Cosmin RadoiRadoi, Cosmin University of Illinois Committee Member in External Review Committee for PLDI 2016
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Stanford Committee Member in External Review Committee for PLDI 2016
Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania Committee Member in External Review Committee for PLDI 2016
Sriram RajamaniRajamani, Sriram Microsoft Research A Design and Verification Methodology for Secure Isolated Regions
J. RamanujamRamanujam, J. Louisiana State University Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Fabrice RastelloRastello, Fabrice INRIA, France A bounded memory allocator for software-defined global address spaces Generalized Cache Tiling for Dataflow Programs Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Aseem RastogiRastogi, Aseem University of Maryland, College Park Committee Member in External Review Committee for PLDI 2016
Veselin RaychevRaychev, Veselin ETH ZurichBulgaria Committee Member in External Review Committee for PLDI 2016
Vijay J. ReddiReddi, Vijay J. GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing
John RegehrRegehr, John 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 ReidReid, Alastair Session Chair of Session 1: Dynamic Translation and Iterative Compilation (part of LCTES )
Luís ReisReis, Luís SSA-based MATLAB-to-C Compilation and Optimization The LARA-based Compiler Toolsuite On Compiling MATLAB to C: Recent Achievements, Challenges and Open Issues
Nico ReissmannReissmann, Nico Norwegian University of Science and TechnologyNorway Compiling with the Regionalized Value State Dependence Graph
Brianna M. RenRen, Brianna M. University of Maryland, College Park Just-in-Time Static Type Checking for Dynamic Languages
Yuxin RenRen, Yuxin he George washington university CBufs: Efficient, System-Wide Memory Management and Sharing
Martin C. RinardRinard, Martin C. Massachusetts Institute of Technology, USA Committee Member in External Program Committee for PLDI 2016 Configuration Synthesis for Programmable Analog Devices with Arco
Jonathan RisingerRisinger, Jonathan Rutgers University Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Xavier RivalRival, Xavier INRIA/CNRS/ENS Paris Program Co-Chair in Organizing Committee within the SOAP-track
Forrest RobinsonRobinson, Forrest University of Kansas, USA Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Jake RoemerRoemer, Jake Ohio State University Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Sascha RoloffRoloff, Sascha ActorX10: An Actor Library for X10
Tiark RompfRompf, Tiark Purdue & Oracle Labs Sponsorship Chair in Organizing Committee for PLDI 2016
Atanas RountevRountev, Atanas Ohio State University On The Unsoundness of Static Analysis for Android GUIs Committee Member in Program Committee within the SOAP-track
Indrajit RoyRoy, Indrajit How Should We Program Non-volatile Memory?
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Committee Member in Program Committee for PLDI 2016 Panel: What I Wish I Knew When I Started Grad School Panelist in Organizing Committee within the PLMW@PLDI-track
Andrey RybalchenkoRybalchenko, Andrey Microsoft Research Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Cross-platform analysis of mobile apps using the WALA framework
S P. SadayappanSadayappan, P. Ohio State University Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Caitlin SadowskiSadowski, Caitlin Google Committee Member in Program Committee for PLDI 2016
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Committee Member in External Program Committee for PLDI 2016 Ivy: Safety Verification by Interactive Generalization
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Accepting Blame for Safe Tunneled Exceptions
Mehrzad SamadiSamadi, Mehrzad University of Michigan Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Adrian SampsonSampson, Adrian Cornell University & Microsoft Research Committee Member in Program Committee for PLDI 2016
Aravind SankaranSankaran, Aravind India TTC: A Tensor Transposition Compiler for Multiple Architectures
Amitabha SanyalSanyal, Amitabha IIT Bombay Liveness-Based Garbage Collection for Lazy Languages
Dipankar SarkarSarkar, Dipankar Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Santonu SarkarSarkar, Santonu Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs
Rahul SarpeshkarSarpeshkar, Rahul MIT Configuration Synthesis for Programmable Analog Devices with Arco
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit Brussel Committee Member in External Review Committee for ISMM 2016
Eric SchkufzaSchkufza, Eric VMware Research Group Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Cole SchlesingerSchlesinger, Cole Samsung Research America Committee Member in External Review Committee for PLDI 2016
Bettina SchnorSchnor, Bettina Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Committee Member in Program Committee for LCTES 2016
Michael SchuldtSchuldt, Michael Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Christian SchulteSchulte, Christian KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2016
Tobias SchwarzerSchwarzer, Tobias ActorX10: An Actor Library for X10
Koushik SenSen, Koushik University of California, Berkeley Dynamic analysis of JavaScript with Jalangi
Aritra SenguptaSengupta, Aritra Ohio State University Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Sanjit SeshiaSeshia, Sanjit UC Berkeley A Design and Verification Methodology for Secure Isolated Regions
Peter SewellSewell, Peter University of Cambridge Into the depths of C: elaborating the de facto standards
Michael D. ShahShah, Michael D. Tufts University Iceberg: A Tool for Static Analysis of Java Critical Sections
Rian ShambaughShambaugh, Rian University of Massachusetts AmherstUnited States Rehearsal: A Configuration Verification Tool for Puppet
Zhong ShaoShao, Zhong Yale UniversityUnited States Toward Compositional Verification of Interruptible OS Kernels and Device Drivers End-to-End Verification of Information-Flow Security for C and Assembly Programs
Gokarna SharmaSharma, Gokarna Kent State University, USA Committee Member in External Review Committee for ISMM 2016
Rahul SharmaSharma, Rahul Stanford University Data-Driven Precondition Inference with Learned Features Verifying Bit Manipulations of Floating-Point Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
Mary SheeranSheeran, Mary Committee Member in Programme Committee within the ARRAY-track
Shashank ShekharShekhar, Shashank Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Du ShenShen, Du College of William and Mary Characterizing Emerging Heterogeneous Memory
Brendan SheridanSheridan, Brendan A Case for Distributed Work-Stealing in Regular Applications
Sharon ShohamShoham, Sharon Ivy: Safety Verification by Interactive Generalization
Tatiana ShpeismanShpeisman, Tatiana Intel Labs Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Julian ShunShun, Julian University of California, Berkeley Committee Member in External Review Committee for PLDI 2016
Stelios Sidiroglou-DouskosSidiroglou-Douskos, Stelios MIT CSAIL Committee Member in External Review Committee for PLDI 2016
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in External Review Committee for ISMM 2016
Rohit SinhaSinha, Rohit University of California, Berkeley A Design and Verification Methodology for Secure Isolated Regions
Vilhelm SjöbergSjöberg, Vilhelm Yale University Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Ariel SlonimSlonim, Ariel Using PinPlay for Reproducible Analysis and Replay Debugging
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in Program Committee for PLDI 2016
Aaron SmithSmith, Aaron A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Calvin SmithSmith, Calvin University of Wisconsin - Madison MapReduce Program Synthesis
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Committee Member in External Program Committee for PLDI 2016 Session Chair of Verification II (part of PLDI Research Papers) What’s Next for Program Synthesis Verified Lifting of Stencil Computations Precise, Dynamic Information Flow for Database-Backed Applications Program Synthesis from Polymorphic Refinement Types Speaker in Organizing Committee within the PLMW@PLDI-track
Tyler SorensenSorensen, Tyler University College London Exposing Errors Related to Weak Memory in GPU Applications
Robert SouléSoulé, Robert Universita della Svizzera italiana (USI) Committee Member in External Review Committee for PLDI 2016
Marcelo SousaSousa, Marcelo University of Oxford Cartesian Hoare Logic for Verifying k-Safety Properties
Johannes SpazierSpazier, Johannes Automatic Generation of Parallel C Code for Stencil Applications written in MATLAB
Michael SpearSpear, Michael Lehigh University Committee Member in Program Committee for ISMM 2016
Alexander SpiegelmanSpiegelman, Alexander Technion - Israel institute of technology Transactional Data Structure Libraries
Tom SpinkSpink, Tom University of Edinburgh Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Mitchell SpradlinSpradlin, Mitchell University of Chicago Programmatic and Direct Manipulation, Together at Last
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Object Support in an Array-based GPGPU Extension for Ruby
Paul SpringerSpringer, Paul TTC: A Tensor Transposition Compiler for Multiple Architectures
Manu SridharanSridharan, Manu 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 Dynamic analysis of JavaScript with Jalangi
Guy L. Steele Jr.Steele Jr., Guy L. Oracle Labs Committee Member in External Program Committee for PLDI 2016 Committee Member in External Review Committee for ISMM 2016
Gordon StewartStewart, Gordon Ohio University Committee Member in External Review Committee for PLDI 2016
Michelle StroutStrout, Michelle The University of ArizonaUnited States Committee Member in External Program Committee for PLDI 2016 Session Chair of Parsing & Compilation (part of PLDI Research Papers)
Ting SuSu, Ting East China Normal University Coverage-Directed Differential Testing of JVM Implementations
Zhendong SuSu, Zhendong University of California, DavisUnited States Committee Member in Program Committee for PLDI 2016 Coverage-Directed Differential Testing of JVM Implementations
Yulei SuiSui, Yulei Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Chengnian SunSun, Chengnian University of California at Davis, USA Committee Member in Artifact Evaluation Committee for PLDI 2016 Coverage-Directed Differential Testing of JVM Implementations Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Bo Joel SvenssonSvensson, Bo Joel Indiana University Living on the edge: Rapid-toggling probes with cross modification on x86
Don SymeSyme, Don Microsoft Types from data: Making structured data first-class citizens in F#
T Ady TalTal, Ady Using PinPlay for Reproducible Analysis and Replay Debugging
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Committee Member in Program Committee for LCTES 2016
Jubi TanejaTaneja, Jubi University of UtahIndia Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Lingjia TangTang, Lingjia University of Michigan Programming-language Runtime Systems in Datacenters Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation Speaker in Organizing Committee within the PLMW@PLDI-track
Olivier TardieuTardieu, Olivier IBM Research Closing Remarks Opening and Welcome Introduction to (Resilient) X10 and APGAS -- slides are attached Resilient X10 over MPI User Level Failure Mitigation Control Structure Overloading in X10 Committee Member in Program Committee within the X10-track General Chair in Organizing Committee within the X10-track
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States 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 Verified Peephole Optimizations for CompCert Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jürgen TeichTeich, Jürgen ActorX10: An Actor Library for X10
Aditya V. ThakurThakur, Aditya V. Google Committee Member in External Review Committee for PLDI 2016
Ben L. TitzerTitzer, Ben L. Google Committee Member in Program Committee for ISMM 2016 Session Chair of Concurrent Memory Management (part of ISMM )
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Occurrence Typing Modulo Theories
Emina TorlakTorlak, Emina University of WashingtonUnited States Fast Synthesis of Fast Collections
Emma ToschTosch, Emma University of Massachusetts Amherst Committee Member in External Review Committee for PLDI 2016
Ehsan TotoniTotoni, Ehsan Intel Labs Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
Antoine Tran TanTran Tan, Antoine Extending C++ with Co-Array semantics
Omer TrippTripp, Omer IBM Research, USA Cross-platform analysis of mobile apps using the WALA framework
Leonard TruongTruong, Leonard UC Berkeley / Intel Labs Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
U Gang-Ryung UhUh, Gang-Ryung Qualcomm, USA Committee Member in Program Committee for LCTES 2016
Vlad UrecheUreche, Vlad EPFL, SwitzerlandRomania Committee Member in External Review Committee for PLDI 2016
V Laurent VanbeverVanbever, Laurent ETH Zürich SDNRacer: Concurrency Analysis for Software-Defined Networks
Nalini VasudevanVasudevan, Nalini Google FlexVec: Auto-Vectorization for Irregular Loops
Kapil VaswaniVaswani, Kapil Microsoft Research A Design and Verification Methodology for Secure Isolated Regions
Niki VazouVazou, Niki 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 VechevVechev, Martin ETH ZurichBulgaria Committee Member in Program Committee for PLDI 2016 Session Chair of Synthesis II (part of PLDI Research Papers) Invited Talk: Probabilistic Learning from Big Code SDNRacer: Concurrency Analysis for Software-Defined Networks
Panagiotis VekrisVekris, Panagiotis University of California, San Diego Refinement Types for TypeScript
R. VenkateshVenkatesh, R. TIC: A Scalable Model Checking Based Approach to WCET Estimation
Sven VerdoolaegeVerdoolaege, Sven Polyhedral AST generation is more than scanning polyhedra [TOPLAS]
John VilkVilk, John University of Massachusetts, AmherstUnited States Committee Member in External Review Committee for PLDI 2016
Singh VineetVineet, Singh Using PinPlay for Reproducible Analysis and Replay Debugging
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Committee Member in Steering Committee for LCTES 2016 Committee Member in Programme Committee within the ARRAY-track
Haris VolosVolos, Haris How Should We Program Non-volatile Memory?
W Harry WagstaffWagstaff, Harry Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
David WalkerWalker, David 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) Temporal NetKAT
Yan WangWang, Yan On The Unsoundness of Static Analysis for Android GUIs
Tim WarburtonWarburton, Tim Array Program Transformation with Loo.py by Example: High-Order Finite Elements
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Into the depths of C: elaborating the de facto standards
Shiyi WeiWei, Shiyi Virginia Tech Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Aaron WeissWeiss, Aaron University of Massachusetts AmherstUnited States Rehearsal: A Configuration Verification Tool for Puppet
Ben WiedermannWiedermann, Ben Harvey Mudd College Panel: What I Wish I Knew When I Started Grad School Co-chair in Organizing Committee within the PLMW@PLDI-track
James R. WilcoxWilcox, James R. University of WashingtonUnited States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Lucas WilcoxWilcox, Lucas Array Program Transformation with Loo.py by Example: High-Order Finite Elements
Stefan WildermannWildermann, Stefan ActorX10: An Actor Library for X10
Christian WimmerWimmer, Christian Oracle Labs One VM to Rule Them All, One VM to Bind Them
Doug WoosWoos, Doug University of WashingtonUnited States Committee Member in Artifact Evaluation Committee for PLDI 2016 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Bo WuWu, Bo Colorado School of Mines Committee Member in External Review Committee for PLDI 2016
Hui WuWu, Hui University of New South Wales, Australia Committee Member in Program Committee for LCTES 2016
Peng WuWu, Peng Huawei America LabChina Committee Member in Program Committee for ISMM 2016
Xiongnan (Newman) WuWu, Xiongnan (Newman) Yale University Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Youfeng WuWu, Youfeng Intel Corporation FlexVec: Auto-Vectorization for Irregular Loops
X Xiao XiaoXiao, Xiao SourceBrella Inc. Invited Talk: Falcon: Towards an industrial strength heap analyzer
Harry XuXu, Harry University of California, IrvineUnited States Committee Member in Program Committee for ISMM 2016
Jason XueXue, Jason City University of Hong Kong, China Committee Member in Steering Committee for LCTES 2016
Jingling XueXue, Jingling UNSW Australia Committee Member in Steering Committee for LCTES 2016 Committee Member in Program Committee for LCTES 2016 Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Y Navid YaghmazadehYaghmazadeh, Navid University of Texas, Austin Synthesizing Transformations on Hierarchically Structured Data
Eran YahavYahav, Eran TechnionIsrael Committee Member in Program Committee for PLDI 2016 Session Chair of Synthesis I (part of PLDI Research Papers) Statistical Similarity of Binaries
Annie YangYang, Annie Texas State University Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
Chengmo YangYang, Chengmo University of Delaware, USA Committee Member in Program Committee for LCTES 2016
Jean YangYang, Jean Carnegie Mellon University Committee Member in Program Committee for PLDI 2016 Session Chair of Types II (part of PLDI Research Papers) Panel: What I Wish I Knew When I Started Grad School Precise, Dynamic Information Flow for Database-Backed Applications Panelist in Organizing Committee within the PLMW@PLDI-track
Xi YangYang, Xi Australian National University, Australia Committee Member in External Review Committee for PLDI 2016
Ming-Ho YeeYee, Ming-Ho University of Waterloo From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
Wang YiYi, Wang Uppsala University, Sweden Committee Member in Steering Committee for LCTES 2016
Benjamin YlvisakerYlvisaker, Benjamin Colorado College Pseudo-preemptive Threads for Reliable and Maintainable Multitasking Software
Adarsh YogaYoga, Adarsh 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 YongYong, Timothy Rutgers University Improving Energy-Bound Application Effectiveness through Redundancy and Approximation
Greta YorshYorsh, Greta Queen Mary University of London Committee Member in Program Committee for PLDI 2016
Tomofumi YukiYuki, Tomofumi Committee Member in Program Committee within the X10-track
Z Damiano ZanardiniZanardini, Damiano Universidad Politecnica de Madrid, Spain Committee Member in Program Committee for LCTES 2016
Charles ZhangZhang, Charles HKUSTHong 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
Hailong ZhangZhang, Hailong Ohio State University, USA On The Unsoundness of Static Analysis for Android GUIs
Xiangyu ZhangZhang, Xiangyu Purdue University Workshops and Tutorials Chair in Organizing Committee for PLDI 2016
Yizhou ZhangZhang, Yizhou Cornell University Accepting Blame for Safe Tunneled Exceptions
Youtao ZhangZhang, Youtao University of Pittsburgh, USA Steering Committee Chair in Organizing Committee for LCTES 2016
Zheng ZhangZhang, Zheng Rutgers UniversityUnited States Program Chair in Program Committee for ISMM 2016 Program Chair in Organizing Committee for ISMM 2016 Session Chair of Keynote (part of ISMM )
Jianjun ZhaoZhao, Jianjun Shanghai Jiao Tong UniversityChina Coverage-Directed Differential Testing of JVM Implementations
Zhijia ZhaoZhao, Zhijia UC Riverside Committee Member in Poster Selection Committee within the PLDI Student Posters-track
Hao ZhouZhou, Hao Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
He ZhuZhu, He Purdue UniversityUnited States Automatically Learning Shape Specifications
Yuhao ZhuZhu, Yuhao GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Committee Member in External Program Committee for PLDI 2016 Session Chair of Testing & Debugging (part of PLDI Research Papers) Programming Languages and Technical Disruption
Daryl ZunigaZuniga, Daryl University of Washington Verified Peephole Optimizations for CompCert
Andreas ZwinkauZwinkau, Andreas Karlsruhe Institute of Technology A Memory Model for X10
Ö Erik ÖsterlundÖsterlund, Erik Linnaeus University, SwedenSweden Block-Free Concurrent GC: Stack Scanning and Copying

PLDI 2016 Contributors

Results (554)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia