Synthesis for Unbounded Bit-Vector Arithmetic. - Andrej Spielmann; Viktor Kuncak (IJCAR, 2012)

Automatic synthesis of out-of-core algorithms. - Yannis Klonatos; Andres Nötzli; Andrej Spielmann; Christoph Koch 001; Viktor Kuncak (SIGMOD Conference, 2013)