PLDI Paper
Prototype implementation GitHub repository
Bastian Köpcke - University of Münster and Michel Steuwer - Technische Universität Berlin