Program - PLDI 2015

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

Filter

Sat 13 Jun

08:15 - 09:00: Catering - Saturday Breakfast at Pre-function A

08:15 - 09:00
Break

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

09:00 - 11:00
Talk

A Semantics-Directed Approach to Program Termination

Salvador Lucas, José Meseguer

Link to publication

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

09:00 - 10:00
Talk

INVITED TALK: Array Notation for Everybody

10:00 - 10:30
Talk

Loo.py: From Fortran to performance via transformation and substitution rules

Andreas Kloeckner

10:30 - 11:00
Talk

Techniques for Efficient MATLAB-to-C Compilation

João Bispo, Luís Reis, João Cardoso

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

09:00 - 11:00
Talk

Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics

Knud Kirkegaard, Anoop M. Prabha

Link to publication

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

11:00 - 11:20: Catering - Saturday AM Break at Pre-function A

11:00 - 11:20
Coffee break

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

11:20 - 12:30
Talk

A Semantics-Directed Approach to Program Termination

Salvador Lucas, José Meseguer

Link to publication

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

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

11:20 - 11:50
Talk

Compiling APL to Accelerate Through a Typed Array Intermediate Language

Michael Budde, Martin Dybdal, Martin Elsman

11:50 - 12:20
Talk

Velociraptor: A compiler toolkit for array-based languages targeting CPUs and GPUs

Rahul Garg, Sameer Jagdale, Laurie Hendren

12:20 - 12:30
Other

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

11:20 - 12:30
Talk

Using the Intel C++ Compiler for General Purpose Computation Offload to Intel Processor Graphics

Knud Kirkegaard, Anoop M. Prabha

Link to publication

12:30 - 14:00: Catering - Saturday Lunch at Pre-function A

12:30 - 14:00
Lunch

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

14:00 - 15:30
Talk

CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics

Nadav Chachmon, Magnus Christensson, Vijay J. Reddi

14:00 - 15:30: ARRAY - Paper Session 3 at C122
Chair(s): Hidehiko Masuhara

14:00 - 14:30
Talk

Performance Search Engine Driven by Prior Knowledge of Optimization

Youngsung Kim, Pavol Cerny

14:30 - 15:00
Talk

High-Level Accelerated Array Programming in the Web Browser

Mathias Bourgoin, Emmanuel Chailloux

15:00 - 15:30
Talk

Accelerating Information Experts through Compiler Design

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

14:00 - 15:30
Talk

RASCAL: Program Analysis and Transformation with Rascal

Mark Hills, Paul Klint, Jurgen Vinju

Link to publication

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

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

15:30 - 16:00
Break

Afternoon Break

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

16:00 - 18:00
Talk

CANCELLED: System-level Program Analysis and Architectural Evaluation with Simics

Nadav Chachmon, Magnus Christensson, Vijay J. Reddi

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

16:00 - 16:30
Talk

Fusing Convolution Kernels through Tiling

Mahesh Ravishankar, Paulius Micikevicius, Vinod Grover

16:30 - 17:00
Talk

Array programming in Pascal

Paul Cockshott, Susanne Oehler, Youssef Gdura, Ciaran Mcreesh

17:00 - 17:30
Talk

Abstract Expressionism for Parallel Performance

Robert Bernecky, Sven-Bodo Scholz

17:30 - 18:00
Other

Afternoon Wrapup

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

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

16:00 - 18:00
Talk

RASCAL: Program Analysis and Transformation with Rascal

Mark Hills, Paul Klint, Jurgen Vinju

Link to publication

Sun 14 Jun

08:15 - 09:00: Catering - Sunday Breakfast at Pre-function A

08:15 - 09:00
Break

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

09:00 - 11:00
Talk

PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging

Harish Patil, Milind Chabbi

Link to publication

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

09:00 - 09:15
Day opening

Opening and Welcome

Jose Nelson Amaral, Olivier Tardieu

09:15 - 10:30
Talk

Introduction to X10

Olivier Tardieu

Link to publication

