PLDI 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (589)

A Martin AbadiAbadi, Martin Google A Computational Model for TensorFlow (An Introduction) TensorFlow considered as a programming language
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Umut A. AcarAcar, Umut A. Carnegie Mellon University Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Aravind AcharyaAcharya, Aravind Indian Institute of Science, Bangalore Committee Member in Artifact Evaluation Committee for PLDI 2017
Sara AchourAchour, Sara MITUnited States Committee Member in External Review Committee for PLDI 2017
Eddie AftandilianAftandilian, Eddie GoogleUnited States Committee Member in Program Committee for PLDI 2017
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer UW / CSE Gradual Synthesis for Static Parallelization
Amal AhmedAhmed, Amal Northeastern University, USAUnited States FunTAL: Reasonably Mixing a Functional Language with Assembly
Alex AikenAiken, Alex Stanford University Synthesizing Program Input Grammars
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin - Madison Committee Member in External Review Committee for PLDI 2017
Karim AliAli, Karim University of Alberta WALA Hack-A-Thon Committee Member in Organizing Committee within the SOAP-track
Rajeev AlurAlur, Rajeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Nada AminAmin, Nada EPFLSwitzerland Committee Member in External Review Committee for PLDI 2017
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Benjamin AndreassenAndreassen, Benjamin Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Anastasios AntoniadisAntoniadis, Anastasios Greece Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Timos AntonopoulosAntonopoulos, Timos Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Andrew W. AppelAppel, Andrew W. Princeton Session Chair of Intro & industry perspective on crypto (part of DSW) Verifying concurrent C programs with the Verified Software Toolchain
Zena M. AriolaAriola, Zena M. University of Oregon, USA Compiling without continuations
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Neil AudsleyAudsley, Neil University of York, UK Committee Member in Program Committee for LCTES 2017
B David B. WhalleyB. Whalley, David Committee Member in Steering Committee for LCTES 2017
David F. BaconBacon, David F. GoogleUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Language Implementation (part of PLDI Research Papers) Committee Member in Program Committee within the ISMM -track
Rajeev BalasubramonianBalasubramonian, Rajeev Committee Member in External Review Committee within the ISMM -track
George BalatsourasBalatsouras, George University of Athens A Datalog Model of Must-Alias Analysis
Raj BarikBarik, Raj Intel Labs Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Osbert BastaniBastani, Osbert Stanford University Synthesizing Program Input Grammars
JF BastienBastien, JF Apple Bringing the Web up to Speed with WebAssembly
Ryan BeckettBeckett, Ryan Princeton University Network Configuration Synthesis with Abstract Topologies
Marco BekooijBekooij, Marco NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2017
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for PLDI 2017
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Academic hypervisor project; closing discussion (part of DSW) Introduction to verification using the VST Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Pramod BhatotiaBhatotia, Pramod University of Edinburgh Committee Member in Program Committee within the IC-track
Paolo BientinesiBientinesi, Paolo HPTT: A High-Performance Tensor Transposition C++ Library Committee Member in Program Committee within the ARRAY-track
Florian BiermannBiermann, Florian IT University of CopenhagenDenmark Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
Marina BillesBilles, Marina TU Darmstadt Systematic Black-Box Analysis of Collaborative Web Applications
Swarnendu BiswasBiswas, Swarnendu University of Texas at AustinUnited States Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in Program Committee within the ISMM -track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Steering Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 4: A Deeper Look (part of ISMM )
Sam BlackshearBlackshear, Sam FacebookUnited States Building your own modular static analyzer with Facebook Infer
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance Committee Member in SRC Panel for PLDI 2017
Ben BlumBlum, Ben Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Rastislav BodíkBodík, Rastislav University of Washington Automated Incrementalization through Synthesis Synthesizing Highly Expressive SQL Queries from Input-Output Examples Gradual Synthesis for Static Parallelization
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in External Program Committee for PLDI 2017
Kavoos BojnourdiBojnourdi, Kavoos EDF Lab Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
Michael D. BondBond, Michael D. Ohio State University Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Session Chair of Session 2: Clever Data Tricks (part of ISMM ) Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in External Review Committee within the ISMM -track
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia Committee Member in Program Committee for PLDI 2017 Session Chair of Compiler Optimizations (part of PLDI Research Papers)
James BornholtBornholt, James University of WashingtonUnited States Committee Member in External Review Committee for PLDI 2017 Synthesizing Memory Models from Framework Sketches and Litmus Tests
Ashkan Forouhi BoroujeniBoroujeni, Ashkan Forouhi University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in External Program Committee for PLDI 2017
Jalil BoukhobzaBoukhobza, Jalil University of Occidental Brittary, FranceFrance Committee Member in Program Committee for LCTES 2017
Timothy BourkeBourke, Timothy INRIAFrance Committee Member in SRC Panel for PLDI 2017 A Formally Verified Compiler for Lustre
Jason BreckBreck, Jason University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Alexander L. BrooksBrooks, Alexander L. University of Wisconsin, Madison Control-Flow Recovery from Partial Failure Reports
Lelio BrunBrun, Lelio ENS/InriaFrance A Formally Verified Compiler for Lustre
Rodrigo BrunoBruno, Rodrigo INESC-ID / Instituto Superior Técnico, University of Lisbon NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
Aydin BulucBuluc, Aydin Lawrence Berkeley National Laboratory Committee Member in Program Committee within the ARRAY-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in External Review Committee for PLDI 2017
Bernd BurgstallerBurgstaller, Bernd Yonsei University, Korea Committee Member in Program Committee for LCTES 2017
C Anthony CaninoCanino, Anthony SUNY Binghamton Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Michael CarbinCarbin, Michael MITUnited States Committee Member in External Review Committee for PLDI 2017 Organizer in Mentors within the PLMW-track
João M. P. CardosoCardoso, João M. P. University of Porto, Portugal Committee Member in Program Committee for LCTES 2017
Calin CascavalCascaval, Calin Barefoot Networks P4: Programming the Network Data Plane
Aleksandar ChakarovChakarov, Aleksandar University of Colorado BoulderUnited States Committee Member in External Review Committee for PLDI 2017
Buddhika ChamithChamith, Buddhika Indiana UniversityUnited States Instruction Punning: Lightweight Instrumentation for x86-64
Van Chan NgoChan Ngo, Van Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the SOAP-track
Li-Pin ChangChang, Li-Pin National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2017
Yuan-Hao (Johnson) ChangChang, Yuan-Hao (Johnson) Institute of Information Science, Academia Sinica Committee Member in Program Committee for LCTES 2017
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee for PLDI 2017 Session Chair of Learning and Probabilistic (part of PLDI Research Papers) Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Guoyang ChenChen, Guoyang QualcommUnited States Committee Member in External Review Committee within the ISMM -track
Hanfeng ChenChen, Hanfeng McGill UniversityCanada An ELI-to-C Compiler: Design, Implementation and Performance
Xianzhang ChenChen, Xianzhang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Yiran ChenChen, Yiran University of Pittsburgh A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yu-Fang ChenChen, Yu-Fang Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
James CheneyCheney, James University of Edinburgh, UKUnited States Incremental Relational Lenses
Perry ChengCheng, Perry IBM Research Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the ISMM -track
Alvin CheungCheung, Alvin University of Washington Committee Member in Program Committee for PLDI 2017 Session Chair of Verified Computation (part of PLDI Research Papers) Synthesizing Highly Expressive SQL Queries from Input-Output Examples HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Wai-Mee ChingChing, Wai-Mee An ELI-to-C Compiler: Design, Implementation and Performance
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW) Correct-by-Construction Generation of Fast Code for Elliptic Curves Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Stephen ChongChong, Stephen Harvard University, USA Organizer in Mentors within the PLMW-track
Maria ChristakisChristakis, Maria MPI-SWS, GermanyGreece Committee Member in External Review Committee for PLDI 2017
Jan ChristianChristian, Jan Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Shumo ChuChu, Shumo University of Washington, USAChina Committee Member in Artifact Evaluation Committee for PLDI 2017 HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee for PLDI 2017
Pietro CicottiCicotti, Pietro San Diego Supercomputer Center RTHMS: A Tool for Data Placement on Hybrid Memory System
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Organizing Committee within the SOAP-track
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Albert CohenCohen, Albert INRIAFrance General Chair in Organizing Committee for PLDI 2017 Session Chair of Welcome (part of PLDI Invited Speakers) Closing
Alexei ColinColin, Alexei Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Manuel CostaCosta, Manuel Microsoft Research Simple, fast and safe manual memory management
John CriswellCriswell, John University of Rochester Flexible and Efficient Memory Object Metadata
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–MadisonItaly Session Chair of Static Analysis (part of PLDI Research Papers) Automatic Program Inversion using Symbolic Transducers Control-Flow Recovery from Partial Failure Reports
Amanieu d'Antrasd'Antras, Amanieu University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France A Formally Verified Compiler for Lustre
Luke DalessandroDalessandro, Luke Indiana University Instruction Punning: Lightweight Instrumentation for x86-64
David DaraisDarais, David University of Maryland, USAUnited States Video Chair in Organizing Committee for PLDI 2017
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in External Review Committee for PLDI 2017
Sanjoy DasDas, Sanjoy Azul Systems Taming Undefined Behavior in LLVM
Mohammad DashtiDashti, Mohammad University of British Columbia Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Yaniv DavidDavid, Yaniv Technion Similarity of Binaries through re-Optimization
Laurent DaynesDaynes, Laurent Committee Member in External Review Committee within the ISMM -track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the IC-track
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in Program Committee for PLDI 2017 Session Chair of Correctness (part of PLDI Research Papers) BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Bui Phi DiepDiep, Bui Phi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Christian DietrichDietrich, Christian OSEK-V: Application-Specific RTOS Instantiation in Hardware
Jens DietrichDietrich, Jens Massey UniversityNew Zealand On the Construction of Soundness Oracles
Işıl DilligDillig, Işıl UT Austin Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples Organizer in Mentors within the PLMW-track
Christos DimoulasDimoulas, Christos Harvard University, USA FunTAL: Reasonably Mixing a Functional Language with Assembly
Chen DingDing, Chen University of Rochester Committee Member in Program Committee within the ISMM -track
Xianzhong DingDing, Xianzhong Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Yufei DingDing, Yufei North Carolina State UniversityChina Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Dino DistefanoDistefano, Dino Facebook London Building your own modular static analyzer with Facebook Infer
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States WALA Everywhere WALA Hack-A-Thon
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in External Review Committee for PLDI 2017
Hailiang DongDong, Hailiang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Kshitij DoshiDoshi, Kshitij Intel Corporation Continuous Checkpointing of HTM Transactions in NVM
Paul DownenDownen, Paul University of Oregon, USA Compiling without continuations
Goran DoychevDoychev, Goran IMDEA Software Institute Rigorous Analysis of Software Countermeasures against Cache Attacks
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in External Review Committee for PLDI 2017
Derek DreyerDreyer, Derek MPI-SWS Repairing Sequential Consistency in C/C++11
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program Committee for PLDI 2017
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
E Michael EichbergEichberg, Michael TU Darmstadt, Germany Hermes: Assessment and Creation of Effective Test Corpora
Rudolf EigenmannEigenmann, Rudolf Purdue University Committee Member in Organizing Committee within the WCIRE-track
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Levity Polymorphism
Jason EisnerEisner, Jason The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Ariel EizenbergEizenberg, Ariel University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Martin ElsmanElsman, Martin Department of Computer Science, University of CopenhagenDenmark Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 2 (part of ARRAY) Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands IncAL: A DSL for Incremental Program Analysis with Lattices Privacy-aware Distributed Incremental Computation Committee Member in Organizing Committee within the IC-track
Stefano ErmonErmon, Stefano Stanford Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Verifying invariants of lock-free data structures with rely-guarantee and refinement type
F Heiko FalkFalk, Heiko Ulm University, Germany Committee Member in Steering Committee for LCTES 2017
Bin FangFang, Bin East China Normal University (China) and University Paris Diderot and CNRS (France)China A Refinement Hierarchy for Free List Memory Allocators
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Synthesis of Divide and Conquer Parallelism for Loops
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) Simon Fraser University Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Grigory FedyukovichFedyukovich, Grigory UW CSE Gradual Synthesis for Static Parallelization
Yu FengFeng, Yu University of Texas at Austin, USAChina Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Kostas FerlesFerles, Kostas University of Texas at Austin, USAUnited States A Datalog Model of Must-Alias Analysis
Paulo FerreiraFerreira, Paulo INESC-ID / Instituto Superior Técnico, University of LisbonPortugal NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
John FieldField, John GoogleUnited States Committee Member in External Review Committee for PLDI 2017
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Sebastian FischmeisterFischmeister, Sebastian University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2017
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Chair in Steering Committee for PLDI 2017 BigFoot: Static Check Placement for Dynamic Race Detection
Olivier FlückigerFlückiger, Olivier Northeastern University Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Bryan FordFord, Bryan Swiss Federal Institute of Technology Lausanne (EPFL), SwitzerlandSwitzerland Committee Member in External Review Committee for PLDI 2017
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Committee Member in Program Committee for PLDI 2017 Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in External Program Committee for PLDI 2017 P4: Programming the Network Data Plane
Daniel FramptonFrampton, Daniel Microsoft Committee Member in External Review Committee within the ISMM -track
Franz FranchettiFranchetti, Franz Carnegie Mellon University Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Matthew Francis-LandauFrancis-Landau, Matthew The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Björn FrankeFranke, Björn University of Edinburgh Committee Member in Steering Committee for LCTES 2017
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Committee Member in External Program Committee for PLDI 2017 Career paths in Computer Science BigFoot: Static Check Placement for Dynamic Race Detection Panelist in Mentors within the PLMW-track
Sheng-Yu FuFu, Sheng-Yu Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Zhoulai FuFu, Zhoulai University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Achieving High Coverage for Floating-point Code via Unconstrained Programming
G Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in External Review Committee for PLDI 2017
Jim GarsideGarside, Jim University of Manchester Low Overhead Dynamic Binary Translation on ARM
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Paul GazzilloGazzillo, Paul Yale UniversityUnited States Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Soheil GhiasiGhiasi, Soheil UC Davis, USA Committee Member in Program Committee for LCTES 2017
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Steering Committee for PLDI 2017 Invited talk: APLicative Programming with Naperian Functors
Ellis GilesGiles, Ellis Rice University Continuous Checkpointing of HTM Transactions in NVM
Roberto GioiosaGioiosa, Roberto Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Dan GohmanGohman, Dan Mozilla Bringing the Web up to Speed with WebAssembly
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Committee Member in SRC Panel for PLDI 2017
Colin GordonGordon, Colin Drexel UniversityUnited States Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Cosmin GorgovanGorgovan, Cosmin University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the SOAP-track
Alexey GotsmanGotsman, Alexey IMDEA Committee Member in External Review Committee for PLDI 2017
Justin GottschlichGottschlich, Justin Intel Labs Introduction and Welcome Concluding Remarks Committee Member in Organizing Committee within the MAPL-track Program Chair in Program Committee within the MAPL-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Matthias GrimmerGrimmer, Matthias Oracle Labs, Austria Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Tobias GrosserGrosser, Tobias ETH Zurich Committee Member in SRC Panel for PLDI 2017 Publicity Chair in Organizing Committee for PLDI 2017 Polyhedral Compilation Committee Member in Program Committee within the ARRAY-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Systems and Performance (part of PLDI Research Papers) Debugging Probabilistic Programs Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Boris GrotGrot, Boris University of Edinburgh, UK Publicity Chair in Organizing Committee for LCTES 2017
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Hui GuanGuan, Hui North Carolina State University Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Nan GuanGuan, Nan Hong Kong Polytechnic University, China Committee Member in Program Committee for LCTES 2017 [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Sumit GulwaniGulwani, Sumit Microsoft Research Programming by Examples: PL Meets ML
Aarti GuptaGupta, Aarti Princeton University Committee Member in External Review Committee for PLDI 2017
Sam GuyerGuyer, Sam Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
H Christine H. FloodH. Flood, Christine Red Hat Chair in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Andreas HaasHaas, Andreas Google Bringing the Web up to Speed with WebAssembly
Mary HallHall, Mary University of Utah Committee Member in Program Committee within the MAPL-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Privacy-aware Distributed Incremental Computation
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in Organizing Committee within the IC-track
Frank HannigHannig, Frank Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Auto-Vectorization for Image Processing DSLs
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands IceDust Calculation Strategy Composition Performance in Web Applications
Robert HarperHarper, Robert CWI Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Tim HarrisHarris, Tim Oracle Labs Committee Member in Program Committee for PLDI 2017
Matin HashemiHashemi, Matin Sharif University of TechnologyIran Committee Member in Program Committee for LCTES 2017
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Peter HawkinsHawkins, Peter Google Committee Member in Program Committee within the MAPL-track
Kyle HeadleyHeadley, Kyle University of Colorado BoulderUnited States Tuning Data and Control Structures for Incremental Computation
Laurie HendrenHendren, Laurie McGill University, CanadaCanada An ELI-to-C Compiler: Design, Implementation and Performance
Fritz HengleinHenglein, Fritz DIKU, Denmark Automatic Incrementalization of Functional Reports Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Troels HenriksenHenriksen, Troels DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Seonyeong HeoHeo, Seonyeong POSTECH Integrated IoT Programming with Selective Abstraction
Maurice HerlihyHerlihy, Maurice Brown University Committee Member in Program Committee within the ISMM -track
Ben HermannHermann, Ben University of PaderbornGermany SootKeeper: Runtime Reusability for Modular Static Analysis Hermes: Assessment and Creation of Effective Test Corpora
Stefan HeuleHeule, Stefan Stanford University, USAUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for PLDI 2017 What is research and how to do it? Thinking globally and acting locally. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels Speaker in Mentors within the PLMW-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in External Review Committee for PLDI 2017
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in Program Committee for PLDI 2017
Michael HolmanHolman, Michael Microsoft Bringing the Web up to Speed with WebAssembly
Lukáš HolíkHolík, Lukáš Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Ding-Yong HongHong, Ding-Yong Institute of Information Science, Academia Sinica Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Rudi HornHorn, Rudi University of Edinburgh Incremental Relational Lenses
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Committee Member in Steering Committee for ISMM 2017
Wei-Chung HsuHsu, Wei-Chung Dept. Computer Science & Information Engineering, National Taiwan University Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Jingtong HuHu, Jingtong Oklahoma State University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Qinheping HuHu, Qinheping University of Wisconsin-MadisonUnited States Automatic Program Inversion using Symbolic Transducers
Yu HuaHua, Yu Huazhong University of Science and Technology Committee Member in Program Committee for LCTES 2017
Daniel HuangHuang, Daniel Harvard University Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Huawei HuangHuang, Huawei The University of Aizu Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Jeff HuangHuang, Jeff Texas A&M University Committee Member in Program Committee for PLDI 2017 Session Chair of Concurrency Analysis (part of PLDI Research Papers)
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Repairing Sequential Consistency in C/C++11 Taming Undefined Behavior in LLVM
Martin HuschenbettHuschenbett, Martin Jane StreetUnited Kingdom Career paths in Computer Science
I Costin IancuIancu, Costin Lawrence Berkeley National Laboratory Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Michael IsardIsard, Michael Google A Computational Model for TensorFlow (An Introduction)
Shachar ItzhakyItzhaky, Shachar MIT CSAILUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zachary G. IvesIves, Zachary G. University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
J Suresh JagannathanJagannathan, Suresh Purdue University Committee Member in External Program Committee for PLDI 2017
Michael JantzJantz, Michael University of Tennessee AOT Vs. JIT: Impact of Profile Data on Code Quality
Ciera JaspanJaspan, Ciera Google Committee Member in Program Committee within the SOAP-track
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Program Committee within the IC-track
Jinkyu JeongJeong, Jinkyu Sungkyunkwan UniversityKorea, South Committee Member in Program Committee within the ISMM -track
Ranjit JhalaJhala, Ranjit University of California at San Diego, USAUnited States Committee Member in External Review Committee for PLDI 2017 Refinement Types for Program Verification and Synthesis
Zhiping JiaJia, Zhiping Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Lei JiangJiang, Lei Indiana University BloomingtonUnited States Committee Member in Program Committee for LCTES 2017
Weiwen JiangJiang, Weiwen Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Sun JinghaoJinghao, Sun [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the ISMM -track
Alexander JordanJordan, Alexander Oracle Labs, Australia Bug detection in JavaScript web apps using the SAFE framework
Herbert JordanJordan, Herbert University of Innsbruck Engineering Static Analyzers with Soufflé
Arpit JoshiJoshi, Arpit University of Edinburgh, UK Web Chair in Organizing Committee for LCTES 2017
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee for LCTES 2017 Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
K Raghavendra KagalavadiKagalavadi, Raghavendra Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Gowtham KakiKaki, Gowtham Purdue University Committee Member in Artifact Evaluation Committee for PLDI 2017
Saurabh KalikarKalikar, Saurabh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Amir KamilKamil, Amir University of Michigan Committee Member in Program Committee within the ARRAY-track
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Static Deadlock Detection for Asynchronous C# Programs
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South Repairing Sequential Consistency in C/C++11
Vini KanvarKanvar, Vini Indian Institute of Technology (IIT) BombayIndia "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
George KastrinisKastrinis, George University of AthensGreece A Datalog Model of Must-Alias Analysis
Piyus KediaKedia, Piyus Indian Institute of Technology Delhi Simple, fast and safe manual memory management
Gokcen KestorKestor, Gokcen Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Sanjeev KhannaKhanna, Sanjeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Farzad KhorasaniKhorasani, Farzad Rice University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Bongjun KimKim, Bongjun POSTECH Integrated IoT Programming with Selective Abstraction
Dongsun KimKim, Dongsun University of LuxembourgLuxembourg Bug detection in JavaScript web apps using the SAFE framework
Hanjun KimKim, Hanjun POSTECH Session Chair of Session 3: Non-Volatile Memory/Processor and RTOS (part of LCTES ) Integrated IoT Programming with Selective Abstraction
Jong KimKim, Jong POSTECH Integrated IoT Programming with Selective Abstraction
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Taming Undefined Behavior in LLVM
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Committee Member in Program Committee for PLDI 2017 Compositional Recurrence Analysis Revisited
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign Dynamic Race Prediction in Linear Time
Christoph KirschKirsch, Christoph University of SalzburgAustria General Chair in Organizing Committee for ISMM 2017 Session Chair of Opening (part of ISMM ) Design versus Performance: From Giotto via the Embedded Machine to Selfie
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 1 (part of ARRAY) Session Chair of Keynote (part of ARRAY) Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Christof KobylkoKobylko, Christof Auto-Vectorization for Image Processing DSLs
Ugur KocKoc, Ugur University of Maryland, College ParkUnited States Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Martin KongKong, Martin Rice University Committee Member in SRC Panel for PLDI 2017
Eric KoskinenKoskinen, Eric Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Nikolai KosmatovKosmatov, Nikolai Shadow State Encoding for Efficient Monitoring of Block-level Properties
Uli KremerKremer, Uli Rutgers University, USA Committee Member in Program Committee for LCTES 2017
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Co-chair in Artifact Evaluation Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Cache Locality Optimization for Recursive Programs
Paddy KrishnanKrishnan, Paddy An Efficient Tunable Selective Points-to Analysis for Large Codebases
Milind KulkarniKulkarni, Milind Purdue University Committee Member in Program Committee for PLDI 2017 Session Chair of Parallelization and Concurrency (part of PLDI Research Papers) Session Chair of Session 2 (part of WCIRE) Session Chair of Discussion (part of WCIRE) Session Chair of Session 1 (part of WCIRE) Session Chair of Opening (part of WCIRE) Session Chair of Session 3 (part of WCIRE) Opening Remarks Open Discussion: Building Infrastructure for Research and Education Committee Member in Organizing Committee within the WCIRE-track
Prasad KulkarniKulkarni, Prasad Committee Member in Steering Committee for LCTES 2017
Prasad KulkarniKulkarni, Prasad University of Kansas AOT Vs. JIT: Impact of Profile Data on Code Quality
Sulekha KulkarniKulkarni, Sulekha University of Pennsylvania Committee Member in Artifact Evaluation Committee for PLDI 2017
Ramana KumarKumar, Ramana Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Writing Verified Programs in CakeML
Snehasish KumarKumar, Snehasish Simon Fraser University Committee Member in Artifact Evaluation Committee for PLDI 2017
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan Committee Member in Steering Committee for LCTES 2017
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Committee Member in Artifact Evaluation Committee for PLDI 2017 DemoMatch: API Discovery from Demonstrations
Mirko KöhlerKöhler, Mirko Technical University of Darmstadt Privacy-aware Distributed Incremental Computation
Boris KöpfKöpf, Boris IMDEA Software Institute, SpainSpain Rigorous Analysis of Software Countermeasures against Cache Attacks
Florian KüblerKübler, Florian TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
L Ori LahavLahav, Ori MPI-SWS Repairing Sequential Consistency in C/C++11
Patrick LamLam, Patrick University of Waterloo Committee Member in External Review Committee for PLDI 2017
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Automatic Incrementalization of Functional Reports
Andrei LascuLascu, Andrei Imperial College London Committee Member in Artifact Evaluation Committee for PLDI 2017
Erwin LaureLaure, Erwin KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Dongyoon LeeLee, Dongyoon Virginia Tech, USA Committee Member in Program Committee for LCTES 2017
Gyeongmin LeeLee, Gyeongmin POSTECH Integrated IoT Programming with Selective Abstraction
Jae W. LeeLee, Jae W. Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Juneyoung LeeLee, Juneyoung Seoul National University Taming Undefined Behavior in LLVM
Sorin LernerLerner, Sorin University of California, San Diego Committee Member in External Program Committee for PLDI 2017
Xavier LeroyLeroy, Xavier Inria A Formally Verified Compiler for Lustre
Ruy Ley-WildLey-Wild, Ruy LogicBlox Committee Member in Program Committee within the IC-track
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Committee Member in External Program Committee for PLDI 2017 Context Transformations for Pointer Analysis Miniphases: Compilation using Modular and Efficient Tree Transformations
Fuyang LiLi, Fuyang Department of Computer Science, City University of Hong Kong, Hong Kong [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Qingan LiLi, Qingan State Key Laboratory of Software Engineering, Wuhan University, China [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Yue LiLi, Yue UNSW AustraliaChina Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Percy LiangLiang, Percy Stanford University Synthesizing Program Input Grammars
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Control-Flow Recovery from Partial Failure Reports
Jonathan LifflanderLifflander, Jonathan Cache Locality Optimization for Recursive Programs
Yongpan LiuLiu, Yongpan Tsinghua University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Zhengyang LiuLiu, Zhengyang Beijing University of Posts and TelecommunicationsChina Flexible and Efficient Memory Object Metadata
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Daniel LohmannLohmann, Daniel Friedrich-Alexander-Universität, Germany OSEK-V: Application-Specific RTOS Instantiation in Hardware
Nuno P. LopesLopes, Nuno P. Microsoft Research Taming Undefined Behavior in LLVM
Shan LuLu, Shan University of Chicago Committee Member in Program Committee for PLDI 2017
Yi LuLu, Yi Oracle An Efficient Tunable Selective Points-to Analysis for Large Codebases
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Co-chair in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017
Mikel LujánLuján, Mikel University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO
Mikel LujánLuján, Mikel Low Overhead Dynamic Binary Translation on ARM
Mingsong LvLv, Mingsong Northeastern University [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
M Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in External Review Committee for PLDI 2017
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in External Program Committee for PLDI 2017
Magnus MadsenMadsen, Magnus University of WaterlooDenmark Committee Member in Program Committee within the SOAP-track
Ratul MahajanMahajan, Ratul Microsoft Network Configuration Synthesis with Abstract Topologies
David MajnemerMajnemer, David Google Taming Undefined Behavior in LLVM
Ronald MakMak, Ronald San Jose State University Student Travel Co-Chair in Organizing Committee for PLDI 2017
Konstantinos MamourasMamouras, Konstantinos University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Vikash MansinghkaMansinghka, Vikash Massachusetts Institute of Technology Committee Member in Program Committee for PLDI 2017
William ManskyMansky, William Princeton UniversityUnited States BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Vicent Sanz MarcoMarco, Vicent Sanz Lancaster University Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
Stefano MarkidisMarkidis, Stefano KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Ruben MartinsMartins, Ruben Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Xavier MartorellMartorell, Xavier Barcelona Supercomputing Center Chair in SRC Panel for PLDI 2017 Student Research Competition Chair in Organizing Committee for PLDI 2017
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Modular Array-based GPU Computing in a Dynamically-typed Language Committee Member in Program Committee within the ARRAY-track
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States Dynamic Race Prediction in Linear Time
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Keynote: Incrementalizing the Rust Compiler Speaker in Keynote speaker within the IC-track
Luke MaurerMaurer, Luke University of Oregon, USAUnited States Compiling without continuations
Stephen McCamantMcCamant, Stephen University of MinnesotaUnited States Committee Member in External Review Committee for PLDI 2017
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Hot, Classic, and Unrecognized Problems in Programming Languages Career paths in Computer Science Debugging Probabilistic Programs Speaker in Mentors within the PLMW-track
David MenendezMenendez, David Rutgers University ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
Mira MeziniMezini, Mira TU DarmstadtGermany Privacy-aware Distributed Incremental Computation Hermes: Assessment and Creation of Effective Test Corpora
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly Committee Member in Artifact Evaluation Committee for PLDI 2017
Samuel MidkiffMidkiff, Samuel School of Electrical and Computer Engineering, Purdue UniversityUnited States Opening Remarks Open Discussion: Building Infrastructure for Research and Education Committee Member in Organizing Committee within the WCIRE-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in External Program Committee for PLDI 2017 Network Configuration Synthesis with Abstract Topologies
Anders MiltnerMiltner, Anders Princeton University Committee Member in Artifact Evaluation Committee for PLDI 2017
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Synthesis (part of PLDI Research Papers)
Tulika MitraMitra, Tulika National University of Singapore, SingaporeSingapore Committee Member in Program Committee for LCTES 2017
Greg MorrisettMorrisett, Greg Cornell University Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Rashmi MudduluruMudduluru, Rashmi Microsoft Research IndiaIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Frank MuellerMueller, Frank North Carolina State University, USA Committee Member in Program Committee for LCTES 2017
Stefan K. MullerMuller, Stefan K. Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Charlie MurphyMurphy, Charlie Princeton University Verified Perceptron Convergence Theorem
Derek MurrayMurray, Derek Google A Computational Model for TensorFlow (An Introduction)
Madan MusuvathiMusuvathi, Madan Microsoft Research Committee Member in Program Committee for PLDI 2017 Fusing Effectful Comprehensions
Onur MutluMutlu, Onur ETH Zurich Committee Member in Program Committee for PLDI 2017
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Writing Verified Programs in CakeML
Todd MytkowiczMytkowicz, Todd Debugging Probabilistic Programs Fusing Effectful Comprehensions
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Program Committee for PLDI 2017 Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Systematic Black-Box Analysis of Collaborative Web Applications
Patrick MüllerMüller, Patrick TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
N Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK General Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 2 (part of LCTES )
Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Committee Member in External Review Committee for PLDI 2017 ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
Mayur NaikNaik, Mayur Georgia Tech Committee Member in Program Committee for PLDI 2017 Session Chair of Static Analysis and Security (part of PLDI Research Papers) Combining the Logical and the Probabilistic in Program Analysis
Chandrakana NandiNandi, Chandrakana University of Washington, USAIndia Debugging Probabilistic Programs
Lasse NatvigNatvig, Lasse Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Committee Member in External Review Committee for PLDI 2017 Instruction Punning: Lightweight Instrumentation for x86-64
Victor NicoletNicolet, Victor University of TorontoFrance Synthesis of Divide and Conquer Parallelism for Loops
Chuanyao NieNie, Chuanyao The University of New South Wales Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Lin NingNing, Lin North Carolina State University Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Aleksey NoginNogin, Aleksey HRL Laboratories, LLCUnited States Using formal tools to develop high-assurance software for autonomous ground vehicles
Sam H. NohNoh, Sam H. UNIST (Ulsan National Institute of Science and Technology), Korea Committee Member in Steering Committee for LCTES 2017
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Writing Verified Programs in CakeML
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017 Committee Member in Program Committee within the MAPL-track
Peter O'HearnO'Hearn, Peter Facebook Building your own modular static analyzer with Facebook Infer
Cosmin OanceaOancea, Cosmin DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Miniphases: Compilation using Modular and Efficient Tree Transformations What to Leave Implicit
Peter OhmannOhmann, Peter University of Wisconsin - MadisonUnited States Control-Flow Recovery from Partial Failure Reports
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Scala, LMS and Delite for High-Performance DSLs and Program Generators Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Organizing Chair in Organizing Committee for PLDI 2017
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in External Review Committee for PLDI 2017
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the IC-track
Leo OsvaldOsvald, Leo Purdue University, USA Committee Member in Artifact Evaluation Committee for PLDI 2017 Flexible Data Views: Design and Implementation
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Writing Verified Programs in CakeML
P Uday P. KhedkerP. Khedker, Uday "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
Jitendra PadhyePadhye, Jitendra Microsoft Network Configuration Synthesis with Abstract Topologies
David PaduaPadua, David University of Illinois at Urbana-Champaign Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Afternoon talks 1 (part of ARRAY) Session Chair of Invited talk (part of ARRAY) Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Yunheung PaekPaek, Yunheung Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in External Program Committee for PLDI 2017
Chen PanPan, Chen A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Jihyeok ParkPark, Jihyeok KAIST, South Korea Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UKUnited Kingdom Simple, fast and safe manual memory management Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Nimrod PartushPartush, Nimrod Technion Similarity of Binaries through re-Optimization
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States FunTAL: Reasonably Mixing a Functional Language with Assembly
Hannes PayerPayer, Hannes Google Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 1: Garbage Collection (part of ISMM ) Committee Member in Program Committee within the ISMM -track
David J. PearcePearce, David J. Victoria University of WellingtonUnited Kingdom Array Programming in Whiley
Ivy Bo PengPeng, Ivy Bo KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Yuanfeng PengPeng, Yuanfeng University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Jamie PercontiPerconti, Jamie Northeastern University FunTAL: Reasonably Mixing a Functional Language with Assembly
Erez PetrankPetrank, Erez Technion Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Dmytro PetrashkoPetrashko, Dmytro EPFL Miniphases: Compilation using Modular and Efficient Tree Transformations
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge Levity Polymorphism Compiling without continuations
Luís Picciochi OliveiraPicciochi Oliveira, Luís Feedzai NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
Toma PigliPigli, Toma University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Keshav PingaliPingali, Keshav University of Texas, AustinIndia Committee Member in Steering Committee for PLDI 2017
Elvira PinoPino, Elvira Dept. of Computer Science UPC Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Marco PistoiaPistoia, Marco IBM ResearchUnited States Committee Member in Program Committee for PLDI 2017
Laurent PlagnePlagne, Laurent EDF Lab Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in External Review Committee for PLDI 2017
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USAUnited States Refinement Types for Program Verification and Synthesis
Adam PorterPorter, Adam University of Maryland Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University Financial Chair in Organizing Committee for PLDI 2017 The ROSE Compiler Framework Opening Remarks Open Discussion: Building Infrastructure for Research and Education Committee Member in Organizing Committee within the WCIRE-track
Marc PouzetPouzet, Marc École normale supérieureFrance A Formally Verified Compiler for Lustre
Bobby PowersPowers, Bobby University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee for PLDI 2017
Michael PradelPradel, Michael TU Darmstadt Committee Member in Program Committee for PLDI 2017 Session Chair of Dynamic Analysis and Testing (part of PLDI Research Papers) Systematic Black-Box Analysis of Collaborative Web Applications
Tony PrintezisPrintezis, Tony Twitter Committee Member in Program Committee within the ISMM -track
Markus PüschelPüschel, Markus ETH ZurichSwitzerland Scala, LMS and Delite for High-Performance DSLs and Program Generators
Q Keni QiuQiu, Keni Capital Normal University, Beijing, China [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
R Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Zvonimir RakamaricRakamaric, Zvonimir University of UtahUnited States Committee Member in External Review Committee for PLDI 2017
Shawn RasheedRasheed, Shawn Massey UniversityNew Zealand On the Construction of Soundness Oracles
Veselin RaychevRaychev, Veselin ETH Zurich Committee Member in External Review Committee for PLDI 2017
Mariana RaykovaRaykova, Mariana Yale University Committee Member in External Review Committee for PLDI 2017
Chandan ReddyReddy, Chandan INRIA Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG
John RegehrRegehr, John University of UtahUnited States Committee Member in External Program Committee for PLDI 2017 Taming Undefined Behavior in LLVM
Oliver ReicheReiche, Oliver Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany Auto-Vectorization for Image Processing DSLs
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Hermes: Assessment and Creation of Effective Test Corpora
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Compositional Recurrence Analysis Revisited
Ahmed RezineRezine, Ahmed Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Dustin RhodesRhodes, Dustin BigFoot: Static Check Placement for Dynamic Race Detection
Nathan RicciRicci, Nathan Committee Member in Program Committee within the ISMM -track
Lionel RiegRieg, Lionel Collège de France A Formally Verified Compiler for Lustre
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in External Review Committee for PLDI 2017
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Dominic RizzoRizzo, Dominic Google Building Faith in Experts: Applying Formal Verification to Cryptography
Oscar RodriguezRodriguez, Oscar JetBrains JetBrains Meta Programming System (MPS)
Tiark RompfRompf, Tiark Purdue UniversityUnited States Flexible Data Views: Design and Implementation Scala, LMS and Delite for High-Performance DSLs and Program Generators
Andreas RossbergRossberg, Andreas GoogleGermany Bringing the Web up to Speed with WebAssembly
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Committee Member in External Review Committee for PLDI 2017
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee for PLDI 2017
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction Journey to Find Bugs in JavaScript Web Applications in the Wild Bug detection in JavaScript web apps using the SAFE framework
S Parsa SaadatpanahSaadatpanah, Parsa University of Maryland Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Olli SaarikiviSaarikivi, Olli Fusing Effectful Comprehensions
P. SadayappanSadayappan, P. Ohio State UniversityUnited States Session Chair of Afternoon talks 2 (part of ARRAY) Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Privacy-aware Distributed Incremental Computation
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Roopsha SamantaSamanta, Roopsha Purdue University Formal methods research: The what, the why and the how Career paths in Computer Science Speaker in Mentors within the PLMW-track
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Publicity Chair in Organizing Committee for PLDI 2017 Debugging Probabilistic Programs
Anirudh SanthiarSanthiar, Anirudh Indian Institute of Science Static Deadlock Detection for Asynchronous C# Programs
Vivek SarkarSarkar, Vivek Rice University, USA Committee Member in External Program Committee for PLDI 2017 A Marshalled Data Format for Pointers in Relocatable Data Blocks
Jennifer B. SartorSartor, Jennifer B. Sofware Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ISMM -track
Annabel SatinSatin, Annabel P.C.K.United Kingdom Treasurer & Conference Manager in Organizing Committee for PLDI 2017
Cole SchlesingerSchlesinger, Cole Samsung Research America Committee Member in SRC Panel for PLDI 2017 P4: Programming the Network Data Plane
Scott SchneiderSchneider, Scott IBM Research Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Committee Member in Program Committee for LCTES 2017 Session Chair of Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems (part of LCTES ) An Efficient Tunable Selective Points-to Analysis for Large Codebases Engineering Static Analyzers with Soufflé Committee Member in Program Committee within the SOAP-track
Derek SchuffSchuff, Derek Google Bringing the Web up to Speed with WebAssembly
Christian SchulteSchulte, Christian KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2017
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in External Program Committee for PLDI 2017
Niels G. W. SerupSerup, Niels G. W. DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Peter SestoftSestoft, Peter IT University of Copenhagen Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
Peter SewellSewell, Peter University of Cambridge Committee Member in External Program Committee for PLDI 2017
Edwin ShaSha, Edwin Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Rohin ShahShah, Rohin University of California, Berkeley Automated Incrementalization through Synthesis Committee Member in Program Committee within the IC-track
Rian ShambaughShambaugh, Rian University of Massachusetts AmherstUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zhong ShaoShao, Zhong Yale University Committee Member in External Program Committee for PLDI 2017 Session Chair of Academic crypto projects; industry perspective on formal-methods integration (part of DSW) CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
Zili ShaoShao, Zili The Hong Kong Polytechnic UniversityHong Kong Program Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 1 (part of LCTES )
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in External Review Committee for PLDI 2017 Synthesizing Program Input Grammars
Mary SheeranSheeran, Mary Committee Member in Program Committee within the ARRAY-track
Xipeng ShenShen, Xipeng North Carolina State UniversityChina Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
August ShiShi, August University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee for PLDI 2017
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Committee Member in Program Committee for PLDI 2017
Tatiana ShpeismanShpeisman, Tatiana Intel LabsUnited States Introduction and Welcome Concluding Remarks General Chair in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Jiwu ShuShu, Jiwu Tsinghua University Committee Member in Program Committee for LCTES 2017
Xujie SiSi, Xujie Combining the Logical and the Probabilistic in Program Analysis
Mihaela SighireanuSighireanu, Mihaela IRIF, University Paris Diderot and CNRS, France A Refinement Hierarchy for Free List Memory Allocators
Julien SignolesSignoles, Julien CEA LIST Shadow State Encoding for Efficient Monitoring of Block-level Properties
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Committee Member in Program Committee for PLDI 2017
Doug SimonSimon, Doug Oracle LabsSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in Program Committee within the ISMM -track
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia Committee Member in Program Committee for PLDI 2017
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses A Datalog Model of Must-Alias Analysis
Aaron SmithSmith, Aaron Workshops and Tutorials Chair in Organizing Committee for PLDI 2017
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Committee Member in External Program Committee for PLDI 2017 Program synthesis DemoMatch: API Discovery from Demonstrations Speaker in Mentors within the PLMW-track
Edgar SolomonikSolomonik, Edgar Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Youngju SongSong, Youngju Seoul National University Taming Undefined Behavior in LLVM
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Modular Array-based GPU Computing in a Dynamically-typed Language
Paul SpringerSpringer, Paul HPTT: A High-Performance Tensor Transposition C++ Library
Manu SridharanSridharan, Manu Uber Committee Member in External Review Committee for PLDI 2017
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in External Program Committee for PLDI 2017
Gordon StewartStewart, Gordon Ohio University Verified Perceptron Convergence Theorem
Tong SuSu, Tong RWTH Aachen HPTT: A High-Performance Tensor Transposition C++ Library
Zhendong SuSu, Zhendong University of California, DavisUnited States Achieving High Coverage for Floating-point Code via Unconstrained Programming Skeletal Program Enumeration for Rigorous Compiler Testing
Pavle SuboticSubotic, Pavle University College LondonUnited Kingdom Engineering Static Analyzers with Soufflé
Dan SuciuSuciu, Dan University of Washington HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Li SuiSui, Li Massey University, New Zealand On the Construction of Soundness Oracles
Chengnian SunSun, Chengnian University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Skeletal Program Enumeration for Rigorous Compiler Testing
Philippe SuterSuter, Philippe Two Sigma Publications Chair in Organizing Committee for PLDI 2017
Charles SuttonSutton, Charles University of EdinburghUnited Kingdom Committee Member in Program Committee for PLDI 2017
Bo Joel SvenssonSvensson, Bo Joel Chalmers University of Technology, SwedenSweden Instruction Punning: Lightweight Instrumentation for x86-64
Tamás SzabóSzabó, Tamás itemis AG / TU DelftGermany IncAL: A DSL for Incremental Program Analysis with Lattices
T Amjed TahirTahir, Amjed Massey UniversityNew Zealand On the Construction of Soundness Oracles
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Committee Member in Program Committee for LCTES 2017
Tian TanTan, Tian UNSW AustraliaChina Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Daniel TarlowTarlow, Daniel Microsoft Research Committee Member in External Review Committee for PLDI 2017
Michael TautschnigTautschnig, Michael Amazon Web Services Challenges in Analysing Virtualisation Stacks
Ben TaylorTaylor, Ben Lancaster University, UKUnited Kingdom Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
Jürgen TeichTeich, Jürgen Auto-Vectorization for Image Processing DSLs
Tachio TerauchiTerauchi, Tachio JAIST Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Steering Committee for PLDI 2017
Rei ThiessenThiessen, Rei University of Waterloo Context Transformations for Pointer Analysis
Ben L. TitzerTitzer, Ben L. Google Program Chair in Organizing Committee for ISMM 2017 Session Chair of Keynote (part of ISMM ) Session Chair of Session 3: Hybrid Memory Systems (part of ISMM ) Bringing the Web up to Speed with WebAssembly Program Chair in Program Committee within the ISMM -track
Emina TorlakTorlak, Emina University of Washington, USAUnited States Synthesizing Memory Models from Framework Sketches and Litmus Tests
Konstantinos TriantafyllouTriantafyllou, Konstantinos University of Athens, Greece Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Jean-Baptiste TristanTristan, Jean-Baptiste Oracle Labs Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Petar TsankovTsankov, Petar ETH ZurichSwitzerland Committee Member in External Review Committee for PLDI 2017
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Repairing Sequential Consistency in C/C++11
José ValimValim, José Plataformatec Elixir
Jacob Van GeffenVan Geffen, Jacob UT Austin Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Laurent VanbeverVanbever, Laurent ETH ZürichSwitzerland Committee Member in External Review Committee for PLDI 2017
Peter VarmanVarman, Peter Rice University Continuous Checkpointing of HTM Transactions in NVM
Kapil VaswaniVaswani, Kapil Microsoft Research Simple, fast and safe manual memory management
Niki VazouVazou, Niki University of Maryland Refinement Types for Program Verification and Synthesis
Margus VeanesVeanes, Margus Microsoft Research Fusing Effectful Comprehensions
Martin VechevVechev, Martin DeepCode and ETH Zurich, Switzerland Program Chair in Program Committee for PLDI 2017 Program Chair in Organizing Committee for PLDI 2017 Session Chair of Welcome (part of PLDI Invited Speakers)
Tim VieiraVieira, Tim Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
John VilkVilk, John University of Massachusetts, AmherstUnited States Committee Member in External Review Committee for PLDI 2017
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands The Spoofax Language Workbench IceDust Calculation Strategy Composition Performance in Web Applications
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign Dynamic Race Prediction in Linear Time
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Kostyantyn VorobyovVorobyov, Kostyantyn CEA LIST, France Shadow State Encoding for Efficient Monitoring of Block-level Properties
Nick VrviloVrvilo, Nick A Marshalled Data Format for Pointers in Relocatable Data Blocks
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Simple, fast and safe manual memory management
Markus VölterVölter, Markus itemis/independent IncAL: A DSL for Incremental Program Analysis with Lattices
W April W. WadeWade, April W. University of Kansas AOT Vs. JIT: Impact of Profile Data on Code Quality
Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Committee Member in Steering Committee for PLDI 2017
Luke WagnerWagner, Luke Mozilla Bringing the Web up to Speed with WebAssembly
David WalkerWalker, David Princeton UniversityUnited States Committee Member in External Review Committee for PLDI 2017 Network Configuration Synthesis with Abstract Topologies
Chenglong WangWang, Chenglong University of Washington, USA Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Yang WangWang, Yang University of New Brunswick [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Yang WangWang, Yang Northeastern University [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Yanzhi WangWang, Yanzhi Syracuse University A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yi WangWang, Yi Shenzhen University Session Chair of Session 1: Compiler Optimization for Embedded Systems (part of LCTES ) Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
Zheng WangWang, Zheng Lancaster University 1' of Fame Chair in Organizing Committee for PLDI 2017 Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
Peter WauligmannWauligmann, Peter Tokyo Institute of Technology Modular Array-based GPU Computing in a Dynamically-typed Language
Shiyi WeiWei, Shiyi University of Maryland, College Park Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Konstantin WeitzWeitz, Konstantin University of Washington, USAUnited States HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Ben WiedermannWiedermann, Ben Harvey Mudd College Giving good talks Organizer in Mentors within the PLMW-track
Christian WimmerWimmer, Christian Graal: High Performance Compilation for Managed Languages Practical Partial Evaluation for High-Performance Dynamic Language Runtimes Committee Member in Program Committee within the ISMM -track
Andreas WoessWoess, Andreas Oracle Labs Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Youjip WonWon, Youjip Hanyang University, Korea Committee Member in Program Committee for LCTES 2017
Frank WoodWood, Frank University of Oxford Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks
Tobias WrigstadWrigstad, Tobias Uppsala University Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
Hui WuWu, Hui University of New South Wales, Australia Committee Member in Program Committee for LCTES 2017 Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
Jan-Jan WuWu, Jan-Jan Institute of Information Science, Academia Sinica Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Kun-Lung WuWu, Kun-Lung IBM Research Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
Peng WuWu, Peng Huawei America Research Lab Committee Member in External Review Committee within the ISMM -track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
X Mimi XieXie, Mimi Oklahoma State University A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Jason XueXue, Jason City University of Hong Kong, China Committee Member in Steering Committee for LCTES 2017 [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Jingling XueXue, Jingling UNSW Australia Committee Member in Steering Committee for LCTES 2017 Committee Member in Program Committee for LCTES 2017 Static Analysis of Java Reflection Static Analysis for Improving Software Performance, Safety and Security Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata
Y Eran YahavYahav, Eran TechnionIsrael Committee Member in Program Committee for PLDI 2017 Similarity of Binaries through re-Optimization
Albert Mingkun YangYang, Albert Mingkun Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures
Chengmo YangYang, Chengmo University of Delaware, USA Committee Member in Program Committee for LCTES 2017
Hongseok YangYang, Hongseok University of Oxford Committee Member in External Program Committee for PLDI 2017
Jean YangYang, Jean Carnegie Mellon University Preventing Information Flow by Construction Speaker in Mentors within the PLMW-track
Jing YangYang, Jing Harbin Institute of Technology Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
Junfeng YangYang, Junfeng Columbia University Committee Member in Program Committee for PLDI 2017
Kuat YessenovYessenov, Kuat MIT DemoMatch: API Discovery from Demonstrations
Jaeheon YiYi, Jaeheon Google Committee Member in External Review Committee for PLDI 2017
Kwangkeun YiYi, Kwangkeun Seoul National UniversityKorea, South Committee Member in External Review Committee for PLDI 2017
Qiuping YiYi, Qiuping Texas A&M University Committee Member in Artifact Evaluation Committee for PLDI 2017
Wang YiYi, Wang Uppsala University, Sweden Committee Member in Steering Committee for LCTES 2017 [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Yunhui YingYing, Yunhui Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
Adarsh YogaYoga, Adarsh Rutgers University, USA Committee Member in Artifact Evaluation Committee for PLDI 2017
Sungjoo YooYoo, Sungjoo Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Lechen YuYu, Lechen Rice University A Marshalled Data Format for Pointers in Relocatable Data Blocks
Ping YuYu, Ping Department of Computer Science and Information Engineering, National Taiwan University Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Z Alon ZakaiZakai, Alon Mozilla Bringing the Web up to Speed with WebAssembly
Ayal ZaksZaks, Ayal Intel and Technion, Israel Committee Member in External Review Committee for PLDI 2017
Damiano ZanardiniZanardini, Damiano Universidad Politecnica de Madrid, SpainSpain Committee Member in Program Committee for LCTES 2017
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in External Program Committee for PLDI 2017
Andreas ZellerZeller, Andreas Saarland UniversityGermany Committee Member in Program Committee for PLDI 2017
Min ZhangZhang, Min East China Normal UniversityChina Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems
Mingxu ZhangZhang, Mingxu Shenzhen University Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks
Minjia ZhangZhang, Minjia Microsoft ResearchUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017 Avoiding Consistency Exceptions Under Strong Memory Consistency Models
Qirun ZhangZhang, Qirun University of California, DavisUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017 Skeletal Program Enumeration for Rigorous Compiler Testing
Xiangyu ZhangZhang, Xiangyu Purdue University Committee Member in External Review Committee for PLDI 2017
Xin ZhangZhang, Xin Georgia TechChina Committee Member in External Review Committee for PLDI 2017 Combining the Logical and the Probabilistic in Program Analysis
Youtao ZhangZhang, Youtao University of Pittsburgh, USA Steering Committee Chair in Organizing Committee for LCTES 2017
Zheng ZhangZhang, Zheng Rutgers University Committee Member in Steering Committee for ISMM 2017
Zhiyong ZhangZhang, Zhiyong Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Mengying ZhaoZhao, Mengying Shandong University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Wenguang ZhengZheng, Wenguang Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
Qingfeng ZhugeZhuge, Qingfeng Chongqing University, China Committee Member in Program Committee for LCTES 2017 Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Oleksandr ZinenkoZinenko, Oleksandr InriaFrance Web Chair in Organizing Committee for PLDI 2017 Peeking into a polyhedral compiler through the Periscop toolkit Polyhedral Compilation
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS, Germany Committee Member in Program Committee within the IC-track

PLDI 2017 Contributors

Results (589)

Tracks

Co-hosted Conferences

Workshops