Dipl.-Inform. Sebastian Buchwald

	Kontakt	IPD Prof. Snelting , Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland
	Sprechzeiten: wann immer ich da bin

Arbeitsgebiete

Compilerzwischensprachen, Optimierungen, Codegenerierung

Lehre

• Praktikum: Compilerpraktikum , Wintersemester 2016/2017
• Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2016
• Praktikum: PSE: Visualisierung von Programmgraphen , Sommersemester 2016
• Vorlesung: Praxis der Softwareentwicklung , Sommersemester 2015
• Praktikum: Compilerpraktikum , Wintersemester 2014/2015, Bestes Praktikum
• Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2014, Beste Übung
• Übung: Übungen zu Fortgeschrittene Objektorientierung , Sommersemester 2012, Beste Übung
• Übung: Programmierparadigmen - Übungen , Wintersemester 2011/2012, Beste Übung
• Praktikum: Compilerpraktikum , Sommersemester 2011
• Übung: Übung zu Sprachtechnologie und Compiler , Wintersemester 2010/2011
• Praktikum: Compilerpraktikum , Sommersemester 2010
• Seminar: Sprachen für Parallelprogrammierung , Sommersemester 2010
• Übung: Übung zu Sprachtechnologie und Compiler , Wintersemester 2009/2010

Veröffentlichungen

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

Projekte

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

Betreute Studien- und Abschlussarbeiten

abgeschlossen

• Spezialisierung von Funktionen, Bachelorarbeit
• Verbessertes Loop-Unrolling für FIRM, Bachelorarbeit
• Effiziente Befehlsauswahl mit vielen Mustern, Masterarbeit
• Synthetisierte Befehlsauswahl, Masterarbeit
• Unterstützung von Exceptions, Bachelorarbeit
• Normalisierung Graph-basierter Zwischensprachen, Bachelorarbeit
• Formalisierung von SSA-Form, Bachelorarbeit
• Bedingte Anwendung lokaler Optimierungen unter Berücksichtigung gemeinsamer Teilausdrücke, Bachelorarbeit
• Strategien für Datenflussanalysen auf Steuerflussgraphen, Diplomarbeit
• Generierung lokaler Optimierungen, Diplomarbeit
• Entwicklung eines parallelen PBQP-Lösers mit X10, Studienarbeit
• Formalisierung von SSA-Form, Masterarbeit
• SSA-basierte Eliminierung partieller Redundanzen, Diplomarbeit
• Entwicklung libFirm Compiler, HiWi-Job
• Entwicklung von Kriterien zur Anwendung von Schleifenoptimierungen im Kontext SSA-basierter Zwischensprachen, Studienarbeit
• Strukturelle Analyse von Werttypen, Studienarbeit
• SSA-basierte Registerzuteilung mit integrierter Kopienminimierung, Studienarbeit