10:30 - 11:00
Talk

The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications

Sara S. Hamouda, Josh Milthorpe, Peter Strazdins, Vijay Saraswat

Link to publication

09:00 - 11:00: PLOOC 2015 - Session1 at C120-C121

09:00 - 09:05
Talk

Opening and Welcome

Armando Solar-Lezama, Rishabh Singh

09:05 - 09:45
Talk

Bug Localization with Statistical Models

Pavol Bielik, Svetoslav Karaivanov, Veselin Raychev, Martin Vechev, Christine Zeller

09:45 - 10:25
Talk

AutomataTutor and what I learned from building an online teaching tool

Loris D'Antoni, Rajeev Alur, Dileep Kini, Mahesh Viswanathan, Sumit Gulwani, Bjoern Hartmann, Matthew Weaver

10:25 - 11:00
Talk

Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM

Jonathan Protzenko

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

09:00 - 09:10
Day opening

Opening remarks

09:10 - 10:00
Talk

Static Analysis for Android: GUIs, Callbacks, and Beyond

10:00 - 10:20
Talk

Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis

Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden

10:20 - 10:40
Talk

Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions

Johannes Lerch, Ben Hermann

10:40 - 11:00
Talk

Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code

Nicholas Allen, Paddy Krishnan, Bernhard Scholz

11:00 - 11:20: Catering - Sunday AM Break at Pre-function A

11:00 - 11:20
Coffee break

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

11:20 - 12:30
Talk

PINPLAY:Using PinPlay for Reproducible Analysis and Replay Debugging

Harish Patil, Milind Chabbi

Link to publication

11:20 - 12:30: X10 - Parallel Loops at B112

11:20 - 11:50
Talk

Revisiting Loop Transformations with X10 Clocks

Link to publication

11:50 - 12:20
Talk

Local Parallel Iteration in X10

Link to publication

11:20 - 12:30: PLOOC 2015 - Session2 at C120-C121

11:30 - 12:10
Talk

The Hint Mechanism in Code Hunt

Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman

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

11:20 - 12:20
Talk

Static Analysis of JavaScript: Insights and Challenges

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

12:30 - 14:00
Lunch

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

14:00 - 15:30
Talk

AutoTune:Autotuning programs with OpenTuner

Saman Amarasinghe, Jason Ansel, Kalyan Veeramachaneni, Jeffrey Bosboom, Shoaib Kamil

Link to publication

14:00 - 15:30: X10 - Compilers and Runtimes at B112

14:00 - 14:30
Talk

Cutting Out the Middleman: OS-Level Support for X10 Activities

Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann

Link to publication

14:30 - 15:00
Talk

Optimization of X10 Programs with ROSE Compiler Infrastructure

Michihiro Horie, Mikio Takeuchi, Kiyokuni Kawachiya, David Grove

Link to publication

15:00 - 15:30
Talk

The APGAS Library: Resilient Parallel and Distributed Programming in Java 8

Olivier Tardieu

Link to publication

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

14:00 - 15:30
Talk

Doop Framework 101

George Kastrinis, Yannis Smaragdakis

Link to publication

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

14:00 - 15:30
Talk

Machine Learning for Code Analytics

Veselin Raychev, Martin Vechev

Link to publication

14:00 - 15:30: PLOOC 2015 - Session3 at C120-C121

14:00 - 14:40
Talk

Functional Programming For All! Scaling a MOOC for Students and Professionals Alike

Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky

14:40 - 15:20
Talk

CPSGrader: Formal Methods for Lab-Based MOOCs

Sanjit Seshia, Alexandre Donze, Jeff Jensen, Garvit Juniwal

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

14:00 - 14:30
Talk

Evaluating Call Graph Construction for JVM-hosted Language Implementations

14:30 - 15:00
Talk

Droidel: A General Approach to Android Framework Modeling

Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang

15:00 - 15:30
Talk

Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform

Cristina Cifuentes, Andrew Gross, Nathan Keynes

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

15:30 - 16:00
Break

Afternoon Break

