- Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine. Symbolic Model Checking for Real-Time Systems.
- Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline.
The second paper has been recognized an an important contribution to the theory of types and has received 331 citations according to Google Scholar. The type and effect discipline is a framework for reconstructing the principal type and the minimal effect of expressions in implicitly-typed polymorphic functional languages that support imperative constructs.
Congratulations to the award recipients!