Program - PLDI 2015

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

	08:15 - 09:00: Saturday BreakfastCatering at Pre-function A

	08:15 - 09:00 Break		Breakfast Catering

	09:00 - 11:00: Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104

	09:00 - 11:00 Talk		Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Knud Kirkegaard, Anoop M. Prabha Link to publication

	09:00 - 11:00: A Semantics-Directed Approach to Program Termination Tutorials at B112

	09:00 - 11:00 Talk		A Semantics-Directed Approach to Program Termination Tutorials Salvador Lucas, José Meseguer Link to publication

	09:00 - 11:00: Invited Talk and Paper Session 1ARRAY at C122 Chair(s): Laurie HendrenMcGill University

	09:00 - 10:00 Talk		INVITED TALK: Array Notation for Everybody ARRAY David PaduaUniversity of Illinois at Urbana-Champaign
	10:00 - 10:30 Talk		Loo.py: From Fortran to performance via transformation and substitution rules ARRAY Andreas KloecknerUniversity of Illinois at Urbana-Champaign
	10:30 - 11:00 Talk		Techniques for Efficient MATLAB-to-C Compilation ARRAY João BispoFEUP, Universidade do Porto, Luís Reis, João Cardoso

	09:30 - 11:00: 9:30am: Opening and Papers Session 1WAX at C120-C121

	11:00 - 11:20: Saturday AM BreakCatering at Pre-function A

	11:00 - 11:20 Coffee break		Morning Break Catering

	11:20 - 12:30: Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor GraphicsTutorials at A103-104

	11:20 - 12:30 Talk		Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics Tutorials Knud Kirkegaard, Anoop M. Prabha Link to publication

	11:20 - 12:30: A Semantics-Directed Approach to Program TerminationTutorials at B112

	11:20 - 12:30 Talk		A Semantics-Directed Approach to Program Termination Tutorials Salvador Lucas, José Meseguer Link to publication

	11:20 - 12:30: Lightning Talks and Discussion PrepWAX at C120-C121

	11:20 - 12:30: Paper Session 2ARRAY at C122 Chair(s): Mary Sheeran

	11:20 - 11:50 Talk		Compiling APL to Accelerate Through a Typed Array Intermediate Language ARRAY Michael Budde, Martin Dybdal, Martin Elsman
	11:50 - 12:20 Talk		Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs ARRAY Rahul Garg, Sameer JagdaleMcGill University, Laurie HendrenMcGill University
	12:20 - 12:30 Other		Morning Wrapup ARRAY

	12:30 - 14:00: Saturday LunchCatering at Pre-function A

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104

	14:00 - 15:30 Talk		CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials Nadav Chachmon, Magnus Christensson, Vijay J. Reddi

	14:00 - 15:30: RASCAL: Program Analysis and Transformation with RascalTutorials at B112

	14:00 - 15:30 Talk		RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication

	14:00 - 15:30: Report-Outs and Papers Session 2WAX at C120-C121

	14:00 - 15:30: Paper Session 3ARRAY at C122 Chair(s): Hidehiko MasuharaTokyo Institute of Technology

	14:00 - 14:30 Talk		Performance Search Engine Driven by Prior Knowledge of Optimization ARRAY Youngsung Kim, Pavol CernyUniversity of Colorado Boulder
	14:30 - 15:00 Talk		High-Level Accelerated Array Programming in the Web Browser ARRAY Mathias Bourgoin, Emmanuel Chailloux
	15:00 - 15:30 Talk		Accelerating Information Experts through Compiler Design ARRAY Aaron Hsu

	15:30 - 16:00: Saturday PM BreakCatering at Pre-function A

	15:30 - 16:00 Break		Afternoon Break Catering

	16:00 - 18:00: CANCELLED: System-level Program Analysis and Architectural Evaluation with SimicsTutorials at A103-104

	16:00 - 18:00 Talk		CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics Tutorials Nadav Chachmon, Magnus Christensson, Vijay J. Reddi

	16:00 - 18:00: RASCAL: Program Analysis and Transformation with RascalTutorials at B112

	16:00 - 18:00 Talk		RASCAL: Program Analysis and Transformation with Rascal Tutorials Mark HillsEast Carolina University, Paul Klint, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven Link to publication

	16:00 - 18:00: Papers Session 3 and ClosingWAX at C120-C121

	16:00 - 18:00: Paper Session 4ARRAY at C122 Chair(s): David GroveIBM Research

	16:00 - 16:30 Talk		Fusing Convolution Kernels through Tiling ARRAY Mahesh Ravishankar, Paulius Micikevicius, Vinod Grover
	16:30 - 17:00 Talk		Array programming in Pascal ARRAY Paul Cockshott, Susanne Oehler, Youssef Gdura, Ciaran Mcreesh
	17:00 - 17:30 Talk		Abstract Expressionism for Parallel Performance ARRAY Robert Bernecky, Sven-Bodo Scholz
	17:30 - 18:00 Other		Afternoon Wrapup ARRAY

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

	08:15 - 09:00: Sunday BreakfastCatering at Pre-function A

	08:15 - 09:00 Break		Breakfast Catering

	09:00 - 11:00: PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials at A103-104

	09:00 - 11:00 Talk		PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Harish Patil, Milind Chabbi Link to publication

	09:00 - 11:00: session 1SOAP at B110-B11 Chair(s): Anders MøllerAarhus University

	09:00 - 09:10 Day opening		Opening remarks SOAP
	09:10 - 10:00 Talk		Static Analysis for Android: GUIs, Callbacks, and Beyond SOAP I: Atanas RountevOhio State University
	10:00 - 10:20 Talk		Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis SOAP Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric BoddenFraunhofer SIT and TU Darmstadt
	10:20 - 10:40 Talk		Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions SOAP Johannes Lerch, Ben Hermann
	10:40 - 11:00 Talk		Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code SOAP Nicholas Allen, Paddy Krishnan, Bernhard ScholzThe University of Sydney

	09:00 - 11:00: Programming in X10X10 at B112

	09:00 - 09:15 Day opening		Opening and Welcome X10 Jose Nelson AmaralUniversity of Alberta, Olivier TardieuIBM Research
	09:15 - 10:30 Talk		Introduction to X10 X10 Olivier TardieuIBM Research Link to publication
	10:30 - 11:00 Talk		The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications X10 Sara S. HamoudaAustralian National University, Josh MilthorpeIBM Research, Peter StrazdinsAustralian National University, Vijay SaraswatIBM TJ Watson Research Center Link to publication

	09:00 - 11:00: Session1PLOOC at C120-C121

	09:00 - 09:05 Talk		Opening and Welcome PLOOC P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
	09:05 - 09:45 Talk		Bug Localization with Statistical Models PLOOC Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
	09:45 - 10:25 Talk		AutomataTutor and what I learned from building an online teaching tool PLOOC P: Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
	10:25 - 11:00 Talk		Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM PLOOC P: Jonathan ProtzenkoMicrosoft Research

	11:00 - 11:20: Sunday AM BreakCatering at Pre-function A

	11:00 - 11:20 Coffee break		Morning Break Catering

	11:20 - 12:30: PINPLAY:Using PinPlay for Reproducible Analysis and Replay DebuggingTutorials at A103-104

	11:20 - 12:30 Talk		PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging Tutorials Harish Patil, Milind Chabbi Link to publication

	11:20 - 12:30: session 2SOAP at B110-B11 Chair(s): Mayur NaikGeorgia Tech

	11:20 - 12:20 Talk		Static Analysis of JavaScript: Insights and Challenges SOAP Ben HardekopfUC Santa Barbara

	11:20 - 12:30: Parallel LoopsX10 at B112

	11:20 - 11:50 Talk		Revisiting Loop Transformations with X10 Clocks X10 Tomofumi Yuki Link to publication
	11:50 - 12:20 Talk		Local Parallel Iteration in X10 X10 Josh MilthorpeIBM Research Link to publication

	11:20 - 12:30: Session2PLOOC at C120-C121

	11:30 - 12:10 Talk		The Hint Mechanism in Code Hunt PLOOC P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington

	12:30 - 14:00: Sunday LunchCatering at Exhibit Halls A1-B

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Machine Learning for Code AnalyticsTutorials at A103-104

	14:00 - 15:30 Talk		Machine Learning for Code Analytics Tutorials Veselin RaychevETH Zurich, Martin VechevETH Zurich Link to publication

	14:00 - 15:30: Doop Framework 101Tutorials at A107-A108

	14:00 - 15:30 Talk		Doop Framework 101 Tutorials George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens Link to publication

	14:00 - 15:30: session 3SOAP at B110-B11 Chair(s): Mayur NaikGeorgia Tech

	14:00 - 14:30 Talk		Evaluating Call Graph Construction for JVM-hosted Language Implementations SOAP I: Frank TipSamsung Research America
	14:30 - 15:00 Talk		Droidel: A General Approach to Android Framework Modeling SOAP Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan ChangUniversity of Colorado Boulder
	15:00 - 15:30 Talk		Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform SOAP Cristina Cifuentes, Andrew Gross, Nathan Keynes

	14:00 - 15:30: Compilers and RuntimesX10 at B112

	14:00 - 14:30 Talk		Cutting Out the Middleman: OS-Level Support for X10 Activities X10 Manuel MohrKarlsruhe Institute of Technology, Sebastian BuchwaldKarlsruhe Institute of Technology, Andreas ZwinkauKarlsruhe Institute of Technology, Christoph Erhardt Friedrich-Alexander University of Erlangen-Nürnberg, Benjamin Oechslein Friedrich-Alexander University of Erlangen-Nürnberg, Jens Schedel Friedrich-Alexander University of Erlangen-Nürnberg, Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg Link to publication
	14:30 - 15:00 Talk		Optimization of X10 Programs with ROSE Compiler Infrastructure X10 Michihiro HorieIBM Research - Tokyo, Mikio TakeuchiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo, David GroveIBM Research Link to publication
	15:00 - 15:30 Talk		The APGAS Library: Resilient Parallel and Distributed Programming in Java 8 X10 Olivier TardieuIBM Research Link to publication

	14:00 - 15:30: Session3PLOOC at C120-C121

	14:00 - 14:40 Talk		Functional Programming For All! Scaling a MOOC for Students and Professionals Alike PLOOC P: Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
	14:40 - 15:20 Talk		CPSGrader: Formal Methods for Lab-Based MOOCs PLOOC P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley

	14:00 - 15:30: AutoTune:Autotuning programs with OpenTunerTutorials at C122

	14:00 - 15:30 Talk		AutoTune:Autotuning programs with OpenTuner Tutorials Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA Link to publication

	15:30 - 16:00: Sunday PM BreakCatering at Exhibit Halls A1-B

	15:30 - 16:00 Break		Afternoon Break Catering

	16:00 - 18:00: Machine Learning for Code AnalyticsTutorials at A103-104

	16:00 - 18:00 Talk		Machine Learning for Code Analytics Tutorials Veselin RaychevETH Zurich, Martin VechevETH Zurich Link to publication

	16:00 - 18:00: Doop Framework 101Tutorials at A107-A108

	16:00 - 18:00 Talk		Doop Framework 101 Tutorials George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens Link to publication

	16:00 - 18:00: session 4SOAP at B110-B11 Chair(s): Anders MøllerAarhus University

	16:00 - 17:00 Talk		Jalangi: A Dynamic Analyses Framework for JavaScript SOAP Koushik SenUniversity of California, Berkeley

	16:00 - 18:00: Global Load BalancingX10 at B112

	16:00 - 16:30 Talk		Towards an Efficient Fault-Tolerance Scheme for GLB X10 Marco BungartUniversität Kassel, Claudia FohryUniversität Kassel, Jonas PosnerUniversität Kassel Link to publication
	16:30 - 17:00 Talk		Scalable Parallel Numerical Constraint Solver Using Global Load Balancing X10 Daisuke IshiiTokyo Institute of Technology, Kazuki YoshizoeJapan Science and Technology Agency, Toyotaro SuzumuraIBM Research / University College Dublin / JST Link to publication

	16:00 - 18:00: Session4PLOOC at C120-C121

	16:00 - 16:40 Talk		Personalized Mathematical Word Problem Generation PLOOC P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
	16:40 - 17:20 Talk		Making Proof Tutors out of Proof Assistants PLOOC P: Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
	17:20 - 18:00 Talk		OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale PLOOC Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT

	16:00 - 18:00: AutoTune:Autotuning programs with OpenTunerTutorials at C122

	16:00 - 18:00 Talk		AutoTune:Autotuning programs with OpenTuner Tutorials Saman AmarasingheMIT, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Jeffrey BosboomMIT CSAIL, Shoaib KamilMIT CSAIL, USA Link to publication

	18:00 - 19:15: Turing LectureFCRC Plenary Speakers at Exhibit Hall A

	18:00 - 19:15 Talk		Turing Lecture FCRC Plenary Speakers Michael Stonebraker

	19:30 - 21:00: Welcome ReceptionResearch Papers at Exhibit Halls A1-B

	19:30 - 21:00		Welcome Reception and Poster Session Research Papers

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

	08:15 - 09:00: Monday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	08:15 - 09:00 Break		Breakfast Catering

	09:00 - 11:00: Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Steve BlackburnAustralian National University

	09:00 - 09:15 Day opening		Opening and Welcome Research Papers Steve BlackburnAustralian National University , David GroveIBM Research
	09:15 - 09:40 Talk		Automatically Improving Accuracy for Floating Point Expressions Research Papers Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle Media Attached
	09:40 - 10:05 Talk		Diagnosing Type Errors with Class Research Papers Danfeng ZhangCornell University, Andrew C. Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached
	10:05 - 10:30 Talk		Provably Correct Peephole Optimizations with Alive Research Papers Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah Media Attached
	10:30 - 10:50 Talk		One Minute Madness Research Papers

	11:00 - 11:20: Monday AM BreakCatering at Exhibit Halls A1-B

	11:00 - 11:20 Coffee break		Morning Break Catering

	11:20 - 12:30: Monday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A

	11:20 - 12:30 Talk		Interdisciplinarity: A View from Theory of Computation FCRC Plenary Speakers Andrew YaoTsinghua University

	12:30 - 14:00: SIGPLAN Awards LuncheonResearch Papers at Portland 251,257,258

	12:30 - 14:00 Lunch		SIGPLAN Awards Luncheon Research Papers Jan VitekNortheastern University

	14:00 - 15:40: VerificationResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Zachary TatlockUniversity of Washington, Seattle

	14:00 - 14:25 Talk		Mechanized Verification of Fine-grained Concurrent Programs Research Papers Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute Link to publication Media Attached
	14:25 - 14:50 Talk		Verification of Producer-Consumer Synchronization in GPU Programs Research Papers Rahul SharmaStanford University, Michael BauerNVIDIA Research, Alex AikenStanford University Media Attached
	14:50 - 15:15 Talk		Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO Research Papers Peter GammieNICTA, Tony HoskingAustralian National University, Data61, and Purdue University, Kai EngelhardtUNSW and NICTA Link to publication Media Attached
	15:15 - 15:40 Talk		Verifying Read-Copy-Update in a Logic for Weak Memory Research Papers Joseph TassarottiCarnegie Mellon University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany Media Attached

	14:00 - 15:40: CorrectnessResearch Papers at PLDI Main RED (Portland 256) Chair(s): Jens PalsbergUniversity of California, Los Angeles

	14:00 - 14:25 Talk		Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Research Papers Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK Media Attached
	14:25 - 14:50 Talk		Automatic Error Elimination by Multi-Application Code Transfer Research Papers Stelios Sidiroglou-DouskosMIT CSAIL, Eric LahtinenMIT CSAIL, Fan LongMIT CSAIL, Martin RinardMIT Media Attached
	14:50 - 15:15 Talk		Light: Replay via Tightly Bounded Recording Research Papers Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM T.J. Watson Research Center Media Attached
	15:15 - 15:40 Talk		Many-Core Compiler Fuzzing Research Papers Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London Media Attached

	15:40 - 16:00: Monday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	15:40 - 16:00 Break		Afternoon Break Catering

	16:00 - 17:40: Concurrency IResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Santosh NagarakatteRutgers University

	16:00 - 16:25 Talk		Asynchronous Programming, Analysis and Testing with State Machines Research Papers Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London Media Attached
	16:25 - 16:50 Talk		Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Research Papers Jeff HuangTexas A&M University Media Attached
	16:50 - 17:15 Talk		Synthesizing racy tests Research Papers Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University Media Attached
	17:15 - 17:40 Talk		The Push/Pull model of transactions Research Papers Eric KoskinenIBM TJ Watson Research Center, Matthew ParkinsonMicrosoft Research, UK Media Attached

	16:00 - 17:15: OptimizationResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle StroutColorado State University

	16:00 - 16:25 Talk		LaminarIR: Compile-Time Queues for Structured Streams Research Papers Yousun KoYonsei University, Bernd BurgstallerYonsei University, Bernhard ScholzThe University of Sydney Media Attached
	16:25 - 16:50 Talk		Optimizing Off-Chip Accesses in Multicores Research Papers Wei DingPennsylvania State University, Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, Yuanrui ZhangIntel, Emre KultursayPennsylvania State University Media Attached
	16:50 - 17:15 Talk		Improving Compiler Scalability: Optimizing Large Programs at Small Price Research Papers Sanyam MehtaUniversity of Minnesota, Pen-Chung YewUniversity of Minnesota Media Attached

	17:15 - 17:40: TOPLASResearch Papers at PLDI Main RED (Portland 256) Chair(s): Michelle StroutColorado State University

	17:15 - 17:40 Talk		Verification of a Cryptographic Primitive: SHA-256 Research Papers A: Andrew AppelPrinceton

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

	08:15 - 09:00: Tuesday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	08:15 - 09:00 Break		Breakfast Catering

	08:45 - 09:10: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)

	08:45 - 09:10 Talk		One Minute Madness Research Papers

	09:15 - 10:55: Concurrency IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Suresh JagannathanPurdue University

	09:15 - 09:40 Talk		Composing Concurrency Control Research Papers Ofri ZivTel Aviv University, Alex AikenStanford University, Guy Golan-GuetaYahoo Labs, G. RamalingamMicrosoft Research, Mooly SagivTel Aviv University Media Attached
	09:40 - 10:05 Talk		Dynamic Partial Order Reduction for Relaxed Memory Models Research Papers Naling ZhangVirginia Tech, Markus KusanoVirginia Tech, Chao WangVirginia Tech Media Attached
	10:05 - 10:30 Talk		Monitoring Refinement via Symbolic Reasoning Research Papers Michael Emmi, Constantin EneaLIAFA, Université Paris Diderot, Jad HamzaLIAFA, Université Paris Diderot Media Attached
	10:30 - 10:55 Talk		Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications Research Papers Stephen LongfieldCornell University, Brittany NkounkouCornell University, Rajit ManoharCornell University, Ross TateCornell University Media Attached

	09:15 - 10:55: Synthesis IResearch Papers at PLDI Main RED (Portland 256) Chair(s): Kathleen FisherTufts University

	09:15 - 09:40 Talk		Efficient Synthesis of Network Updates Research Papers Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Pavol CernyUniversity of Colorado Boulder, Nate FosterCornell University Pre-print Media Attached
	09:40 - 10:05 Talk		Efficient Synthesis of Probabilistic Programs Research Papers Aditya NoriMicrosoft Research, UK, Sherjil OzairIIT Delhi, Sriram RajamaniMicrosoft Research, Deepak VijaykeerthyMicrosoft Research Media Attached
	10:05 - 10:30 Talk		FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples Research Papers Dan BarowyUniversity of Massachusetts Amherst, Sumit GulwaniMicrosoft Research, Ted HartMicrosoft Research, Benjamin ZornMicrosoft Research Media Attached
	10:30 - 10:55 Talk		Synthesizing Data Structure Transformations from Input-Output Examples Research Papers John FeserRice University, Swarat ChaudhuriRice University, Isil DilligUniversity of Texas, Austin Media Attached

	11:00 - 11:20: Tuesday AM BreakCatering at Exhibit Halls A1-B

	11:00 - 11:20 Coffee break		Morning Break Catering

	11:20 - 12:30: Tuesday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A

	11:20 - 12:30 Talk		Hardware Neural Networks: From Inflated Expectations to Plateau of Productivity FCRC Plenary Speakers Olivier TemamINRIA

	12:30 - 14:00: Tuesday LunchCatering at Exhibit Halls A1-B

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:40: AnalysisResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Yannis SmaragdakisUniversity of Athens

	14:00 - 14:25 Talk		DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Research Papers Akash LalMicrosoft Research India, Shaz QadeerMicrosoft Research Media Attached File Attached
	14:25 - 14:50 Talk		Exploring and Enforcing Security Guarantees via Program Dependence Graphs Research Papers Andrew JohnsonHarvard University, Lucas WayeHarvard University, Scott MooreHarvard University, Stephen ChongHarvard University Media Attached
	14:50 - 15:15 Talk		Making Numerical Program Analysis Fast Research Papers Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Martin VechevETH Zurich Media Attached
	15:15 - 15:40 Talk		Tree Dependence Analysis Research Papers Yusheng WeijiangPurdue University, Shruthi BalakrishnaPurdue University, Jianqiao LiuPurdue University, Milind KulkarniPurdue University Media Attached

	14:00 - 15:40: Semantics IResearch Papers at PLDI Main RED (Portland 256) Chair(s): Hans-J. BoehmGoogle

	14:00 - 14:25 Talk		A Formal C Memory Model Supporting Integer-Pointer Casts Research Papers Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, William ManskyUniversity of Pennsylvania, Dmitri GarbuzovUniversity of Pennsylvania, Steve Zdancewic, Viktor VafeiadisMPI-SWS, Germany Media Attached
	14:25 - 14:50 Talk		Defining the undefinedness of C Research Papers Chris HathhornUniversity of Missouri, Chucky EllisonUniversity of Illinois, Grigore RoşuUniversity of Illinois at Urbana-Champaign Media Attached
	14:50 - 15:15 Talk		KJS: A Complete Formal Semantics of JavaScript Research Papers Daejun ParkUniversity of Illinois at Urbana-Champaign, Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign Media Attached
	15:15 - 15:40 Talk		Verdi: A Framework for Formally Verifying Distributed System Implementations Research Papers James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Pavel PanchekhaUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle, Xi WangUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington Media Attached

	15:40 - 16:00: Tuesday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	15:40 - 16:00 Break		Afternoon Break Catering

	16:00 - 18:00: PLDI Chairs' Report and SIGPLAN Townhall MeetingResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): David GroveIBM Research

	16:00 - 16:30 Talk		PLDI Chairs' Report Research Papers David GroveIBM Research, Steve BlackburnAustralian National University , Eric EideUniversity of Utah, John RegehrUniversity of Utah File Attached
	16:30 - 17:30 Meeting		ACM SIGPLAN Townhall Meeting Research Papers Jan VitekNortheastern University

	16:00 - 18:00: Student Research Competition TalksStudent Research Competition at PLDI Main RED (Portland 256) Chair(s): Isil DilligUniversity of Texas, Austin

	18:30 - 22:00: PLDI BanquetResearch Papers at Exchange Ballroom

	18:30 - 22:00		PLDI Banquet Research Papers

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

	08:15 - 09:00: Wednesday BreakfastCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	08:15 - 09:00 Break		Breakfast Catering

	08:30 - 09:00: One Minute MadnessResearch Papers at PLDI Main BLUE (Portland 254-255)

	08:30 - 09:00 Talk		One Minute Madness Research Papers

	09:00 - 09:15: Student Research Competition AwardsStudent Research Competition at PLDI Main BLUE (Portland 254-255)

	09:00 - 09:15 Awards		Student Research Competition Awards Session Student Research Competition Isil DilligUniversity of Texas, Austin

	09:15 - 10:55: PerformanceResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Mary HallUniversity of Utah

	09:15 - 09:40 Talk		Automated Detection of Performance Bugs via Static Analysis Research Papers Oswaldo Olivo, Isil DilligUniversity of Texas, Austin, Calvin LinUT Austin Media Attached
	09:40 - 10:05 Talk		Autotuning Algorithmic Choice for Input Sensitivity Research Papers Yufei DingNorth Carolina State University, Jason AnselMassachusetts Institute of Technology, Kalyan VeeramachaneniMassachusetts Institute of Technology, Xipeng ShenNorth Carolina State University, Una-May O’ReillyMassachusetts Institute of Technology, Saman AmarasingheMIT Link to publication Media Attached
	10:05 - 10:30 Talk		Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code Research Papers Charith MendisMIT CSAIL, Jeffrey BosboomMIT CSAIL, Kevin WuMIT CSAIL, Shoaib KamilMIT CSAIL, USA, Jonathan Ragan-KelleyStanford, Sylvain ParisAdobe, Qin ZhaoGoogle, Saman AmarasingheMIT Media Attached
	10:30 - 10:55 Talk		Profile-Guided Meta-Programming Research Papers William J. BowmanNortheastern University, Swaha MillerCisco Systems, Inc, Vincent St-AmourNortheastern University, R. Kent DybvigCisco Systems, Inc Link to publication Media Attached

	09:15 - 10:55: Semantics IIResearch Papers at PLDI Main RED (Portland 256) Chair(s): Robby FindlerNorthwestern University

	09:15 - 09:40 Talk		Declarative Programming over Eventually Consistent Data Stores Research Papers KC SivaramakrishnanUniversity of Cambridge, Gowtham KakiPurdue University, Suresh JagannathanPurdue University Media Attached
	09:40 - 10:05 Talk		Blame and coercion: Together again for the first time Research Papers Jeremy G. SiekIndiana University, Peter ThiemannUniversity of Freiburg, Philip WadlerUniversity of Edinburgh Media Attached
	10:05 - 10:30 Talk		Lightweight, Flexible Object-Oriented Generics Research Papers Yizhou ZhangCornell University, Andrew C. Myers, Barbara LiskovMIT, Guido SalvaneschiTU Darmstadt, Matt LoringCornell University Media Attached
	10:30 - 10:55 Talk		Relatively Complete Counterexamples for Higher-Order Programs Research Papers Phúc C. Nguyễn, David Van HornUniversity of Maryland, College Park Media Attached

	11:00 - 11:20: Wednesday AM BreakCatering at Exhibit Halls A1-B

	11:00 - 11:20 Coffee break		Morning Break Catering

	11:20 - 12:30: Wednesday Plenary TalkFCRC Plenary Speakers at Exhibit Hall A

	11:20 - 12:30 Talk		The F# Path to Relaxation FCRC Plenary Speakers Don SymeMicrosoft

	12:30 - 14:00: Wednesday LunchCatering at Exhibit Halls A1-B

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:40: ParallelismResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Sara BaghsorkhiIntel Labs

	14:00 - 14:25 Talk		Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments Research Papers Murali Krishna EmaniThe University of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh Media Attached
	14:25 - 14:50 Talk		Efficient Execution of Recursive Programs on Commodity Vector Hardware Research Papers Bin RenPacific Northwest National Laboratories, Youngjoon JoPurdue University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Kunal AgrawalWashington University in St. Louis, Milind KulkarniPurdue University Media Attached
	14:50 - 15:15 Talk		Loop and Data Transformations for Sparse Matrix Code Research Papers Anand VenkatUniversity of Utah, Mary HallUniversity of Utah, Michelle StroutColorado State University Media Attached
	15:15 - 15:40 Talk		Synthesizing Parallel Graph Programs via Automated Planning Research Papers Dimitrios PrountzosThe University of Texas at Austin, Texas, USA, Roman ManevichBen-Gurion University of the Negev, Keshav PingaliUniversity of Texas, Austin Media Attached

	14:00 - 15:40: LogicResearch Papers at PLDI Main RED (Portland 256) Chair(s): Nate FosterCornell University

	14:00 - 14:25 Talk		Automatic Induction Proofs of Data-Structures in Imperative Programs Research Papers Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore, Minh-Thai TrinhNational University of Singapore Media Attached
	14:25 - 14:50 Talk		Compositional Certified Resource Bounds Research Papers Quentin CarbonneauxYale University, Jan HoffmannYale University, Zhong ShaoYale University Link to publication Media Attached
	14:50 - 15:15 Talk		Peer-to-peer Affine Commitment using Bitcoin Research Papers Karl CraryCarnegie Mellon University, Michael J. Sullivan Media Attached
	15:15 - 15:40 Talk		Termination and Non-Termination Specification Inference Research Papers Ton Chanh LeNational University of Singapore, Shengchao QinTeesside University, Wei-Ngan ChinNational University of Singapore Media Attached

	15:40 - 16:00: Wednesday PM BreakCatering at Exhibit Halls A1-B Portland Ballroom Lobby

	15:40 - 16:00 Break		Afternoon Break Catering

	16:00 - 17:40: Synthesis IIResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Isil DilligUniversity of Texas, Austin

	16:00 - 16:25 Talk		Concurrency Debugging with Differential Schedule Projections Research Papers Nuno MachadoINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Brandon LuciaCarnegie Mellon University, Luís RodriguesUniversidade de Lisboa, Instituto Superior Técnico, INESC-ID Media Attached
	16:25 - 16:50 Talk		Synthesis of Machine Code from Semantics Research Papers Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. Media Attached
	16:50 - 17:15 Talk		Synthesis of ranking functions using extremal counterexamples Research Papers Laure GonnordUniversity of Lyon & LIP, France, David MonniauxCNRS, VERIMAG, Gabriel RadanneUniversité Denis Diderot Paris 7, PPS Media Attached
	17:15 - 17:40 Talk		Type-and-Example-Directed Program Synthesis Research Papers Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic Media Attached

	16:00 - 17:40: PotpourriResearch Papers at PLDI Main RED (Portland 256) Chair(s): Tiark RompfPurdue & Oracle Labs

	16:00 - 16:25 Talk		Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises Research Papers Stefan MarrInria, France, Chris SeatonOracle Labs / University of Manchester, Stéphane Ducasse INRIA Lille Media Attached
	16:25 - 16:50 Talk		Finding Counterexamples from Parsing Conflicts Research Papers Chinawat IsradisaikulCornell University, Andrew C. Myers Media Attached
	16:50 - 17:15 Talk		Interactive Parser Synthesis by Example Research Papers Alan LeungUniversity of California, San Diego, John SarracinoUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego Media Attached
	17:15 - 17:40 Talk		A Simpler, Safer Programming and Execution Model for Intermittent Systems Research Papers Brandon LuciaCarnegie Mellon University, Benjamin RansfordUniversity of Washington Media Attached

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00		30	9:00	30	10:00	30	11:00		30	12:00	30	13:00	30	14:00	30	15:00	30	16:00	30	17:00	30
A103-104				Tutorials Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics					Tutorials Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics						Tutorials CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics				Tutorials CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics
A107-A108				CHIUW					CHIUW						CHIUW				CHIUW
B110-B11				WOW					WOW						WOW				WOW
B112				Tutorials A Semantics-Directed Approach to Program Termination					Tutorials A Semantics-Directed Approach to Program Termination						Tutorials RASCAL: Program Analysis and Transformation with Rascal				Tutorials RASCAL: Program Analysis and Transformation with Rascal
B117-B118				Scala					Scala						Scala				Scala
C120-C121					WAX 9:30am: Opening and Papers Session 1				WAX Lightning Talks and Discussion Prep						WAX Report-Outs and Papers Session 2				WAX Papers Session 3 and Closing
C122				ARRAY Invited Talk and Paper Session 1					ARRAY Paper Session 2						ARRAY Paper Session 3				ARRAY Paper Session 4
Pre-function A		Catering Saturday Breakfast						Catering Saturday AM Break				Catering Saturday Lunch						Catering Saturday PM Break

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00		30	9:00	30	10:00	30	11:00		30	12:00	30	13:00		30	14:00	30	15:00		30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30
A103-104				Tutorials PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging					Tutorials PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging							Tutorials Machine Learning for Code Analytics					Tutorials Machine Learning for Code Analytics
A107-A108				CHIUW					CHIUW							Tutorials Doop Framework 101					Tutorials Doop Framework 101
B110-B11				SOAP session 1					SOAP session 2							SOAP session 3					SOAP session 4
B112				X10 Programming in X10					X10 Parallel Loops							X10 Compilers and Runtimes					X10 Global Load Balancing
C120-C121				PLOOC Session1					PLOOC Session2							PLOOC Session3					PLOOC Session4
C122														Tutorials AutoTune:Autotuning programs with OpenTuner					Tutorials AutoTune:Autotuning programs with OpenTuner
Exhibit Hall A														FCRC Plenary Speakers Turing Lecture
Exhibit Halls A1-B												Catering Sunday Lunch								Catering Sunday PM Break								Research Papers Welcome Reception
Pre-function A		Catering Sunday Breakfast						Catering Sunday AM Break

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00		30	9:00	30	10:00	30	11:00		30	12:00	30	13:00		30	14:00		30	15:00		30	16:00	30		17:00	30
Exhibit Hall A									FCRC Plenary Speakers Monday Plenary Talk
Exhibit Halls A1-B								Catering Monday AM Break
Exhibit Halls A1-B Portland Ballroom Lobby		Catering Monday Breakfast															Catering Monday PM Break
PLDI Main BLUE (Portland 254-255)				Research Papers Distinguished Papers												Research Papers Verification						Research Papers Concurrency I
PLDI Main RED (Portland 256)														Research Papers Correctness						Research Papers Optimization				Research Papers TOPLAS
Portland 251,257,258												Research Papers SIGPLAN Awards Luncheon

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00		30		9:00		30	10:00	30	11:00		30	12:00	30	13:00		30	14:00		30	15:00	30	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
Exchange Ballroom																Research Papers PLDI Banquet
Exhibit Hall A											FCRC Plenary Speakers Tuesday Plenary Talk
Exhibit Halls A1-B										Catering Tuesday AM Break				Catering Tuesday Lunch
Exhibit Halls A1-B Portland Ballroom Lobby		Catering Tuesday Breakfast																	Catering Tuesday PM Break
PLDI Main BLUE (Portland 254-255)				Research Papers One Minute Madness		Research Papers Concurrency II												Research Papers Analysis					Research Papers PLDI Chairs' Report and SIGPLAN Townhall Meeting
PLDI Main RED (Portland 256)						Research Papers Synthesis I												Research Papers Semantics I					Student Research Competition Student Research Competition Talks

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00		30	9:00		30	10:00	30	11:00		30	12:00	30	13:00	30	14:00		30	15:00	30	16:00	30	17:00	30
Exhibit Hall A										FCRC Plenary Speakers Wednesday Plenary Talk
Exhibit Halls A1-B									Catering Wednesday AM Break				Catering Wednesday Lunch
Exhibit Halls A1-B Portland Ballroom Lobby		Catering Wednesday Breakfast															Catering Wednesday PM Break
PLDI Main BLUE (Portland 254-255)			Research Papers One Minute Madness	Student Research Competition Student Research Competition Awards	Research Papers Performance											Research Papers Parallelism					Research Papers Synthesis II
PLDI Main RED (Portland 256)					Research Papers Semantics II											Research Papers Logic					Research Papers Potpourri

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00	15	30	45	9:00	15	30	45	10:00	15	30	45	11:00	15		30	45		12:00	15		30	45	13:00	15	30	45	14:00	15	30	45	15:00	15	30	45	16:00	15	30	45	17:00	15	30	45
A103-104					PLDI Tutorials Using the Intel C++ Compiler for General Purpose Computation Offload to ... 09:00 - 11:00										PLDI Tutorials Using the Intel C++ Compiler for General Purpose Computation Offload to ... 11:20 - 12:30													PLDI Tutorials CANCELLED: System-level Program Analysis and Architectural Evaluation w ... 14:00 - 15:30								PLDI Tutorials CANCELLED: System-level Program Analysis and Architectural Evaluation w ... 16:00 - 18:00
B112					PLDI Tutorials A Semantics-Directed Approach to Program Termination 09:00 - 11:00										PLDI Tutorials A Semantics-Directed Approach to Program Termination 11:20 - 12:30													PLDI Tutorials RASCAL: Program Analysis and Transformation with Rascal 14:00 - 15:30								PLDI Tutorials RASCAL: Program Analysis and Transformation with Rascal 16:00 - 18:00
C122					ARRAY INVITED TALK: Array Notation for Everybody 09:00 - 10:00				ARRAY Loo.py: From Fortran to performance via transformation and substitution ... 10:00 - 10:30		ARRAY Techniques for Efficient MATLAB-to-C Compilation 10:30 - 11:00				ARRAY Compiling APL to Accelerate Through a Typed Array Intermediate Language 11:20 - 11:50			ARRAY Velociraptor: A compiler toolkit for array-based languages targeting CP ... 11:50 - 12:20			ARRAY Morning Wrapup 12:20 - 12:30							ARRAY Performance Search Engine Driven by Prior Knowledge of Optimization 14:00 - 14:30		ARRAY High-Level Accelerated Array Programming in the Web Browser 14:30 - 15:00		ARRAY Accelerating Information Experts through Compiler Design 15:00 - 15:30				ARRAY Fusing Convolution Kernels through Tiling 16:00 - 16:30		ARRAY Array programming in Pascal 16:30 - 17:00		ARRAY Abstract Expressionism for Parallel Performance 17:00 - 17:30		ARRAY Afternoon Wrapup 17:30 - 18:00
Pre-function A		PLDI Catering Breakfast 08:15 - 09:00											PLDI Catering Morning Break 11:00 - 11:20									PLDI Catering Lunch 12:30 - 14:00												PLDI Catering Afternoon Break 15:30 - 16:00

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00	15	30	45	9:00			15	30	45	10:00	15			30		45	11:00	15		30	45		12:00	15	30	45	13:00	15		30	45	14:00	15	30		45	15:00	15		30	45	16:00	15	30		45	17:00	15		30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
A103-104					PLDI Tutorials PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging 09:00 - 11:00															PLDI Tutorials PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging 11:20 - 12:30													PLDI Tutorials Machine Learning for Code Analytics 14:00 - 15:30										PLDI Tutorials Machine Learning for Code Analytics 16:00 - 18:00
A107-A108																														PLDI Tutorials Doop Framework 101 14:00 - 15:30										PLDI Tutorials Doop Framework 101 16:00 - 18:00
B110-B11					SOAP Opening remarks 09:00 - 09:10		SOAP Static Analysis for Android: GUIs, Callbacks, and Beyond 09:10 - 10:00				SOAP Using Targeted Symbolic Execution for Reducing False-Positives in Dataf ... 10:00 - 10:20		SOAP Design Your Analysis: A Case Study on Implementation Reusability of Dat ... 10:20 - 10:40			SOAP Combining Type-Analysis with Points-To Analysis for Analyzing Java Libr ... 10:40 - 11:00				SOAP Static Analysis of JavaScript: Insights and Challenges 11:20 - 12:20													SOAP Evaluating Call Graph Construction for JVM-hosted Language Implementations 14:00 - 14:30		SOAP Droidel: A General Approach to Android Framework Modeling 14:30 - 15:00			SOAP Understanding Caller-Sensitive Method Vulnerabilities: A Class of Acces ... 15:00 - 15:30					SOAP Jalangi: A Dynamic Analyses Framework for JavaScript 16:00 - 17:00
B112					X10 Opening and Welcome 09:00 - 09:15			X10 Introduction to X10 09:15 - 10:30							X10 The X10 Global Matrix Library: A Resilient Framework for Linear Algebra ... 10:30 - 11:00					X10 Revisiting Loop Transformations with X10 Clocks 11:20 - 11:50			X10 Local Parallel Iteration in X10 11:50 - 12:20										X10 Cutting Out the Middleman: OS-Level Support for X10 Activities 14:00 - 14:30		X10 Optimization of X10 Programs with ROSE Compiler Infrastructure 14:30 - 15:00			X10 The APGAS Library: Resilient Parallel and Distributed Programming in Java 8 15:00 - 15:30					X10 Towards an Efficient Fault-Tolerance Scheme for GLB 16:00 - 16:30		X10 Scalable Parallel Numerical Constraint Solver Using Global Load Balancing 16:30 - 17:00
C120-C121					PLOOC Opening and Welcome 09:00 - 09:05	PLOOC Bug Localization with Statistical Models 09:05 - 09:45				PLOOC AutomataTutor and what I learned from building an online teaching tool 09:45 - 10:25				PLOOC Touchdevelop on the BBC’s microbit Going from a blocks programming lang ... 10:25 - 11:00							PLOOC The Hint Mechanism in Code Hunt 11:30 - 12:10												PLOOC Functional Programming For All! Scaling a MOOC for Students and Profess ... 14:00 - 14:40			PLOOC CPSGrader: Formal Methods for Lab-Based MOOCs 14:40 - 15:20							PLOOC Personalized Mathematical Word Problem Generation 16:00 - 16:40			PLOOC Making Proof Tutors out of Proof Assistants 16:40 - 17:20				PLOOC OverCode: Visualizing Variation in Student Solutions to Programming Pro ... 17:20 - 18:00
C122																														PLDI Tutorials AutoTune:Autotuning programs with OpenTuner 14:00 - 15:30										PLDI Tutorials AutoTune:Autotuning programs with OpenTuner 16:00 - 18:00
Exhibit Hall A																														PLDI FCRC Plenary Speakers Turing Lecture 18:00 - 19:15
Exhibit Halls A1-B																										PLDI Catering Lunch 12:30 - 14:00															PLDI Catering Afternoon Break 15:30 - 16:00																		PLDI Research Papers Welcome Reception and Poster Session 19:30 - 21:00
Pre-function A		PLDI Catering Breakfast 08:15 - 09:00																PLDI Catering Morning Break 11:00 - 11:20

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00	15	30	45	9:00	15	30		45	10:00		15	30	45	11:00	15		30	45	12:00	15	30	45	13:00	15		30	45	14:00		15			30		45		15:00	15		30	45	16:00		15		30		45		17:00	15	30	45
Exhibit Hall A																	PLDI FCRC Plenary Speakers Interdisciplinarity: A View from Theory of Computation 11:20 - 12:30
Exhibit Halls A1-B															PLDI Catering Morning Break 11:00 - 11:20
Exhibit Halls A1-B Portland Ballroom Lobby		PLDI Catering Breakfast 08:15 - 09:00																														PLDI Catering Afternoon Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)					PLDI Research Papers Opening and Welcome 09:00 - 09:15	PLDI Research Papers Automatically Improving Accuracy for Floating Point Expressions 09:15 - 09:40		PLDI Research Papers Diagnosing Type Errors with Class 09:40 - 10:05			PLDI Research Papers Provably Correct Peephole Optimizations with Alive 10:05 - 10:30		PLDI Research Papers One Minute Madness 10:30 - 10:50																PLDI Research Papers Mechanized Verification of Fine-grained Concurrent Programs 14:00 - 14:25				PLDI Research Papers Verification of Producer-Consumer Synchronization in GPU Programs 14:25 - 14:50				PLDI Research Papers Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO 14:50 - 15:15		PLDI Research Papers Verifying Read-Copy-Update in a Logic for Weak Memory 15:15 - 15:40				PLDI Research Papers Asynchronous Programming, Analysis and Testing with State Machines 16:00 - 16:25			PLDI Research Papers Stateless Model Checking Concurrent Programs with Maximal Causality Red ... 16:25 - 16:50				PLDI Research Papers Synthesizing racy tests 16:50 - 17:15		PLDI Research Papers The Push/Pull model of transactions 17:15 - 17:40
PLDI Main RED (Portland 256)																										PLDI Research Papers Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependen ... 14:00 - 14:25		PLDI Research Papers Automatic Error Elimination by Multi-Application Code Transfer 14:25 - 14:50		PLDI Research Papers Light: Replay via Tightly Bounded Recording 14:50 - 15:15					PLDI Research Papers Many-Core Compiler Fuzzing 15:15 - 15:40					PLDI Research Papers LaminarIR: Compile-Time Queues for Structured Streams 16:00 - 16:25		PLDI Research Papers Optimizing Off-Chip Accesses in Multicores 16:25 - 16:50		PLDI Research Papers Improving Compiler Scalability: Optimizing Large Programs at Small Price 16:50 - 17:15				PLDI Research Papers Verification of a Cryptographic Primitive: SHA-256 17:15 - 17:40
Portland 251,257,258																						PLDI Research Papers SIGPLAN Awards Luncheon 12:30 - 14:00

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00	15	30	45	9:00	15	30		45	10:00		15	30	45	11:00	15		30	45	12:00	15	30	45	13:00	15		30	45	14:00	15			30	45		15:00	15	30	45	16:00	15	30	45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Exchange Ballroom																										PLDI Research Papers PLDI Banquet 18:30 - 22:00
Exhibit Hall A																	PLDI FCRC Plenary Speakers Hardware Neural Networks: From Inflated Expectations to Plateau of Prod ... 11:20 - 12:30
Exhibit Halls A1-B															PLDI Catering Morning Break 11:00 - 11:20							PLDI Catering Lunch 12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby		PLDI Catering Breakfast 08:15 - 09:00																													PLDI Catering Afternoon Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)				PLDI Research Papers One Minute Madness 08:45 - 09:10		PLDI Research Papers Composing Concurrency Control 09:15 - 09:40		PLDI Research Papers Dynamic Partial Order Reduction for Relaxed Memory Models 09:40 - 10:05			PLDI Research Papers Monitoring Refinement via Symbolic Reasoning 10:05 - 10:30		PLDI Research Papers Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Sp ... 10:30 - 10:55																PLDI Research Papers DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in ... 14:00 - 14:25			PLDI Research Papers Exploring and Enforcing Security Guarantees via Program Dependence Graphs 14:25 - 14:50			PLDI Research Papers Making Numerical Program Analysis Fast 14:50 - 15:15		PLDI Research Papers Tree Dependence Analysis 15:15 - 15:40			PLDI Research Papers PLDI Chairs' Report 16:00 - 16:30		PLDI Research Papers ACM SIGPLAN Townhall Meeting 16:30 - 17:30
PLDI Main RED (Portland 256)						PLDI Research Papers Efficient Synthesis of Network Updates 09:15 - 09:40		PLDI Research Papers Efficient Synthesis of Probabilistic Programs 09:40 - 10:05			PLDI Research Papers FlashRelate: Extracting Relational Data from Semi-Structured Spreadshee ... 10:05 - 10:30		PLDI Research Papers Synthesizing Data Structure Transformations from Input-Output Examples 10:30 - 10:55																PLDI Research Papers A Formal C Memory Model Supporting Integer-Pointer Casts 14:00 - 14:25			PLDI Research Papers Defining the undefinedness of C 14:25 - 14:50			PLDI Research Papers KJS: A Complete Formal Semantics of JavaScript 14:50 - 15:15		PLDI Research Papers Verdi: A Framework for Formally Verifying Distributed System Implementa ... 15:15 - 15:40

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change


