Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Browse the full FOSSACS paper archive.