IMDEA Software researcher Niki Vazou and co-authors of the paper “Refinement types for Haskell” Eric L. Seidel (University of California at San Diego), Ranjit Jhala (University of California at San Diego), Dimitrios Vytiniotis (Microsoft Research, Cambridge), and Simon L Peyton-Jones (Microsoft Research, Cambridge), won the prestigious test of time award at ICFP, given to the most influential paper 10 years after the publication.
The award includes a prize of $1,000 to be split among the authors of the winning paper.
The paper, with 342 citations, received the award because it industrialised the verification technology of refinement types and presented the tool Liquid Haskell that is actively used 10 years later both for education and software verification.
The researchers evaluated their system on over 10,000 lines of widely-used Haskell code. The results showed that 96% of recursive functions were proven to terminate, and only a small amount of extra annotations were needed—1.7 lines of termination-annotations per 100 lines of code.
