LCTES 2016
co-located with PLDI 2016
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 IPLDI Research 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
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, Isil Dillig University of Texas, Austin
Media Attached
11:30
30m
Talk
Verifying Bit Manipulations of Floating-Point
PLDI Research Papers
Wonyeol Lee , Rahul Sharma Stanford University, Alex Aiken Stanford University
Media Attached
13:30 - 15:00
Energy & PerformancePLDI 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
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 & CompilationPLDI 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 IPLDI 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 C. 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 NetworkingPLDI 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 IIPLDI 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 IPLDI 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
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
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

Thu 16 Jun

Displayed time zone: Tijuana, Baja California change

Fri 17 Jun

Displayed time zone: Tijuana, Baja California change