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)
    Franz, Michael ; Gal, Andreas ; Probst, Christian. / Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration. Proceedings of Software Engineering Conference (SE2007). 2006. pp. 83-94
    @inproceedings{1df55dd92cc04614810bd05c1b2ae3fc,
    title = "Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration",
    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.",
    author = "Michael Franz and Andreas Gal and Christian Probst",
    year = "2006",
    language = "English",
    pages = "83--94",
    booktitle = "Proceedings of Software Engineering Conference (SE2007)",

    }

    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, Software Engineering, 01/01/2007.

    Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration. / Franz, Michael; Gal, Andreas; Probst, Christian.

    Proceedings of Software Engineering Conference (SE2007). 2006. p. 83-94.

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

    TY - GEN

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

    AU - Franz, Michael

    AU - Gal, Andreas

    AU - Probst, Christian

    PY - 2006

    Y1 - 2006

    N2 - 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.

    AB - 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.

    M3 - Article in proceedings

    SP - 83

    EP - 94

    BT - Proceedings of Software Engineering Conference (SE2007)

    ER -

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