PLDI 2015
Sat 13 - Wed 17 June 2015
Portland, Oregon, United States
Toggle navigation
Attending
Venue: Oregon Convention Center
Venue: Exchange Ballroom
Hotel and Travel Information
Student Travel Support
Registration
SIGPLAN Conference Anti-Harassment Policy
Student Volunteers
Program
Complete Program
Your Program
Sat 13 Jun
Sun 14 Jun
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Tracks
PLDI 2015
FCRC Plenary Speakers
Artifact Evaluation
Tutorials
Research Papers
Student Research Competition
Workshops
ARRAY
ARRAY
ARRAY
CHIUW
CHIUW
CHIUW
PLOOC
PLOOC
PLOOC
SOAP
SOAP
SOAP
WAX
WOW
X10
X10
X10
Co-hosted Symposia
Scala
Scala
Scala
Organization
PLDI 2015 Committees
Organizing Committee
Track Committees
Artifact Evaluation
Research Papers
Program Committee
Research Papers
External Review Committee
Contributors
People Index
Workshops
ARRAY
Program Committee
CHIUW
Program Committee
PLOOC
Program Committee
SOAP
Program Committee
WAX
Organizers
Program Committee
WOW
Program Committee
X10
Program Committee
Co-hosted Symposia
Scala
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2015
(
series
) /
Oregon Convention Center
/
Room information: PLDI Main BLUE (Portland 254-255)
Venue
Oregon Convention Center
Room name
PLDI Main BLUE (Portland 254-255)
Floor
2
Room number
Portland 254-255
Capacity
590
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Distinguished Papers
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Steve Blackburn
Australian National University
09:00
15m
Day opening
Opening and Welcome
Research Papers
Steve Blackburn
Australian National University
,
David Grove
IBM Research
09:15
25m
Talk
Automatically Improving Accuracy for Floating Point Expressions
Research Papers
Pavel Panchekha
University of Washington
,
Alex Sanchez-Stern
University of Washington
,
James R. Wilcox
University of Washington
,
Zachary Tatlock
University of Washington, Seattle
Media Attached
09:40
25m
Talk
Diagnosing Type Errors with Class
Research Papers
Danfeng Zhang
Cornell University
,
Andrew Myers
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
,
Simon Peyton Jones
Microsoft Research, Cambridge
Media Attached
10:05
25m
Talk
Provably Correct Peephole Optimizations with Alive
Research Papers
Nuno P. Lopes
Microsoft Research
,
David Menendez
Rutgers University
,
Santosh Nagarakatte
Rutgers University
,
John Regehr
University of Utah
Pre-print
Media Attached
10:30
20m
Talk
One Minute Madness
Research Papers
14:00 - 15:40
Verification
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Zachary Tatlock
University of Washington, Seattle
14:00
25m
Talk
Mechanized Verification of Fine-grained Concurrent Programs
Research Papers
Ilya Sergey
IMDEA Software Institute
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
Link to publication
Media Attached
14:25
25m
Talk
Verification of Producer-Consumer Synchronization in GPU Programs
Research Papers
Rahul Sharma
Stanford University
,
Michael Bauer
NVIDIA Research
,
Alex Aiken
Stanford University
Media Attached
14:50
25m
Talk
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Research Papers
Peter Gammie
NICTA
,
Tony Hosking
Australian National University, Data61, and Purdue University
,
Kai Engelhardt
UNSW and NICTA
Link to publication
Media Attached
15:15
25m
Talk
Verifying Read-Copy-Update in a Logic for Weak Memory
Research Papers
Joseph Tassarotti
Carnegie Mellon University
,
Derek Dreyer
MPI-SWS
,
Viktor Vafeiadis
MPI-SWS, Germany
Media Attached
16:00 - 17:40
Concurrency I
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Santosh Nagarakatte
Rutgers University
16:00
25m
Talk
Asynchronous Programming, Analysis and Testing with State Machines
Research Papers
Pantazis Deligiannis
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Jeroen Ketema
,
Akash Lal
Microsoft Research India
,
Paul Thomson
Imperial College London
Media Attached
16:25
25m
Talk
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Research Papers
Jeff Huang
Texas A&M University
Media Attached
16:50
25m
Talk
Synthesizing racy tests
Research Papers
Malavika Samak
Indian Institute of Science, Bangalore
,
Murali Krishna Ramanathan
Indian Institute of Science, Bangalore
,
Suresh Jagannathan
Purdue University
Media Attached
17:15
25m
Talk
The Push/Pull model of transactions
Research Papers
Eric Koskinen
IBM TJ Watson Research Center
,
Matthew J. Parkinson
Microsoft Research, UK
Media Attached
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
change
08:45 - 09:10
One Minute Madness
Research Papers
at
PLDI Main BLUE (Portland 254-255)
08:45
25m
Talk
One Minute Madness
Research Papers
09:15 - 10:55
Concurrency II
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Suresh Jagannathan
Purdue University
09:15
25m
Talk
Composing Concurrency Control
Research Papers
Ofri Ziv
Tel Aviv University
,
Alex Aiken
Stanford University
,
Guy Golan-Gueta
Yahoo Labs
,
G. Ramalingam
Microsoft Research
,
Mooly Sagiv
Tel Aviv University
Media Attached
09:40
25m
Talk
Dynamic Partial Order Reduction for Relaxed Memory Models
Research Papers
Naling Zhang
Virginia Tech
,
Markus Kusano
Virginia Tech
,
Chao Wang
Virginia Tech
Media Attached
10:05
25m
Talk
Monitoring Refinement via Symbolic Reasoning
Research Papers
Michael Emmi
,
Constantin Enea
LIAFA, Université Paris Diderot
,
Jad Hamza
LIAFA, Université Paris Diderot
Media Attached
10:30
25m
Talk
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Research Papers
Stephen Longfield
Cornell University
,
Brittany Nkounkou
Cornell University
,
Rajit Manohar
Cornell University
,
Ross Tate
Cornell University
Media Attached
14:00 - 15:40
Analysis
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Yannis Smaragdakis
University of Athens
14:00
25m
Talk
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Research Papers
Akash Lal
Microsoft Research India
,
Shaz Qadeer
Microsoft Research
Media Attached
File Attached
14:25
25m
Talk
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Research Papers
Andrew Johnson
Harvard University
,
Lucas Waye
Harvard University
,
Scott Moore
Harvard University
,
Stephen Chong
Harvard University
Media Attached
14:50
25m
Talk
Making Numerical Program Analysis Fast
Research Papers
Gagandeep Singh
ETH Zurich, Switzerland
,
Markus Püschel
ETH Zurich
,
Martin Vechev
ETH Zurich
Media Attached
15:15
25m
Talk
Tree Dependence Analysis
Research Papers
Yusheng Weijiang
Purdue University
,
Shruthi Balakrishna
Purdue University
,
Jianqiao Liu
Purdue University
,
Milind Kulkarni
Purdue University
Media Attached
16:00 - 18:00
PLDI Chairs' Report and SIGPLAN Townhall Meeting
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
David Grove
IBM Research
16:00
30m
Talk
PLDI Chairs' Report
Research Papers
David Grove
IBM Research
,
Steve Blackburn
Australian National University
,
Eric Eide
University of Utah
,
John Regehr
University of Utah
File Attached
16:30
60m
Meeting
ACM SIGPLAN Townhall Meeting
Research Papers
Jan Vitek
Northeastern University
Wed 17 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:00
One Minute Madness
Research Papers
at
PLDI Main BLUE (Portland 254-255)
08:30
30m
Talk
One Minute Madness
Research Papers
09:00 - 09:15
Student Research Competition Awards
Student Research Competition
at
PLDI Main BLUE (Portland 254-255)
09:00
15m
Awards
Student Research Competition Awards Session
Student Research Competition
Işıl Dillig
University of Texas, Austin
09:15 - 10:55
Performance
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Mary Hall
University of Utah
09:15
25m
Talk
Automated Detection of Performance Bugs via Static Analysis
Research Papers
Oswaldo Olivo
,
Işıl Dillig
University of Texas, Austin
,
Calvin Lin
UT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
Research Papers
Yufei Ding
North Carolina State University
,
Jason Ansel
Massachusetts Institute of Technology
,
Kalyan Veeramachaneni
Massachusetts Institute of Technology
,
Xipeng Shen
North Carolina State University
,
Una-May O’Reilly
Massachusetts Institute of Technology
,
Saman Amarasinghe
MIT
Link to publication
Media Attached
10:05
25m
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Research Papers
Charith Mendis
MIT CSAIL
,
Jeffrey Bosboom
MIT CSAIL
,
Kevin Wu
MIT CSAIL
,
Shoaib Kamil
MIT CSAIL, USA
,
Jonathan Ragan-Kelley
Stanford
,
Sylvain Paris
Adobe
,
Qin Zhao
Google
,
Saman Amarasinghe
MIT
Media Attached
10:30
25m
Talk
Profile-Guided Meta-Programming
Research Papers
William J. Bowman
Northeastern University
,
Swaha Miller
Cisco Systems, Inc
,
Vincent St-Amour
Northeastern University
,
R. Kent Dybvig
Cisco Systems, Inc
Link to publication
Media Attached
14:00 - 15:40
Parallelism
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Sara Baghsorkhi
Intel Labs
14:00
25m
Talk
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Research Papers
Murali Krishna Emani
The University of Edinburgh
,
Michael F. P. O'Boyle
University of Edinburgh
Media Attached
14:25
25m
Talk
Efficient Execution of Recursive Programs on Commodity Vector Hardware
Research Papers
Bin Ren
Pacific Northwest National Laboratories
,
Youngjoon Jo
Purdue University
,
Sriram Krishnamoorthy
Pacific Northwest National Laboratories
,
Kunal Agrawal
Washington University in St. Louis
,
Milind Kulkarni
Purdue University
Media Attached
14:50
25m
Talk
Loop and Data Transformations for Sparse Matrix Code
Research Papers
Anand Venkat
University of Utah
,
Mary Hall
University of Utah
,
Michelle Strout
Colorado State University
Media Attached
15:15
25m
Talk
Synthesizing Parallel Graph Programs via Automated Planning
Research Papers
Dimitrios Prountzos
The University of Texas at Austin, Texas, USA
,
Roman Manevich
Ben-Gurion University of the Negev
,
Keshav Pingali
University of Texas, Austin
Media Attached
16:00 - 17:40
Synthesis II
Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Işıl Dillig
University of Texas, Austin
16:00
25m
Talk
Concurrency Debugging with Differential Schedule Projections
Research Papers
Nuno Machado
INESC-ID / Instituto Superior Técnico, Universidade de Lisboa
,
Brandon Lucia
Carnegie Mellon University
,
Luís Rodrigues
Universidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
16:25
25m
Talk
Synthesis of Machine Code from Semantics
Research Papers
Venkatesh Srinivasan
University of Wisconsin - Madison
,
Thomas Reps
University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:50
25m
Talk
Synthesis of ranking functions using extremal counterexamples
Research Papers
Laure Gonnord
University of Lyon & LIP, France
,
David Monniaux
CNRS, VERIMAG
,
Gabriel Radanne
Université Denis Diderot Paris 7, PPS
Media Attached
17:15
25m
Talk
Type-and-Example-Directed Program Synthesis
Research Papers
Peter-Michael Osera
University of Pennsylvania
,
Steve Zdancewic
Media Attached
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
PLDI Main BLUE (Portland 254-255)
Research Papers
Distinguished Papers
Research Papers
Verification
Research Papers
Concurrency I
Tue 16 Jun
Displayed 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
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
Wed 17 Jun
Displayed 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
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
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
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
Tue 16 Jun
Displayed 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
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
Wed 17 Jun
Displayed 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
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
x
Sat 2 Nov 17:25