Sebastian Buchwald

According to our database1, Sebastian Buchwald authored at least 16 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Synthesizing an instruction selection rule library from semantic specifications.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2016
Verified construction of static single assignment form.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Optimal Shuffle Code with Permutation Instructions.
Proceedings of the Algorithms and Data Structures - 14th International Symposium, 2015

Malleable Invasive Applications.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Cutting out the middleman: OS-level support for x10 activities.
Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

Optgen: A Generator for Local Optimizations.
Proceedings of the Compiler Construction - 24th International Conference, 2015

2014
Graph and model transformation tools for model migration - Empirical results from the transformation tool contest.
Softw. Syst. Model., 2014

A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program., 2014

2013
Simple and Efficient Construction of Static Single Assignment Form.
Proceedings of the Compiler Construction - 22nd International Conference, 2013

2011
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Reengineering Case with GrGen.NET
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with GrGen.NET
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Compiler Optimization: A Case for the Transformation Tool Contest
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

SSA-Based Register Allocation with PBQP.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2010
GrGen.NET - The expressive, convenient and fast graph rewrite system.
Int. J. Softw. Tools Technol. Transf., 2010

Instruction selection by graph transformation.
Proceedings of the 2010 International Conference on Compilers, 2010


  Loading...