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 · 1998-1999 · 

Colloquium - Bodik

ECCR 150

Path-Sensitive Value-Flow Optimizations
University of Pittsburgh

Current compiler optimizations are conservative and inflexible. As a result, even "highly optimized" programs execute half of their instructions redundantly, only to recompute previously computed values. Ideally, these values should be remembered and later *reused*, avoiding recomputations.

Rastislav (Ras) Bodik photo

Unfortunately, this reuse strategy fails often. The main culprit is intermittent reuse -- one that exists only along some execution paths leading to the redundant instruction. This path-specific reuse is very common. How can we exploit it without paying the exponential price of optimizing each path separately?

This talk will describe a path-sensitive optimization framework that is powerful enough to achieve a near-complete redundancy removal, yet practical enough to permit an industrial-strength implementation. While the path-specific power is obtained by fusing three methods with complementary strengths, practicality stems from adaptability: when fusing the three methods, the optimizer biases itself towards the most suitable one, balancing cost and benefit.

Hosted by Clayton Lewis.

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)