Write a Blog >>
ISMM 2016
Tue 14 Jun 2016
Santa Barbara, California, United States
co-located with
PLDI 2016
Toggle navigation
Attending
Venue: The Fess Parker, Santa Barbara, CA
Travel, Accommodations, and Child Care
Visa
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ISMM Program
Your Program
Proceedings
Tue 14 Jun
Track/Call
Organization
ISMM 2016 Committees
External Review Committee
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2016
(
series
) /
ISMM 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
Wonyeol Lee
Stanford University
,
Rahul Sharma
Stanford University
,
Alex Aiken
Stanford University
Media Attached
13:30 - 15:00
Energy & Performance
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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]
PLDI 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]
PLDI 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
PLDI 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
PLDI Research Papers
at
Grand Ballroom San Rafael
Chair(s):
David Walker
Princeton University
10:30
30m
Talk
Accepting Blame for Safe Tunneled Exceptions
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Todd Millstein
University of California, Los Angeles
13:30
30m
Talk
Event-driven Network Programming
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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#
PLDI 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
PLDI Research Papers
He Zhu
Purdue University
,
Gustavo Petri
LIAFA, Université Paris Diderot
,
Suresh Jagannathan
Purdue University
Media Attached
17:00 - 18:00
Parallelism I
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI 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
PLDI Research Papers
at
Grand Ballroom San Rafael
Chair(s):
Albert Cohen
INRIA
10:30
30m
Talk
Transactional Data Structure Libraries
PLDI 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
PLDI Research Papers
Sara Baghsorkhi
Intel Labs
,
Nalini Vasudevan
Google
,
Youfeng Wu
Intel Corporation
Media Attached
11:30
30m
Talk
Verified Lifting of Stencil Computations
PLDI 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
PLDI Research Papers
Verification I
PLDI Research Papers
Energy & Performance
PLDI 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
PLDI Research Papers
Types I
PLDI Research Papers
Software-Defined Networking
PLDI Research Papers
Types II
PLDI 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
PLDI Research Papers
Verification II
PLDI 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
Sun 22 Dec 02:16