• Java Compilation and Optimization

    • M. Burke, J.-D. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. Serrano, V.C. Sreedhar, H. Srinivasan, J. Whaley. The Jalapeno Dynamic Optimizing Compiler for Java In the proceedings of the ACM Java Grande Conferrence, June 1999.

      P: Mills, Dahan

    • R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, D. Tarditi. Marmot, An Optimizing Compiler for Java Microsoft Research Technical Report, MSR-TR-99-33.

      P: Mills, Dahan

    • R. Bodik, R. Gupta, V. Sarkar. ABCD: Eliminating Array Bounds Checks on Demand In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2000.
    • Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Mikio Takeuchi, Takeshi Ogasawara, Toshio Suganuma, Tamiya Onodera, Hideaki Komatsu, and Toshio Nakatani. Design, Implementation, and Evaluation of Optimizations in a Just-In-Time Compiler. 1999 ACM JavaGrande Conference.

      P: Chu

    • A. Adl-Tabatabai, M. Cierniak, G.-Y. Lueh, V. M. Parikh, and J. Stichnoth. Fast, Effective Code Generation in a Just-In-Time Java Compiler. In Proceedings of PLDI'98, pages 280-290, Montreal, Quebec, June, 1998. ACM. Note: prints but doesn't ghostview.

      P: Panigrahi

  • Combined Compile-time, Runtime Approaches

    • Michael J. Voss and Rudolf Eigenmann. ADAPT: Automated De-Coupled Adaptive Program Transformation. Technical Report, Purdue Univ. School of ECE, High-Performance Computing Lab, ECE-HPCLab-99209.

      P: Leong, Wing

    • B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers. DyC: An Expressive Annotation-Directed Dynamic Compiler for C Department of Computer Science and Engineering University of Washington University of Washington Technical Report UW-CSE-97-03-03. This report is an expanded version of Annotation-Directed Run-Time Specialization in C. To appear in Theoretical Computer Science.
    • B. Grant, M. Philipose, M. Mock, C. Chambers, and S. Eggers An Evaluation of Staged Run-time Optimizations in DyC In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), May 1999, pp. 293-304.

      P: Nightingale

    • V. Bala, E. Duesterwald, S. Banerjia, Dynamo: A Transparent Dynamic Optimization System In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2000.

      P: Leong, Wing

  • Compiling for New Architectural Features

    • L. Carter, E .Simon, B. Calder, L. Carter, and J. Ferrante. Predicated Static Single Assignment In the proceedings of the International Conference on Parallel Architectures and Compilation Techniques, October, 1999.
    • L. Carter, E .Simon, B. Calder, L. Carter, and J. Ferrante. Path Analysis and Renaming for Predicated Instruction Scheduling Accepted for special issue of International Journal of Parallel Programming.

      P: Al-Shammari

    • Nick Mitchell, Larry Carter, Jeanne Ferrante, and Dean Tullsen. ILP versus TLP on SMT In the proceedings of Supercomputing '99, November 1999.

      P: Puppin

    • Additional topic: Tera? MT?

      P: Lakkas

  • Compiler Approaches to Secure and Mobile Code

    • Christian S. Collberg, Clark Thomborson, Software Watermarking: Models and Dynamic Embeddings , In the Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1999.

      P: Bhagwan

    • David Wagner, Jeffrey S. Foster, Eric A. Brewer, and Alexander Aiken, A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities In the proceedings of the Network and Distributed Systems Security Symposium 2000.

      P: Silacci

    • George C. Necula, Peter Lee, The Design and Implmenetation of a Certifying Compiler In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 1998.
      P :

      Bellardo/Hammerly

    • Karl Crary, Robert Harper, Peter Lee, and Frank Pfenning. Automated Techniques for Provably Safe Mobile Code DARPA Information Survivability Conference and Exposition (DISCEX 2000), vol. 1, pp. 406-419, Hilton Head Island, South Carolina, Jan 2000.
      P :

      Bellardo/Hammerly

  • Special Purpose Compilers

    • M. Frigo, A Fast Fourier Transform Compiler In the proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), May 1999.

      P: Carnevali

    • B. Ramakrishna Rau, Vinod Kathail, Shail Aditya Machine Description Driven Compilers for EPIC and VLIW processors Design Automation for Embedded Systems, Vol 4, 1999, p.71-118.

      P: Lahiri

  • Low Power Compilation


    P: Zhao, Nguyen

    Please note: these are mostly architecture papers.
    • D. Brooks, V. Tiwari, M. Martonosi. Wattch: A Framework for Architectural-Level Power Analysis and Optimizations ISCA 2000.
    • N. Vijaykrishnan, N., M. Kandemir, M.J. Irwin, H. S. Kim, W. Ye. Energy-Driven Integrated Hardware-Software Optimizations Using SimplePower ISCA 2000.

  • Other areas

    • Branch Prediction and Prefetching
      Brian Deitrich, Ben-Chung Cheng, Wen-mei W. Hwu. Improving Static Branch Prediction in a Compiler PACT-98
      Chi-Keung Luk, Todd Mowry
      Compiler-Based Prefetching fo Recursive Data Structures ASPLOS-96

      P: Sair, Sinanoglu

    • Optimistic Register Allocation
      Jinpyo Park and Soo-Mook Moon. Optimistic register Coalescing PACT 98.

      P: Almukhaizeem

    • Portable Optimizers
      Introduction to Zephyr
      Very Portable Optimizer

      P: Copenhafer

    • Jeffrey Dean and Greg DeFouw and David Grove and Vassily Livinov and Craig Chambers Vortex: an optimizing compiler for object-oriented languages ACM SIGPLAN Notices, 31(10), pp. 83-100, October 1996.

      P: Gantman