Reading List

      

        Additional readings:

         Additional readings:

         Additional readings:

• D. M. Gallagher, W. Y. Chen, S. A. Mahlke, J. C. Gyllenhaal, W. W. Hwu, Dynamic Memory Disambiguation Using the Memory Conflict Buffer, ASPLOS-6, October, 1994.

Dynamic Code Generation and JIT compilers

• Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia.  Dynamo: A Transparent Dynamic Optimization System.  PLDI 2000.

     Additional readings:

• Chandra Krintz, Brad Calder.  Using annotations to reduce dynamic optimization time.  PLDI 2001.  
• Massimiliano Poletto, Dawson R. Engler, and M. Frans Kaashoek, tcc, A System for Fast, Flexible, and High-level Dynamic Code Generation, PLDI 97.

Compiling applications into silicon

• Alex Jones, Debabrata Bagchi, Satrajit Pal, Xiaoyong Tang, Alok Choudhary, Prith Banerjee. PACT HDL: a C compiler targeting ASICs and FPGAs with power and performance optimizations.  CASES 2002.

 Additional readings:

• Jonathan Babb, Martin Rinard, Andras Moritz, Walter Lee, Matthew Frank, Rajeev Barua, and Saman Amarasinghe,  Parallelizing Applications into Silicon,  Proceedings of the IEEE Workshop on FPGAs for Custom Computing Machines '99 (FCCM '99), Napa Valley, CA, April 1999.
• Jean E. Vuillemin, Patrice Bertin, Didier Roncin, Mark Shand, Hervé H. Touati, and Philippe Boucard,    Programmable Active Memories: Reconfigurable Systems Come of Age, IEEE Transactions on VLSI, Vol 4, No. 1, March 1996.

Object-oriented compiler optimizations

• A. Diwan, J. E. B. Moss, K. S. McKinley, Simple and Effective Analysis of Statically-Typed Object-Oriented Programs, ACM OOPSLA'96.

      Additional readings:

• David Grove , Craig Chambers.  A framework for call graph construction algorithms.  ACM Transactions on Programming Languages and Systems (TOPLAS), November 2001, Volume 23 Issue 6.
• U. Holzle, D. Ungar, Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback, PLDI '94. 

Software speculative pre-computation

• Steve S.W. Liao, Perry H. Wang, Hong Wang, Gerolf Hoflehner, Daniel Lavery, and John P. Shen.  Post-pass binary adaptation for software-based speculative precomputation.  PLDI 2002.

        Additional readings:

• Jamison D. Collins , Hong Wang , Dean M. Tullsen , Christopher Hughes , Yong-Fong Lee , Dan Lavery , John P. Shen.  Speculative precomputation: long-range prefetching of delinquent loads.
  ACM SIGARCH Computer Architecture News , Proceedings of the 28th annual international symposium on on Computer architecture May 2001
  Volume 29 Issue 2

 

TOPICS IN EMBEDDED SYSTEMS

 

Memory optimizations

• O. Avissar, R. Barua and D. Stewart.  ``An Optimal Memory Allocation Scheme for Scratch-Pad Based Embedded Systems.''  ACM Transactions on Embedded Computing
  Systems (TECS)}, September, 2002.

        Additional readings:

• Preeti Ranjan Panda , Nikil D. Dutt , Alexandru Nicolau.  On-chip vs. off-chip memory: the data partitioning problem in embedded processor-based systems.
  ACM Transactions on Design Automation of Electronic Systems (TODAES) July 2000
  Volume 5 Issue 3
   

Code size minimization

• Saumya Debray , William Evans.  Profile-guided code compression.  PLDI, May 2002.

• Stan Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Storage Assignment to Decrease Code Size. TOPLAS 18(3), 1996

 

Power measurement and optimizations

• Design space optimization of embedded memory systems via data remapping
  Krishna V. Palem , Rodric M. Rabbah , Vincent J. Mooney , Pinar Korkmaz , Kiran Puttaswamy
  ACM SIGPLAN Notices , Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems June 2002
  Volume 37 Issue 7

         Additional readings:

• T-C. Lee, V. Tiwari, S. Malik and M.Fujita, Power Analysis and Minimization Techniques for Embedded DSP Software, IEEE Transactions on VLSI Systems, March 1997.
• Code generation and scheduling: Compiler optimization on instruction scheduling for low power
  Chingren Lee , Jenq Kuen Lee , TingTing Hwang , Shi-Chun Tsai
  Proceedings of the 13th conference on International Symposium on System Synthesis September 2000

   

Ensuring code safety

• Sumant Kowshik, Dinakar Dhurjati, Vikram Adve.  Ensuring code safety without runtime checks for real-time control systems.  CASES 2002.

        Additional readings:

• Christopher Colby , Peter Lee , George C. Necula , Fred Blau , Mark Plesko , Kenneth Cline.  A certifying compiler for Java.
  ACM SIGPLAN Notices , Proceedings of the ACM SIGPLAN '00 conference on Programming language design and implementation May 2000
  Volume 35 Issue 5

Compiling for network processors

• Jinhwan Kim, Sungjoon Jung, Yunheung Paek, Gang-Ryung Uh.  Experience with a retargetable compiler for a commercial network processor.  CASES 2002.

• Jens Wagner, Rainer Leupers C Compiler Design for an Industrial Network Processor.  LCTES 2001.
• P. Paulin , F. Karim , P. Bromley.  Network processors: a perspective on market requirements, processor architectures and embedded S/W tools. 
  Proceedings of the DATE 2001 on Design, automation and test in Europe March 2001

Synthesis-assistance software

• T. Vinod K Gupta. ``Multi-objective Design Space Exploration using Compiler Predictions.", M.S. Thesis, ECE dept, University of Maryland, College Park, August 2002.

        Additional readings:

• T. Givargis, F. Vahid, J. Henkel. "System-Level Exploration for Pareto-Optimal Configurations in Parameterized System-on-a-Chip (December 2002)," IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 10, no. 4, August 2002.

Synchronous Dataflow

• S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee. Synthesis of embedded software from synchronous dataflow specifications. Journal of VLSI Signal Processing Systems, 21(2):151-166, June 1999.

    Additional readings:

• Edward Lee and David Messerschmitt, Synchronous Data flow.  Proceedings of the IEEE, 75(9), September,1987.
• B. Bhattacharya and S. S. Bhattacharyya. Parameterized dataflow modeling for DSP systems. IEEE Transactions on Signal Processing, 49(10):2408-2421, October 2001.