Bibliographic References

Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, and Andreas Zwinkau. Simple and efficient construction of static single assignment form. pages 102–122, 2013.


Clifford Noel Jr. Click. Combining Analyses, Combining Optimizations. PhD thesis, Rice University, 1995.


Alessandro Coglio. Improving the official specification of java bytecode verification. Concurrency and Computation: Practice and Experience, 15(2).


Thomas Lengauer and Robert Endre Tarjan. A fast algorithm for finding dominators in a flowgraph. ACM Trans. Program. Lang. Syst., 1(1):121–141, January 1979.


Scott Meyers. Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library. Addison-Wesley Professional, 2001.


Scott Meyers. Effective C++: 55 Specific Ways to Improve Your Programs and Designs (3rd Edition). Addison-Wesley Professional, 2005.


Zhenyu Qian, Allen Goldberg, and Alessandro Coglio. A formal specification of java class loading. SIGPLAN Not., 35(10):325–336, October 2000.


Matthias Reisinger. Ssa-based optimizations for just-in-time compilation in the cacao vm. Bachelor's thesis, Vienna University of Technology, 2014.


Robert Endre Tarjan. Testing flow graph reducibility. Journal of Computer and System Sciences, 9(3):355 – 365, 1974.


Christopher Allen Vick. Ssa-based reduction of operator strength. Master's thesis, Rice University, 1994.


Christian Wimmer and Michael Franz. Linear scan register allocation on ssa form. In Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization, CGO '10, pages 170–179, New York, NY, USA,

  1. ACM.


Christian Wimmer and Hanspeter Mössenböck. Optimized interval splitting in a linear scan register allocator. In Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, VEE '05, pages 132–141, New York, NY, USA,

  1. ACM.


Christian Wimmer. Linear scan register allocation for the java hotspot client compiler. Master's thesis, Johannes Kepler University Linz, 2004.