|
Publications/Manuscripts :
2003
-
Efficient Spill Code with SDRAM,
with Jens Palsberg. In Proceedings of CASES'03, International Conference
on Compilers, Architecture and Synthesis for Embedded Systems, San Jose,
California, October 2003.
2005
-
Compile-Time Concurrent Marking Write Barrier Removal, with David Detlefs. In proceedings of the 3rd annual IEEE/ACM INTERNATIONAL SYMPOSIUM ON
Code Generation and Optimization (CGO-3) Bay Area, California, March 2005.
-
Timing analysis of TCP servers for surviving denial-of-service attacks,
with Jens Palsberg. In the proceedings of 11th IEEE Real-Time and Embedded Technology and
Applications Symposium, San Francisco, California. The tool
ATASYN can be found here.
2006
-
Dynamic State Restoration Using Versioning Exceptions
with Suresh Jagannathan. In the Journal of Higher Order Symbolic
Computation, Vol 19(1), March 2006.
-
SARA: Combining Stack Allocation and Register Allocation
with Jens Palsberg. In the proceedings of the International Conference on Compiler Construction, April 2006.
2007
-
A framework for end-to-end evaluation of register allocators,
with Fernando Pereira and Jens Palsberg. Accepted in Static Analysis Symposium 2007.
RALF can be download by clicking here.
-
Advances in Register Allocation. Book chapter in 'The Compiler Design Handbook: Optimizations and Machine Code Generation.' 2nd edition.

|