Travelled to:1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:∅ A.Zwinkau T.Bersch D.Lohner S.U.0002 M.Braun S.Hack R.Leißa C.Mallon
Talks about:construct (2) static (2) assign (2) singl (2) form (2) generat (1) verifi (1) regist (1) optgen (1) effici (1)
Person: Sebastian Buchwald
DBLP: Buchwald:Sebastian
Contributed to:
2015201320112016Wrote 4 papers:
- CC-2015-Buchwald #generative #named #optimisation
- Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
- CC-2013-BraunBHLMZ #performance
- Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
- CC-2011-BuchwaldZB
- SSA-Based Register Allocation with PBQP (SB, AZ, TB), pp. 42–61.
- CC-2016-BuchwaldLU
- Verified construction of static single assignment form (SB, DL, SU0), pp. 67–76.