ETAPS Blog
Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
On The Long-Run Development of Formal Verification Tools
by Marieke Huisman and Bettina Könighofer — 24 July 2023
Interview with Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe—the winners of the ETAPS Test-of-Time Tool Award.
On Correct CPS Systems
by Bettina Könighofer — 27 June 2023
Interview with Kaushik Mallik, the winner of ETAPS Doctoral Dissertation Award.
Exploring the Journey of Academia to Industry and Back Again
by Georgiana Caltais — 22 May 2023
Interview with Mooly Sagiv, founder of Certora and Chair of Software Systems, School of Computer Science, Tel Aviv University.
Software as Research Infrastructure
by Reiner Hähnle — 25 April 2023
On sustainability of software research infrastructure.
A Glimpse Into Performance Engineering
by Georgiana Caltais — 17 April 2023
Interview with Ana-Lucia Varbanescu, performance engineer and professor at University of Twente.
From Static to Runtime Verification
by Bettina Könighofer — 20 March 2023
Interview with Thomas Henzinger, professor at the Institute of Science and Technology Austria (ISTA).
Navigating and Discovering Career Paths for Young Researchers
by Eduard Kamburjan — 20 March 2023
Interview with the Organizers of the ETAPS mentoring workshop 2023.
On Program Comprehension
by Benjamin Kaminski — 27 February 2023
Interview with Sven Apel, Professor of Computer Science at Saarland University, Germany, leader of Software Engineering group.
Theory and Practice, Outreach and Teaching in Electronic Voting
by Eduard Kamburjan — 20 January 2023
Interview with Véronique Cortier, CNRS research director at the LORIA laboratory in Nancy, France.
ETAPS: A Conference Or A Community?
by Marieke Huisman — 19 January 2023
Opening blog post from the chair of the ETAPS association and ETAPS SC, Marieke Huisman.