POPL paper added