|
|
|
Kontakt |
|
Arbeitsgebiete
Compilerzwischensprachen, Codegenerierung, Registerallokation, Optimierungen
Curriculum Vitae
Lehre
- Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2013
- Vorlesung: Praxis der Softwareentwicklung , Wintersemester 2012/2013
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2012
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2012
- Praktikum: Compilerpraktikum , Sommersemester 2011
- Vorlesung: Programmierparadigmen , Wintersemester 2010/2011
- Übung: Programmierparadigmen - Übungen , Wintersemester 2010/2011
- Praktikum: Compilerpraktikum , Sommersemester 2010
- Vorlesung: Praxis der Softwareentwicklung - Handyprogrammierung in Java , Wintersemester 2009/2010
- Übung: Übungen zu Sprachtechnologie und Compiler II , Sommersemester 2009
- Praktikum: Compilerpraktikum , Sommersemester 2009
- Übung: Übungen zu Sprachtechnologie und Compiler , Wintersemester 2008/2009
- Übung: Übungen zu Compiler II , Sommersemester 2008
Veröffentlichungen
2014
-
Dynamic X10: Resource-Aware Programming for Higher Efficiency
Karlsruhe Reports in Informatics 2014 : M. Braun, S. Buchwald, M. Mohr, A. Zwinkau
2013
-
Simple and Efficient Construction of Static Single Assignment Form
Compiler Construction 2013, pp. 102--122 (CC 2013) : M. Braun, S. Buchwald, S. Hack, R. Leißa, C. Mallon, A. Zwinkau
2012
-
An X10 Compiler for Invasive Architectures
Karlsruhe Reports in Informatics 2012 : M. Braun, S. Buchwald, M. Mohr, A. Zwinkau
2011
-
Firm---A Graph-Based Intermediate Representation
Karlsruhe Reports in Informatics 2011 : M. Braun, S. Buchwald, A. Zwinkau
2010
-
Preference-Guided Register Assignment
International Conference on Compiler Construction March 2010 (CC 2010) : M. Braun, C. Mallon, S. Hack
2009
-
Register Spilling and Live-Range Splitting for SSA-Form Programs
Proceedings of the International Conference on Compiler Construction March 2009, pp. 174--189 (CC 2009) : M. Braun, S. Hack
2006
-
Heuristisches Auslagern in einem SSA-basierten Registerzuteiler
October 2006 : M. Braun
Projekte
Betreute Studien- und Abschlussarbeiten
abgeschlossen
- Optimierung von Stencil-Algorithmen für invasive Architekturen, Bachelorarbeit
- Optimierung einer funktionalen und referentiell transparenten Zwischendarstellung, Diplomarbeit
- Repräsentation von Alias-Information in der Programmgraphstruktur, Diplomarbeit
- Eine funktionale, vollständige und referentiell transparente Zwischendarstellung für Übersetzer, Diplomarbeit
- Entwicklung libFirm Compiler, HiWi-Job
- Entwurf und Implementierung eines Sparc Backend, Studienarbeit
- Transformation SSA basierter Zwischensprachen, Studienarbeit
- Evaluation verschiedener Profilierungsverfahren zur Just-in-Time-Kompilierung auf eingebetteten Systemen, Studienarbeit
- Eine Systematik für lokale Optimierungen, Studienarbeit
- Webseitenentwicklung, HiWi-Job