Logo des Repositoriums

Auflistung nach Autor:in "Franz, Michael"

1 - 3 von 3
  • Konferenzbeitrag
    Automatic Generation of Machine Emulators: Efficient Synthesis of Robust Virtual Machines for Legacy Software Migration
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Franz, Michael; Gal, Andreas; Probst, Christian W.
    As older mainframe architectures become obsolete, the corresponding legacy 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.
  • Konferenzbeitrag
    Eliminating Trust From Application Programs By Way Of Software Architecture
    (Software Engineering 2008, 2008) Franz, Michael
    In many of today’s application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnecessarily large and audit costs are high. We present a software architecture in which applications can be completely untrusted, even when they manipulate secrets. Key to our approach is the use of a trusted multi-level security virtual machine, inside of which all secrets remain locked at all times. In an experimental prototype, we were able to bring down the run-time overhead much lower than expected, by using aggressive dynamic compilation and static analysis techniques.
  • Zeitschriftenartikel
    Java – Anmerkungen eines Wirth-Schülers
    (Informatik-Spektrum: Vol. 21, No. 1, 1998) Franz, Michael
      Die „Internet-Programmiersprache“ Java ist momentan in aller Munde. Leider wird bei der recht marktschreierisch geführten Diskussion um Java häufig unterschlagen, dass viele der Java immanenten Qualitäten keineswegs neu sind, sondern sich (besonders im Umfeld der Sprache Pascal) seit langem bewähren. Der vorliegende Artikel beleuchtet den rasanten Aufstieg von Java, zeigt bislang weitgehend unbekannte Zusammenhänge zwischen Java und Pascal auf, und wagt schliesslich eine Prognose über die Zukunft von Java.Summary  The current discussion of Java is charakterized by much hyperbole and often fails to mention that many of Java’s distinguishing features have previously appeared in the context of other languages, notably Pascal. This article illuminates the remarkably rise of Java, exposes a number of little-known parallels between Java and pascal, and finally speculates on the future of Java.