Our group is represented in this year’s ETAPS with five papers:

• Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via Program Transformation. (ESOP)
• Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. Information Reuse for Multi-goal Reachability Analyses. (ESOP)
• Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen and Nikos Tzevelekos. Runtime Verification Based on Register Automata. (TACAS)
• Andrzej Murawski and Nikos Tzevelekos. Deconstructing general references via game semantics. (FOSSACS)
• Nikos Tzevelekos and Radu Grigore. History-Register Automata. (FOSSACS)