Room	8:00	15	30	45	9:00	15	30		45	10:00		15	30	45	11:00	15		30	45	12:00	15	30	45	13:00	15	30	45	14:00	15			30	45		15:00	15	30	45	16:00	15		30	45		17:00	15	30	45
Exhibit Hall A																	PLDI FCRC Plenary Speakers The F# Path to Relaxation 11:20 - 12:30
Exhibit Halls A1-B															PLDI Catering Morning Break 11:00 - 11:20							PLDI Catering Lunch 12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby		PLDI Catering Breakfast 08:15 - 09:00																												PLDI Catering Afternoon Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)			PLDI Research Papers One Minute Madness 08:30 - 09:00		PLDI Student Research Competition Student Research Competition Awards Session 09:00 - 09:15	PLDI Research Papers Automated Detection of Performance Bugs via Static Analysis 09:15 - 09:40		PLDI Research Papers Autotuning Algorithmic Choice for Input Sensitivity 09:40 - 10:05			PLDI Research Papers Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Bina ... 10:05 - 10:30		PLDI Research Papers Profile-Guided Meta-Programming 10:30 - 10:55															PLDI Research Papers Celebrating Diversity: A Mixture of Experts Approach for Runtime Mappin ... 14:00 - 14:25			PLDI Research Papers Efficient Execution of Recursive Programs on Commodity Vector Hardware 14:25 - 14:50			PLDI Research Papers Loop and Data Transformations for Sparse Matrix Code 14:50 - 15:15		PLDI Research Papers Synthesizing Parallel Graph Programs via Automated Planning 15:15 - 15:40			PLDI Research Papers Concurrency Debugging with Differential Schedule Projections 16:00 - 16:25		PLDI Research Papers Synthesis of Machine Code from Semantics 16:25 - 16:50			PLDI Research Papers Synthesis of ranking functions using extremal counterexamples 16:50 - 17:15		PLDI Research Papers Type-and-Example-Directed Program Synthesis 17:15 - 17:40
PLDI Main RED (Portland 256)						PLDI Research Papers Declarative Programming over Eventually Consistent Data Stores 09:15 - 09:40		PLDI Research Papers Blame and coercion: Together again for the first time 09:40 - 10:05			PLDI Research Papers Lightweight, Flexible Object-Oriented Generics 10:05 - 10:30		PLDI Research Papers Relatively Complete Counterexamples for Higher-Order Programs 10:30 - 10:55															PLDI Research Papers Automatic Induction Proofs of Data-Structures in Imperative Programs 14:00 - 14:25			PLDI Research Papers Compositional Certified Resource Bounds 14:25 - 14:50			PLDI Research Papers Peer-to-peer Affine Commitment using Bitcoin 14:50 - 15:15		PLDI Research Papers Termination and Non-Termination Specification Inference 15:15 - 15:40			PLDI Research Papers Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast ... 16:00 - 16:25		PLDI Research Papers Finding Counterexamples from Parsing Conflicts 16:25 - 16:50			PLDI Research Papers Interactive Parser Synthesis by Example 16:50 - 17:15		PLDI Research Papers A Simpler, Safer Programming and Execution Model for Intermittent Systems 17:15 - 17:40

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

