Add POPL paper