PLDI 2015 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (488)

A Martha A. KimA. Kim, Martha Columbia University Committee Member in Program Committee within the WAX-track
Eddie AftandilianAftandilian, Eddie Google Committee Member in External Review Committee within the PLDI Research Papers-track
Kunal AgrawalAgrawal, Kunal Washington University in St. Louis Efficient Execution of Recursive Programs on Commodity Vector Hardware
Alex AikenAiken, Alex Stanford University Composing Concurrency Control Verification of Producer-Consumer Synchronization in GPU Programs
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in External Review Committee within the PLDI Research Papers-track
Karim AliAli, Karim Technical University at Darmstadt, Germany Egypt Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Nicholas AllenAllen, Nicholas Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Rajeev AlurAlur, Rajeev University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada Opening and Welcome Program Chair in Program Committee within the X10 -track
Saman AmarasingheAmarasinghe, Saman MIT Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code AutoTune:Autotuning programs with OpenTuner Autotuning Algorithmic Choice for Input Sensitivity Committee Member in External Review Committee within the PLDI Research Papers-track
Thomas AndersonAnderson, Thomas University of Washington Verdi: A Framework for Formally Verifying Distributed System Implementations
Jason AnselAnsel, Jason Massachusetts Institute of Technology AutoTune:Autotuning programs with OpenTuner Autotuning Algorithmic Choice for Input Sensitivity
Andrew W. AppelAppel, Andrew W. Princeton Verification of a Cryptographic Primitive: SHA-256
Steven ArztArzt, Steven Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Rafael AsenjoAsenjo, Rafael Universidad de MálagaSpain Programme Committee in Program Committee within the CHIUW -track
B Domagoj BabicBabic, Domagoj Committee Member in Program Committee within the SOAP -track
David BaconBacon, David Google Committee Member in Program Committee within the PLDI Research Papers-track
Sara BaghsorkhiBaghsorkhi, Sara Intel Labs Session Chair of Parallelism (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Shruthi BalakrishnaBalakrishna, Shruthi Purdue University Tree Dependence Analysis
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Mechanized Verification of Fine-grained Concurrent Programs
Dan BarowyBarowy, Dan University of Massachusetts AmherstUnited States Student Volunteer Co-Chair in Organizing Committee for PLDI 2015 FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Richard BarrettBarrett, Richard Sandia National Laboratories Programme Committee in Program Committee within the CHIUW -track
Michael BauerBauer, Michael NVIDIA Research Verification of Producer-Consumer Synchronization in GPU Programs
Michela BecchiBecchi, Michela University of Missouri Committee Member in Program Committee within the PLDI Research Papers-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in Organizers within the WAX-track
Robert BerneckyBernecky, Robert Abstract Expressionism for Parallel Performance
Pavol BielikBielik, Pavol ETH ZurichSlovakia Bug Localization with Statistical Models Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Judith BishopBishop, Judith Microsoft ResearchUnited States The Hint Mechanism in Code Hunt
João BispoBispo, João FEUP, Universidade do PortoPortugal Techniques for Efficient MATLAB-to-C Compilation
Swarnendu BiswasBiswas, Swarnendu Ohio State UniversityUnited States Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Steve BlackburnBlackburn, Steve Australian National University Australia Program Chair in Organizing Committee for PLDI 2015 Session Chair of Distinguished Papers (part of PLDI Research Papers) PLDI Chairs' Report Opening and Welcome Program Chair in Program Committee within the PLDI Research Papers-track
Sam BlackshearBlackshear, Sam Droidel: A General Approach to Android Framework Modeling
Eric BoddenBodden, Eric Fraunhofer SIT and TU Darmstadt Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis Committee Member in Program Committee within the SOAP -track Committee Member in Program Committee within the PLDI Research Papers-track
Rastislav BodíkBodík, Rastislav UC Berkeley Committee Member in External Review Committee within the PLDI Research Papers-track
Hans-J. BoehmBoehm, Hans-J. Google Session Chair of Semantics I (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track
CF Bolz-TereickBolz-Tereick, CF King's College London Committee Member in External Review Committee within the PLDI Research Papers-track
Michael D. BondBond, Michael D. Ohio State University Committee Member in External Review Committee within the PLDI Research Papers-track
James BornholtBornholt, James University of Washington Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jeffrey BosboomBosboom, Jeffrey MIT CSAIL Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code AutoTune:Autotuning programs with OpenTuner
Mathias BourgoinBourgoin, Mathias High-Level Accelerated Array Programming in the Web Browser
William J. BowmanBowman, William J. Northeastern UniversityUnited States Profile-Guided Meta-Programming
Jens BreitbartBreitbart, Jens Technische Universität München Programme Committee in Program Committee within the CHIUW -track
Mauricio BreternitzBreternitz, Mauricio AMD Programme Committee in Program Committee within the CHIUW -track
Sebastian BuchwaldBuchwald, Sebastian Karlsruhe Institute of Technology Cutting Out the Middleman: OS-Level Support for X10 Activities
Michael BuddeBudde, Michael Compiling APL to Accelerate Through a Typed Array Intermediate Language
Marco BungartBungart, Marco Universität Kassel Towards an Efficient Fault-Tolerance Scheme for GLB
Bernd BurgstallerBurgstaller, Bernd Yonsei University LaminarIR: Compile-Time Queues for Structured Streams
Michael BurkeBurke, Michael Rice University Committee Member in External Review Committee within the PLDI Research Papers-track
Martin BurtscherBurtscher, Martin Texas State University Committee Member in External Review Committee within the PLDI Research Papers-track
C Michael CarbinCarbin, Michael MIT Programme Committee in Program Committee within the WAX-track
Quentin CarbonneauxCarbonneaux, Quentin Yale University Compositional Certified Resource Bounds
João CardosoCardoso, João Techniques for Efficient MATLAB-to-C Compilation
Calin CascavalCascaval, Calin Qualcomm Research Committee Member in External Review Committee within the PLDI Research Papers-track
John CavazosCavazos, John University of Delaware Committee Member in External Review Committee within the PLDI Research Papers-track
Pavol CernyCerny, Pavol University of Colorado Boulder Performance Search Engine Driven by Prior Knowledge of Optimization Efficient Synthesis of Network Updates
Luis CezeCeze, Luis University of Washington Committee Member in Organizers within the WAX-track
Milind ChabbiChabbi, Milind PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Nadav ChachmonChachmon, Nadav CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Emmanuel ChaillouxChailloux, Emmanuel High-Level Accelerated Array Programming in the Web Browser
Manuel ChakravartyChakravarty, Manuel Committee Member in Program Committee within the ARRAY -track
Brad ChamberlainChamberlain, Brad Chair in Program Committee within the CHIUW -track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Droidel: A General Approach to Android Framework Modeling Committee Member in External Review Committee within the PLDI Research Papers-track
Swarat ChaudhuriChaudhuri, Swarat Rice University Synthesizing Data Structure Transformations from Input-Output Examples Committee Member in External Review Committee within the PLDI Research Papers-track Committee Member in Program Committee within the WAX-track
Haibo ChenChen, Haibo Shanghai Jiao Tong University Committee Member in External Review Committee within the PLDI Research Papers-track
Wenguang ChenChen, Wenguang Tsinghua University Committee Member in External Review Committee within the PLDI Research Papers-track
Perry ChengCheng, Perry IBM Research Committee Member in External Review Committee within the PLDI Research Papers-track
Yifeng ChengCheng, Yifeng Peking University Committee Member in External Review Committee within the PLDI Research Papers-track
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Termination and Non-Termination Specification Inference
Olaf ChitilChitil, Olaf University of Kent, UK Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Nathan ChongChong, Nathan University College London Many-Core Compiler Fuzzing
Stephen ChongChong, Stephen Harvard University Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Magnus ChristenssonChristensson, Magnus CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
Duc-Hiep ChuChu, Duc-Hiep National University of SingaporeVietnam Automatic Induction Proofs of Data-Structures in Imperative Programs
Cristina CifuentesCifuentes, Cristina Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Paul CockshottCockshott, Paul Array programming in Pascal
Tiago CogumbreiroCogumbreiro, Tiago Rice UniversityPortugal Committee Member in Program Committee within the X10 -track
Albert CohenCohen, Albert INRIA Committee Member in External Review Committee within the PLDI Research Papers-track
Byron CookCook, Byron Microsoft Research Committee Member in External Review Committee within the PLDI Research Papers-track
William CookCook, William UT Austin Committee Member in External Review Committee within the PLDI Research Papers-track
Karl CraryCrary, Karl Carnegie Mellon University Peer-to-peer Affine Commitment using Bitcoin
Charlie CurtsingerCurtsinger, Charlie University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
D Loris D'AntoniD'Antoni, Loris University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool Programme Committee in Program Committee within the PLOOC -track
Mila Dalla PredaDalla Preda, Mila University of Verona, Italy Committee Member in Program Committee within the PLDI Research Papers-track
Alain DarteDarte, Alain Ecole Normale Supérieure de Lyon Committee Member in Program Committee within the X10 -track
Saumya DebrayDebray, Saumya University of Arizona Committee Member in External Review Committee within the PLDI Research Papers-track
Pantazis DeligiannisDeligiannis, Pantazis Imperial College London Asynchronous Programming, Analysis and Testing with State Machines
Brian DemskyDemsky, Brian University of California, Irvine Committee Member in External Review Committee within the PLDI Research Papers-track
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in External Review Committee within the PLDI Research Papers-track
Dave DiceDice, Dave Oracle Labs Committee Member in External Review Committee within the PLDI Research Papers-track
Işıl DilligDillig, Işıl University of Texas, Austin Student Research Competition Chair in Organizing Committee for PLDI 2015 Session Chair of Student Research Competition Talks (part of PLDI Student Research Competition) Session Chair of Synthesis II (part of PLDI Research Papers) Student Research Competition Awards Session Automated Detection of Performance Bugs via Static Analysis Synthesizing Data Structure Transformations from Input-Output Examples Committee Member in External Review Committee within the PLDI Research Papers-track
Thomas DilligDillig, Thomas University of Texas, Austin Committee Member in External Review Committee within the PLDI Research Papers-track
Chen DingDing, Chen University of RochesterUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Wei DingDing, Wei Pennsylvania State University Optimizing Off-Chip Accesses in Multicores
Yufei DingDing, Yufei North Carolina State UniversityChina Autotuning Algorithmic Choice for Input Sensitivity
Amer DiwanDiwan, Amer Google Committee Member in External Review Committee within the PLDI Research Papers-track
Julian DolbyDolby, Julian IBM ResearchUnited States Committee Member in Program Committee within the WOW-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Many-Core Compiler Fuzzing Asynchronous Programming, Analysis and Testing with State Machines
Alexandre DonzeDonze, Alexandre University of California, Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
Derek DreyerDreyer, Derek MPI-SWS Verifying Read-Copy-Update in a Logic for Weak Memory Committee Member in External Review Committee within the PLDI Research Papers-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in External Review Committee within the PLDI Research Papers-track
Stéphane DucasseDucasse, Stéphane INRIA Lille Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Martin DybdalDybdal, Martin Compiling APL to Accelerate Through a Typed Array Intermediate Language
R. Kent DybvigDybvig, R. Kent Cisco Systems, Inc Profile-Guided Meta-Programming
E Lieven EeckhoutEeckhout, Lieven Ghent University, Belgium Committee Member in Program Committee within the PLDI Research Papers-track
Eric EideEide, Eric University of UtahUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2015 PLDI Chairs' Report Co-chair in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Susan EisenbachEisenbach, Susan Imperial College London Committee Member in External Review Committee within the PLDI Research Papers-track
Chucky EllisonEllison, Chucky University of Illinois Defining the undefinedness of C
Martin ElsmanElsman, Martin Compiling APL to Accelerate Through a Typed Array Intermediate Language
Michael EmmiEmmi, Michael Monitoring Refinement via Symbolic Reasoning
Constantin EneaEnea, Constantin LIAFA, Université Paris Diderot Monitoring Refinement via Symbolic Reasoning
Kai EngelhardtEngelhardt, Kai UNSW and NICTAGermany Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Christoph ErhardtErhardt, Christoph Friedrich-Alexander University of Erlangen-Nürnberg Cutting Out the Middleman: OS-Level Support for X10 Activities
Michael D. ErnstErnst, Michael D. University of Washington Verdi: A Framework for Formally Verifying Distributed System Implementations
Mahdi EslamimehrEslamimehr, Mahdi SAP Labs Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Hadi EsmaeilzadehEsmaeilzadeh, Hadi Georgia Tech Committee Member in Program Committee within the WAX-track
F Maarten FaddegonFaddegon, Maarten University of Kent, UK Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) Simon Fraser University Committee Member in Program Committee within the PLDI Research Papers-track
Xiaobing FengFeng, Xiaobing ICT CAS Committee Member in External Review Committee within the PLDI Research Papers-track
Jack FeserFeser, Jack Rice University Synthesizing Data Structure Transformations from Input-Output Examples
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Session Chair of Semantics II (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Stephen J FinkFink, Stephen J IBM Committee Member in External Review Committee within the PLDI Research Papers-track
Kathleen FisherFisher, Kathleen Tufts University Session Chair of Synthesis I (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Committee Member in External Review Committee within the PLDI Research Papers-track
Matthew FlattFlatt, Matthew University of Utah Committee Member in External Review Committee within the PLDI Research Papers-track
Claudia FohryFohry, Claudia Universität Kassel Towards an Efficient Fault-Tolerance Scheme for GLB Committee Member in Program Committee within the X10 -track
Jeffrey S. FosterFoster, Jeffrey S. Committee Member in Program Committee within the SOAP -track
Nate FosterFoster, Nate Cornell University Session Chair of Logic (part of PLDI Research Papers) Efficient Synthesis of Network Updates Committee Member in Program Committee within the PLDI Research Papers-track
Daniel FramptonFrampton, Daniel Microsoft Committee Member in External Review Committee within the PLDI Research Papers-track
Stephen N. FreundFreund, Stephen N. Williams College Committee Member in External Review Committee within the PLDI Research Papers-track
G Peter GammieGammie, Peter NICTAAustralia Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Dmitri GarbuzovGarbuzov, Dmitri University of Pennsylvania A Formal C Memory Model Supporting Integer-Pointer Casts
Rahul GargGarg, Rahul Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs
Youssef GduraGdura, Youssef Array programming in Pascal
Alexandra GendreauGendreau, Alexandra Droidel: A General Approach to Android Framework Modeling
Elena GlassmanGlassman, Elena MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Patrice GodefroidGodefroid, Patrice Microsoft Research Committee Member in External Review Committee within the PLDI Research Papers-track
Guy Golan-GuetaGolan-Gueta, Guy Yahoo Labs Composing Concurrency Control
Laure GonnordGonnord, Laure University of Lyon & LIP, France Synthesis of ranking functions using extremal counterexamples
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah Committee Member in External Review Committee within the PLDI Research Papers-track
R. GovindarajanGovindarajan, R. Korea Advanced Institute of Science and Technology Committee Member in External Review Committee within the PLDI Research Papers-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the ARRAY -track
Andrew GrossGross, Andrew Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Thomas GrossGross, Thomas ETH Zurich Committee Member in External Review Committee within the PLDI Research Papers-track
Dan GrossmanGrossman, Dan University of Washington The Hint Mechanism in Code Hunt Committee Member in External Review Committee within the PLDI Research Papers-track
David GroveGrove, David IBM ResearchUnited States General Chair in Organizing Committee for PLDI 2015 Session Chair of PLDI Chairs' Report and SIGPLAN Townhall Meeting (part of PLDI Research Papers) Session Chair of Paper Session 4 (part of ARRAY ) Optimization of X10 Programs with ROSE Compiler Infrastructure PLDI Chairs' Report Opening and Welcome Committee Member in Program Committee within the ARRAY -track
Vinod GroverGrover, Vinod Fusing Convolution Kernels through Tiling
Sumit GulwaniGulwani, Sumit Microsoft Research Personalized Mathematical Word Problem Generation The Hint Mechanism in Code Hunt AutomataTutor and what I learned from building an online teaching tool FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples Programme Committee in Program Committee within the PLOOC -track Committee Member in External Review Committee within the PLDI Research Papers-track
Philip GuoGuo, Philip University of Rochester OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale Programme Committee in Program Committee within the PLOOC -track
Rajiv GuptaGupta, Rajiv UC Riverside Committee Member in External Review Committee within the PLDI Research Papers-track
Sam GuyerGuyer, Sam Tufts University Committee Member in External Review Committee within the PLDI Research Papers-track
H Jungwoo HaHa, Jungwoo Google Committee Member in External Review Committee within the PLDI Research Papers-track
Robert HahnHahn, Robert Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Mary HallHall, Mary University of Utah Session Chair of Performance (part of PLDI Research Papers) Loop and Data Transformations for Sparse Matrix Code Committee Member in External Review Committee within the PLDI Research Papers-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Functional Programming For All! Scaling a MOOC for Students and Professionals Alike General Co-Chair in Program Committee within the Scala -track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Jeff HammondHammond, Jeff Programme Committee in Program Committee within the CHIUW -track
Sara S. HamoudaHamouda, Sara S. Australian National University The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
Jad HamzaHamza, Jad LIAFA, Université Paris Diderot Monitoring Refinement via Symbolic Reasoning
Stefan HanenbergHanenberg, Stefan University of Duisburg-EssenGermany Committee Member in External Review Committee within the PLDI Research Papers-track
Ben HardekopfHardekopf, Ben UC Santa Barbara Static Analysis of JavaScript: Insights and Challenges Committee Member in Program Committee within the PLDI Research Papers-track
Tim HarrisHarris, Tim Oracle Labs Committee Member in External Review Committee within the PLDI Research Papers-track
Ted HartHart, Ted Microsoft Research FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Bjoern HartmannHartmann, Bjoern UC Berkeley AutomataTutor and what I learned from building an online teaching tool
Chris HathhornHathhorn, Chris University of MissouriUnited States Defining the undefinedness of C
Matthias HauswirthHauswirth, Matthias University of Lugano Committee Member in Program Committee within the PLDI Research Papers-track
Laurie HendrenHendren, Laurie McGill UniversityCanada Session Chair of Invited Talk and Paper Session 1 (part of ARRAY ) Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs Committee Member in Program Committee within the X10 -track Program Chair in Program Committee within the ARRAY -track
Ben HermannHermann, Ben Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Mark HillsHills, Mark East Carolina UniversityUnited States RASCAL: Program Analysis and Transformation with Rascal
Michael HindHind, Michael IBM Research Committee Member in External Review Committee within the PLDI Research Papers-track
Martin HirzelHirzel, Martin IBM Research Committee Member in External Review Committee within the PLDI Research Papers-track
Henry HoffmannHoffmann, Henry University of Chicago Committee Member in Program Committee within the WAX-track
Jan HoffmannHoffmann, Jan Yale UniversityGermany Compositional Certified Resource Bounds
Hossein HojjatHojjat, Hossein Cornell UniversityIran Efficient Synthesis of Network Updates
Michihiro HorieHorie, Michihiro IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Committee Member in External Review Committee within the PLDI Research Papers-track
Aaron HsuHsu, Aaron Accelerating Information Experts through Compiler Design
Jeff HuangHuang, Jeff Texas A&M University Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Chung-Kil HurHur, Chung-Kil Seoul National University A Formal C Memory Model Supporting Integer-Pointer Casts
I Hiroshi InoueInoue, Hiroshi IBM Research - TokyoJapan Committee Member in External Review Committee within the PLDI Research Papers-track
Daisuke IshiiIshii, Daisuke Tokyo Institute of Technology Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Chinawat IsradisaikulIsradisaikul, Chinawat Cornell UniversityThailand Finding Counterexamples from Parsing Conflicts
J Michael J. SullivanJ. Sullivan, Michael Peer-to-peer Affine Commitment using Bitcoin
Joxan JaffarJaffar, Joxan National University of Singapore Automatic Induction Proofs of Data-Structures in Imperative Programs
Suresh JagannathanJagannathan, Suresh Purdue University Session Chair of Concurrency II (part of PLDI Research Papers) Synthesizing racy tests Declarative Programming over Eventually Consistent Data Stores Committee Member in External Review Committee within the PLDI Research Papers-track
Sameer JagdaleJagdale, Sameer McGill UniversityIndia Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs
Jeff JensenJensen, Jeff Momentum Machines CPSGrader: Formal Methods for Lab-Based MOOCs
Jinseong JeonJeon, Jinseong University of Maryland, College ParkUnited States Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Somesh JhaJha, Somesh University of Wisconsin, Madison Committee Member in External Review Committee within the PLDI Research Papers-track
Ranjit JhalaJhala, Ranjit University of California, San Diego Committee Member in Program Committee within the SOAP -track Committee Member in External Review Committee within the PLDI Research Papers-track
Youngjoon JoJo, Youngjoon Purdue University Efficient Execution of Recursive Programs on Commodity Vector Hardware
Andrew JohnsonJohnson, Andrew Harvard UniversityUnited States Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Pramod JoishaJoisha, Pramod Hewlett-Packard Committee Member in External Review Committee within the PLDI Research Papers-track
Richard JonesJones, Richard University of Kent Committee Member in External Review Committee within the PLDI Research Papers-track
Garvit JuniwalJuniwal, Garvit UC Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
Jaakko JärviJärvi, Jaakko Texas A&M University Committee Member in External Review Committee within the PLDI Research Papers-track
K Gowtham KakiKaki, Gowtham Purdue UniversityIndia Declarative Programming over Eventually Consistent Data Stores
Shoaib KamilKamil, Shoaib MIT CSAIL, USA Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code AutoTune:Autotuning programs with OpenTuner
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State University Optimizing Off-Chip Accesses in Multicores Committee Member in External Review Committee within the PLDI Research Papers-track
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South A Formal C Memory Model Supporting Integer-Pointer Casts
Svetoslav KaraivanovKaraivanov, Svetoslav ETH Zurich Bug Localization with Statistical Models
Amey KarkareKarkare, Amey IIT Kanpur Programme Committee in Program Committee within the PLOOC -track
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
George KastrinisKastrinis, George University of AthensGreece Doop Framework 101
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure
Madhukar KedlayaKedlaya, Madhukar University of California, Santa BarbaraIndia Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Paul H J KellyKelly, Paul H J Imperial College London Committee Member in External Review Committee within the PLDI Research Papers-track
Andrew KennedyKennedy, Andrew Microsoft Research Committee Member in External Review Committee within the PLDI Research Papers-track
Jeroen KetemaKetema, Jeroen Asynchronous Programming, Analysis and Testing with State Machines
Nathan KeynesKeynes, Nathan Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Youngsung KimKim, Youngsung Performance Search Engine Driven by Prior Knowledge of Optimization
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign AutomataTutor and what I learned from building an online teaching tool
Knud KirkegaardKirkegaard, Knud Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Paul KlintKlint, Paul RASCAL: Program Analysis and Transformation with Rascal
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Loo.py: From Fortran to performance via transformation and substitution rules Committee Member in Program Committee within the ARRAY -track
Yousun KoKo, Yousun Yonsei University LaminarIR: Compile-Time Queues for Structured Streams
Eric KoskinenKoskinen, Eric IBM TJ Watson Research Center The Push/Pull model of transactions
Murali Krishna EmaniKrishna Emani, Murali The University of Edinburgh Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Synthesizing racy tests
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Efficient Execution of Recursive Programs on Commodity Vector Hardware
Paddy KrishnanKrishnan, Paddy Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Milind KulkarniKulkarni, Milind Purdue University Tree Dependence Analysis Efficient Execution of Recursive Programs on Commodity Vector Hardware Committee Member in External Review Committee within the PLDI Research Papers-track
Emre KultursayKultursay, Emre Pennsylvania State University Optimizing Off-Chip Accesses in Multicores
Markus KusanoKusano, Markus Virginia TechUnited States Dynamic Partial Order Reduction for Relaxed Memory Models
L Eric LahtinenLahtinen, Eric MIT CSAIL Automatic Error Elimination by Multi-Application Code Transfer
Akash LalLal, Akash Microsoft Research India DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Asynchronous Programming, Analysis and Testing with State Machines
Andrei LascuLascu, Andrei Imperial College London Many-Core Compiler Fuzzing
Ton Chanh LeLe, Ton Chanh National University of SingaporeSingapore Termination and Non-Termination Specification Inference
Vu LeLe, Vu University of California, Davis Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Doug LeaLea, Doug State University of New York (SUNY) Oswego Committee Member in External Review Committee within the PLDI Research Papers-track
Johannes LerchLerch, Johannes Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Sorin LernerLerner, Sorin University of California, San Diego Interactive Parser Synthesis by Example Committee Member in External Review Committee within the PLDI Research Papers-track
Alan LeungLeung, Alan University of California, San Diego Interactive Parser Synthesis by Example
Ondřej LhotákLhoták, Ondřej University of Waterloo Committee Member in External Review Committee within the PLDI Research Papers-track
Ben LiblitLiblit, Ben University of Wisconsin–Madison Committee Member in External Review Committee within the PLDI Research Papers-track
Christopher LidburyLidbury, Christopher Imperial College London Many-Core Compiler Fuzzing
Calvin LinLin, Calvin UT Austin Automated Detection of Performance Bugs via Static Analysis
Barbara LiskovLiskov, Barbara MIT Lightweight, Flexible Object-Oriented Generics
Jianqiao LiuLiu, Jianqiao Purdue University Tree Dependence Analysis
Peng LiuLiu, Peng Purdue UniversityChina Light: Replay via Tightly Bounded Recording
Ben LivshitsLivshits, Ben Microsoft Research Committee Member in External Review Committee within the PLDI Research Papers-track
Daniel LohmannLohmann, Daniel Friedrich-Alexander University of Erlangen-Nürnberg Cutting Out the Middleman: OS-Level Support for X10 Activities
Fan LongLong, Fan MIT CSAIL Automatic Error Elimination by Multi-Application Code Transfer
Stephen LongfieldLongfield, Stephen Cornell University Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Nuno P. LopesLopes, Nuno P. Microsoft Research Provably Correct Peephole Optimizations with Alive
Matt LoringLoring, Matt Cornell University Lightweight, Flexible Object-Oriented Generics
Shan LuLu, Shan University of Chicago Committee Member in Program Committee within the PLDI Research Papers-track
Salvador LucasLucas, Salvador A Semantics-Directed Approach to Program Termination
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States A Simpler, Safer Programming and Execution Model for Intermittent Systems Concurrency Debugging with Differential Schedule Projections
M Tom MacDonaldMacDonald, Tom Workshops Chair in Program Committee within the CHIUW -track
Nuno MachadoMachado, Nuno INESC-ID / Instituto Superior Técnico, Universidade de Lisboa Concurrency Debugging with Differential Schedule Projections
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-Champaign Committee Member in External Review Committee within the PLDI Research Papers-track
Scott MahlkeMahlke, Scott University of Michigan Committee Member in Program Committee within the WAX-track
Roman ManevichManevich, Roman Ben-Gurion University of the NegevIsrael Synthesizing Parallel Graph Programs via Automated Planning
Rajit ManoharManohar, Rajit Cornell University Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
William ManskyMansky, William University of PennsylvaniaUnited States A Formal C Memory Model Supporting Integer-Pointer Casts
Simon MarlowMarlow, Simon Facebook Committee Member in External Review Committee within the PLDI Research Papers-track
Stefan MarrMarr, Stefan Inria, FranceGermany Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Session Chair of Paper Session 3 (part of ARRAY ) Organizing Committee in Program Committee within the ARRAY -track
Jedidiah McClurgMcClurg, Jedidiah University of Colorado BoulderUnited States Efficient Synthesis of Network Updates
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Committee Member in Program Committee within the PLDI Research Papers-track Committee Member in Organizers within the WAX-track
Ciaran McreeshMcreesh, Ciaran Array programming in Pascal
Sanyam MehtaMehta, Sanyam University of MinnesotaIndia Improving Compiler Scalability: Optimizing Large Programs at Small Price
Charith MendisMendis, Charith MIT CSAIL Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
David MenendezMenendez, David Rutgers University Provably Correct Peephole Optimizations with Alive
Na MengMeng, Na University of Texas at Austin Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Vijay MenonMenon, Vijay Google Committee Member in External Review Committee within the PLDI Research Papers-track
José MeseguerMeseguer, José A Semantics-Directed Approach to Program Termination
Leo MeyerovichMeyerovich, Leo Graphistry Committee Member in External Review Committee within the PLDI Research Papers-track
Paulius MicikeviciusMicikevicius, Paulius Fusing Convolution Kernels through Tiling
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the PLDI Research Papers-track
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Functional Programming For All! Scaling a MOOC for Students and Professionals Alike General Co-Chair in Program Committee within the Scala -track
Robert MillerMiller, Robert MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Swaha MillerMiller, Swaha Cisco Systems, Inc Profile-Guided Meta-Programming
Josh MilthorpeMilthorpe, Josh IBM ResearchAustralia Local Parallel Iteration in X10 The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
Sasa MisailovicMisailovic, Sasa MIT Committee Member in Program Committee within the WAX-track
Asit MishraMishra, Asit Intel Committee Member in Program Committee within the WAX-track
Subhasish MitraMitra, Subhasish Stanford University Committee Member in Program Committee within the WAX-track
Manuel MohrMohr, Manuel Karlsruhe Institute of Technology Cutting Out the Middleman: OS-Level Support for X10 Activities
David MonniauxMonniaux, David CNRS, VERIMAG Synthesis of ranking functions using extremal counterexamples
Scott MooreMoore, Scott Harvard UniversityUnited States Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Eliot MossMoss, Eliot University of Massachusetts AmherstUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Andrew MyersMyers, Andrew Finding Counterexamples from Parsing Conflicts Lightweight, Flexible Object-Oriented Generics Diagnosing Type Errors with Class
Todd MytkowiczMytkowicz, Todd Microsoft Research Committee Member in External Review Committee within the PLDI Research Papers-track
Anders MøllerMøller, Anders Aarhus University Session Chair of session 1 (part of SOAP ) Session Chair of session 4 (part of SOAP ) Program Chair in Program Committee within the SOAP -track Committee Member in External Review Committee within the PLDI Research Papers-track
N Santosh NagarakatteNagarakatte, Santosh Rutgers University Sponsorship Chair in Organizing Committee for PLDI 2015 Session Chair of Concurrency I (part of PLDI Research Papers) Provably Correct Peephole Optimizations with Alive Committee Member in Program Committee within the PLDI Research Papers-track
Mayur NaikNaik, Mayur Georgia Tech Session Chair of session 2 (part of SOAP ) Session Chair of session 3 (part of SOAP ) Program Co-Chair in Program Committee within the SOAP -track
Ravi NairNair, Ravi IBM Committee Member in Program Committee within the WAX-track
Toshio NakataniNakatani, Toshio IBM Research, Tokyo Committee Member in Program Committee within the PLDI Research Papers-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute Mechanized Verification of Fine-grained Concurrent Programs
Satish NarayanasamyNarayanasamy, Satish University of Michigan Committee Member in External Review Committee within the PLDI Research Papers-track
Rupesh NasreNasre, Rupesh IIT Madras, India Committee Member in External Review Committee within the PLDI Research Papers-track
Iulian NeamtiuNeamtiu, Iulian University of California, Riverside United States Committee Member in External Review Committee within the PLDI Research Papers-track
Rob NeelyNeely, Rob LLNL Programme Committee in Program Committee within the CHIUW -track
Khanh NguyenNguyen, Khanh University of California, Irvine Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Phúc C. NguyễnNguyễn, Phúc C. Relatively Complete Counterexamples for Higher-Order Programs
Brittany NkounkouNkounkou, Brittany Cornell University Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
James NobleNoble, James Victoria University of Wellington Committee Member in External Review Committee within the PLDI Research Papers-track
Aditya NoriNori, Aditya Microsoft Research, UKIndia Efficient Synthesis of Probabilistic Programs
Michael NorrishNorrish, Michael NICTAAustralia Committee Member in External Review Committee within the PLDI Research Papers-track
Nate NystromNystrom, Nate University of Lugano Committee Member in External Review Committee within the PLDI Research Papers-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Robert O'CallahanO'Callahan, Robert Mozilla Corporation Committee Member in External Review Committee within the PLDI Research Papers-track
Eleanor O'RourkeO'Rourke, Eleanor University of Washington Personalized Mathematical Word Problem Generation
Rei OdairaOdaira, Rei IBM Research - Tokyo Committee Member in External Review Committee within the PLDI Research Papers-track
Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneGermany Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Benjamin OechsleinOechslein, Benjamin Friedrich-Alexander University of Erlangen-Nürnberg Cutting Out the Middleman: OS-Level Support for X10 Activities
Susanne OehlerOehler, Susanne Array programming in Pascal
Oswaldo OlivoOlivo, Oswaldo Automated Detection of Performance Bugs via Static Analysis
Alessandro OrsoOrso, Alessandro Georgia Tech Programme Committee in Program Committee within the PLOOC -track
Peter-Michael OseraOsera, Peter-Michael University of PennsylvaniaUnited States Making Proof Tutors out of Proof Assistants Type-and-Example-Directed Program Synthesis
Guilherme OttoniOttoni, Guilherme Facebook Committee Member in External Review Committee within the PLDI Research Papers-track
Sherjil OzairOzair, Sherjil IIT DelhiIndia Efficient Synthesis of Probabilistic Programs
Una-May O’ReillyO’Reilly, Una-May Massachusetts Institute of Technology Autotuning Algorithmic Choice for Input Sensitivity
P David PaduaPadua, David University of Illinois at Urbana-Champaign INVITED TALK: Array Notation for Everybody Committee Member in External Review Committee within the PLDI Research Papers-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles Session Chair of Correctness (part of PLDI Research Papers) Committee Member in Program Committee within the X10 -track Committee Member in External Review Committee within the PLDI Research Papers-track
Pavel PanchekhaPanchekha, Pavel University of WashingtonUnited States Automatically Improving Accuracy for Floating Point Expressions Verdi: A Framework for Formally Verifying Distributed System Implementations
Sylvain ParisParis, Sylvain Adobe Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Daejun ParkPark, Daejun University of Illinois at Urbana-Champaign KJS: A Complete Formal Semantics of JavaScript
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UK The Push/Pull model of transactions
Harish PatilPatil, Harish PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging
Mathias PayerPayer, Mathias Purdue UniversityLiechtenstein Committee Member in External Review Committee within the PLDI Research Papers-track
Daniel PerelmanPerelman, Daniel University of Washington, USAUnited States The Hint Mechanism in Code Hunt
Erez PetrankPetrank, Erez Technion Committee Member in Program Committee within the PLDI Research Papers-track
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge Diagnosing Type Errors with Class
Keshav PingaliPingali, Keshav University of Texas, Austin Synthesizing Parallel Graph Programs via Automated Planning Committee Member in External Review Committee within the PLDI Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale University Committee Member in Program Committee within the PLDI Research Papers-track
Alex PolozovPolozov, Alex University of WashingtonUkraine Personalized Mathematical Word Problem Generation
Zoran PopovicPopovic, Zoran University of Washington Personalized Mathematical Word Problem Generation
Jonas PosnerPosner, Jonas Universität Kassel Towards an Efficient Fault-Tolerance Scheme for GLB
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in External Review Committee within the PLDI Research Papers-track
Anoop M. PrabhaPrabha, Anoop M. Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
Dimitrios PrountzosPrountzos, Dimitrios The University of Texas at Austin, Texas, USA Synthesizing Parallel Graph Programs via Automated Planning
Markus PüschelPüschel, Markus ETH Zurich Making Numerical Program Analysis Fast
Q Shaz QadeerQadeer, Shaz Microsoft Research DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Committee Member in External Review Committee within the PLDI Research Papers-track
Shengchao QinQin, Shengchao Teesside UniversityUnited Kingdom Termination and Non-Termination Specification Inference
Xiaokang QiuQiu, Xiaokang MIT Committee Member in External Review Committee within the PLDI Research Papers-track
R Gabriel RadanneRadanne, Gabriel Université Denis Diderot Paris 7, PPSFrance Synthesis of ranking functions using extremal counterexamples
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Stanford Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Sriram RajamaniRajamani, Sriram Microsoft Research Efficient Synthesis of Probabilistic Programs
G. RamalingamRamalingam, G. Microsoft Research Composing Concurrency Control
Benjamin RansfordRansford, Benjamin University of Washington A Simpler, Safer Programming and Execution Model for Intermittent Systems
Siegfried RasthoferRasthofer, Siegfried Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Lawrence RauchwergerRauchwerger, Lawrence Texas A&M University Committee Member in External Review Committee within the PLDI Research Papers-track
Mahesh RavishankarRavishankar, Mahesh Fusing Convolution Kernels through Tiling
Veselin RaychevRaychev, Veselin ETH ZurichBulgaria Bug Localization with Statistical Models Machine Learning for Code Analytics
Vijay J. ReddiReddi, Vijay J. CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
John RegehrRegehr, John University of Utah Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2015 Provably Correct Peephole Optimizations with Alive PLDI Chairs' Report Co-chair in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track Committee Member in Program Committee within the PLDI Research Papers-track
Luís ReisReis, Luís Techniques for Efficient MATLAB-to-C Compilation
Bin RenRen, Bin Pacific Northwest National Laboratories Efficient Execution of Recursive Programs on Commodity Vector Hardware
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Synthesis of Machine Code from Semantics
Martin C. RinardRinard, Martin C. MIT Automatic Error Elimination by Multi-Application Code Transfer
Carl RitsonRitson, Carl University of KentUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Behnam RobatmiliRobatmili, Behnam Qualcomm Research Committee Member in External Review Committee within the PLDI Research Papers-track
Luís RodriguesRodrigues, Luís Universidade de Lisboa, Instituto Superior Técnico, INESC-ID Concurrency Debugging with Differential Schedule Projections
Tiark RompfRompf, Tiark Purdue & Oracle Labs Session Chair of Potpourri (part of PLDI Research Papers) Committee Member in Program Committee within the PLDI Research Papers-track
Atanas RountevRountev, Atanas Ohio State University Static Analysis for Android: GUIs, Callbacks, and Beyond Committee Member in External Review Committee within the PLDI Research Papers-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-Champaign Defining the undefinedness of C KJS: A Complete Formal Semantics of JavaScript
Alex RubinsteynRubinsteyn, Alex Committee Member in Program Committee within the ARRAY -track
Lukas RytzRytz, Lukas Typesafe Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
S Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Composing Concurrency Control
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Lightweight, Flexible Object-Oriented Generics
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Synthesizing racy tests
Adrian SampsonSampson, Adrian Committee Member in Organizers within the WAX-track
Alex Sanchez-SternSanchez-Stern, Alex University of Washington Automatically Improving Accuracy for Floating Point Expressions
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, Boulder Committee Member in Program Committee within the WAX-track
Vijay SaraswatSaraswat, Vijay IBM TJ Watson Research Center The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications Committee Member in External Review Committee within the PLDI Research Papers-track
Susmit SarkarSarkar, Susmit University of St Andrews Committee Member in External Review Committee within the PLDI Research Papers-track
John SarracinoSarracino, John University of California, San Diego Interactive Parser Synthesis by Example
Jennifer B. SartorSartor, Jennifer B. Ghent University Committee Member in External Review Committee within the PLDI Research Papers-track
Annabel SatinSatin, Annabel Event Manager in Organizing Committee for PLDI 2015
Jens SchedelSchedel, Jens Friedrich-Alexander University of Erlangen-Nürnberg Cutting Out the Middleman: OS-Level Support for X10 Activities
Bernhard ScholzScholz, Bernhard The University of Sydney Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code LaminarIR: Compile-Time Queues for Structured Streams
Sven-Bodo ScholzScholz, Sven-Bodo Abstract Expressionism for Parallel Performance
Malte SchwarzkopfSchwarzkopf, Malte University of Cambridge Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jeremy ScottScott, Jeremy MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Chris SeatonSeaton, Chris Oracle Labs / University of ManchesterUnited Kingdom Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Koushik SenSen, Koushik University of California, Berkeley Jalangi: A Dynamic Analyses Framework for JavaScript Committee Member in External Review Committee within the PLDI Research Papers-track
Ilya SergeySergey, Ilya IMDEA Software InstituteRussia Mechanized Verification of Fine-grained Concurrent Programs
Sanjit SeshiaSeshia, Sanjit UC Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
Peter SewellSewell, Peter University of Cambridge Committee Member in External Review Committee within the PLDI Research Papers-track
Zhong ShaoShao, Zhong Yale UniversityChina Compositional Certified Resource Bounds
Rahul SharmaSharma, Rahul Stanford UniversityIndia Verification of Producer-Consumer Synchronization in GPU Programs
Mary SheeranSheeran, Mary Session Chair of Paper Session 2 (part of ARRAY ) Organizing Committee in Program Committee within the ARRAY -track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Autotuning Algorithmic Choice for Input Sensitivity Committee Member in External Review Committee within the PLDI Research Papers-track
Avraham ShinnarShinnar, Avraham IBM Research Committee Member in Program Committee within the X10 -track
Tatiana ShpeismanShpeisman, Tatiana Intel Labs Committee Member in External Review Committee within the PLDI Research Papers-track
Stelios Sidiroglou-DouskosSidiroglou-Douskos, Stelios MIT CSAIL Automatic Error Elimination by Multi-Application Code Transfer
Jeremy G. SiekSiek, Jeremy G. Indiana University Blame and coercion: Together again for the first time Committee Member in External Review Committee within the PLDI Research Papers-track
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in External Review Committee within the PLDI Research Papers-track
Gagandeep SinghSingh, Gagandeep ETH Zurich, SwitzerlandIndia Making Numerical Program Analysis Fast
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia Opening and Welcome OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale Co-chair in Program Committee within the PLOOC -track
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeIndia Declarative Programming over Eventually Consistent Data Stores Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Session Chair of Analysis (part of PLDI Research Papers) Doop Framework 101 Committee Member in External Review Committee within the PLDI Research Papers-track
Adam SmithSmith, Adam University of Washington Personalized Mathematical Word Problem Generation
Steffen SmolkaSmolka, Steffen Cornell UniversityGermany Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Opening and Welcome Co-chair in Program Committee within the PLOOC -track Committee Member in External Review Committee within the PLDI Research Papers-track
Linhai SongSong, Linhai University of Wisconsin–Madison Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Matthew SottileSottile, Matthew Galois, Inc. Committee Member in External Review Committee within the PLDI Research Papers-track
Michael SpearSpear, Michael Lehigh University Committee Member in External Review Committee within the PLDI Research Papers-track
Manu SridharanSridharan, Manu Samsung Research America Publicity Chair in Organizing Committee for PLDI 2015 Committee Member in Program Committee within the PLDI Research Papers-track
Venkatesh SrinivasanSrinivasan, Venkatesh University of Wisconsin - MadisonIndia Synthesis of Machine Code from Semantics
Vincent St-AmourSt-Amour, Vincent Northeastern University Profile-Guided Meta-Programming
Guy L. Steele Jr.Steele Jr., Guy L. Oracle Labs Committee Member in Program Committee within the PLDI Research Papers-track
Bjarne SteensgaardSteensgaard, Bjarne Microsoft Committee Member in External Review Committee within the PLDI Research Papers-track
Andrei StefanescuStefanescu, Andrei University of Illinois at Urbana-Champaign KJS: A Complete Formal Semantics of JavaScript
Michael StonebrakerStonebraker, Michael Turing Lecture
Peter StrazdinsStrazdins, Peter Australian National University The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
Michelle StroutStrout, Michelle Colorado State University Session Chair of TOPLAS (part of PLDI Research Papers) Session Chair of Optimization (part of PLDI Research Papers) Loop and Data Transformations for Sparse Matrix Code Programme Committee in Program Committee within the CHIUW -track Committee Member in Program Committee within the PLDI Research Papers-track
Zhendong SuSu, Zhendong University of California, DavisUnited States Committee Member in External Review Committee within the PLDI Research Papers-track
Toyotaro SuzumuraSuzumura, Toyotaro IBM Research / University College Dublin / JST Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Peter SweeneySweeney, Peter IBM Research Committee Member in External Review Committee within the PLDI Research Papers-track
Don SymeSyme, Don Microsoft The F# Path to Relaxation
T Mikio TakeuchiTakeuchi, Mikio IBM Research - Tokyo Optimization of X10 Programs with ROSE Compiler Infrastructure
Lingjia TangTang, Lingjia University of Michigan Committee Member in Program Committee within the PLDI Research Papers-track
Xulong TangTang, Xulong Penn State Optimizing Off-Chip Accesses in Multicores
Olivier TardieuTardieu, Olivier IBM Research Introduction to X10 The APGAS Library: Resilient Parallel and Distributed Programming in Java 8 Opening and Welcome General Chair in Program Committee within the X10 -track
Joseph TassarottiTassarotti, Joseph Carnegie Mellon University Verifying Read-Copy-Update in a Logic for Weak Memory
Ross TateTate, Ross Cornell UniversityUnited States Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Session Chair of Verification (part of PLDI Research Papers) Automatically Improving Accuracy for Floating Point Expressions Verdi: A Framework for Formally Verifying Distributed System Implementations
Olivier TemamTemam, Olivier INRIA Hardware Neural Networks: From Inflated Expectations to Plateau of Productivity
Peter ThiemannThiemann, Peter University of FreiburgGermany Blame and coercion: Together again for the first time
William ThiesThies, William Microsoft Research Programme Committee in Program Committee within the PLOOC -track
Paul ThomsonThomson, Paul Imperial College London Asynchronous Programming, Analysis and Testing with State Machines
Luke TierneyTierney, Luke University of IowaUnited States Committee Member in Program Committee within the ARRAY -track
Frank TipTip, Frank Samsung Research AmericaUnited States Evaluating Call Graph Construction for JVM-hosted Language Implementations Committee Member in External Review Committee within the PLDI Research Papers-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in Program Committee within the PLDI Research Papers-track
Emma ToschTosch, Emma University of Massachusetts, Amherst Student Volunteer Co-Chair in Organizing Committee for PLDI 2015 Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Tayssir TouiliTouili, Tayssir CNRS, Paris, France Committee Member in Program Committee within the PLDI Research Papers-track
Laurence TrattTratt, Laurence King's College London Committee Member in External Review Committee within the PLDI Research Papers-track
Minh-Thai TrinhTrinh, Minh-Thai National University of Singapore Automatic Induction Proofs of Data-Structures in Imperative Programs
Omer TrippTripp, Omer IBM Thomas J. Watson Research Center Light: Replay via Tightly Bounded Recording
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Verifying Read-Copy-Update in a Logic for Weak Memory A Formal C Memory Model Supporting Integer-Pointer Casts
David Van HornVan Horn, David University of Maryland, College Park Relatively Complete Counterexamples for Higher-Order Programs
Mandana VaziriVaziri, Mandana IBM Research Committee Member in External Review Committee within the PLDI Research Papers-track
Martin VechevVechev, Martin ETH Zurich Bug Localization with Statistical Models Machine Learning for Code Analytics Making Numerical Program Analysis Fast Programme Committee in Program Committee within the PLOOC -track Committee Member in External Review Committee within the PLDI Research Papers-track
Kalyan VeeramachaneniVeeramachaneni, Kalyan Massachusetts Institute of Technology AutoTune:Autotuning programs with OpenTuner Autotuning Algorithmic Choice for Input Sensitivity
Anand VenkatVenkat, Anand University of Utah Loop and Data Transformations for Sparse Matrix Code
Deepak VijaykeerthyVijaykeerthy, Deepak Microsoft Research Efficient Synthesis of Probabilistic Programs
T. N. VijaykumarVijaykumar, T. N. Purdue University Committee Member in External Review Committee within the PLDI Research Papers-track
John VilkVilk, John University of Massachusetts, AmherstUnited States Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands RASCAL: Program Analysis and Transformation with Rascal
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign AutomataTutor and what I learned from building an online teaching tool
Jan VitekVitek, Jan Northeastern UniversitySwitzerland SIGPLAN Awards Luncheon ACM SIGPLAN Townhall Meeting Organizing Committee in Program Committee within the ARRAY -track
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Diagnosing Type Errors with Class
W Philip WadlerWadler, Philip University of EdinburghUnited States Blame and coercion: Together again for the first time
Chao WangWang, Chao Virginia TechUnited States Dynamic Partial Order Reduction for Relaxed Memory Models
Haichuan WangWang, Haichuan University of Illinois at Urbana-ChampaignChina Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Xi WangWang, Xi University of Washington Verdi: A Framework for Formally Verifying Distributed System Implementations
Lucas WayeWaye, Lucas Harvard University Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Matthew WeaverWeaver, Matthew University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool
Yusheng WeijiangWeijiang, Yusheng Purdue University Tree Dependence Analysis
Michele WeilandWeiland, Michele Programme Committee in Program Committee within the CHIUW -track
David R. WhiteWhite, David R. University of GlasgowUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
James R. WilcoxWilcox, James R. University of WashingtonUnited States Automatically Improving Accuracy for Floating Point Expressions Verdi: A Framework for Formally Verifying Distributed System Implementations
Christian WimmerWimmer, Christian Oracle Labs Committee Member in External Review Committee within the PLDI Research Papers-track
Doug WoosWoos, Doug University of Washington Verdi: A Framework for Formally Verifying Distributed System Implementations
Tobias WrigstadWrigstad, Tobias Uppsala University Committee Member in External Review Committee within the PLDI Research Papers-track
Kevin WuWu, Kevin MIT CSAIL Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Peng WuWu, Peng Huawei America Lab Committee Member in Program Committee within the PLDI Research Papers-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Committee Member in External Review Committee within the PLDI Research Papers-track
X Tao XieXie, Tao University of Illinois at Urbana-Champaign Programme Committee in Program Committee within the PLOOC -track
Harry XuXu, Harry University of California, IrvineUnited States Committee Member in Program Committee within the PLDI Research Papers-track
Jingling XueXue, Jingling UNSW Australia Committee Member in External Review Committee within the PLDI Research Papers-track
Y Eran YahavYahav, Eran Technion Committee Member in External Review Committee within the PLDI Research Papers-track
Dacong YanYan, Dacong Google Inc. Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Andrew YaoYao, Andrew Tsinghua University Interdisciplinarity: A View from Theory of Computation
Pen-Chung YewYew, Pen-Chung University of Minnesota Improving Compiler Scalability: Optimizing Large Programs at Small Price
Kwangkeun YiYi, Kwangkeun Seoul National University Committee Member in Program Committee within the SOAP -track
Greta YorshYorsh, Greta Queen Mary University of London Committee Member in Program Committee within the PLDI Research Papers-track
Kazuki YoshizoeYoshizoe, Kazuki Japan Science and Technology Agency Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Tomofumi YukiYuki, Tomofumi Revisiting Loop Transformations with X10 Clocks
Z Steve ZdancewicZdancewic, Steve Making Proof Tutors out of Proof Assistants Type-and-Example-Directed Program Synthesis A Formal C Memory Model Supporting Integer-Pointer Casts
Christine ZellerZeller, Christine ETH Zurich Bug Localization with Statistical Models
Luke ZettlemoyerZettlemoyer, Luke University of Washington Personalized Mathematical Word Problem Generation
Danfeng ZhangZhang, Danfeng Cornell University Diagnosing Type Errors with Class
Minjia ZhangZhang, Minjia Ohio State University Committee Member in Artifact Evaluation Committee within the PLDI Artifact Evaluation-track
Naling ZhangZhang, Naling Virginia TechChina Dynamic Partial Order Reduction for Relaxed Memory Models
Xiangyu ZhangZhang, Xiangyu Purdue University Workshops and Tutorials Chair in Organizing Committee for PLDI 2015 Light: Replay via Tightly Bounded Recording
Yizhou ZhangZhang, Yizhou Cornell University Lightweight, Flexible Object-Oriented Generics
Yuanrui ZhangZhang, Yuanrui Intel Optimizing Off-Chip Accesses in Multicores
Zheng ZhangZhang, Zheng Rutgers University Committee Member in Program Committee within the PLDI Research Papers-track
Qin ZhaoZhao, Qin Google Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Yunhui ZhengZheng, Yunhui IBM Research Light: Replay via Tightly Bounded Recording
Ofri ZivZiv, Ofri Tel Aviv UniversityIsrael Composing Concurrency Control
Benjamin ZornZorn, Benjamin Microsoft Research FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples Committee Member in Organizers within the WAX-track
Florian ZulegerZuleger, Florian TU Wien Programme Committee in Program Committee within the PLOOC -track
Andreas ZwinkauZwinkau, Andreas Karlsruhe Institute of Technology Cutting Out the Middleman: OS-Level Support for X10 Activities

PLDI 2015 Contributors

Results (488)

Tracks

Workshops

Co-hosted Symposia