16:00 - 18:00: Tutorials - AutoTune:Autotuning programs with OpenTuner at C122

16:00 - 18:00
Talk

AutoTune:Autotuning programs with OpenTuner

Saman Amarasinghe, Jason Ansel, Kalyan Veeramachaneni, Jeffrey Bosboom, Shoaib Kamil

Link to publication

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

16:00 - 18:00
Talk

Doop Framework 101

George Kastrinis, Yannis Smaragdakis

Link to publication

16:00 - 18:00: X10 - Global Load Balancing at B112

16:00 - 16:30
Talk

Towards an Efficient Fault-Tolerance Scheme for GLB

Marco Bungart, Claudia Fohry, Jonas Posner

Link to publication

16:30 - 17:00
Talk

Scalable Parallel Numerical Constraint Solver Using Global Load Balancing

Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura

Link to publication

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

16:00 - 18:00
Talk

Machine Learning for Code Analytics

Veselin Raychev, Martin Vechev

Link to publication

16:00 - 18:00: PLOOC 2015 - Session4 at C120-C121

16:00 - 16:40
Talk

Personalized Mathematical Word Problem Generation

Alex Polozov, Eleanor O'Rourke, Adam Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic

16:40 - 17:20
Talk

Making Proof Tutors out of Proof Assistants

Peter-Michael Osera, Steve Zdancewic

17:20 - 18:00
Talk

OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale

Elena Glassman, Jeremy Scott, Rishabh Singh, Philip Guo, Robert Miller

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

16:00 - 17:00
Talk

Jalangi: A Dynamic Analyses Framework for JavaScript

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

18:00 - 19:15
Talk

Michael Stonebraker

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

19:30 - 21:00

Welcome Reception and Poster Session

Mon 15 Jun

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

08:15 - 09:00
Break

09:00 - 11:00: Research Papers - Distinguished Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve Blackburn

09:00 - 09:15
Day opening

Opening and Welcome

Steve Blackburn, David Grove

09:15 - 09:40
Talk

Automatically Improving Accuracy for Floating Point Expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock

09:40 - 10:05
Talk

Diagnosing Type Errors with Class

Danfeng Zhang, Andrew Myers, Dimitrios Vytiniotis, Simon Peyton Jones

10:05 - 10:30
Talk

Provably Correct Peephole Optimizations with Alive

Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr

10:30 - 10:50
Talk

One Minute Madness

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

11:00 - 11:20
Coffee break

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

11:20 - 12:30
Talk

Interdisciplinarity: A View from Theory of Computation

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

12:30 - 14:00
Lunch

SIGPLAN Awards Luncheon

14:00 - 15:40: Research Papers - Correctness at PLDI Main RED (Portland 256)
Chair(s): Jens Palsberg

14:00 - 14:25
Talk

Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Maarten Faddegon, Olaf Chitil

14:25 - 14:50
Talk

Automatic Error Elimination by Multi-Application Code Transfer

Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin Rinard

14:50 - 15:15
Talk

Light: Replay via Tightly Bounded Recording

Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng

15:15 - 15:40
Talk

Many-Core Compiler Fuzzing

Nathan Chong, Alastair Donaldson, Andrei Lascu, Christopher Lidbury

14:00 - 15:40: Research Papers - Verification at PLDI Main BLUE (Portland 254-255)
Chair(s): Zachary Tatlock

14:00 - 14:25
Talk

Mechanized Verification of Fine-grained Concurrent Programs

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Link to publication Media Attached

14:25 - 14:50
Talk

Verification of Producer-Consumer Synchronization in GPU Programs

Rahul Sharma, Michael Bauer, Alex Aiken

14:50 - 15:15
Talk

Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO

Peter Gammie, Tony Hosking, Kai Engelhardt

Link to publication Media Attached

15:15 - 15:40
Talk

Verifying Read-Copy-Update in a Logic for Weak Memory

Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis

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

15:40 - 16:00
Break

Afternoon Break

16:00 - 17:40: Research Papers - Concurrency I at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh Nagarakatte

