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 IResearch Papers at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
10:30
30m
Talk
Data-Driven Precondition Inference with Learned Features
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
Research Papers
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
11:30
30m
Talk
Verifying Bit Manipulations of Floating-Point
Research Papers
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached
13:30 - 15:00
Energy & PerformanceResearch 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
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
Research Papers
Link to publication Media Attached
14:30
30m
Talk
Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
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 & CompilationResearch Papers at Grand Ballroom San Rafael
Chair(s): Michelle StroutThe University of Arizona
15:30
30m
Talk
Automatic Storage Optimization for Arrays [TOPLAS]
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]
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
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 IResearch Papers at Grand Ballroom San Rafael
Chair(s): David WalkerPrinceton University
10:30
30m
Talk
Accepting Blame for Safe Tunneled Exceptions
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
Research Papers
Andrew KentIndiana University, David Kempe II, Sam Tobin-HochstadtIndiana University
Pre-print Media Attached
11:30
30m
Talk
Refinement Types for TypeScript
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 NetworkingResearch Papers at Grand Ballroom San Rafael
Chair(s): Todd MillsteinUniversity of California, Los Angeles
13:30
30m
Talk
Event-driven Network Programming
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
Research Papers
Ryan BeckettPrinceton University, Michael GreenbergPomona College, David WalkerPrinceton University
Media Attached
14:30
30m
Talk
SDNRacer: Concurrency Analysis for Software-Defined Networks
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 IIResearch 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
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#
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
Research Papers
He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University
Media Attached
17:00 - 18:00
Parallelism IResearch 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
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
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
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
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
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
Research Papers
Sara BaghsorkhiIntel Labs, Nalini VasudevanGoogle, Youfeng WuIntel Corporation
Media Attached
11:30
30m
Talk
Verified Lifting of Stencil Computations
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