Mon 26 Oct 2015 16:00 - 16:15 at Haselton 1 - Extended Abstracts Chair(s): Harry Xu

A simple bug in a program can influence a large part of the program execution by spreading throughout the state at runtime. This is known as program infection. The seriousness of bugs is usually measured by studying their external effects. However, such effects essentially derive from internal factors of a program. Our idea is to focus on internal factors, in particular the infection chain, to measure how serious a bug was. This allows reasoning about bugs from a new and potentially insightful perspective.

Mon 26 Oct

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

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