As in preceeding years, EATCS, EAPLS and EASST offered each a best paper award at ETAPS 2002.
This years, the organizers have offered also a best tool demo award.
All papers have been nominated by the PC-chairmen of the five main ETAPS-conferences, and then
a committee of each organisation has made the final selection.
The award winners have been announced during the ETAPS conference dinner at Chateau Sassenage:
E. Godard and Y. M'etivier (Bordeaux, France) ,
Characterization of Families of Graphs in which Election is Possible
M. Kandemir, I. Kolcu and I. Kadayif ,
Influence of Loop Optimizations on Energy Consumption of Multi-Bank Memory Systems
K. Havelund, G. Rosu (NASA Ames Research Center) ,
Synthesizing Monitors for Safety Properties
- Organiser's tool demo award:
T. Amnell, E. Fersman, L. Mokrushin, P. Petterson, Wang Yi (Uppsala University) ,
TIMES - A Tool for Modelling and Implementation of Embedded Systems