The test-of-time tool award is granted to tools from the ETAPS community that has proved its impact and qualities over past years.
Research tools are a corner stone of our work.
To acknowledge the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails, ETAPS has established a test-of-time award for research tools that have had a lasting effect on our community.
To this end, the award committee is soliciting award nominations.
Tools eligible for receiving the award should be at least 5 years old, counting from the first publication related to it, and must have a clear and significant link to ETAPS. The nomination template provides further details and options. Self-nominations are possible.
Nominations should be sent by 5 March 2023 (any time zone) to the ToTT award committee.
Please send your nominations to award committee by 5 March 2023 (any time zone) attaching the nomination text following the provided template.
The award committee will select a research tool from the nominations based on the tool’s lasting community impact.
The nominations will remain valid for 5 years, that is, once nominated, the tools will be reconsidered.
The award will be presented for the first time at ETAPS 2023. The awardee will receive an award certificate and an unrestricted gift of 1000 €, and will be given the opportunity to present the tool at ETAPS.
CADP is a verification tool box that originates from VERIMAG and has for many years been developed at INRIA Grenoble. The toolbox comprises over 40 interconnected components that altogether support the construction, verification and testing of concurrent systems. CADP is distinguished by a development history of more than three decades (even older than ETAPS), and thus is one of the earliest tools developed in our community.
Yet, it is very actively and professionally developed, features plenty of industrial use cases in a spectrum from Airbus to Google, and various publications describing the tool advancement have been published at ETAPS.
So, the committee wants to recognize this enormous research and engineering effort, and the contribution of CADP to the ETAPS community by awarding it the very first ever Test-of-Time Tool Award.
Dirk Beyer (chair), Stefan Winter, Andrzej Wąsowski, Holger Hermanns, Brigitte Pientka, Anton Wijs