Onward! 2015
Sun 25 - Fri 30 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
SPLASH 2015
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
Onward! Program
Your Program
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
Onward! 2015
Onward! Essays
Onward! Papers
Organization
Onward! 2015 Committees
Organizing Committee
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 2015
(
series
) /
Onward! 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Haselton 1
Venue
Sheraton Station Square Hotel
Room name
Haselton 1
Floor
2
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03: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+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) 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
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:30
Keynote
WODA
at
Haselton 1
Chair(s):
Harry Xu
University of California, Irvine
10:30
60m
Talk
Concolic Testing: A Decade Later
WODA
Koushik Sen
University of California, Berkeley
11:30 - 12:00
Research Reports 1
WODA
at
Haselton 1
Chair(s):
Yu David Liu
State University of New York (SUNY) Binghamton
11:30
30m
Talk
SQL for Deep Dynamic Analysis?
WODA
Mohammad Reza Azadmanesh
University of Lugano
,
Matthias Hauswirth
University of Lugano, Switzerland
13:30 - 15:00
Research Reports 2
WODA
at
Haselton 1
Chair(s):
Julian Dolby
IBM Research
13:30
30m
Talk
Ayudante: Identifying Undesired Variable Interactions
WODA
Irfan Ul Haq
IMDEA Software Institute
,
Juan Caballero
IMDEA Software Institute
,
Michael D. Ernst
University of Washington
14:00
30m
Talk
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
WODA
Peter Hofer
Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz
,
David Gnedt
Christian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz
,
Hanspeter Mössenböck
Johannes Kepler University Linz
14:30
30m
Talk
Recovering Execution Data from Incomplete Observations
WODA
Peter Ohmann
University of Wisconsin - Madison
,
David Bingham Brown
University of Wisconsin - Madison
,
Ben Liblit
University of Wisconsin–Madison
,
Thomas Reps
University of Wisconsin - Madison and Grammatech Inc.
Pre-print
15:30 - 16:00
Research Reports 3
WODA
at
Haselton 1
Chair(s):
Matthias Hauswirth
University of Lugano, Switzerland
15:30
30m
Talk
A Formal Foundation for Trace-Based JIT Compilers
WODA
Maarten Vandercammen
Vrije Universiteit Brussel
,
Jens Nicolay
,
Stefan Marr
INRIA, France
,
Joeri De Koster
Vrije Universiteit Brussel
,
Theo D'Hondt
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
DOI
Pre-print
16:00 - 17:00
Extended Abstracts
WODA
at
Haselton 1
Chair(s):
Harry Xu
University of California, Irvine
16:00
15m
Talk
Infection Size as a Measure of Bug Severity
WODA
Mohammad Reza Azadmanesh
University of Lugano
,
Matthias Hauswirth
University of Lugano, Switzerland
16:15
15m
Talk
Just-in-Time Data Structures: Towards Declarative Swap Rules
WODA
Mattias De Wael
Vrije Universiteit Brussel
16:30
15m
Talk
Towards Deployment-Time Dynamic Analysis of Server Applications
WODA
Luís Pina
Imperial College London, UK
,
Cristian Cadar
Imperial College London
16:45
15m
Talk
Supporting PHP Dynamic Analysis in PHP AiR
WODA
Mark Hills
East Carolina University
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1
REBLS
at
Haselton 1
08:30
10m
Day opening
Workshop opening
REBLS
08:40
60m
Talk
REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software
REBLS
Umut A. Acar
Carnegie Mellon University
09:40
20m
Talk
Live Programming for Event-Based Languages
REBLS
Christopher Schuster
,
Cormac Flanagan
UC Santa Cruz
10:30 - 12:00
Session 2
REBLS
at
Haselton 1
10:30
22m
Talk
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
REBLS
Simon Van de Water
VUB
,
Thierry Renaux
Vrije Universiteit Brussel
,
Lode Hoste
,
Wolfgang De Meuter
Vrije Universiteit Brussel
10:52
22m
Talk
Type Inference of Asynchronous Arrows in JavaScript
REBLS
Eric Fritz
,
Tian Zhao
University of Wisconsin-Milwaukee
11:15
22m
Talk
Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
REBLS
Alan Jeffrey
Alcatel-Lucent Bell Labs
,
Tom Van Cutsem
Alcatel-Lucent Bell Labs
11:37
22m
Talk
Type Safe Evolution of Live Systems
REBLS
Miguel Domingues
NOVA-LINCS - Universidade Nova de Lisboa
,
João Costa Seco
NOVA LINCS -- Universidade Nova de Lisboa
13:30 - 15:00
Session 3
REBLS
at
Haselton 1
13:30
50m
Talk
REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project
REBLS
Johannes Emerich
Prezi
Media Attached
14:20
20m
Talk
Temporal Correlation Patterns
REBLS
Oliver Bračevac
TU Darmstadt
14:40
20m
Talk
Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems
REBLS
Søren Debois
IT University of Copenhagen
,
Thomas H. Hildebrandt
15:30 - 17:00
Session 4
REBLS
at
Haselton 1
15:30
22m
Talk
Logical Reactive Programming
REBLS
Thierry Renaux
Vrije Universiteit Brussel
,
Lode Hoste
,
Wolfgang De Meuter
Vrije Universiteit Brussel
15:52
22m
Talk
Reactive Interfaces: Combining Events and Expressing Signals
REBLS
Ragnar Mogk
Technische Universität Darmstadt
16:15
22m
Talk
Reactive Traversal of Recursive Data Types
REBLS
Francisco Sant'Anna
PUC-Rio
,
Hisham Muhammad
PUC-Rio
,
Johnicholas Hines
16:37
22m
Talk
Real-Time Deadlines in Functional-Reactive Programming
REBLS
Kevin Baldor
,
Jianwei Niu
Media Attached
File Attached
17:00 - 17:30
Session 5
REBLS
at
Haselton 1
17:00
30m
Day closing
Discussion and closing remarks
REBLS
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Haselton 1
WODA
WODA
Keynote
WODA
Research Reports 1
WODA
Research Reports 2
WODA
Research Reports 3
WODA
Extended Abstracts
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Haselton 1
REBLS
Session 1
REBLS
Session 2
REBLS
Session 3
REBLS
Session 4
REBLS
Session 5
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Haselton 1
WODA
Concolic Testing: A Decade Later
10:30 - 11:30
WODA
SQL for Deep Dynamic Analysis?
11:30 - 12:00
WODA
Ayudante: Identifying Undesired Variable Interactions
13:30 - 14:00
WODA
Efficient Dynamic Analysis of the Synchronization Performance of Java A ...
14:00 - 14:30
WODA
Recovering Execution Data from Incomplete Observations
14:30 - 15:00
WODA
A Formal Foundation for Trace-Based JIT Compilers
15:30 - 16:00
WODA
Infection Size as a Measure of Bug Severity
16:00 - 16:15
WODA
Just-in-Time Data Structures: Towards Declarative Swap Rules
16:15 - 16:30
WODA
Towards Deployment-Time Dynamic Analysis of Server Applications
16:30 - 16:45
WODA
Supporting PHP Dynamic Analysis in PHP AiR
16:45 - 17:00
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
9:00
15
30
45
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
17:00
15
30
45
Haselton 1
REBLS
Workshop opening
08:30 - 08:40
REBLS
REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for ...
08:40 - 09:40
REBLS
Live Programming for Event-Based Languages
09:40 - 10:00
REBLS
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
10:30 - 10:52
REBLS
Type Inference of Asynchronous Arrows in JavaScript
10:52 - 11:15
REBLS
Functional Reactive Programming with nothing but Promises (Implementing ...
11:15 - 11:37
REBLS
Type Safe Evolution of Live Systems
11:37 - 12:00
REBLS
REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive ...
13:30 - 14:20
REBLS
Temporal Correlation Patterns
14:20 - 14:40
REBLS
Dynamic Condition Response Graphs as Foundation for Event-based Languag ...
14:40 - 15:00
REBLS
Logical Reactive Programming
15:30 - 15:52
REBLS
Reactive Interfaces: Combining Events and Expressing Signals
15:52 - 16:15
REBLS
Reactive Traversal of Recursive Data Types
16:15 - 16:37
REBLS
Real-Time Deadlines in Functional-Reactive Programming
16:37 - 17:00
REBLS
Discussion and closing remarks
17:00 - 17:30
x
Thu 21 Nov 10:06