Dr. Michael Thies

Anschrift:

Michael Thies
Universität Paderborn
Institut für Informatik
Fakultät für Elektrotechnik,
Informatik und Mathematik
Fürstenallee 11
33102 Paderborn
Deutschland

Raum: F2.303
Tel.: +49 5251 60-6682
Fax: +49 5251 60-6697
e-mail: mthies@uni-paderborn.de
Sprechstunde: Mittwoch, 14-15 Uhr

---

Apple Macintosh Software

---

Lehre im Wintersemester 2007/2008

• Projektgruppe: Datenbankzugriff leicht gemacht: von visuellen Spezifikationen zu AJAX-basierten Web-Oberflächen
• Übungen zur Vorlesung Modellierung

Lehre im Sommersemester 2007

• Projektgruppe: Datenbankzugriff leicht gemacht: von visuellen Spezifikationen zu AJAX-basierten Web-Oberflächen
• Übungen zur Vorlesung Grundlagen der Programmiersprachen

Lehre im Wintersemester 2006/2007

Im Rahmen eines Lehrauftrages biete ich folgende Veranstaltung für den Studiengang Medienwissenschaften an:

• Vorlesung "Einführung in Web-bezogene Sprachen" (EWS)

Lehre im Sommersemester 2006

• Projektgruppe: Automatische Nutzung von Multimedia-Befehlen auf rekonfigurierbaren Prozessor-Clustern

Lehre im Wintersemester 2005/2006

• Projektgruppe: Automatische Nutzung von Multimedia-Befehlen auf rekonfigurierbaren Prozessor-Clustern

Lehre im Sommersemester 2005

Im Rahmen einer Lehrstuhlvertretung biete ich folgende Veranstaltungen an:

• Vorlesung "Grundlagen der Programmierung 2"
• Übungen zur Vorlesung "Grundlagen der Programmiersprachen"
• Proseminar: Anwendungsspezifische Sprachen im Umfeld von XML

Lehre im Wintersemester 2004/2005

• Projektgruppe: Generierung von Web-Anwendungen aus visuellen Spezifikationen
• Übungen und Teile der Vorlesung "Grundlagen der Programmierung 1"

Lehre im Sommersemester 2004

• Projektgruppe: Generierung von Web-Anwendungen aus visuellen Spezifikationen

Lehre im Wintersemester 2003/2004

• Vorlesung: Skriptsprachen zur Realisierung dynamischer Web-Anwendungen

---

Forschungsgebiete

Im Moment beschäftige ich mich überwiegend mit der Entwurfsraum-Exploration von Mikroprozessoren für spezifische Anwendungsgebiete. Dabei werden ein optimierender Compiler (speziell das Compiler-Backend) und ein effizienter Simulator aus einem Modell des Prozessors generiert, um den Proezssor anhand geeigneter Benchmark-Programme aus dem Anwendungsgebiet zu bewerten. Die Prozessor-Modellierung erfolgt dabei auf einer hohen Ebene, die an den Anforderungen von Software-Entwicklungswerkzeugen orientiert ist. Dies spart Zeit gegenüber einer prototypischen Hardware-Realisierung des Prozessors und erlaubt eine schnelle und flexible inkrementelle Weiterentwicklung des Prozessors. Liefert diese iterative Explorationsmethodik eine geeignete Prozessorarchitektur, schließt sich eine verfeinerte Untersuchung auf Hardware-Ebene an, die nur einen deutlich reduzierten Entwurfsraum betrachten muss.

Ich habe einen neuartigen Ansatz zur optimierten Ausführung von Java-Bytecode entwickelt, der die dynamische Optimierung eines Java-Programms durch statische Programmanalyse vorbereitet. Die Analyseinformation wird unabhängig von der Programmausführung bezogen auf alle Klassendateien einer Softwarebibliothek ermittelt und gespeichert. Zur Laufzeit unterstützt die an den Bibliotheksschnittstellen komponierte Information insbesondere Optimierungen, die zusätzlich dynamische Programmeigenschaften ausnutzen. Einen Überblick der von mir entwickelten und implementierten Analysemethode, sowie einige der damit gewonnenen Ergebnisse habe ich in meinem Promotionsvortrag am 18. Mai 2001 vorgestellt. Das Material, das ich bei meinem Vortrag verwendet habe, ist hier verfügbar.		S	tatic
		A	nalysis of
		I	solated
		L	ibraries &
		D	ynamic
		O	ptimization
		W	orks
		N	imbly

Einige recht frühe Voruntersuchungen und erste Ergebnisse zu dieser Idee habe ich bereits im Rahmen der Java-Informationstage 1999 (JIT'99) am 20./21. September 1999 in Düsseldorf präsentiert. Dieses ältere Vortragsmaterial findet sich hier.

Ausführliche Hintergrundinformationen zu meiner Idee und Überlegungen zu wichtigen Entwurfsentscheidungen liefert ein technischer Bericht. Außerdem gibt es noch die Folien zu meinem Vortrag auf der JIT'98 in Frankfurt als komprimierte Postscript-Datei.

Verfügbares Material

• Michael Thies. SAILDOWN: Statische Analyse und dynamische Optimierung von Java-Bibliotheken, Promotionsvortrag, Mai 2001.

• Michael Thies. A Closer Look at Inter-library Dependencies in Java-software, in JIT'99 Java Informations-Tage 1999 (Hrsg.: C. H. Cap), Informatik Aktuell, Springer Verlag, 1999.

• Michael Thies. Program-Analysis: A Closer Look at Inter-Library Dependencies in Java-Software, Präsentation auf der JIT'99, Düsseldorf, Germany, September 1999.

• Michael Thies. Static Compositional Analysis of Libraries in Support of Dynamic Optimization, Technischer Bericht, Universität Paderborn, Germany, August 1999.

• Michael Thies und Uwe Kastens. Statische Analyse von Biliotheken als Grundlage dynamischer Optimierung, in JIT'98 Java Informations-Tage 1998 (Hrsg.: C. H. Cap), Informatik Aktuell, Springer Verlag, 1998.

• Michael Thies. Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung, Präsentation auf der JIT'98, Frankfurt, Germany, November 1998.

Andere Themen

Im Zusammenhang mit der optimierten Ausführung von Java-Programmen experimentiere ich mit (JIT) Übersetzung von Java für den PowerPC. Dabei stütze ich mich zum Teil auf Kaffe, eine ausgezeichnete frei verfügbare Implementierung einer Java Virtual Machine.

Mit der Programmiersprache Java komme ich ansonsten noch im Rahmen der Programmierausbildung für InformatikstudentInnen in Berührung, z.B. bei der Betreuung der Anfängervorlesung Software-Entwicklung.

In einem früheren Leben habe ich mich mit Instruction Scheduling, aber auch der Codeselektion mittels BURS (Bottom-Up-Rewriting-Systems) beschäftigt. Dazu kamen noch all die anderen Hilfsmittel, die man braucht, um eine funktionsfähige Codeerzeugung zu implementieren, z.B. für SPARC oder PowerPC Prozessoren.

Neben echter PowerPC-Hardware, die unter AIX oder MkLinux läuft, habe ich zusätzlich den PowerPC Simulator PSIM benutzt, um Leistungsmessungen an PowerPC-Code durchzuführen. Dabei erbrachte gerade der Simulator einige aufschlußreiche Ergebnisse, die man aus herkömmlichen Testläufen nur schwer herleiten könnte.

Meine Diplomarbeit Ein Code-Generierungs-Werkzeug eingesetzt für SPARC-Prozessoren (1993) ist als Postscript-Datei verfügbar.