Travelled to:1 × USA
1 × United Kingdom
Collaborated with:V.Kuncak Y.Klonatos A.Nötzli C.Koch
Talks about:synthesi (2) algorithm (1) arithmet (1) unbound (1) automat (1) vector (1) core (1) out (1) bit (1)
Person: Andrej Spielmann
DBLP: Spielmann:Andrej
Contributed to:
2013
2012Wrote 2 papers:
- SIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis
- Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
- IJCAR-2012-SpielmannK #bound #synthesis
- Synthesis for Unbounded Bit-Vector Arithmetic (AS, VK), pp. 499–513.