Possible Papers for Presentation

Not all papers are available yet (e.g. PLDI 2002). More papers may be linked in as we proceed with the class. Each student is expected to pick and present 1 paper.

• Compiler Approaches to Secure and Mobile Code

  • Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Ken Cline, Mark Plesko,
    A Certifying Compiler for Java
    Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI00), Vancouver, British Columbia, Canada, June 18-21, 2000.
  • George C. Necula,
    Translation Validation for an Optimizing Compiler
    Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI00), Vancouver, British Columbia, Canada, June 18-21, 2000.
  • David Wagner and Drew Dean
    Intrusion Detection via Static Analysis
    2001 IEEE Symposium on Security and Privacy.
    (Eugene Tsyrklevich will present)

• Optimizing High Level Languages and Software Libraries

  • George Almasi and David Padua,
    MaJIC: Compiling MATLAB for Speed and Responsiveness
    PLDI 2002
  • S. Guyer and C. Lin,
    Optimizing the Use of High Performance Software Libraries
    Languages and Compilers for Parallel Computing. Springer-Verlag Lecture Notes In Computer Science, 2002, pp. 227-243.
  • E. Berger, S. Guyer and C. Lin,
    Customizing Software Libraries for Performance Portability
    10th SIAM Conference on Parallel Processing for Scientific Computing. March, 2001.
    (Jennifer Grau will present)
  • S. Guyer and C. Lin,
    Broadway: A Software Architecture for Scientific Computing
    The Architecture of Scientific Software, R.F. Boisvert and P.T.P. Tang, editors, Kluwer Academic Press, 2000, pp. 175-192. (Susan Friedman will present)
  • S. Guyer and C. Lin,
    An Annotation Language for Optimizing Software Libraries
    Second Conference on Domain Specific Languages. October, 1999, pp. 39--53.
  • K. Proudfoot, W. Mark, S. Tzvetkov and P. Hanrahan
    A Real-Time Procedural Shading System for Programmable Graphics Hardware,
    Siggraph 2001 (Jeremy Lau will present)

• Generating Domain-Specific Compilers

  • Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem,
    Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
    OSDI 2000. (Best paper) (Wenjing Rao will present)
  • Seth Hallem, Benjamin Chelf, Yichen Xie, and, Dawson Engler
    A System and Language for Building System-specific, Static Analyses
    PLDI 2002
  • Ken Kennedy,
    Telescoping Languages: A Compiler Strategy for Implementation of High-Level Domain-Specific Programming Systems
    Proceedings of the 14th International Parallel and Distributed Processing Symposium (IPDPS00), May, 2000.
    (Shoubhik Mukhopadhyay will present)
  • Arun Chauhan and Ken Kennedy,
    Optimizing Strategies for Telescoping Languages: Procedure Strength Reduction and Procedure Vectorization.
    15th ACM International Conference on Supercomputing (ICS), June 16-21, 2001.

• Higher Level Optimizations

  • Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steve Reeves,
    Fast Copy Coalescing and Live-Range Identification
    PLDI 2002 (Sagnik Nandy will present)
  • Karthik Gargi,
    A Sparse Algorithm for Predicated Global Value Numbering
    PLDI 2002
  • William Thies, Frédéric Vivien, Jeffrey Sheldon, and Saman Amarasinghe,
    A Unified Framework for Schedule and Storage Optimization
    PLDI 2001 (Xiaofeng Gao will present)
  • S. Rubin, R. Bodik, T. Chilimbi,
    An Efficient Profile-Analysis Framework for Data Layout Optimizations
    POPL 2002 (Kiran Tati will present)

• Architecture-Specific Optimizations

  • 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. (Yuanfang Hu will present)
  • Steve S. W. Liao, Perry Wang, Hong Wang, Gerolf Hoflehner, Daniel Lavery, John Shen,
    Post-Pass Binary Adaptation for Software-Based Speculative Precomputation
    PLDI 2002
    (Satish Narayanasamy will present)
  • Trishul M. Chilimbi and Martin Hirzel,
    Dynamic Hot Data Stream Prefetching for General-Purpose Programs
    PLDI 2002 (Note, best viewed with Internet Explorer)
    (John-Paul Fryckman will present)
  • S. Rele, S. Pande, S. Onder, and R. Gupta,
    Optimizing Static Power Dissipation by Functional Units in Superscalar Processors,
    International Conference on Compiler Construction (CC), Grenoble, France, April 2002. (Rakesh Kumar will present)
  • A. Krall and S. Lelait,
    Compilation Techniques for Multimedia Processors
    International Journal of Parallel Programming, (28) 4, August 2000. (Baris Arslan will present)
  • M. Mock, C. Chambers, and S. Eggers
    Calpa, A Tool for Automating Selective Dynamic Compilation,
    MICRO, 2000. (Erez Perelman will present)