Andrej Spielmann, Andres Nötzli, Christoph Koch, Viktor Kuncak, and Yannis Klonatos. Automatic synthesis of out-of-core algorithms. In SIGMOD, 2013.

bib ] Back