16:00 - 16:25
Talk

Asynchronous Programming, Analysis and Testing with State Machines

Pantazis Deligiannis, Alastair Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

16:25 - 16:50
Talk

Stateless Model Checking Concurrent Programs with Maximal Causality Reduction

16:50 - 17:15
Talk

Synthesizing racy tests

Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan

17:15 - 17:40
Talk

The Push/Pull model of transactions

Eric Koskinen, Matthew Parkinson

16:00 - 17:15: Research Papers - Optimization at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout

16:00 - 16:25
Talk

LaminarIR: Compile-Time Queues for Structured Streams

Yousun Ko, Bernd Burgstaller, Bernhard Scholz

16:25 - 16:50
Talk

Optimizing Off-Chip Accesses in Multicores

Wei Ding, Xulong Tang, Mahmut Taylan Kandemir, Yuanrui Zhang, Emre Kultursay

16:50 - 17:15
Talk

Improving Compiler Scalability: Optimizing Large Programs at Small Price

Sanyam Mehta, Pen-Chung Yew

17:15 - 17:40: Research Papers - TOPLAS at PLDI Main RED (Portland 256)
Chair(s): Michelle Strout

17:15 - 17:40
Talk

Verification of a Cryptographic Primitive: SHA-256

Tue 16 Jun

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

08:15 - 09:00
Break

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

08:45 - 09:10
Talk

One Minute Madness

09:15 - 10:55: Research Papers - Concurrency II at PLDI Main BLUE (Portland 254-255)
Chair(s): Suresh Jagannathan

09:15 - 09:40
Talk

Composing Concurrency Control

Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv

09:40 - 10:05
Talk

Dynamic Partial Order Reduction for Relaxed Memory Models

Naling Zhang, Markus Kusano, Chao Wang

10:05 - 10:30
Talk

Monitoring Refinement via Symbolic Reasoning

Michael Emmi, Constantin Enea, Jad Hamza

10:30 - 10:55
Talk

Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications

Stephen Longfield, Brittany Nkounkou, Rajit Manohar, Ross Tate

09:15 - 10:55: Research Papers - Synthesis I at PLDI Main RED (Portland 256)
Chair(s): Kathleen Fisher

09:15 - 09:40
Talk

Efficient Synthesis of Network Updates

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster

Pre-print Media Attached

09:40 - 10:05
Talk

Efficient Synthesis of Probabilistic Programs

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy

10:05 - 10:30
Talk

FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples

Dan Barowy, Sumit Gulwani, Ted Hart, Benjamin Zorn

10:30 - 10:55
Talk

Synthesizing Data Structure Transformations from Input-Output Examples

John Feser, Swarat Chaudhuri, Isil Dillig

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

11:00 - 11:20
Coffee break

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

11:20 - 12:30
Talk

Hardware Neural Networks: From Inflated Expectations to Plateau of Productivity

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

12:30 - 14:00
Lunch

14:00 - 15:40: Research Papers - Analysis at PLDI Main BLUE (Portland 254-255)
Chair(s): Yannis Smaragdakis

14:00 - 14:25
Talk

DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs

Akash Lal, Shaz Qadeer

Media Attached File Attached

14:25 - 14:50
Talk

Exploring and Enforcing Security Guarantees via Program Dependence Graphs

Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong

14:50 - 15:15
Talk

Making Numerical Program Analysis Fast

Gagandeep Singh, Markus Püschel, Martin Vechev

15:15 - 15:40
Talk

Tree Dependence Analysis

Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni

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

14:00 - 14:25
Talk

A Formal C Memory Model Supporting Integer-Pointer Casts

Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis

14:25 - 14:50
Talk

Defining the undefinedness of C

Chris Hathhorn, Chucky Ellison, Grigore Rosu

14:50 - 15:15
Talk

KJS: A Complete Formal Semantics of JavaScript

Daejun Park, Andrei Stefanescu, Grigore Rosu

15:15 - 15:40
Talk

Verdi: A Framework for Formally Verifying Distributed System Implementations

