Institute of Computer Languages
Compilers and Languages Group

Talks 2005 - Andreas Hartmann

The Compilers and Languages Group invites you to a talk given by

Dipl.-Inform. Andreas Hartmann

(Universität Jena, Germany) on

Safe Escape Analysis Annotations

Date:	Friday, April 29th, 2005
Time:	14:00 (c.t.)
Location:	TU Wien, Hörsaal 20, Hauptgebäude, Karlsplatz 13, Stiege 1, 3. OG

Abstract:

JIT compilation is frequently employed in order to speedup the execution of platform-independent and dynamically extensible mobile code applications. Since the time required for dynamic compilation directly influences a program's execution time, JIT compilers usually utilize only simple and fast techniques for program analysis and optimization. Program annotations can be used to improve the analysis and optimization process of a JIT compiler. Program annotations allow a mobile code system derive information about a program, on the producer side, and transmit that information along with the program to the consumer side. In this talk, we present an inherently safe annotation technique for the safe transmission of escape information. The annotation technique described in this talk is built on the recently developed SafeTSA mobile code format and is implemented as a simple extension of SafeTSA's type system. The space required for these annotations is minimal, and measurements of compilation time show that using information from an offline escape analysis in form of program annotations is much faster than performing the escape analysis at runtime.

About Dipl.-Inform. Andreas Hartmann:

Hr. Hartmann studierte Informatik an der Friedrich-Schiller-Universitaet in Jena, wo er 2001 mit dem Diplom das Studium abschloss. Seine Diplomarbeit zum Thema "Synchronization Engine for Device-To-Device Synchronization", im Bereich mobiler Endgeraete, fertigte er in der IBM Entwicklungs GmbH in Boeblingen an. Nach dem Studium wurde Hr. Hartmann Mitglied in einem durch die DFG gefoerderten Projekt, welches sich mit der Entwicklung der alternativen Zwischencoderepraesentation SafeTSA beschaeftigt. Bis 2005 entwickelte und evaluierte er erweiterte Optimierungstechniken fuer SafeTSA in Kooperation mit der University of California, Irvine, wobei er im Rahmen eines Austauschprogrammes auch Gelegenheit zur Zusammenarbeit direkt vor Ort bekam. Parallel zu seiner Taetigkeit in der Forschung lehrt Hr. Hartmann seit 2003 an der FH-University of Applied Sciences in Erfurt im Bereich Java und Programmierung auf mobilen Endgeraeten.