Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
Browse the full POPL paper archive.