Reading List

UNDER CONSTRUCTION

Compiler Analysis & Optimization

• R. Allen and K. Kennedy, Optimizing Compilers for Modern Architectures: A Distance-based Approach, Morgan Kaufmann Publishers, 2001.
• D. F. Bacon, S. L. Graham, O. J. Sharp, Compiler Transformations for High-performance Computing,  ACM Computing Surveys, Volume 26,  Issue 4, December 1994 .  
• M. E. Wolf and M. S. Lam, A Data Locality Optimizing Algorithm, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'91), June 1991.
• S. Carr, K. S. McKinley, C-W. Tseng, Compiler Optimizations for Improving Data Locality, ACM SIGPLAN Notices (ASPLOS 1994), Volume 29 , Issue 11, November 1994.

Program Instrumentation & Profiling

• A. Srivastava and A. Eustace, ATOM: A System for Building Customized Program Analysis Tools, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'94) (Best of PLDI 1979-1999), June 1994.
• B. D. Bus, D. Chanet, B. D. Sutter, L. V. Put, K. D. Bosschere, The Design and Implementation of FIT: A Flexible Instrumentation Toolkit, Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering(PASTE'04), June 2004.
• C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, K. Hazelwood, Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05), June 2005.
• R. Vallée-Rai, E. Gagnon, L. Hendren, P. Lam, P. Pominville, and V. Sundaresan, Optimizing Java Bytecode using the Soot Framework: Is it Feasible?, Proceedings of the 9th International Conference on Compiler Construction(CC 2000), March-April 2000. (selected and  presented by K. Dean)

Locality Models