James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas Anderson

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

15:40 - 16:00
Break

Afternoon Break

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

16:00 - 16:30
Talk

PLDI Chairs' Report

David Grove, Steve Blackburn, Eric Eide, John Regehr

16:30 - 17:30
Meeting

ACM SIGPLAN Townhall Meeting

16:00 - 18:00: Student Research Competition - Student Research Competition Talks at PLDI Main RED (Portland 256)
Chair(s): Isil Dillig

18:30 - 22:00: Research Papers - PLDI Banquet at Exchange Ballroom

18:30 - 22:00

Wed 17 Jun

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

08:15 - 09:00
Break

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

08:30 - 09:00
Talk

One Minute Madness

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

09:00 - 09:15
Awards

Student Research Competition Awards Session

09:15 - 10:55: Research Papers - Performance at PLDI Main BLUE (Portland 254-255)
Chair(s): Mary Hall

09:15 - 09:40
Talk

Automated Detection of Performance Bugs via Static Analysis

Oswaldo Olivo, Isil Dillig, Calvin Lin

09:40 - 10:05
Talk

Autotuning Algorithmic Choice for Input Sensitivity

Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, Saman Amarasinghe

Link to publication Media Attached

10:05 - 10:30
Talk

Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code

Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman Amarasinghe

10:30 - 10:55
Talk

Profile-Guided Meta-Programming

William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig

Link to publication Media Attached

09:15 - 10:55: Research Papers - Semantics II at PLDI Main RED (Portland 256)
Chair(s): Robby Findler

09:15 - 09:40
Talk

Declarative Programming over Eventually Consistent Data Stores

KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

09:40 - 10:05
Talk

Blame and coercion: Together again for the first time

Jeremy G. Siek, Peter Thiemann, Philip Wadler

10:05 - 10:30
Talk

Lightweight, Flexible Object-Oriented Generics

Yizhou Zhang, Andrew Myers, Barbara Liskov, Guido Salvaneschi, Matt Loring

10:30 - 10:55
Talk

Relatively Complete Counterexamples for Higher-Order Programs

Phúc C. Nguyễn, David Van Horn

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

11:00 - 11:20
Coffee break

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

11:20 - 12:30
Talk

The F# Path to Relaxation

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

12:30 - 14:00
Lunch

14:00 - 15:40: Research Papers - Logic at PLDI Main RED (Portland 256)
Chair(s): Nate Foster

14:00 - 14:25
Talk

Automatic Induction Proofs of Data-Structures in Imperative Programs

Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh

14:25 - 14:50
Talk

Compositional Certified Resource Bounds

Quentin Carbonneaux, Jan Hoffmann, Zhong Shao

Link to publication Media Attached

14:50 - 15:15
Talk

Peer-to-peer Affine Commitment using Bitcoin

Karl Crary, Michael J. Sullivan

15:15 - 15:40
Talk

Termination and Non-Termination Specification Inference

Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin

14:00 - 15:40: Research Papers - Parallelism at PLDI Main BLUE (Portland 254-255)
Chair(s): Sara Baghsorkhi

14:00 - 14:25
Talk

Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments

Murali Krishna Emani, Michael O'Boyle

14:25 - 14:50
Talk

Efficient Execution of Recursive Programs on Commodity Vector Hardware

Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni

14:50 - 15:15
Talk

Loop and Data Transformations for Sparse Matrix Code

Anand Venkat, Mary Hall, Michelle Strout

15:15 - 15:40
Talk

Synthesizing Parallel Graph Programs via Automated Planning

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

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

15:40 - 16:00
Break

Afternoon Break

16:00 - 17:40: Research Papers - Potpourri at PLDI Main RED (Portland 256)
Chair(s): Tiark Rompf

16:00 - 16:25
Talk

Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises

Stefan Marr, Chris Seaton, Stéphane Ducasse

16:25 - 16:50
Talk

Finding Counterexamples from Parsing Conflicts

Chinawat Isradisaikul, Andrew Myers

16:50 - 17:15
Talk

