Sebastian Buchwald

17 papers A 1B 5C 1Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2018 A conf
Synthesizing an instruction selection rule library from semantic specifications.
CGO
Sebastian Buchwald, Andreas Fried, Sebastian Hack
2016 B conf
Verified construction of static single assignment form.
CC
Sebastian Buchwald, Denis Lohner, Sebastian Ullrich
2015 — conf
Cutting out the middleman: OS-level support for x10 activities.
X10@PLDI
Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann
2015 C conf
Malleable Invasive Applications.
Software Engineering (Workshops)
Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
2015 B conf
Optgen: A Generator for Local Optimizations.
CC
Sebastian Buchwald
2015 B conf
Optimal Shuffle Code with Permutation Instructions.
WADS
Sebastian Buchwald, Manuel Mohr, Ignaz Rutter
2015 J jnl
Optimal Shuffle Code with Permutation Instructions.
CoRR
Sebastian Buchwald, Manuel Mohr, Ignaz Rutter
2014 J jnl
A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program.
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
2014 J jnl
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.
Softw. Syst. Model.
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
2013 B conf
Simple and Efficient Construction of Static Single Assignment Form.
CC
Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau
2011 — conf
Compiler Optimization: A Case for the Transformation Tool Contest
TTC
Sebastian Buchwald, Edgar Jakumeit
2011 B conf
SSA-Based Register Allocation with PBQP.
CC
Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch
2011 — conf
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case
TTC
Sebastian Buchwald, Edgar Jakumeit
2011 — conf
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET
TTC
Sebastian Buchwald, Edgar Jakumeit
2011 — conf
Solving the TTC 2011 Reengineering Case with GrGen.NET
TTC
Edgar Jakumeit, Sebastian Buchwald
2010 J jnl
GrGen.NET - The expressive, convenient and fast graph rewrite system.
Int. J. Softw. Tools Technol. Transf.
Edgar Jakumeit, Sebastian Buchwald, Moritz Kroll
2010 Misc conf
Instruction selection by graph transformation.
CASES
Sebastian Buchwald, Andreas Zwinkau