In this page you can find publications related to RALF. Due to copyright restrictions, some publications are not available in this page.
|Venkata Krishna Nandivada, Combining Stack Location Allocation with Register Allocation, University of California at Los Angeles, 2005. Krishna's Thesis, with a good description of RALF. If you want to read it, e-mail the author.|
|Venkata Krishna Nandivada and Jens Palsberg, SARA: Combining Stack Allocation and Register Allocation, Conference of Compiler Construction, 232-246, 2006|
|Fernando Magno Quintão Pereira and Jens Palsberg. Register Allocation via Coloring of Chordal Graphs. The Third Asian Symposium on Programming Languages and Systems. 315 - 329. Spring. 2005.|
|Venkata Krishna Nandivada, Fernando Magno Quintão Pereira and Jens Palsberg. A Framework for End-to-End Verification and Evaluation of Register Allocators. Technical Report, University of California at Los Angeles, 2007. This report describes the MIRA/FORD framework and the type-system.|
|Fernando Magno Quintão Pereira. Static Validation of Register Allocation. Technical Report, University of California at Los Angeles, 2006. This report contains a description of the algorithms used to do translation validation between the mira specification and the set of register allocation directives given in the ford file.|