ETAPS Blog
Read the latest articles on topics you might be interested in, whether related to the ETAPS conferences or other topics.
On The Relationship of AI And Programs
by Eduard Kamburjan — 20 October 2023
Interview with André Platzer, Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology.
Interview with Orna Kupferman
by Georgiana Caltais — 19 September 2023
Interview with Orna Kupferman about her career.
Reproduce, Recombine, Retain
by Eduard Kamburjan — 21 August 2023
Interview with Dirk Beyer, the winner of the ETAPS Test Of Time Award 2023.
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.