At ICFP, the two papers “Theorems for Free from Separation Logic Specifications” and “Client-Server Sessions in Linear Logic” were awarded the Distinguished Paper Award. Each year, the ICFP program committee selects distinguished papers that they think provide the best balance of importance, exposition, and novelty. These papers are specially held up to the community as papers not to be missed. This year, 35 papers were accepted at ICFP, and of those 4 were selected as distinguished papers.
Congratulations to PhD student Zesen Qian, Postdoc Armaël Guéneau and Professor Lars Birkedal who co-authored the papers.