Ken Wakita



Title:  Generation of Efficient Virtual Machine


Abstract:  TokyoTech virtual machine builder (VMB) is a generator of efficient virtual machine.  VMB takes a definition of a virtual machine and generates a virtual machine that efficiently executes bytecode programs of the specified machine instruction set.

A definition of a virtual machine comprises a definition of virtual hardware (a set of virtual registers, virtual stacks, and heap organization) and a virtual machine instruction set.  Behavior of each virtual machine instruction is given in terms of machine state transition system.

Virtual machine builder has been used to generate a set of virtual machines that include virtual machine for Objective Caml and a subset of Java.  The generated virtual machine executes slightly slowler (0-8% slower) than a human-made virtual machine.