SPLASH 2015 (series) / WODA 2015 (series) /
WODA 2015 Program
This is the WODA 2015 program - see the full program for SPLASH 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
Mon 26 Oct
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:30 | |||
10:30 60mTalk | 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 30mTalk | SQL for Deep Dynamic Analysis? WODA |
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 | |||
15:30 30mTalk | 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 | |||
16:00 15mTalk | Infection Size as a Measure of Bug Severity WODA | ||
16:15 15mTalk | Just-in-Time Data Structures: Towards Declarative Swap Rules WODA Mattias De Wael Vrije Universiteit Brussel | ||
16:30 15mTalk | Towards Deployment-Time Dynamic Analysis of Server Applications WODA | ||
16:45 15mTalk | Supporting PHP Dynamic Analysis in PHP AiR WODA Mark Hills East Carolina University |