Andrej Spielmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2013
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SIGMOD | Automatic synthesis of out-of-core algorithms. | Yannis Klonatos, Andres Ntzli, Andrej Spielmann, Christoph Koch, Viktor Kuncak |
| 2012 | CADE | Synthesis for Unbounded Bit-Vector Arithmetic. | Andrej Spielmann, Viktor Kuncak |