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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Verification IPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
10:30
30m
Talk
Data-Driven Precondition Inference with Learned Features
PLDI Research Papers
Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles
Media Attached
11:00
30m
Talk
Cartesian Hoare Logic for Verifying k-Safety Properties
PLDI Research Papers
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
11:30
30m
Talk
Verifying Bit Manipulations of Floating-Point
PLDI Research Papers
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached
13:30 - 15:00
Energy & PerformancePLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Manuel HermenegildoIMDEA 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 CohenINRIA, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetOhio State University, J. RamanujamLouisiana State University, Fabrice RastelloINRIA, France, P. SadayappanOhio 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. LaurenzanoUniversity of Michigan, Parker Hill, Mehrzad SamadiUniversity of Michigan, Scott MahlkeUniversity of Michigan, Jason MarsUniversity of Michigan, Lingjia TangUniversity of Michigan
Media Attached
15:30 - 17:00
Parsing & CompilationPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Michelle StroutThe University of Arizona
15:30
30m
Talk
Automatic Storage Optimization for Arrays [TOPLAS]
PLDI Research Papers
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached
16:00
30m
Talk
Polyhedral AST generation is more than scanning polyhedra [TOPLAS]
PLDI Research Papers
Tobias GrosserETH Zurich, Switzerland, Sven Verdoolaege, Albert CohenINRIA
Media Attached
16:30
30m
Talk
On the Complexity and Performance of Parsing with Derivatives
PLDI Research Papers
Michael D. AdamsUniversity of Utah, Celeste HollenbeckUniversity of Utah, Matthew MightUniversity of Utah, USA
Pre-print Media Attached

Thu 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00
Types IPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): David WalkerPrinceton University
10:30
30m
Talk
Accepting Blame for Safe Tunneled Exceptions
PLDI Research Papers
Yizhou ZhangCornell University, Guido SalvaneschiTU Darmstadt, Quinn BeightolCornell, Barbara LiskovMIT, Andrew C. MyersCornell University
Link to publication DOI Media Attached
11:00
30m
Talk
Occurrence Typing Modulo Theories
PLDI Research Papers
Andrew KentIndiana University, David Kempe II, Sam Tobin-HochstadtIndiana University
Pre-print Media Attached
11:30
30m
Talk
Refinement Types for TypeScript
PLDI Research Papers
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
Media Attached
13:30 - 15:00
Software-Defined NetworkingPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Todd MillsteinUniversity of California, Los Angeles
13:30
30m
Talk
Event-driven Network Programming
PLDI Research Papers
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Nate FosterCornell University, Pavol CernyUniversity of Colorado Boulder
Pre-print Media Attached
14:00
30m
Talk
Temporal NetKAT
PLDI Research Papers
Ryan BeckettPrinceton University, Michael GreenbergPomona College, David WalkerPrinceton University
Media Attached
14:30
30m
Talk
SDNRacer: Concurrency Analysis for Software-Defined Networks
PLDI Research Papers
Ahmed El-HassanyETH Zürich, Jeremie MiserezETH Zürich, Pavol BielikETH Zurich, Switzerland, Laurent VanbeverETH Zürich, Martin VechevETH Zurich
Media Attached
15:30 - 17:00
Types IIPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Jean YangCarnegie Mellon University
15:30
30m
Talk
Just-in-Time Static Type Checking for Dynamic Languages
PLDI Research Papers
Brianna M. RenUniversity of Maryland, College Park, Jeffrey S. FosterUniversity 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 PetricekUniversity of Cambridge, UK, Don SymeMicrosoft, Gustavo GuerraMicrosoft Corporation, London
Pre-print Media Attached
16:30
30m
Talk
Automatically Learning Shape Specifications
PLDI Research Papers
He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University
Media Attached
17:00 - 18:00
Parallelism IPLDI Research Papers at Grand Ballroom San Rafael
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
17:00
30m
Talk
Higher-Order and Tuple-Based Massively-Parallel Prefix Sums
PLDI Research Papers
Sepideh MalekiTexas State University, Annie YangTexas State University, Martin BurtscherTexas State University
Pre-print Media Attached
17:30
30m
Talk
A Distributed OpenCL Framework using Redundant Computation and Data Replication
PLDI Research Papers
Junghyun KimSeoul National University, Gangwon JoSeoul National University, Jaehoon JungSeoul National University, Jungwon KimOak Ridge National Laboratory, Jaejin LeeSeoul National University
Media Attached

Fri 17 Jun
Times are displayed in 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ørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research
Media Attached
09:30
30m
Talk
Ivy: Safety Verification by Interactive Generalization
PLDI Research Papers
Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham
Media Attached
10:30 - 12:00
10:30
30m
Talk
Transactional Data Structure Libraries
PLDI Research Papers
Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology
Media Attached
11:00
30m
Talk
FlexVec: Auto-Vectorization for Irregular Loops
PLDI Research Papers
Sara BaghsorkhiIntel Labs, Nalini VasudevanGoogle, Youfeng WuIntel Corporation
Media Attached
11:30
30m
Talk
Verified Lifting of Stencil Computations
PLDI Research Papers
Shoaib KamilMIT CSAIL, USA, Alvin CheungUniversity of Washington, Shachar ItzhakyMIT CSAIL, Armando Solar-LezamaMIT
Media Attached

Wed 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

Thu 16 Jun
Times are displayed in time zone: Tijuana, Baja California change

Fri 17 Jun
Times are displayed in time zone: Tijuana, Baja California change