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

Michael Franz, Andreas Gal, Christian Probst

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    As older mainframe architectures become obsolete, the corresponding le- gacy software is increasingly executed via platform emulators running on top of more modern commodity hardware. These emulators are virtual machines that often include a combination of interpreters and just-in-time compilers. Implementing interpreters and compilers for each combination of emulated and target platform independently of each other is a redundant and error-prone task. We describe an alternative approach that automatically synthesizes specialized virtual-machine interpreters and just-in-time compilers, which then execute on top of an existing software portability platform such as Java. The result is a considerably reduced implementation effort.
    Original languageEnglish
    Title of host publicationProceedings of Software Engineering Conference (SE2007)
    Publication date2006
    Pages83-94
    Publication statusPublished - 2006
    EventSoftware Engineering -
    Duration: 1 Jan 2007 → …

    Conference

    ConferenceSoftware Engineering
    Period01/01/2007 → …

    Cite this

    Franz, M., Gal, A., & Probst, C. (2006). Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration. In Proceedings of Software Engineering Conference (SE2007) (pp. 83-94)