• Stack Distance & Working Set
• R. L. Mattson, J. Gecsei, D. R. Slutz, and I. L. Traiger, Evaluation Techniques for Storage Hierarchies, IBM Systems Journal, Volume 9, No. 2, 1970.
• P. J. Denning, Working Sets Past and Present, IEEE Trans. Software Engineeing, Vol. SE-6, No. 1, 1980.
• Reuse Signature
• C. Ding and Y. Zhong, Predicting Whole-Program Locality through Reuse Distance Analysis, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'03), June 2003.
•  X. Shen, Y. Zhong, and C. Ding, Regression-Based Multi-Model Prediction of Data Reuse Signature, Proceedings of the 4th Annual Symposium of the Las Alamos Computer Science Institute, November 2003.  
• Hot Data Stream
• T. M. Chilimbi, Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality, Proceedings of the ACM SIGPLAN conference on Programming language design and implementation (PLDI'01), June 2001. 
• T. M. Chilimbi, On the Stability of Temporal Data Reference Profiles, Proceedings of International Conference on Parallel Architectures and Compilation Techniques 2001 (PACT'01) , September 2001.

Cache/Memory Performance Analysis

• Analytical Model
• A. Agarwal, J. Hennessy, and M. Horowitz, An Analytical Cache Model, ACM Transactions on Computer Systems, Volume 7 , Issue 2, May 1989.
• Trace-driven Simulation
• R. A. Uhlig and T. N. Mudge, Trace-driven Memory Simulation: A Survey, ACM Computing Surveys, Volume 29 , Issue 2,  June 1997.
• R. L. Mattson, J. Gecsei, D. R. Slutz, and I. L. Traiger, Evaluation Techniques for Storage Hierarchies, IBM Systems Journal, Volume 9, No. 2, 1970.
• A. J. Smith, On the Effectiveness of Set Associative Page Mapping and its Application to Main Memory Management, Proceedings of the 2nd International Conference on Software Engineering, 1976.
• Reuse-Signature Based Analysis
• Y. Zhong , S. G. Dropsho , C. Ding, Miss Rate Prediction across All Program Inputs, Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques(PACT'03), September 2003.
• G. Marin and J. Mellor-Crummey, Cross-Architecture Performance Predictions for Scientific Applications Using Parameterized Models, SIGMETRICS 2004/PERFORMANCE 2004: Proceedings of the joint International Conference on Measurement and Modeling of  Computer Systems, 2004.
• C. Fang, S. Carr, S. Onder, and Z. Wang, Reuse-Distance-Based Miss-Rate Prediction on a Per Instruction Basis, Proceedings of the 2rd ACM SIGPLAN Workshop on Memory System Performance, June 2004.

Dynamic Analysis & Optimization

• V. Bala, E. Duesterwald, S. Banerjia, Dynamo: A Transparent Dynamic Optimization System, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation(PLDI'00, Best Paper), June 2000.
• M. Arnold and B. G. Ryder, A Framework for Reducing the Cost of Instrumented Code, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation(PLDI'01), June 2001.
• T. M. Chilimbi and M. Hirzel, Dynamic Hot Data Stream Prefetching for General-Purpose Programs, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation(PLDI'02), June 2002.
• D. Bruening, T. Garnett, S. Amarasinghe, An Infrastructure for Adaptive Dynamic Optimization, Proceedings of the international symposium on Code Generation and Optimization(CGO'03), March 2003.
• M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney, A Survey of Adaptive Optimization in Virtual Machines, Proceedings of the IEEE, 92(2), February 2005.  (selected and  presented by L. Liu)
• M. Hauswirth, P. F. Sweeney, A. Diwan, M. Hind, Vertical Profiling: Understanding the Behavior of Object-Oriented Applications, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'04), October 2004. (selected and  presented by L. Liu)
• J. Whaley, M. C. Martin, and M. S. Lam, Automatic Extraction of Object-Oriented Component Interfaces, Proceedings of the International Symposium on Software Testing and Analysis(ISSTA'02, ACM SIGSOFT Distinguished Paper Award), pages 218-228, July 2002. (selected and  presented by C-C. Lin)
• K. Hazelwood and D. Grove, Adaptive Online Context-Sensitive Inlining, Proceedings of the international symposium on Code generation and optimization (CGO'03), March 2003.(selected and  presented by A. Vo)
• T. Yasue, T. Suganuma, H. Komatsu, T. Nakatani, An Efficient Online Path Profiling Framework for Java Just-In-Time Compilers, Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques (PACT'03), September 2003. (selected and  presented by K. Dean)

Phase Detection & Prediction

• T. Sherwood, E. Perelman, G. Hamerly, B. Calder, Automatically Characterizing Large Scale Program Behavior, Proceedings of the 10th international conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'02), October 2002.
• T. Sherwood, S. Sair, and B. Calder, Phase Tracking and Prediction, Proceedings of the 30th International Symposium on Computer Architecture(ISCA'03), June 2003.
• E. Duesterwald, C. Cascaval, S. Dwarkadas, Characterizing and Predicting Program Behavior and its Variability, Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques(PACT'03), September 2003.
• A. S. Dhodapkar and J. Smith, Comparing Program Phase Detection Techniques, Proceedings of the 36th Annual International Symposium on Microarchitecture(Micro'03), December 2003.
• X. Shen, Y. Zhong, C. Ding, Locality Phase Prediction, Proceedings of the 11th international conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS'04), October 2004.

Power-Consumption Analysis

• G. Magklis, M. L. Scott, G. Semeraro, D. H. Albonesi, S. Dropsho, Profile-based Dynamic Voltage and Frequency Scaling for a Multiple Clock Domain Microprocessor, Proceedings of the 30th annual International Symposium on Computer Architecture(ISCA'03), June 2003.
• C-H. Hsu and U. Kremer, The Design, Implementation, and Evaluation of a Compiler Algorithm for CPU Energy Reduction, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation(PLDI'03), June 2003.
• Y. Zhu, G. Magklis, M. L. Scott, C. Ding, D. H. Albonesi, The Energy Impact of Aggressive Loop Fusion, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques(PACT'04), September 2004.
• Q. Wu, M. Martonosi, D. W. Clark, V. J. Reddi, D. Connors, Y. Wu, J. Lee, D. Brooks, A Dynamic Compilation Framework for Controlling Microprocessor Energy and Performance, Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture(MICRO'05, Best Paper), November 2005.
• M. Kandemir, N. Vijaykrishnan, M.J. Irwin, Compiler Optimizations for Low Power Systems, Chapter 10: Power Aware Computing, Ed. by R. Graybill, R. Melhem, Kluwer Academic / Plenum Publishers, 2002.(selected and  presented by P. Kohlbrenner)
• N. AbouGhazaleh, D. Mosse, B. Childers, R. Melhem, M. Craven, Collaborative Operating System and Compiler Power Management for Real-Time Applications, Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS'03), May 2003. (selected and  presented by A. Vo)

Applications

• Program Optimization
• C. Ding and K. Kennedy, Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation(PLDI'99), May 1999.
• Y. Zhong, M. Orlovich, X. Shen, C. Ding, Array Regrouping and Structure Splitting Using Whole-program Reference Affinity, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation(PLDI'04), June 2004.
• C. Fang, S. Carr, S. Onder, Z. Wang, Instruction Based Memory Distance Analysis and Its Application to Optimization, Proceedings of International Conference on Parallel Architectures and Compilation Techniques(PACT'05), September 2005.
• Simulation Acceleration
• W. Liu and M. C. Huang, EXPERT: Expedited Simulation Exploiting Program Behavior Repetition, Proceedings of the 18th annual International Conference on Supercomputing(ICS'04), June 2004.
• H. Patil, R. Cohn, M. Charney, R. Kapoor, A. Sun, A. Karunanidhi, Pinpointing Representative Portions of Large Intel Itanium Programs with Dynamic Instrumentation, Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture(Micro'04), December 2004.

Misc.

• Prefetching
• R. M. Rabbah, H. Sandanagobalane, M. Ekpanyapong, W.-F. Wong, Compiler Orchestrated Prefetching via Speculation and Predication, Proceedings of the 11th international conference on Architectural Support for Programming Languages and Operating Systems(ASPLOS'04), October 2004.
• Memory Layout
• C. Lattner and V. Adve, Automatic Pool Allocation: Improving Performance by. Controlling Data Structure Layout in the Heap, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05, Best Paper), June 2005.
• Virus Detection
  • M. Christodorescu and S. Jha, Static Analysis of Executables to Detect Malicious Patterns, Proceedings of  12th USENIX Security Symposium, August 2003. (selected and  presented by C-C. Lin)
• Intrusion Detection
• D. Wagner and R. Dean, Intrusion Detection via Static Analysis,  Proceedings of  IEEE Symposium on Security and Privacy, May 2001.