UCLA CS 239 Compilers for Embedded Systems Spring 2004

Reading List

Stack Space

• About the Altona Railway software glitch. The Risk Digest, Forum on Risks to the Public in Computers and Related Systems, ACM Committee on Computers and Public Policy, Peter G. Neumann, moderator Volume 16: Issue 93, 20 March, 1995.
• Debora Weber-Wulff. More on German Train Problems. The Risk Digest, Forum on Risks to the Public in Computers and Related Systems, ACM Committee on Computers and Public Policy, Peter G. Neumann, moderator Volume 17: Issue 2, 30 March, 1995.
• Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static Checking of Interrupt-driven Software. In Proceedings of ICSE'01, 23rd International Conference on Software Engineering, pages 47-56, Toronto, May 2001.
• Jens Palsberg and Di Ma. A Typed Interrupt Calculus. In FTRTFT'02, 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, pages 291--310. Springer-Verlag (LNCS 2469), Oldenburg, Germany, September 2002.
• Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, and Jens Palsberg. Stack Size Analysis of Interrupt Driven Software, In Proceedings of SAS'03, International Static Analysis Symposium, pages 109-126, San Diego, June 2003.
• John Regehr, Alastair Reid, and Kirk Webb. Eliminating stack overflow by abstract interpretation, In Proceedings of EMSOFT'03, International Conference on Embedded Software, pages 306-322, Philadelphia, PA, October 2003.

Heap Space

• C. Scott Ananian and Martin Rinard. Data size optimizations for Java programs. In Proceedings of LCTES'03, ACM SIGPLAN Conference on Language, Compiler, and Tool Support for Embedded Systems, pages 59-68, 2003.

Code Space

• Stan Liao, Srinivas Devadas, Kurt Keutzer, Steven Tjiang, Albert Wang. Storage assignment to decrease code size. ACM Transactions on Programming Languages and Systems, 18(3):235-253, 1996.
• Keith Cooper and Nathaniel McIntosh. Enhanced Code Compression for Embedded RISC Processors. In Proceedings of PLDI'99, Conference on Programming Language Design and Implementation, pages 139-149, 1999.
• Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere. Sifting out the Mud: Low Level C++ Code Reuse. In Proceedings of OOPSLA'02, ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 275-291, 2002.
• Ashok Halambi, Aviral Shrivastava, Partha Biswas, Nikil D. Dutt, Alexandru Nicolau. An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs. In Proceedings of DATE'02, Conference on Design, Automation and Test in Europe, pages 402-408, 2002.
• W-K. Chen, B. Li, and R. Gupta. Code Compaction of Matching Single-Entry Multiple-Exit Regions. In Proceedings of SAS'03, International Static Analysis Symposium, San Diego, CA, June 2003.
• Mayur Naik and Jens Palsberg. Compiling with code-size constraints. ACM Transactions on Embedded Computing Systems, 3(1):163-181, 2004. Preliminary version in Proceedings of LCTES'02, Languages, Compilers, and Tools for Embedded Systems joint with SCOPES'02, Software and Compilers for Embedded Systems, pages 120--129, Berlin, Germany, June 2002.

Deadlines

• Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, and Rheinhard Wilhelm. Reliable and Precise WCET Determination for a Real-Life Processor. In Proceedings of EMSOFT'02, Embedded Software Workshop, LCNS volume 2211, Lake Tahoe, USA, October 2001.
• Dennis Brylow and Jens Palsberg. Deadline Analysis of Interrupt-Driven Software. In Proceedings of FSE'03, ACM SIGSOFT International Symposium on the Foundations of Software Engineering joint with ESEC'03, European Software Engineering Conference, pages 198-207, Helsinki, Finland, September 2003.

Energy

• H. Saputra, M. Kandemir, N. Vijaykrishnan, M. J. Irwin, J. Hu, C-H. Hsu, and U. Kremer. Energy-conscious compilation based on voltage scaling, In Proceedings of LCTES/SCOPES'02, Joint Conference on Languages, Compilers and Tools for Embedded Systems & Software and Compilers for Embedded Systems, pages 2-11, June 2002.
• Chung-Hsing Hsu and Ulrich Kremer. The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. In Proceedings of PLDI'03, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 38-48, 2003.

Wide Busses

• V. Krishna Nandivada and Jens Palsberg. Efficient spill code for SDRAM. In Proceedings of CASES'03, International Conference on Compilers, Architecture and Synthesis for Embedded Systems, pages 24-31, San Jose, California, October 2003.

ILP-based Static Analysis

• Jens Palsberg and Mayur Naik. ILP-based Resource-aware Compilation. In Wayne Wolf, editor, Multiprocessor Systems-on-Chips, 2004. To appear.
• Kent Wilken, Jack Liu, and Mark Heffernan. Optimal instruction scheduling using integer programming. In Proceedings of PLDI'00, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 121-133, 2000.
• Andrew Appel and Lal George. Optimal spilling for CISC machines with few registers. In Proceedings of PLDI'01, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 243-253, 2001.

Compiling to Motes, Network Processors, and Virtual Machines

• David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, and David E. Culler. The nesC language: A holistic approach to networked embedded systems. In Proceedings of PLDI'03, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-11, 2003.
• Lal George, Matthias Blume. Taming the IXP network processor. In Proceedings of PLDI'03, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-37, 2003.
• Thomas Henzinger and Christoph Kirsch. The embedded machine: predictable, portable real-time code. In Proceedings of PLDI'02, ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 315-326, 2002.