Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis
Browse the full POPL paper archive.