|
|
|
Contact |
|
Research interests
Intermediate compiler representations, register allocation, optimisations, code generation
Curriculum Vitae
Courses
- Lecture: Software Engineering Practice , Sommersemester 2013
- Lecture: Software Engineering Practice , Wintersemester 2012/2013
- Lecture: Language Technology and Compiler , Sommersemester 2012
- Common Excercises: Tutorial for Language Technology and Compiler , Sommersemester 2012
- Laboratory: Compilerpraktikum , Sommersemester 2011
- Lecture: Programming Paradigms , Wintersemester 2010/2011
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2010/2011
- Laboratory: Compilerpraktikum , Sommersemester 2010
- Lecture: Software Engineering Practice - Java Development for Cellphones , Wintersemester 2009/2010
- Common Excercises: Übungen zu Compiler II , Sommersemester 2009
- Laboratory: Compilerpraktikum , Sommersemester 2009
- Common Excercises: Übungen zu Sprachtechnologie und Compiler , Wintersemester 2008/2009
- Common Excercises: Übungen zu Compiler II , Sommersemester 2008
Publications
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
Projects
Advised thesis projects
finished
- Optimierung von Stencil-Algorithmen für invasive Architekturen, bachelor thesis
- Optimierung einer funktionalen und referentiell transparenten Zwischendarstellung, Diploma thesis
- Representing alias information in the program graph structure, Diploma thesis
- A functional, complete and referentially transparent intermediate representation for compilers, Diploma thesis
- Development libFirm Compiler, HiWi-Job
- Sparc Backend, study thesis
- Transformation of SSA based intermediate languages, study thesis
- Evaluation verschiedener Profilierungsverfahren zur Just-in-Time-Kompilierung auf eingebetteten Systemen, study thesis
- Eine Systematik für lokale Optimierungen, study thesis
- , HiWi-Job