SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
SPLASH 2014 (series) / Portland Marriott /

Room information: Salon E

VenuePortland Marriott
Room nameSalon E
Floor0
Room numberSalon E
Capacity500
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 22 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Program Analysis and the WebOOPSLA at Salon E
Chair(s): Stephen Chong Harvard University
10:30
22m
Talk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
OOPSLA
Asger Feldthaus Aarhus University, Anders Møller Aarhus University
Link to publication
10:52
22m
Talk
Determinacy in Static Analysis for jQuery
OOPSLA
Esben Andreasen Aarhus University, Anders Møller Aarhus University
Link to publication
11:15
22m
Talk
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
OOPSLA
Michael Pradel University of California, Berkeley, USA, Parker Schuh University of California, Berkeley, George Necula University of California, Berkeley, Koushik Sen University of California, Berkeley
Link to publication
11:37
22m
Talk
Using Web Corpus Statistics for Program Analysis
OOPSLA
Chun-Hung Hsiao University of Michigan, Michael Cafarella University of Michigan, Satish Narayanasamy University of Michigan
Link to publication
13:30 - 15:00
Domain Specific LanguagesOOPSLA at Salon E
Chair(s): Yannis Smaragdakis University of Athens
13:30
22m
Talk
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
OOPSLA
Eric Holk Indiana University, Ryan R. Newton Indiana University, Jeremy G. Siek , Andrew Lumsdaine Indiana University
Link to publication
13:52
22m
Talk
Smten with Satisfiability-Based Search
OOPSLA
Richard Uhler MIT-CSAIL, Nirav Dave SRI International
Link to publication
14:15
22m
Talk
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
OOPSLA
Jeffrey Bosboom MIT CSAIL, Sumanaruban Rajadurai National University of Singapore, Weng-Fai Wong National University of Singapore, Saman Amarasinghe MIT
Link to publication
14:37
22m
Talk
SurveyMan: Programming and Automatically Debugging Surveys
OOPSLA
Emma Tosch University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst
Link to publication File Attached

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Type SystemsOOPSLA at Salon E
Chair(s): Ravi Chugh University of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
OOPSLA
Thomas W. Bartenstein SUNY Binghamton, Yu David Liu State University of New York (SUNY) Binghamton
Link to publication File Attached
10:52
22m
Talk
Foundations of Path-Dependent Types
OOPSLA
Nada Amin EPFL, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication File Attached
11:15
22m
Talk
Confined Gradual Typing
OOPSLA
Esteban Allende , Johan Fabry University of Chile, Ronald Garcia University of British Columbia, Éric Tanter University of Chile
Link to publication
11:37
22m
Talk
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
John Altidor University of Massachusetts, Yannis Smaragdakis University of Athens
Link to publication File Attached
13:30 - 15:00
LanguagesOOPSLA at Salon E
Chair(s): Crista Lopes University of California, Irvine
13:30
22m
Talk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
OOPSLA
Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Mira Mezini Technical University of Darmstadt
Link to publication
13:52
22m
Talk
From Object Algebras to Attribute Grammars
OOPSLA
Tillmann Rendel University of Marburg, Jonathan Immanuel Brachthäuser University of Marburg, Klaus Ostermann University of Marburg
Link to publication
14:15
22m
Talk
Late Data Layout: Unifying Data Representation Transformations
OOPSLA
Vlad Ureche EPFL, Eugene Burmako EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne
Link to publication
14:37
22m
Talk
i3QL: Language-Integrated Live Data Views
OOPSLA
Ralf Mitschke Technical University of Darmstadt, Sebastian Erdweg TU Darmstadt, Mirko Köhler Technical University of Darmstadt, Mira Mezini Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt
Link to publication
15:30 - 17:00
DebuggingOOPSLA at Salon E
Chair(s): Caitlin Sadowski Google
15:30
22m
Talk
CheckCell: Data Debugging for Spreadsheets
OOPSLA
Dan Barowy University of Massachusetts, Amherst, Dimitar Gochev University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst
Link to publication
15:52
22m
Talk
Finding Minimum Type Error Sources
OOPSLA
Zvonimir Pavlinovic New York University, Tim King New York University, Thomas Wies New York University
Link to publication File Attached
16:15
22m
Talk
Flint: Fixing Linearizability Violations
OOPSLA
Peng Liu Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Xiangyu Zhang Purdue University
Link to publication
16:37
22m
Talk
Statistical Debugging for Real-World Performance Problems
OOPSLA
Linhai Song University of Wisconsin–Madison, Shan Lu University of Chicago
Link to publication

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Specification and VerificationOOPSLA at Salon E
Chair(s): Gary T. Leavens University of Central Florida
10:30
22m
Talk
Bounded Exhaustive Test Input Generation from Hybrid Invariants
OOPSLA
Nico Rosner Dept. of Computer Science FCEyN, University of Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul Khalek Google, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz Khurshid University of Texas at Austin
Link to publication
10:52
22m
Talk
Compiler Verification Meets Cross-Language Linking via Data Abstraction
OOPSLA
Peng Wang MIT CSAIL, Santiago Cuellar Princeton, Adam Chlipala MIT
Link to publication
11:15
22m
Talk
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
OOPSLA
Aaron Turon MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Derek Dreyer MPI-SWS
Link to publication
11:37
22m
Talk
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
OOPSLA
Ankush Desai University of California, Berkeley, Pranav Garg University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign
Link to publication
13:30 - 15:00
Static AnalysisOOPSLA at Salon E
Chair(s): Anders Møller Aarhus University
13:30
22m
Talk
Validation of Memory Accesses Through Symbolic Analyses
OOPSLA
Henrique Nazaré Santos UFMG, Izabela Karennina Travizani Maffra UFMG, Willer Fernandes Santos UFMG, Leonardo Barbosa Oliveira UFMG, Laure Gonnord University of Lyon & LIP, France, Fernando Magno Quintão Pereira UFMG
Link to publication
13:52
22m
Talk
Abstract Semantic Differencing via Speculative Correlation
OOPSLA
Nimrod Partush Technion, Eran Yahav Technion
Link to publication
14:15
22m
Talk
Efficient Subcubic Alias Analysis for C
OOPSLA
Qirun Zhang The Hong Kong University of Science and Technology, A: Xiao Xiao The Hong Kong University of Science and Technology, A: Charles Zhang Hong Kong University of Science and Technology, A: Hao Yuan BOPU Technologies, A: Zhendong Su University of California, Davis
Link to publication
14:37
22m
Talk
Static Analysis for Independent App Developers
OOPSLA
Lucas Brutschy ETH Zurich, Pietro Ferrara IBM Thomas J. Watson Research Center, Peter Müller ETH Zurich
Link to publication

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:0030
Salon E

