The paper "An Integrated Specification and Verification Technique for Highly Concurrent Data Structures" by Parosh Aziz Abdulla, Frederic Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine, received the EASST Best paper award at ETAPS'2013.

ETAPS (The European Joint Conferences on Theory and Practice of Software) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, POST and TACAS), with a total number of more than 500 submissions each year, accompanied by satellite workshops and other events.