VenueThe Fess Parker, Santa Barbara, CA
Room nameGrand Ballroom San Rafael
Floor0
Room InformationNo extra information available
Program

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 IResearch Papers at Grand Ballroom San Rafael
Chair(s): Isil 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, Isil Dillig University of Texas, Austin
Media Attached
11:30
30m
Talk
Verifying Bit Manipulations of Floating-Point
Research Papers
Wonyeol Lee , Rahul Sharma Stanford University, Alex Aiken Stanford University
Media Attached
13:30 - 15:00
Energy & PerformanceResearch 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
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 & CompilationResearch 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 IResearch 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 C. 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 NetworkingResearch 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 IIResearch 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 IResearch 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
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 IIResearch 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

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

Fri 17 Jun

Displayed time zone: Tijuana, Baja California change