La investigadora de IMDEA Software Niki Vazou y los coautores del artículo «Refinement types for Haskell» Eric L. Seidel (Universidad de California en San Diego), Ranjit Jhala (Universidad de California en San Diego), Dimitrios Vytiniotis (Microsoft Research, Cambridge) y Simon L Peyton-Jones (Microsoft Research, Cambridge), ganaron el prestigioso premio Test of Time de la ICFP, concedido al artículo más influyente 10 años después de su publicación.
El galardón incluye un premio de 1.000 dólares a repartir entre los autores del trabajo ganador.
El trabajo, con 342 citas, recibió el premio porque industrializó la tecnología de verificación de los tipos de refinamiento y presentó la herramienta Liquid Haskell que se utiliza activamente 10 años después tanto para la enseñanza como para la verificación de software.
Los investigadores evaluaron su sistema en más de 10.000 líneas de código Haskell ampliamente utilizado. Los resultados demostraron que el 96% de las funciones recursivas terminaban y que sólo se necesitaba una pequeña cantidad de anotaciones adicionales: 1,7 líneas de anotaciones de terminación por cada 100 líneas de código.
