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 RED (Portland 256)
Venue
Oregon Convention Center
Room name
PLDI Main RED (Portland 256)
Floor
2
Room number
Portland 256
Capacity
254
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
14:00 - 15:40
Correctness
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Jens Palsberg
University of California, Los Angeles
14:00
25m
Talk
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Research Papers
Maarten Faddegon
University of Kent, UK
,
Olaf Chitil
University of Kent, UK
Media Attached
14:25
25m
Talk
Automatic Error Elimination by Multi-Application Code Transfer
Research Papers
Stelios Sidiroglou-Douskos
MIT CSAIL
,
Eric Lahtinen
MIT CSAIL
,
Fan Long
MIT CSAIL
,
Martin C. Rinard
MIT
Media Attached
14:50
25m
Talk
Light: Replay via Tightly Bounded Recording
Research Papers
Peng Liu
Purdue University
,
Xiangyu Zhang
Purdue University
,
Omer Tripp
IBM Thomas J. Watson Research Center
,
Yunhui Zheng
IBM Research
Media Attached
15:15
25m
Talk
Many-Core Compiler Fuzzing
Research Papers
Nathan Chong
University College London
,
Alastair F. Donaldson
Imperial College London
,
Andrei Lascu
Imperial College London
,
Christopher Lidbury
Imperial College London
Media Attached
16:00 - 17:15
Optimization
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Michelle Strout
Colorado State University
16:00
25m
Talk
LaminarIR: Compile-Time Queues for Structured Streams
Research Papers
Yousun Ko
Yonsei University
,
Bernd Burgstaller
Yonsei University
,
Bernhard Scholz
The University of Sydney
Media Attached
16:25
25m
Talk
Optimizing Off-Chip Accesses in Multicores
Research Papers
Wei Ding
Pennsylvania State University
,
Xulong Tang
Penn State
,
Mahmut Taylan Kandemir
Pennsylvania State University
,
Yuanrui Zhang
Intel
,
Emre Kultursay
Pennsylvania State University
Media Attached
16:50
25m
Talk
Improving Compiler Scalability: Optimizing Large Programs at Small Price
Research Papers
Sanyam Mehta
University of Minnesota
,
Pen-Chung Yew
University of Minnesota
Media Attached
17:15 - 17:40
TOPLAS
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Michelle Strout
Colorado State University
17:15
25m
Talk
Verification of a Cryptographic Primitive: SHA-256
Research Papers
A:
Andrew W. Appel
Princeton
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
change
09:15 - 10:55
Synthesis I
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Kathleen Fisher
Tufts University
09:15
25m
Talk
Efficient Synthesis of Network Updates
Research Papers
Jedidiah McClurg
University of Colorado Boulder
,
Hossein Hojjat
Cornell University
,
Pavol Cerny
University of Colorado Boulder
,
Nate Foster
Cornell University
Pre-print
Media Attached
09:40
25m
Talk
Efficient Synthesis of Probabilistic Programs
Research Papers
Aditya Nori
Microsoft Research, UK
,
Sherjil Ozair
IIT Delhi
,
Sriram Rajamani
Microsoft Research
,
Deepak Vijaykeerthy
Microsoft Research
Media Attached
10:05
25m
Talk
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Research Papers
Dan Barowy
University of Massachusetts Amherst
,
Sumit Gulwani
Microsoft Research
,
Ted Hart
Microsoft Research
,
Benjamin Zorn
Microsoft Research
Media Attached
10:30
25m
Talk
Synthesizing Data Structure Transformations from Input-Output Examples
Research Papers
Jack Feser
Rice University
,
Swarat Chaudhuri
Rice University
,
Işıl Dillig
University of Texas, Austin
Media Attached
14:00 - 15:40
Semantics I
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Hans-J. Boehm
Google
14:00
25m
Talk
A Formal C Memory Model Supporting Integer-Pointer Casts
Research Papers
Jeehoon Kang
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
William Mansky
University of Pennsylvania
,
Dmitri Garbuzov
University of Pennsylvania
,
Steve Zdancewic
,
Viktor Vafeiadis
MPI-SWS, Germany
Media Attached
14:25
25m
Talk
Defining the undefinedness of C
Research Papers
Chris Hathhorn
University of Missouri
,
Chucky Ellison
University of Illinois
,
Grigore Roşu
University of Illinois at Urbana-Champaign
Media Attached
14:50
25m
Talk
KJS: A Complete Formal Semantics of JavaScript
Research Papers
Daejun Park
University of Illinois at Urbana-Champaign
,
Andrei Stefanescu
University of Illinois at Urbana-Champaign
,
Grigore Roşu
University of Illinois at Urbana-Champaign
Media Attached
15:15
25m
Talk
Verdi: A Framework for Formally Verifying Distributed System Implementations
Research Papers
James R. Wilcox
University of Washington
,
Doug Woos
University of Washington
,
Pavel Panchekha
University of Washington
,
Zachary Tatlock
University of Washington, Seattle
,
Xi Wang
University of Washington
,
Michael D. Ernst
University of Washington
,
Thomas Anderson
University of Washington
Media Attached
16:00 - 18:00
Student Research Competition Talks
Student Research Competition
at
PLDI Main RED (Portland 256)
Chair(s):
Işıl Dillig
University of Texas, Austin
Wed 17 Jun
Displayed time zone:
Tijuana, Baja California
change
09:15 - 10:55
Semantics II
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Robert Bruce Findler
Northwestern University
09:15
25m
Talk
Declarative Programming over Eventually Consistent Data Stores
Research Papers
KC Sivaramakrishnan
University of Cambridge
,
Gowtham Kaki
Purdue University
,
Suresh Jagannathan
Purdue University
Media Attached
09:40
25m
Talk
Blame and coercion: Together again for the first time
Research Papers
Jeremy G. Siek
Indiana University
,
Peter Thiemann
University of Freiburg
,
Philip Wadler
University of Edinburgh
Media Attached
10:05
25m
Talk
Lightweight, Flexible Object-Oriented Generics
Research Papers
Yizhou Zhang
Cornell University
,
Andrew Myers
,
Barbara Liskov
MIT
,
Guido Salvaneschi
TU Darmstadt
,
Matt Loring
Cornell University
Media Attached
10:30
25m
Talk
Relatively Complete Counterexamples for Higher-Order Programs
Research Papers
Phúc C. Nguyễn
,
David Van Horn
University of Maryland, College Park
Media Attached
14:00 - 15:40
Logic
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Nate Foster
Cornell University
14:00
25m
Talk
Automatic Induction Proofs of Data-Structures in Imperative Programs
Research Papers
Duc-Hiep Chu
National University of Singapore
,
Joxan Jaffar
National University of Singapore
,
Minh-Thai Trinh
National University of Singapore
Media Attached
14:25
25m
Talk
Compositional Certified Resource Bounds
Research Papers
Quentin Carbonneaux
Yale University
,
Jan Hoffmann
Yale University
,
Zhong Shao
Yale University
Link to publication
Media Attached
14:50
25m
Talk
Peer-to-peer Affine Commitment using Bitcoin
Research Papers
Karl Crary
Carnegie Mellon University
,
Michael J. Sullivan
Media Attached
15:15
25m
Talk
Termination and Non-Termination Specification Inference
Research Papers
Ton Chanh Le
National University of Singapore
,
Shengchao Qin
Teesside University
,
Wei-Ngan Chin
National University of Singapore
Media Attached
16:00 - 17:40
Potpourri
Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Tiark Rompf
Purdue & Oracle Labs
16:00
25m
Talk
Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Research Papers
Stefan Marr
Inria, France
,
Chris Seaton
Oracle Labs / University of Manchester
,
Stéphane Ducasse
INRIA Lille
Media Attached
16:25
25m
Talk
Finding Counterexamples from Parsing Conflicts
Research Papers
Chinawat Isradisaikul
Cornell University
,
Andrew Myers
Media Attached
16:50
25m
Talk
Interactive Parser Synthesis by Example
Research Papers
Alan Leung
University of California, San Diego
,
John Sarracino
University of California, San Diego
,
Sorin Lerner
University of California, San Diego
Media Attached
17:15
25m
Talk
A Simpler, Safer Programming and Execution Model for Intermittent Systems
Research Papers
Brandon Lucia
Carnegie Mellon University
,
Benjamin Ransford
University of Washington
Media Attached
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
PLDI Main RED (Portland 256)
Research Papers
Correctness
Research Papers
Optimization
Research Papers
TOPLAS
Tue 16 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 RED (Portland 256)
Research Papers
Synthesis I
Research Papers
Semantics I
Student Research Competition
Student Research Competition Talks
Wed 17 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 RED (Portland 256)
Research Papers
Semantics II
Research Papers
Logic
Research Papers
Potpourri
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
Tue 16 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
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
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 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
x
Sat 2 Nov 17:29