Elixir: a system for synthesizing concurrent graph programs.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Browse the full OOPSLA paper archive.