ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Mon 6 Jun 2022 15:30 - 16:10 at Stockholm - Second afternoon session Chair(s): Volker Stolz

I will give an overview of our work on the theoretical foundations of runtime verification over the past few years. Monitorability, i.e. the amenability of a specification to verification by monitors, has been a central theme in our work. I will demonstrate the insights that we have gained about its meaning and properties. Another theme that I will focus on is extending our monitoring framework to different settings. The goal is to verify more properties. We choose to use an operational approach and an expressive logic with a linear-time and a branching-time interpretation. I will explain how these decisions inform our work.

Antonis is an assistant professor at the Department of Computer Science of Reykjavik University. He defended his PhD on the complexity properties of multi-agent justification logic at the Graduate Center of CUNY in 2015. His research interests include the theory of runtime verification and monitorability, modal logic, and complexity theory.

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh University of Central Florida, S: Gary Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta