PLOOC 2015
Sat 13 - Wed 17 June 2015
Portland, Oregon, United States
co-located with
PLDI 2015
Toggle navigation
Attending
Venue: Oregon Convention Center
Venue: Exchange Ballroom
Program
Complete Program
Your Program
Sat 13 Jun
Sun 14 Jun
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Track/Call
Organization
PLOOC 2015 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2015
(
series
) /
PLOOC 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Sanyam Mehta
University of Minnesota
,
Pen-Chung Yew
University of Minnesota
Media Attached
17:15 - 17:40
TOPLAS
PLDI 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
PLDI Research Papers
A:
Andrew W. Appel
Princeton
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
change
09:15 - 10:55
Synthesis I
PLDI Research Papers
at
PLDI Main RED (Portland 256)
Chair(s):
Kathleen Fisher
Tufts University
09:15
25m
Talk
Efficient Synthesis of Network Updates
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Phúc C. Nguyễn
,
David Van Horn
University of Maryland, College Park
Media Attached
14:00 - 15:40
Logic
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Karl Crary
Carnegie Mellon University
,
Michael J. Sullivan
Media Attached
15:15
25m
Talk
Termination and Non-Termination Specification Inference
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Chinawat Isradisaikul
Cornell University
,
Andrew Myers
Media Attached
16:50
25m
Talk
Interactive Parser Synthesis by Example
PLDI 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
PLDI 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)
PLDI Research Papers
Correctness
PLDI Research Papers
Optimization
PLDI 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)
PLDI Research Papers
Synthesis I
PLDI Research Papers
Semantics I
PLDI 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)
PLDI Research Papers
Semantics II
PLDI Research Papers
Logic
PLDI 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
Thu 25 Apr 16:55