VenueSheraton Station Square Hotel
Room nameHaselton 1
Floor2
Additional 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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 11:30: KeynoteWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
10:30 - 11:30
Talk
Concolic Testing: A Decade Later
WODA
Koushik SenUniversity of California, Berkeley
11:30 - 12:00: Research Reports 1WODA at Haselton 1
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton
11:30 - 12:00
Talk
SQL for Deep Dynamic Analysis?
WODA
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
13:30 - 15:00: Research Reports 2WODA at Haselton 1
Chair(s): Julian DolbyIBM Research
13:30 - 14:00
Talk
Ayudante: Identifying Undesired Variable Interactions
WODA
Irfan Ul HaqIMDEA Software Institute, Juan CaballeroIMDEA Software Institute, Michael D. ErnstUniversity of Washington
14:00 - 14:30
Talk
Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
WODA
Peter HoferChristian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz, David GnedtChristian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz, Hanspeter MössenböckJohannes Kepler University Linz
14:30 - 15:00
Talk
Recovering Execution Data from Incomplete Observations
WODA
Peter OhmannUniversity of Wisconsin - Madison, David Bingham BrownUniversity of Wisconsin - Madison, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Pre-print
15:30 - 16:00: Research Reports 3WODA at Haselton 1
Chair(s): Matthias HauswirthUniversity of Lugano, Switzerland
15:30 - 16:00
Talk
A Formal Foundation for Trace-Based JIT Compilers
WODA
Maarten VandercammenVrije Universiteit Brussel, Jens Nicolay, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Theo D'HondtVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
DOI Pre-print
16:00 - 17:00: Extended AbstractsWODA at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
16:00 - 16:15
Talk
Infection Size as a Measure of Bug Severity
WODA
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
16:15 - 16:30
Talk
Just-in-Time Data Structures: Towards Declarative Swap Rules
WODA
Mattias De WaelVrije Universiteit Brussel
16:30 - 16:45
Talk
Towards Deployment-Time Dynamic Analysis of Server Applications
WODA
Luís PinaImperial College London, UK, Cristian CadarImperial College London
16:45 - 17:00
Talk
Supporting PHP Dynamic Analysis in PHP AiR
WODA
Mark HillsEast Carolina University

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

08:30 - 10:00: Session 1REBLS at Haselton 1
08:30 - 08:40
Day opening
Workshop opening
REBLS
08:40 - 09:40
Talk
REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software
REBLS
Umut A. AcarCarnegie Mellon University
09:40 - 10:00
Talk
Live Programming for Event-Based Languages
REBLS
10:30 - 12:00: Session 2REBLS at Haselton 1
10:30 - 10:52
Talk
Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
REBLS
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Lode Hoste, Wolfgang De MeuterVrije Universiteit Brussel
10:52 - 11:15
Talk
Type Inference of Asynchronous Arrows in JavaScript
REBLS
Eric Fritz, Tian ZhaoUniversity of Wisconsin-Milwaukee
11:15 - 11:37
Talk
Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
REBLS
Alan JeffreyAlcatel-Lucent Bell Labs, Tom Van CutsemAlcatel-Lucent Bell Labs
11:37 - 12:00
Talk
Type Safe Evolution of Live Systems
REBLS
Miguel DominguesNOVA-LINCS - Universidade Nova de Lisboa, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa
17:00 - 17:30: Session 5REBLS at Haselton 1
17:00 - 17:30
Day closing
Discussion and closing remarks
REBLS

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

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