Interactive Parser Synthesis by Example

Alan Leung, John Sarracino, Sorin Lerner

17:15 - 17:40
Talk

A Simpler, Safer Programming and Execution Model for Intermittent Systems

Brandon Lucia, Benjamin Ransford

16:00 - 17:40: Research Papers - Synthesis II at PLDI Main BLUE (Portland 254-255)
Chair(s): Isil Dillig

16:00 - 16:25
Talk

Concurrency Debugging with Differential Schedule Projections

Nuno Machado, Brandon Lucia, Luís Rodrigues

16:25 - 16:50
Talk

Synthesis of Machine Code from Semantics

Venkatesh Srinivasan, Thomas Reps

16:50 - 17:15
Talk

Synthesis of ranking functions using extremal counterexamples

Laure Gonnord, David Monniaux, Gabriel Radanne

17:15 - 17:40
Talk

Type-and-Example-Directed Program Synthesis

Peter-Michael Osera, Steve Zdancewic

Sat 13 Jun 2015


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

Sun 14 Jun 2015


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

Mon 15 Jun 2015


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 11:20 - 12:30
Exhibit Halls A1-B																																					Catering Monday AM Break 11:00 - 11:20
Exhibit Halls A1-B Portland Ballroom Lobby				Catering Monday Breakfast 08:15 - 09:00																																																																									Catering Monday PM Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)													Research Papers Distinguished Papers 09:00 - 11:00																																																												Research Papers Verification 14:00 - 15:40																								Research Papers Concurrency I 16:00 - 17:40
PLDI Main RED (Portland 256)																																																																	Research Papers Correctness 14:00 - 15:40																								Research Papers Optimization 16:00 - 17:15															Research Papers TOPLAS 17:15 - 17:40
Portland 251,257,258																																																							Research Papers SIGPLAN Awards Luncheon 12:30 - 14:00

Tue 16 Jun 2015


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						22:00						30
Exchange Ballroom																																																																	Research Papers PLDI Banquet 18:30 - 22:00
Exhibit Hall A																																									FCRC Plenary Speakers Tuesday Plenary Talk 11:20 - 12:30
Exhibit Halls A1-B																																					Catering Tuesday AM Break 11:00 - 11:20																		Catering Tuesday Lunch 12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby				Catering Tuesday Breakfast 08:15 - 09:00																																																																									Catering Tuesday PM Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)										Research Papers One Minute Madness 08:45 - 09:10						Research Papers Concurrency II 09:15 - 10:55																																																									Research Papers Analysis 14:00 - 15:40																								Research Papers PLDI Chairs' Report and SIGPLAN Townhall Meeting 16:00 - 18:00
PLDI Main RED (Portland 256)																Research Papers Synthesis I 09:15 - 10:55																																																									Research Papers Semantics I 14:00 - 15:40																								Student Research Competition Student Research Competition Talks 16:00 - 18:00

Wed 17 Jun 2015


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 11:20 - 12:30
Exhibit Halls A1-B																																					Catering Wednesday AM Break 11:00 - 11:20																		Catering Wednesday Lunch 12:30 - 14:00
Exhibit Halls A1-B Portland Ballroom Lobby				Catering Wednesday Breakfast 08:15 - 09:00																																																																									Catering Wednesday PM Break 15:40 - 16:00
PLDI Main BLUE (Portland 254-255)							Research Papers One Minute Madness 08:30 - 09:00						Student Research Competition Student Research Competition Awards 09:00 - 09:15			Research Papers Performance 09:15 - 10:55																																																									Research Papers Parallelism 14:00 - 15:40																								Research Papers Synthesis II 16:00 - 17:40
PLDI Main RED (Portland 256)																Research Papers Semantics II 09:15 - 10:55																																																									Research Papers Logic 14:00 - 15:40																								Research Papers Potpourri 16:00 - 17:40

Sat 13 Jun 2015


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

Sun 14 Jun 2015


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

Mon 15 Jun 2015


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

Tue 16 Jun 2015


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

Wed 17 Jun 2015


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