|
|
|
Contact Phone: +49 721 608-48351 Email:
>>please click this text<<
[ S/MIME ] |
IPD Prof. Snelting Room 030, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
|
Consultation Hours: wann immer ich da bin |
|
Research interests
Intermediate compiler representations, optimisations, code generation
Courses
- Common Excercises: Advanced Object-Orientation Excercises , Sommersemester 2012
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2011/2012
- Laboratory: Compilerpraktikum , Sommersemester 2011
- Common Excercises: Tutorial for Language Technology and Compiler , Wintersemester 2010/2011
- Laboratory: Compilerpraktikum , Sommersemester 2010
- Seminary: Languages for Parallel Programming , Sommersemester 2010
- Common Excercises: Language Technology and Compiler - exercises , Wintersemester 2009/2010
Publications
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
-
Graph and model transformation tools for model migration
Software and Systems Modeling 2012, pp. 1--37 : L. Rose, M. Herrmannsdoerfer, S. Mazanek, P. V. Gorp, S. Buchwald, T. Horn, E. Kalnina, A. Koch, K. Lano, B. Schätz, M. Wimmer -
An X10 Compiler for Invasive Architectures
Karlsruhe Reports in Informatics 2012 : M. Braun, S. Buchwald, M. Mohr, A. Zwinkau
2011
-
SSA-Based Register Allocation with PBQP
Compiler Construction 2011, pp. 42--61 (CC '11) : S. Buchwald, A. Zwinkau, T. Bersch -
Firm---A Graph-Based Intermediate Representation
Karlsruhe Reports in Informatics 2011 : M. Braun, S. Buchwald, A. Zwinkau
2010
-
Instruction Selection by Graph Transformation
Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems October 2010, pp. 31--40 (CASES '10) : S. Buchwald, A. Zwinkau -
GrGen.NET
International Journal on Software Tools for Technology Transfer (STTT) July 2010, pp. 263--271 : E. Jakumeit, S. Buchwald, M. Kroll
2008
-
Befehlsauswahl auf expliziten Abhängigkeitsgraphen
December 2008 : S. Buchwald, A. Zwinkau
Projects
Advised thesis projects
open
- Development of a distributed PBQP solver in X10 , bachelor/study thesis
- Formalization of SSA-form , Diploma/Master thesis
- Development libFirm Compiler , HiWi-Job
- Instruction Rescheduling after Register Allocation , Studien-/Diplomarbeit
running
- Formalization of SSA-form , bachelor thesis
- Application of local optimizations , bachelor/study thesis
- Strategies for Data Flow Analysis on Control Flow Graphs , Diploma/Master thesis
finished
- Generation of Local Optimizations , Diploma/Master thesis
- SSA-based partial redundancy elimination , Diploma/Master thesis
- Development libFirm Compiler , HiWi-Job
- Deriving Restrictions on Value Types , study thesis
- Development of a parallel PBQP solvers with X10 , study thesis
- Development of criteria for application of loop optimizations , study thesis
- SSA-based register assignment with integrated copy minimization , study thesis