Hi all,
I'll be giving a second practice talk today for my ESOP'06 presentation.
Its a 25 min talk and I would appreciate getting feedback on it.
Thanks.
- Akash
Room: CS 2310
Time: 3:30 pm today (Monday, 3/20)
Title: Path Optimization in Programs and its Application to Debugging
Abstract:
We present and solve a path optimization problem on programs. Given a
set of program nodes, called critical nodes, we find a shortest path
through the program’s control flow graph that touches the maximum number
of these nodes. Control flow graphs overapproximate real program
behavior; by adding dataflow analysis to the control flow graph, we
narrow down on the program’s actual behavior and discard paths deemed
infeasible by the dataflow analysis. We derive an efficient algorithm
for path optimization based on weighted pushdown systems. We present an
application for path optimization by integrating it with the Cooperative
Bug Isolation Project (CBI), a dynamic debugging system. CBI mines
instrumentation feedback data to find suspect program behaviors, called
bug predictors, that are strongly associated with program failure.
Instantiating critical nodes as the nodes containing bug predictors, we
solve for a shortest program path that touches these predictors. This
path can be used by a programmer to debug his software. We present some
early experience on using this hybrid static/dynamic system for debugging.
|