Work by NOVA LINCS researchers from Software Systems Group Bernardo Toninho and Luís Caires, jointly with Carnegie Mellon University’s Frank Pfenning, titled “Dependent session types via intuitionistic linear type theory” has been awarded the 10 Year Most Influential Paper Award.
The work, published in the ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming (PPDP) in 2011, proposed a novel notion of so-called dependent session types, a highly expressive specification and verification mechanism for message-passing concurrent programs, able to check for functional and communication correctness properties of programs without running them. The research was carried out in the INTERFACES CMU|Portugal project (PIs: Caires and Pfenning) and was a key component of Toninho’s PhD research.
The award is given each year to a paper from the PPDP proceedings 10 years earlier and intended to recognize the authors’ contribution to PPDP’s influence in the area of declarative programming. The award will be presented at this year’s edition of the conference in September.