Publications related to RALF

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.

	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.