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

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
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

Tue 27 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Haselton 1