Papers for Reading and Discussion

• Thurs Nov 6

  • Vijay S. Pai and Sarita Adve,
    Code Transformations to Improve Memory Parallelism
    Proceedings of the 32nd Annual IEEE/ACM International Symposium on Microarchitecture, pages 147-155. November 1999.
    Patricia Shanahan
    Slides in PDF
    
  • K. Cooper, L. Xu
    An Efficient Static Analysis Algorithm to Detect Redundant Memory Operations
    ACM Workshop on Memory System Performance, June 2002.
    Charles Lucas
  • P. Gibbons and S. Muchnick
    Efficient Instruction Scheduling for a Pipelined Architecture
    Symposium on Compiler Construction, June 1986.
    Puneet Sharma

• Mon Nov 10

  • Y. Zhong, S. Dropsho, C. Ding
    Miss Rate Prediction Across All Program Inputs
    Proceedings of PACT 03.
    Greg Chun
  • Glenn Ammons and James Larus
    Improving Data-Flow Analysis with Path Profiles
    Proceedings of PLDI 98.
    Deepa Prakash
  • M. Poletto, V. Sarkar
    Linear Scan Register Allocation
    ACM Transactions on Programming Languages and Systems, Sept. 1999.
    Kristen Juilfs

• Thurs Nov 13

  • Trishul M. Chilimbi and Martin Hirzel,
    Dynamic Hot Data Stream Prefetching for General-Purpose Programs
    PLDI 2002 (Note, best viewed with Internet Explorer)
    Weifeng Zhang Slides in PDF
    
  • B. Scholz, E. Mehofer
    Dataflow Frequency Analysis based on Whole Program Paths
    PACT 2002
    Lin Liu
  • S. Nandy, X. Gao, J. Ferrante
    TFP: Time-sensitive, Flow-specific Profiling at Runtime
    Proceedings of the Workshop on Languages and Compiling for Parallel Computing (LCPC), October, 2003.
    Alex Beilin

• Mon Nov 17

  • G. J. Chaitin
    Register Allocation & Spilling Via Graph Coloring
    Proceedings of Symposium on Compiler Construction, 1982.
    Sukyung Shin
  • P. Briggs, K. Cooper, K. Kennedy, L. Torczon
    Coloring Heuristics for Register Allocation
    Proceedings of PLDI, 1989.
    Hrishikesh Gupta
  • M. Lam
    Software Pipelining: An Effective Scheduling Technique for VLIW Machines
    Proceedings of PLDI 1988.
    Allen Chu

• Thurs Nov 20

  • D. Chase, M. Wegman, and F.K. Zadeck
    Analysis of Pointers and Structures
    Proceedings of PLDI 90.
    Chris Juilfs
  • L. Wu, R. Mirani, H. Patil, B. Olsen, W.W. Hwu
    A New Framework for Debugging Globally Optimized Code
    Proceedings of PLDI 1999.
    Mayoor Savla
  • M. Stephenson, U. O'Reilly, M. Martin, S. Amarasinghe
    Genetic Programming Applied to Compiler Heuristic Optimization
    Proceeding of the 6th European Conference on Genetic Programming, April 2003.
    Yang Yang

• Mon Nov 24

  • Mark Weiser
    Program Slicing
    IEEE Transactions on Software Engineering Vol SE-10 No 4 July 1994
    Joseph Chow
  • S. Lerner, T. Milstein, C. Chambers
    Automatically Proving the Correctness of Compiler Optimizations
    PLDI 03.
    Nikhil Dvivedi
  • X. Zhang, R. Gupta
    Hiding Program Slices for Software Security
    IEEE/ACM CGO 2003.
    Chun Liu

• Mon Dec 1

  • Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem
    Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
    OSDI 2000. (Best paper)
    Vadim Bokin
  • Dawson Engler, Ken Ashcraft
    RacerX: Effective, Static Detection of Race Conditions and Deadlocks
    Proceedings of SOSP 2003.
    Alvin AuYoung
  • S. Guyer and C. Lin
    An Annotation Language for Optimizing Software Libraries
    Proceedings of Conference on Domain Specific Languages, 1999.
    David Shuffleton