AGERE!
Mon 20 - Tue 21 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
SPLASH 2014 (series) / AGERE! (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 WebSPLASH OOPSLA at Salon E
Chair(s): Stephen Chong Harvard University
10:30
22m
Talk
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
SPLASH OOPSLA
Asger Feldthaus Aarhus University, Anders Møller Aarhus University
Link to publication
10:52
22m
Talk
Determinacy in Static Analysis for jQuery
SPLASH 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
SPLASH 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
SPLASH 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 LanguagesSPLASH OOPSLA 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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 SystemsSPLASH OOPSLA at Salon E
Chair(s): Ravi Chugh University of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
John Altidor University of Massachusetts, Yannis Smaragdakis University of Athens
Link to publication File Attached
13:30 - 15:00
LanguagesSPLASH OOPSLA at Salon E
Chair(s): Crista Lopes University of California, Irvine
13:30
22m
Talk
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
DebuggingSPLASH OOPSLA at Salon E
Chair(s): Caitlin Sadowski Google
15:30
22m
Talk
CheckCell: Data Debugging for Spreadsheets
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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 VerificationSPLASH OOPSLA at Salon E
Chair(s): Gary T. Leavens University of Central Florida
10:30
22m
Talk
Bounded Exhaustive Test Input Generation from Hybrid Invariants
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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 AnalysisSPLASH OOPSLA at Salon E
Chair(s): Anders Møller Aarhus University
13:30
22m
Talk
Validation of Memory Accesses Through Symbolic Analyses
SPLASH 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
SPLASH OOPSLA
Nimrod Partush Technion, Eran Yahav Technion
Link to publication
14:15
22m
Talk
Efficient Subcubic Alias Analysis for C
SPLASH 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
SPLASH 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

SPLASH OOPSLA

Program Analysis and the Web

SPLASH OOPSLA

Domain Specific Languages

Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

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

SPLASH OOPSLA

Type Systems

SPLASH OOPSLA

Languages

SPLASH OOPSLA

Debugging

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

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

SPLASH OOPSLA

Specification and Verification

SPLASH 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