Sebastian Buchwald

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Transformation Rules

Semantic Constraints

Visualization Tools

Straight Forward

Top Venues

Sci. Comput. Program.

Publications

Sebastian Buchwald, Andreas Fried, Sebastian Hack
Synthesizing an instruction selection rule library from semantic specifications. CGO (2018)
Sebastian Buchwald, Denis Lohner, Sebastian Ullrich
Verified construction of static single assignment form. CC (2016)
Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann
Cutting out the middleman: OS-level support for x10 activities. X10@PLDI (2015)
Sebastian Buchwald
Optgen: A Generator for Local Optimizations. CC (2015)
Sebastian Buchwald, Manuel Mohr, Ignaz Rutter
Optimal Shuffle Code with Permutation Instructions. WADS (2015)
Sebastian Buchwald, Manuel Mohr, Ignaz Rutter
Optimal Shuffle Code with Permutation Instructions. CoRR (2015)
Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
Malleable Invasive Applications. Software Engineering (Workshops) (2015)
Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek, Pieter Van Gorp, Sebastian Buchwald, Tassilo Horn, Elina Kalnina, Andreas Koch, Kevin Lano, Bernhard Schätz, Manuel Wimmer
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. Softw. Syst. Model. 13 (1) (2014)
Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek
A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85 (2014)
Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau
Simple and Efficient Construction of Static Single Assignment Form. CC (2013)
Sebastian Buchwald, Edgar Jakumeit
Compiler Optimization: A Case for the Transformation Tool Contest TTC (2011)
Edgar Jakumeit, Sebastian Buchwald
Solving the TTC 2011 Reengineering Case with GrGen.NET TTC (2011)
Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch
SSA-Based Register Allocation with PBQP. CC (2011)
Sebastian Buchwald, Edgar Jakumeit
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case TTC (2011)
Sebastian Buchwald, Edgar Jakumeit
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET TTC (2011)
Sebastian Buchwald, Andreas Zwinkau
Instruction selection by graph transformation. CASES (2010)
Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll
GrGen.NET - The expressive, convenient and fast graph rewrite system. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)