Schnelleinstieg Reader

Home|Suche|Sitemap|Webmail

Startseite FSU

Safe Typed Static Single Assignment

Entwicklung syntaxorientierter Verfahren zur sicheren und effizienten Ausführung von mobilem Code Ein System zur mobilen Codeerzeugung besteht aus einer Produzenten-und einer Konsumentenseite. Die Produzentenseite übersetzt das Eingabeprogramm in eine Zwischencodepräsentation, die von der Konsumentenseite über das Internet geladen und nach einer zur Laufzeit durchgeführten Übersetzung auf der Zielarchitektur ausgeführt werden kann.

Projektinhalt

Gegenstand des SafeTSA-Projektes ist die Entwicklung eines vollständigen Systems zur mobilen Codeerzeugung. Das zu entwickelnde System basiert auf er Zwischencoderepräsentation SafeTSA , in die ein Programm transformiert werden muss, um unter Verwendung eines auf der Zielmaschine befindlichen Just-in-Time-Compilers (JIT-) ausgeführt zu werden.

Neben dem Entwurf einer für den mobilen Code geeigneten Zwischencoderepräsentation, werden in dem DFG-Projekt, sowohl für die Produzenten- als auch für die Konsumentenseite des Systems, sichere und effiziente Techniken zur Programmanalyse, Optimierung, Codeerzeugung und syntaxorientierten Komprimierung entwickelt, und unter Verwendung realer Anwendungsprogramme evaluiert.

For more information, see our own Web site at http://safetsa.informatik.uni-jena.de

Projektteilnehmer

Veröffentlichungen

  • Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz:
    The Effectiveness of Producer-Side Machine-Independent Optimizations for Mobile Code
    Software: Practice and Experience, Vol. 39, Issue 10, pp. 923-946, Juli 2009. http://dx.doi.org/10.1002/spe.921
  • Wolfram Amme , Marc-Andre Möller, Philipp Adler :
    Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations .
    Proceedings of the 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Vienna, Austria, 2nd April, 2006. (PDF)
  • Philipp Adler , Wolfram Amme , Jeffery v. Ronne, Michael Franz:
    Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance .
    Proceedings of the 10th IEEE Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-10), Austin, Texas, 12th February 2006. ( PDF )
  • Philipp Adler , Wolfram Amme :
    Improving the Java Virtual Machine Using Type-Separated Bytecode. .
    Proceedings of the 12th International Workshop on Compilers for Parallel Computers (CPC 2006), A Coruna, Spain, 09.-11. January 2006 . ( PDF )
  • Jeffery von Ronne, Wolfram Amme , Michael Franz:
    SSA-Based Mobile Code: Implementation and Empirical Evaluation .
    Computer Science, The University of Texas at San Antonio, CS-TR-2006-005, 2006.
  • Jeffery von Ronne, Wolfram Amme , Michael Franz:
    An Inherently Type-Safe SSA-Based Code Format .
    Computer Science, The University of Texas at San Antonio, CS-TR-2006-004, 2006.
  • Wolfram Amme , Niall Dalton, Michael Franz, Jeffery v. Ronne:
    SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form .
    Proceeding of the SIGLAN Conference Programming Language Design and Implementation (PLDI), Snowbird, Utah, 20.-22, June 2001. ( HTML )
  • Wolfram Amme , Jeffery von Ronne, Michael Franz, Niall Dalton:
    Compile Time Elimination of Null- and Bounds-Checks .
    Proceedings of 9th Workshop on Compilers for Parallel Computers (CPC 2001), Edinburgh, Scotland, UK, 2001.
  • Wolfram Amme , Niall Dalton, Jeffery von Ronne:
    SafeTSA- A Structured and Typed Intermediate Representation of Mobile Code .
    Proceeding of the International Workshop on Performance-Oriented Application Development for Distributed Architectures (PADDA 2001), Munich, Germany, pp. 13-14, 2001.
  • Michael Franz, Jeffery von Ronne, Wolfram Amme , Niall Dalton:
    An Alternative to Stack-Based Mobile-Code Representations .
    Proceeding of the 5th World Multi-Conference on Systemics,Cybernetics and Informatics (SCI 2001), Munich, Germany, July 22-25, Orlando, Florida, USA, 2001.
  • Wolfram Amme , Niall Dalton, P. Fröhlich, V. Haldar, P.S. Housel, Jeffery von Ronne, Ch. H. Stork, S. Zhenochin, Michael Franz:
    Reconciling Mobile-Code Security With Execution Efficiency .
    accepted for appearance at the DARPA Information Survivability Conference and Exposition (DISCEX II). Anaheim, California, 2001 .
  • Wolfram Amme , Niall Dalton, Michael Franz, Jeffery von Ronne:
    SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form .
    Technical report, Department of Information and Computer Science, University of California, Irvine, 2000.

<< QuickLinkNet   Simlity Games >>