From Mono

Table of contents

1 Papers 1.1 Register Allocation 1.2 Loop Transformations 1.3 Interpreter 1.4 SSA form 1.5 Synchronization 1.6 Garbage Collection 1.7 Threads

Papers

• Efficient Type Inclusion Tests: Jahn Vitek, R. Nigel Horspool, Andres Krall (http://citeseer.nj.nec.com/vitek97efficient.html)

• Efficiently Computing Static Single Assignment Form and the Control Dependence Graph: Ron Cytron, Jeanne Ferrante (http://citeseer.nj.nec.com/cytron91efficiently.html)

• Practical Improvements to the Construction and Destruction of Static Single Assignment Form: Preston Briggs, Keith Cooper, Timothy Harvey, Taylor Simpson (http://citeseer.nj.nec.com/193349.html)

• Efficient JavaVM Just-in-Time Compilation: Andreas Krall (http://citeseer.nj.nec.com/krall98efficient.html)

• Java for Large-Scale Scientific Computations: Andreas Krall, Phillip Thomsich (http://citeseer.nj.nec.com/452617.html)

• Engineering Simple, Efficient Code Generator Generator: Christopher W. Fraser, David R. Hanson, Todd A. Proebsting (http://citeseer.nj.nec.com/117522.html)

• Code Generation Techniques: Todd Alan Proebsting (http://citeseer.nj.nec.com/proebsting92code.html)

• Fast, Effective Code Generation in a Just-In-Time Java Compiler: Ali-Reza Adl-Tabatabai Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth... (http://citeseer.nj.nec.com/74629.html)

• ABCD: Eliminating Array-Bounds Checks on Demand: Rastislav Bodik, Rajiv Gupta, Vivek Sarkar (http://citeseer.nj.nec.com/bodik00abcd.html)

• On compilation of stack-based languages (http://www.complang.tuwien.ac.at/projects/rafts.html)

• Fast JIT compilation of a stack language (http://www.research.microsoft.com/~cwfraser/pldi99codegen.pdf)

• vmgen (http://www.complang.tuwien.ac.at/anton/vmgen)

Register Allocation

• Linear Scan Register Allocation: Massimiliano Poletto, Vivek Sarkar (http://citeseer.nj.nec.com/poletto99linear.html)

• Quality and Speed in Linear-scan Register Allocation: Omri Traub, Glenn Holloway, Michael D. Smith (http://citeseer.nj.nec.com/traub98quality.html)

Loop Transformations

• Compiler Transformations for High-Performance Computing: David Bacon (http://citeseer.nj.nec.com/bacon93compiler.html)

Interpreter

• vmgen-A Generator of Efficient Virtual Machine Interpreters: M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan (http://citeseer.nj.nec.com/470069.html)

SSA form

• A Simple Dynamic Algorithm for Maintaining a Dominator Tree (http://citeseer.ist.psu.edu/116189.html)

• A simple, Fast Dominance Algoritm (http://citeseer.ist.psu.edu/cooper01simple.html)

• Computing $\phi$-nodes in linear time using DJ-graphs (http://citeseer.ist.psu.edu/sreedhar94computing.html)

Synchronization

• Monitors and Exceptions - How to implement Java efficiently: Andreas Krall, Mark Probst (http://citeseer.nj.nec.com/krall98monitors.html)

• Thin Locks: Featherweight Synchronization for Java: David Bacon (http://citeseer.nj.nec.com/bacon98thin.html)

• Featherweight Monitors with Bacon Bits: David Bacon (http://citeseer.nj.nec.com/278639.html)

Garbage Collection

• Uniprocessor Garbage Collection Techniques: Paul Wilson (http://citeseer.nj.nec.com/wilson92uniprocessor.html)

• A Language-Independent Garbage Collector Toolkit: Richard Hudson, Eliot Moss, Amer Diwan, Christopher Weight (http://citeseer.nj.nec.com/41666.html)

• Incremental Collection of Mature Objects: Richard Hudson, Eliot Moss (http://citeseer.nj.nec.com/seligmann95incremental.html)

Threads

• Programming with Threads in C#: Andrew Birrell (http://research.microsoft.com/~birrell/papers/ThreadsCSharp.pdf)

Content is available under GNU Free Documentation License 1.2 (only text).