Best Software Science Paper at ETAPS 2022

At the 2022 European Joint Conferences (ESOP, FASE, FoSSaCS and TACAS) on Theory and Practice of Software (ETAPS) held in Munich (2-7 April 2022), a multi-institutional team of researchers from AIT (Dejan Nickovic), IST (Thomas A. Henzinger, Thomas Ferrere) and TU Wien (Ezio Bartocci, Ana Oliveira da Costa) has been recognized by the European Association of Software Science and Technology (EASST) with the Best Software Science Paper Award for their work “Information-flow Interfaces”. This paper presents the first contract-based approach to ensure information-flow properties specifying which information a software/hardware component can observe or to interfere with while interacting with another component.

About ETAPS

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS was established in 1998 and includes four annual conferences ESOP, FASE, FoSSaCS and TACAS and several satellite workshops. https://etaps.org/

About the EASST Award

Each year, the “ETAPS EASST Award’’ is assigned to the best paper of all ETAPS conferences (ESOP, FASE, FoSSaCS and TACAS) related to the systematic and rigorous engineering of software and systems. This year ETAPS has received 362 submissions in total and 111 of them were accepted.

Publication

“Information-flow Interfaces” Ezio Bartocci (TU Wien), Thomas Ferrere (Imagination Technologies), Thomas A. Henzinger (IST), Dejan Nickovic (AIT), Ana Oliveira da Costa (TU Wien) Open Access: https://link.springer.com/chapter/10.1007/978-3-030-99429-7_1