OOPSLA

Program Analysis and the Web

OOPSLA

Domain Specific Languages

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
Salon E

OOPSLA

Type Systems

OOPSLA

Languages

OOPSLA

Debugging

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:0030
Salon E

OOPSLA

Specification and Verification

OOPSLA

Static Analysis

Wed 22 Oct

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Salon E
SPLASH OOPSLA
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
10:30 - 10:52
SPLASH OOPSLA
Determinacy in Static Analysis for jQuery
10:52 - 11:15
SPLASH OOPSLA
EventBreak: Analyzing the Responsiveness of User Interfaces through Per ...
11:15 - 11:37
SPLASH OOPSLA
Using Web Corpus Statistics for Program Analysis
11:37 - 12:00
SPLASH OOPSLA
Region-based memory management for GPU programming languages: Enabling ...
13:30 - 13:52
SPLASH OOPSLA
Smten with Satisfiability-Based Search
13:52 - 14:15
SPLASH OOPSLA
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
14:15 - 14:37
SPLASH OOPSLA
SurveyMan: Programming and Automatically Debugging Surveys
14:37 - 15:00

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Salon E
SPLASH OOPSLA
Rate Types for Stream Programs
10:30 - 10:52
SPLASH OOPSLA
Foundations of Path-Dependent Types
10:52 - 11:15
SPLASH OOPSLA
Confined Gradual Typing
11:15 - 11:37
SPLASH OOPSLA
Refactoring Java Generics by Inferring Wildcards, In Practice
11:37 - 12:00
SPLASH OOPSLA
Distributed REScala: An Update Algorithm for Distributed Reactive Progr ...
13:30 - 13:52
SPLASH OOPSLA
From Object Algebras to Attribute Grammars
13:52 - 14:15
SPLASH OOPSLA
Late Data Layout: Unifying Data Representation Transformations
14:15 - 14:37
SPLASH OOPSLA
i3QL: Language-Integrated Live Data Views
14:37 - 15:00
SPLASH OOPSLA
CheckCell: Data Debugging for Spreadsheets
15:30 - 15:52
SPLASH OOPSLA
Finding Minimum Type Error Sources
15:52 - 16:15
SPLASH OOPSLA
Flint: Fixing Linearizability Violations
16:15 - 16:37
SPLASH OOPSLA
Statistical Debugging for Real-World Performance Problems
16:37 - 17:00

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Salon E
SPLASH OOPSLA
Bounded Exhaustive Test Input Generation from Hybrid Invariants
10:30 - 10:52
SPLASH OOPSLA
Compiler Verification Meets Cross-Language Linking via Data Abstraction
10:52 - 11:15
SPLASH OOPSLA
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
11:15 - 11:37
SPLASH OOPSLA
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invar ...
11:37 - 12:00
SPLASH OOPSLA
Validation of Memory Accesses Through Symbolic Analyses
13:30 - 13:52
SPLASH OOPSLA
Abstract Semantic Differencing via Speculative Correlation
13:52 - 14:15
SPLASH OOPSLA
Efficient Subcubic Alias Analysis for C
14:15 - 14:37
SPLASH OOPSLA
Static Analysis for Independent App Developers
14:37 - 15:00