Universität Karlsruhe
Dipl.-Inform. Lars Gesellensetter

Arbeitsgebiete

Übersetzerbau
Optimierungen im Backend-Bereich

Seit 1.Oktober bin ich an der TU Berlin – hier die Adresse meiner neuen Homepage

Projekte

Abgeschlossen
Aktionsplan Informatik
CRS
Eliteförderprogramm fĂŒr Postdoktoranden

Betreute Studien- und Diplomarbeiten

Studienarbeit
Checker fĂŒr Konstantenpropagierung in Compilern (abgeschlossen)
Entwurf und Implementierung einer Schnittstelle fĂŒr SSA-Sprachen (abgeschlossen)
Evaluierung graphersetzungsbasierter Optimierungen (abgeschlossen)

Veröffentlichungen

2005
Kopp, Gesellensetter, KrÀmer, Wachsmuth, A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application
Blech, Gesellensetter, Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL
Login
Links