Sebastian Buchwald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2010–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CGO | Synthesizing an instruction selection rule library from semantic specifications. | Sebastian Buchwald, Andreas Fried, Sebastian Hack |
| 2016 | CC | Verified construction of static single assignment form. | Sebastian Buchwald, Denis Lohner, Sebastian Ullrich |
| 2015 | CC | Optgen: A Generator for Local Optimizations. | Sebastian Buchwald |
| 2015 | PLDI | Cutting out the middleman: OS-level support for x10 activities. | Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann |
| 2015 | WADS | Optimal Shuffle Code with Permutation Instructions. | Sebastian Buchwald, Manuel Mohr, Ignaz Rutter |
| 2013 | CC | Simple and Efficient Construction of Static Single Assignment Form. | Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leia, Christoph Mallon, Andreas Zwinkau |
| 2011 | CC | SSA-Based Register Allocation with PBQP. | Sebastian Buchwald, Andreas Zwinkau, Thomas Bersch |
| 2010 | CASES | Instruction selection by graph transformation. | Sebastian Buchwald, Andreas Zwinkau |