skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · colloquia · 2005-2006 · 

Colloquium - Zhang

DLC 1B70

Efficient and Effective Dynamic Slicing
University of Arizona

Programming has continued to grow in its complexity. However, debugging techniques have not been able to keep up with this trend. Dynamic slicing is a dynamic program analysis that computes a subset of executed statements that contributed to a software failure. Even though dynamic slicing is intuitively a very effective debugging technique, it was believed to be too expensive. Therefore, traditional research on dynamic slicing was mainly about proposing algorithms based on toy programs, and those algorithms were hardly evaluated.

My talk will describe how I make dynamic slicing efficient and effective for real programs. The first problem I tackled is the cost. I will talk about two techniques. One is about applying demand driven strategy in dynamic slicing. The other is a novel tracing technique called Whole Execution Traces (WETs), which is able to achieve high compression rate, and yet dynamic slicing can be performed in the compressed form with minor overhead. The second part of the talk is about the effectiveness of dynamic slicing in debugging. I will first present empirical data on real bugs. I will demonstrate insights which had not been revealed before due to the lack of practical implementation. With all these observations, I have proposed a set of novel techniques which make dynamic slicing much more effective in locating software bugs.

Hosted by Amer Diwan.
The speaker is a candidate for a faculty position in the Department of Computer Science.

The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:29)