Most papers are available on-line (follow links). If the paper is not available on-line, the instructor will hand them out in class.
Software speculative pre-computation
TOPICS IN EMBEDDED SYSTEMS
Ensuring code safety
Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, and Chris Lattner. Memory safety without runtime checks or garbage collection. InProceedings of the ACM SIGPLAN Conference on Languages, Compilers, and tools for Embedded Systems, pages 69–80. ACM Press, 2003.
Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in cyclone. InProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 282–293. ACM Press, 2002.
Memory overflow protection
Surupa Biswas, Matthew Simpson, and Rajeev Barua. Memory overflow protection for embedded systems using run-time checks, reuse and compression. InProceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pages 280–291. ACM Press, 2004.
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, and Westley Weimer. Ccured in the real world. InProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 232–244. ACM Press, 2003.
Code size minimization
Power measurement and optimizations
Compiling for network processors
Compiling applications into silicon