Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration

Cached

Download Links

by Michael Franz , Andreas Gal , Christian W. Probst

Active Bibliography

20 HotPathVM: An Effective JIT Compiler for Resource-Constrained Devices – Andreas Gal, Christian W. Probst - 2006
5 Code Generation Techniques – Todd Alan Proebsting - 1992
2 Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion – Eero Lassila, Eero Lassila - 1997
1 Code Generation = A* + BURS – Albert Nymeyer, Joost-pieter Katoen, Ymte Westra, Henk Alblas - 1996
2 Near-Optimal Instruction Selection on DAGs – David Ryan Koes, Seth Copen Goldstein - 2008
11 An Overview of SORCERER: A Simple Tree-Parser Generator – Terence J. Parr - 1994
Intermediate Representations of Mobile Code – Wolfram Amme, Thomas S. Heinze, Jeffery Von Ronne - 2007
38 BURG - Fast Optimal Instruction Selection and Tree Parsing – Christopher W. Fraser, Robert R. Henry, Todd A. Proebsting - 1991
32 Efficient retargetable code generation using bottom-up tree pattern matching – A. Balachandran, D. M. Dhamdheret, S. Biswas - 1990
7 Using Program Checking to Ensure the Correctness of Compiler Implementations – Sabine Glesner - 2003
10 ASM-Based Mechanized Verification of Compiler Back-Ends – Axel Dold , Thilo S. Gaul , Vincent Vialard, Wolf Zimmermann
25 Verification of Compilers – Gerhard Goos, Wolf Zimmermann, Fakultat Fur Informatik - 1999
2 A Virtual Machine for Interpreting Programs in Static Single Assignment Form – Jeffery von Ronne, Ning Wang, Alexander Apel, Michael Franz - 2003
2 Identifying and evaluating a generic set of superinstructions for embedded Java programs – James F. Power - 2004
1 Mixed mode execution with context threading – Mathew Zaleski, Marc Berndl, Angela Demke Brown - 2005
2 Interpreting Programs in Static Single Assignment Form – Jeffery Von Ronne, Ning Wang, Michael Franz - 2003
1 Optimizations for a Java Interpreter Using Instruction Set Enhancement – M. Anton Ertl, David Gregg, Tu Wien
Optimizations for a Java Interpreter Using Instruction Set Enhancement – Kevin Casey, M. Anton Ertl, David Gregg
Generation of Efficient Virtual Machine (Extended Abstract) – Ken Wakita, Yuji Uchiyama, Daisuke Ogata