SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Sheraton Station Square Hotel /

Room information: Haselton 1

VenueSheraton Station Square Hotel
Room nameHaselton 1
Floor2
Room Information

Program

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
KeynoteWODA 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 1WODA 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 2WODA 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 3WODA 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 AbstractsWODA 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 1REBLS 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 2REBLS 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 3REBLS 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 4REBLS 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 5REBLS at Haselton 1
17:00
30m
Day closing
Discussion and closing remarks
REBLS

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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