Dipl.-Inform. Lars Gesellensetter
»
Home
»
Mitarbeiter
»
Kerngebiete
»
Projekte
»
Abgeschlossen
»
Veröffentlichungen
»
Details
»
Software
»
Lehre
»
Student. Arbeiten
»
Impressum
»
Lageplan
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
»
FakultÀt
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
UniversitÀt