CS 791/891 Reading Assignments
Springl 2005

Reading 1

Weiser, Programmers Use Slices When Debugging, 1982

Reading 2

Weiser, Program Slicing, TSE, July 1984.

Reading 3

Tip, Frank, A Survey of Programming Slicing Techniques, Journal of Programming Languages, v. 3, pp. 121-189, 1995

Misc Readings

Antoniol, Masone, & Villano, 2004

Ball, Rajamani, 1997

Bent, Atkinson, Griswold, 2000

Bergeretti & Carre, 1985

Devanbu, 1999

Ferrante, Ottenstein, Warren, 1987

Gupta, Soffa, Howard, 1997

Harrold, Mally, Rothermel, 1993

Hoffner, 1995

Horwitz, Prins, Reps, 1988

Horwitz, Prins, Reps, 1988

Horwitz, Reps, 1992

Horwitz, Reps, Binkley, 1990

Horwitz, Reps, Sagiv, 1995

Landi, Ryder, 1992

Leung, Reghbati, 1987

Leung, Reghbati, 2005

Moss, Atkinson, Chambers & Eggers, Rosay, 1994

Reps, Horwitz, Sagiv, 1995

Rountev, Ryder, Landi, 1999

Ryder, 1995

Ryder, Landi, Stocks, Zhang, 2001

Sanha, Harrold, 2001

Tip, Frank, Journal of Programming Languages, v. 3, pp. 121-189, 1995

Weiser, 1982

Weiser, 1984

SUIF docs

1. Gerald Aigner, et al., An Overview of the SUIF2 Compiler Infrastructure (pdf)

2. Monica Lam, An Overview of the SUIF2 System (1999) powerpoint

3. David Moore, A SUIF Programmers Guide (word)

4. Sgmn reference manual (postscript)

5. Gerald Aigner, et al., The SUIF Program Representation(postscript)

Final Review Paper

1. Evelyn Duesterwld, et al. A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. TOPLAS, Nov. 1997.

2. Saurabh Sinha, et al. Interprocedural Control Dependence, TOSEM, April 2001

3. Premkumar Devanbu, GENOA--A Customizable, Front-End-Retargetable Source Code Analysis Framework, TOSEM, April 1999.