Dipl.-Inform. Sebastian Buchwald

	Contact	IPD Prof. Snelting , 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

• Laboratory: Compiler Lab , Wintersemester 2016/2017
• Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2016
• Laboratory: PSE: Visualisierung von Programmgraphen , Sommersemester 2016
• Lecture: Software Engineering Practice , Sommersemester 2015
• Laboratory: Compiler Lab , Wintersemester 2014/2015, Bestes Praktikum
• Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2014, Beste Übung
• Common Excercises: Advanced Object-Orientation Excercises , Sommersemester 2012, Beste Übung
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2011/2012, Beste Übung
• 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

2018

• Synthesizing an Instruction Selection Rule Library from Semantic Specifications
  Proceedings of 2018 IEEE/ACM International Symposium on Code Generation and Optimization 2018 (CGO '18) : S. Buchwald, A. Fried, S. Hack

2016

• Verified Construction of Static Single Assignment Form
  25th International Conference on Compiler Construction 2016, pp. 67--76 (CC 2016) : S. Buchwald, D. Lohner, S. Ullrich

2015

• Optimal Shuffle Code with Permutation Instructions
  ArXiv e-prints April 2015 : S. Buchwald, M. Mohr, I. Rutter
• Cutting Out the Middleman: OS-Level Support for X10 Activities
  Proceedings of the fifth ACM SIGPLAN X10 Workshop 2015, pp. 13--18 : M. Mohr, S. Buchwald, A. Zwinkau, C. Erhardt, B. Oechslein, J. Schedel, D. Lohmann
• Malleable Invasive Applications
  Proceedings of the 8th Working Conference on Programming Languages (ATPS'15) 2015 (ATPS 2015) : S. Buchwald, M. Mohr, A. Zwinkau
• Optgen: A Generator for Local Optimizations
  Compiler Construction 2015 (CC 2015) : S. Buchwald
• Optimal Shuffle Code with Permutation Instructions
  Algorithms and Data Structures 2015, pp. 528-541 (WADS 2015) : S. Buchwald, M. Mohr, I. Rutter

2014

• A survey and comparison of transformation tools based on the transformation tool contest
  Science of Computer Programming 2014, pp. 41--99 : E. Jakumeit, S. Buchwald, D. Wagelaar, L. Dan, Á. Hegedüs, M. Herrmannsdörfer, T. Horn, E. Kalnina, C. Krause, K. Lano, M. Lepper, A. Rensink, L. Rose, S. Wätzol
• 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
• InvadeX10 Documentation v0.5
  Karlsruhe Reports in Informatics 2013 : A. Zwinkau, S. Buchwald, G. Snelting

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

• InvasIC
• libFirm
• Verified Construction of Static Single Assignment Form

Advised thesis projects

finished

• Procedure Cloning, bachelor thesis
• Improved Loop Unrolling for FIRM, bachelor thesis
• Efficient Instruction Selection with Many Patterns, masters thesis
• Synthesizing Instruction Selection, masters thesis
• Exception Support, bachelor thesis
• Normalization of Graph-based Intermediate Representations, bachelor thesis
• Formalization of SSA-form, bachelor thesis
• Application of local optimizations with respect to common subexpressions, bachelor thesis
• Strategies for Data Flow Analysis on Control Flow Graphs, Diploma thesis
• Generation of Local Optimizations, Diploma thesis
• Development of a parallel PBQP solvers with X10, study thesis
• Formalization of SSA-form, masters thesis
• SSA-based partial redundancy elimination, Diploma thesis
• Development libFirm Compiler, HiWi-Job
• Development of criteria for application of loop optimizations, study thesis
• Deriving Restrictions on Value Types, study thesis
• SSA-based register assignment with integrated copy minimization, study thesis