2 de octubre de 2024
El trabajo 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
