O artigo dos investigadores do NOVA LINCS e docentes do Departamento de Informática da FCT NOVA, Bernardo Toninho e Luís Caires, em conjunto com Frank Pfenning de Carnegie Mellon University, intitulado “Dependent session types via intuitionistic linear type theory”, publicado na conferência ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming (PPDP) em 2011, recebeu o prémio “10 Year Most Influential Paper Award”. O trabalho propôs o conceito de tipos de sessão dependentes, uma técnica de especificação e verificação altamente expressiva para programas concorrentes de troca de mensagens, capaz de verificar propriedades de correção funcional e de comunicação de programas sem os executar. A investigação foi realizada no âmbito do projeto INTERFACES CMU | Portugal (PIs: Caires e Pfenning) e foi uma componente chave da tese de doutoramento de Bernardo Toninho. O prémio será entregue na edição deste ano da conferência, em setembro.

Este prémio é atribuído anualmente a um artigo publicado na edição da conferência PPDP ocorrida 10 anos antes, e destina-se a "reconhecer a contribuição dos autores para a influência da conferência PPDP na área de programação declarativa".