Selected Papers:

MICRO '03

Using Interaction Costs for Microarchitectural Bottleneck Analysis,
Brian Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn
The 36th Annual IEEE/ACM International Symposium on Microarchitecture,
San Diego, CA, December 2003.

PLDI '03

Debugging Temporal Specifications with Concept Analysis,
Glenn Ammons, David Mandelin, Rastislav Bodik, James Larus
ACM SIGPLAN Conference on Programming Language Design and Implementation,
San Diego, CA, June 2003.

ISCA '03

A "Flight Data Recorder" for Enabling Full-system Multiprocessor Deterministic Replay,
Min Xu, Rastislav Bodik, Mark Hill
The 30th International Symposium on Computer Architecture,
San Diego, CA, June 2003.

ISCA '02

Slack: Maximizing Performance under Technological Constraints,
Brian Fields, Rastislav Bodik, Mark D. Hill
The 29th International Symposium on Computer Architecture,
Anchorage, Alaska, May 2002.

POPL '02

Mining Specifications,
Glenn Ammons, Rastislav Bodik, James Larus
The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Portland, Oregon, January 2002.

POPL '02

An Efficient Profile-Analysis Framework for Data Layout Optimizations,
Shai Rubin, Rastislav Bodik, Trishul Chilimbi
The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Portland, Oregon, January 2002.

ISCA '01

Focusing Processor Policies via Critical-Path Prediction,
Brian Fields, Shai Rubin, Rastislav Bodik,
28th International Symposium on Computer Architecture,
Goeteborg, Sweden, July 2001.

ISCA '01

Rapid Profiling via Stratified Sampling,
S.Subramanya Sastry, Rastislav Bodik, James E. Smith,
To appear in the 28th International Symposium on Computer Architecture,
Goeteborg, Sweden, July 2001.

PLDI '00

ABCD: Eliminating Array Bounds Checks on Demand,
Rastislav Bodik, Rajiv Gupta, and Vivek Sarkar,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Vancouver, British Columbia, June 2000.
(abstract, slides pdf, slides powerpoint)

Ph.D.

Path-Sensitive Value-Flow Optimizations of Programs,
Rastislav Bodik
Ph.D. Dissertation, University of Pittsburgh, November 1999.
(abstract, job-talk slides, videotaped talk)

PLDI '99

Load-Reuse Analysis: Design and Evaluation,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Atlanta, Georgia, May 1999.
(abstract talk: PowerPoint)

PLDI '98

Complete Removal of Redundant Expressions,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 1-14, Montreal, Quebec, Canada, June 1998.
(abstract, talk: PowerPoint, acrobat, acrobat w/ notes)

POPL '98

Path-Sensitive Value-Flow Analysis,
Rastislav Bodik and Sadun Anik,
The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
San Diego, California, January 1998.
(abstract, talk: slides, slides w/comments)

FSE '97

Refining Data Flow Information using Infeasible Paths,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
Fifth ACM SIGSOFT Symposium on Foundations of Software Engineering and Sixth European Software Engineering Conference,
LNCS 1301 Springer Verlag, pages 361-377, Zurich, Switzerland, September 1997.
(abstract, talk: slides, slides w/comments)

PLDI '97

Interprocedural Conditional Branch Elimination,
Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 146-158, Las Vegas, Nevada, June 1997.
(abstract, talk: landscape + portrait)

PLDI '97

Partial Dead Code Elimination using Slicing Transformations,
Rastislav Bodik and Rajiv Gupta,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
pages 159-170, Las Vegas, Nevada, June 1997.
(abstract, talk)

IJPP '96

Array Data-Flow Analysis for Load-Store Optimizations in Fine-Grain Architectures,
Rastislav Bodik and Rajiv Gupta,
International Journal of Parallel Programming,
Vol. 24, No. 6, pages 481-512, 1996.
(abstract)