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 · bactac · 1999-2000 · 

BACTAC - Stafford

ECOT 831

Avoiding the Pitfalls of Interprocedural Dependence Analysis
Grad Student, Department of Computer Science

Dependence-graph based program dependence analysis has been widely recognized as an efficient method for computing sets of statements in programs that can affect or be affected by a given statement. Knowledge of such dependencies is useful when performing a variety of software development and maintenance activities, as well as when performing a number of code optimizations. These activities are often relied upon for the construction of correct program executables, thus the correctness of underlying algorithms must be provable. However, much of the work in the dependence analysis community has been ad hoc; resulting in a gradual process of increasing the correctness of of the dependence graph through addition of new kinds of vertices and edges to capture missed control and data dependences. The resultant dependence representations are overly complicated and may as yet be unconservative. We extend the formal uni-procedure program dependence model developed by Podgurski for application to multi-procedure programs and describe its use in the construction of a less complicated interprocedural dependence graph that captures all control/data dependencies for multi-procedure programs where interprocedural communication can be in the form of procedure call/return, embedded halts, or non-local jumps. We do not address variable aliasing.

BACTAC, the Beverage And Chips Tuesday Afternoon Colloquium, is a weekly forum run by graduate students. The goal is provide an informal setting in which anyone can (basically) present anything. In the past, we have had practice talks for conferences and job interviews, research reports, juggle lessons (!), student representative reports, internship discussions, an introduction to ergonomics, and "pay attention to this when you are going to look for job" discussions.

BACTAC is meant to be an informal and social event to promote the interaction among graduate students. BACTAC is typically held every Tuesday, at 3:30pm, in room ECOT 831. Free munchies and drinks are provided.

Please email Caleb Phillips for more information or if you want to be a speaker.

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:44)