Onward! 2014
Mon 20 - Fri 24 October 2014
Portland, Oregon, United States
co-located with
SPLASH 2014
Toggle navigation
Attending
Venue: Portland Marriott
About
SPLASH 2014
About
Registration
Accommodation
Travel
Insider's Guide to Portland
Students
Supporters
Support Program
Visas
MobileApp
Maps
Downloads
Anti-Harassment Policy
Program
Complete Program
Your Program
Mon 20 Oct
Tue 21 Oct
Wed 22 Oct
Thu 23 Oct
Fri 24 Oct
Tracks
Onward! 2014
Onward! Essays
Onward! Papers
Organization
Onward! 2014 Committees
Steering Committee
Track Committees
Onward! Essays
Onward! Papers
Contributors
People Index
Search
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
Sign in
Sign up
SPLASH 2014
(
series
) /
Onward! 2014
(
series
) /
Portland Marriott
/
Room information: Salon E
Venue
Portland Marriott
Room name
Salon E
Floor
0
Room number
Salon E
Capacity
500
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-02:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+04:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+06:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+08:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+09:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+10:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+11:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+12:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Web
SPLASH 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 Languages
SPLASH 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 Systems
SPLASH 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
Languages
SPLASH 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
Debugging
SPLASH 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 Verification
SPLASH 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 Analysis
SPLASH 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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Salon E
SPLASH OOPSLA
Program Analysis and the Web
SPLASH OOPSLA
Domain Specific Languages
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Salon E
SPLASH OOPSLA
Type Systems
SPLASH OOPSLA
Languages
SPLASH OOPSLA
Debugging
Fri 24 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Salon E
SPLASH OOPSLA
Specification and Verification
SPLASH OOPSLA
Static Analysis
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
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
x
Wed 6 Nov 18:09