PLDI 2015 Program

Filter Program

Program Display Configuration

Sat 13 Jun Times are displayed in time zone: Tijuana, Baja California change

Sun 14 Jun Times are displayed in time zone: Tijuana, Baja California change

Mon 15 Jun Times are displayed in time zone: Tijuana, Baja California change

Tue 16 Jun Times are displayed in time zone: Tijuana, Baja California change

Wed 17 Jun Times are displayed in time zone: Tijuana, Baja California change

Sat 13 Jun Times are displayed in time zone: Tijuana, Baja California change

Tutorials

Tutorials

Tutorials

Tutorials

CHIUW

CHIUW

CHIUW

CHIUW

WOW

WOW

WOW

WOW

Tutorials

Tutorials

Tutorials

Tutorials

Scala

Scala

Scala

Scala

WAX

WAX

WAX

WAX

ARRAY

ARRAY

ARRAY

ARRAY

Catering

Catering

Catering

Catering

Sun 14 Jun Times are displayed in time zone: Tijuana, Baja California change

Tutorials

Tutorials

Tutorials

Tutorials

CHIUW

CHIUW

Tutorials

Tutorials

SOAP

SOAP

SOAP

SOAP

X10

X10

X10

X10

PLOOC

PLOOC

PLOOC

PLOOC

Tutorials

Tutorials

FCRC Plenary Speakers

Catering

Catering

Research Papers

Catering

Catering

Mon 15 Jun Times are displayed in time zone: Tijuana, Baja California change

FCRC Plenary Speakers

Catering

Catering

Catering

Research Papers

Research Papers

Research Papers

Research Papers

Research Papers

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Tue 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Wed 17 Jun
Times are displayed in time zone: Tijuana, Baja California change