PLDI 2016
Mon 13 - Fri 17 June 2016
Santa Barbara, California, United States
Toggle navigation
Attending
Venue: The Fess Parker, Santa Barbara, CA
Travel, Accommodations and Child Care
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
PLDI Program
Your Program
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Tracks
PLDI 2016
Co-Located Conferences and Symposia
Invited Speakers
Artifact Evaluation
Research Papers
Student Posters
Student Research Competition
Tutorials
Co-hosted Conferences
LCTES
LCTES
LCTES
Workshops
ARRAY
FMS
PLMW@PLDI
SOAP
X10
Co-hosted Symposia
ISMM
ISMM
ISMM
Organization
PLDI 2016 Committees
Artifact Evaluation Committee
External Program Committee
External Review Committee
Organizing Committee
Program Committee
Distinguished Paper Committee
Track Committees
Artifact Evaluation
Student Posters
Contributors
People Index
Co-hosted Conferences
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Programme Committee
FMS
Organizing Committee
PLMW@PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
X10
Organizing Committee
Program Committee
Co-hosted Symposia
ISMM
External Review Committee
Organizing Committee
Program Committee
Steering 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 2016
(
series
) /
The Fess Parker, Santa Barbara, CA
/
Room information: Grand Ballroom San Rafael
Venue
The Fess Parker, Santa Barbara, CA
Room name
Grand Ballroom San Rafael
Floor
0
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-06: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:00) Caracas
(GMT-04: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+11:00) Magadan
(GMT+11:00) 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
Wed 15 Jun
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Verification I
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Işıl Dillig
University of Texas, Austin
10:30
30m
Talk
Data-Driven Precondition Inference with Learned Features
Research Papers
Saswat Padhi
University of California, Los Angeles
,
Rahul Sharma
Stanford University
,
Todd Millstein
University of California, Los Angeles
Media Attached
11:00
30m
Talk
Cartesian Hoare Logic for Verifying k-Safety Properties
Research Papers
Marcelo Sousa
University of Oxford
,
Işıl Dillig
University of Texas, Austin
Media Attached
11:30
30m
Talk
Verifying Bit Manipulations of Floating-Point
Research Papers
Wonyeol Lee
Stanford University
,
Rahul Sharma
Stanford University
,
Alex Aiken
Stanford University
Media Attached
13:30 - 15:00
Energy & Performance
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Manuel Hermenegildo
IMDEA Software Institute and T.U. of Madrid (UPM)
13:30
30m
Talk
Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict Misses
Research Papers
Changwan Hong
,
Wenlei Bao
,
Albert Cohen
INRIA
,
Sriram Krishnamoorthy
Pacific Northwest National Laboratories
,
Louis-Noël Pouchet
Ohio State University
,
J. Ramanujam
Louisiana State University
,
Fabrice Rastello
INRIA, France
,
P. Sadayappan
Ohio State University
Media Attached
14:00
30m
Talk
GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing
Research Papers
Yuhao Zhu
,
Vijay J. Reddi
Link to publication
Media Attached
14:30
30m
Talk
Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
Research Papers
Michael A. Laurenzano
University of Michigan
,
Parker Hill
,
Mehrzad Samadi
University of Michigan
,
Scott Mahlke
University of Michigan
,
Jason Mars
University of Michigan
,
Lingjia Tang
University of Michigan
Media Attached
15:30 - 17:00
Parsing & Compilation
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Michelle Strout
The University of Arizona
15:30
30m
Talk
Automatic Storage Optimization for Arrays [TOPLAS]
Research Papers
Somashekaracharya G Bhaskaracharya
Indian Institute of Science and National Instruments
,
Uday Bondhugula
Indian Institute of Science
,
Albert Cohen
INRIA
Media Attached
16:00
30m
Talk
Polyhedral AST generation is more than scanning polyhedra [TOPLAS]
Research Papers
Tobias Grosser
ETH Zurich, Switzerland
,
Sven Verdoolaege
,
Albert Cohen
INRIA
Media Attached
16:30
30m
Talk
On the Complexity and Performance of Parsing with Derivatives
Research Papers
Michael D. Adams
University of Utah
,
Celeste Hollenbeck
University of Utah
,
Matthew Might
University of Utah, USA
Pre-print
Media Attached
Thu 16 Jun
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Types I
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
David Walker
Princeton University
10:30
30m
Talk
Accepting Blame for Safe Tunneled Exceptions
Research Papers
Yizhou Zhang
Cornell University
,
Guido Salvaneschi
TU Darmstadt
,
Quinn Beightol
Cornell
,
Barbara Liskov
MIT
,
Andrew Myers
Cornell University
Link to publication
DOI
Media Attached
11:00
30m
Talk
Occurrence Typing Modulo Theories
Research Papers
Andrew Kent
Indiana University
,
David Kempe II
,
Sam Tobin-Hochstadt
Indiana University
Pre-print
Media Attached
11:30
30m
Talk
Refinement Types for TypeScript
Research Papers
Panagiotis Vekris
University of California, San Diego
,
Benjamin Cosman
University of California, San Diego
,
Ranjit Jhala
University of California, San Diego
Media Attached
13:30 - 15:00
Software-Defined Networking
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Todd Millstein
University of California, Los Angeles
13:30
30m
Talk
Event-driven Network Programming
Research Papers
Jedidiah McClurg
University of Colorado Boulder
,
Hossein Hojjat
Cornell University
,
Nate Foster
Cornell University
,
Pavol Cerny
University of Colorado Boulder
Pre-print
Media Attached
14:00
30m
Talk
Temporal NetKAT
Research Papers
Ryan Beckett
Princeton University
,
Michael Greenberg
Pomona College
,
David Walker
Princeton University
Media Attached
14:30
30m
Talk
SDNRacer: Concurrency Analysis for Software-Defined Networks
Research Papers
Ahmed Elhassany
ETH Zürich
,
Jeremie Miserez
ETH Zürich
,
Pavol Bielik
ETH Zurich, Switzerland
,
Laurent Vanbever
ETH Zürich
,
Martin Vechev
ETH Zurich
Media Attached
15:30 - 17:00
Types II
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Jean Yang
Carnegie Mellon University
15:30
30m
Talk
Just-in-Time Static Type Checking for Dynamic Languages
Research Papers
Brianna M. Ren
University of Maryland, College Park
,
Jeffrey S. Foster
University of Maryland, College Park
Media Attached
16:00
30m
Talk
Types from data: Making structured data first-class citizens in F#
Research Papers
Tomas Petricek
University of Cambridge, UK
,
Don Syme
Microsoft
,
Gustavo Guerra
Microsoft Corporation, London
Pre-print
Media Attached
16:30
30m
Talk
Automatically Learning Shape Specifications
Research Papers
He Zhu
Purdue University
,
Gustavo Petri
LIAFA, Université Paris Diderot
,
Suresh Jagannathan
Purdue University
Media Attached
17:00 - 18:00
Parallelism I
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Tony Hosking
Australian National University, Data61, and Purdue University
17:00
30m
Talk
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
Research Papers
Sepideh Maleki
Texas State University
,
Annie Yang
Texas State University
,
Martin Burtscher
Texas State University
Pre-print
Media Attached
17:30
30m
Talk
A Distributed OpenCL Framework using Redundant Computation and Data Replication
Research Papers
Junghyun Kim
Seoul National University
,
Gangwon Jo
Seoul National University
,
Jaehoon Jung
Seoul National University
,
Jungwon Kim
Oak Ridge National Laboratory
,
Jaejin Lee
Seoul National University
Media Attached
Fri 17 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Verification II
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Armando Solar-Lezama
MIT
09:00
30m
Talk
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Research Papers
Nikolaj Bjørner
Microsoft Research
,
Klaus Gleissenthall
Technische Universität München
,
Andrey Rybalchenko
Microsoft Research
Media Attached
09:30
30m
Talk
Ivy: Safety Verification by Interactive Generalization
Research Papers
Oded Padon
Tel Aviv University
,
Kenneth L. McMillan
Microsoft Research
,
Aurojit Panda
,
Mooly Sagiv
Tel Aviv University
,
Sharon Shoham
Media Attached
10:30 - 12:00
Parallelism II
Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Albert Cohen
INRIA
10:30
30m
Talk
Transactional Data Structure Libraries
Research Papers
Alexander Spiegelman
Technion - Israel institute of technology
,
Guy Golan-Gueta
Yahoo Labs
,
Idit Keidar
Technion - Israel institute of technology
Media Attached
11:00
30m
Talk
FlexVec: Auto-Vectorization for Irregular Loops
Research Papers
Sara Baghsorkhi
Intel Labs
,
Nalini Vasudevan
Google
,
Youfeng Wu
Intel Corporation
Media Attached
11:30
30m
Talk
Verified Lifting of Stencil Computations
Research Papers
Shoaib Kamil
MIT CSAIL, USA
,
Alvin Cheung
University of Washington
,
Shachar Itzhaky
MIT CSAIL
,
Armando Solar-Lezama
MIT
Media Attached
Wed 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Ballroom San Rafael
Research Papers
Verification I
Research Papers
Energy & Performance
Research Papers
Parsing & Compilation
Thu 16 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Ballroom San Rafael
Research Papers
Types I
Research Papers
Software-Defined Networking
Research Papers
Types II
Research Papers
Parallelism I
Fri 17 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
Grand Ballroom San Rafael
Research Papers
Verification II
Research Papers
Parallelism II
Wed 15 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
Grand Ballroom San Rafael
PLDI Research Papers
Data-Driven Precondition Inference with Learned Features
10:30 - 11:00
PLDI Research Papers
Cartesian Hoare Logic for Verifying k-Safety Properties
11:00 - 11:30
PLDI Research Papers
Verifying Bit Manipulations of Floating-Point
11:30 - 12:00
PLDI Research Papers
Effective Padding of Multi-Dimensional Arrays to Avoid Cache Conflict M ...
13:30 - 14:00
PLDI Research Papers
GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing
14:00 - 14:30
PLDI Research Papers
Input Responsiveness: Using Canary Inputs to Dynamically Steer Approxim ...
14:30 - 15:00
PLDI Research Papers
Automatic Storage Optimization for Arrays [TOPLAS]
15:30 - 16:00
PLDI Research Papers
Polyhedral AST generation is more than scanning polyhedra [TOPLAS]
16:00 - 16:30
PLDI Research Papers
On the Complexity and Performance of Parsing with Derivatives
16:30 - 17:00
Thu 16 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
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
Grand Ballroom San Rafael
PLDI Research Papers
Accepting Blame for Safe Tunneled Exceptions
10:30 - 11:00
PLDI Research Papers
Occurrence Typing Modulo Theories
11:00 - 11:30
PLDI Research Papers
Refinement Types for TypeScript
11:30 - 12:00
PLDI Research Papers
Event-driven Network Programming
13:30 - 14:00
PLDI Research Papers
Temporal NetKAT
14:00 - 14:30
PLDI Research Papers
SDNRacer: Concurrency Analysis for Software-Defined Networks
14:30 - 15:00
PLDI Research Papers
Just-in-Time Static Type Checking for Dynamic Languages
15:30 - 16:00
PLDI Research Papers
Types from data: Making structured data first-class citizens in F#
16:00 - 16:30
PLDI Research Papers
Automatically Learning Shape Specifications
16:30 - 17:00
PLDI Research Papers
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
17:00 - 17:30
PLDI Research Papers
A Distributed OpenCL Framework using Redundant Computation and Data Rep ...
17:30 - 18:00
Fri 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
Grand Ballroom San Rafael
PLDI Research Papers
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
09:00 - 09:30
PLDI Research Papers
Ivy: Safety Verification by Interactive Generalization
09:30 - 10:00
PLDI Research Papers
Transactional Data Structure Libraries
10:30 - 11:00
PLDI Research Papers
FlexVec: Auto-Vectorization for Irregular Loops
11:00 - 11:30
PLDI Research Papers
Verified Lifting of Stencil Computations
11:30 - 12:00
x
Thu 21 Nov 09:47