Invited talk: Runtime Verification and Objects: Are we doing it wrong?
Over the last 20 years the field of Runtime Verification (RV) has developed as a diverse range of techniques for verifying (mostly temporal) properties over runs of systems (either whilst they are running or afterwards). A common use case in the field has been checking properties of objects in programs from object-oriented languages such as Java and over the years there has sometimes been a tension between, on the one hand, creating techniques that are suitable for this setting, and on the other hand, techniques that are in some sense general. In this talk I will explore how the RV field has chosen to deal with objects and ask ‘are we doing it wrong?’. Spoiler: the answer is ’sometimes’.
Please see my website for an up-to-date biography, list of research interests and publications.
Fri 19 JulDisplayed time zone: Belfast change
10:30 - 12:10
|Invited talk: Runtime Verification and Objects: Are we doing it wrong?|
Giles Reger University of Manchester
|Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs |
P: Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo BuyPre-print
|RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification|
P: Luca Franceschini DIBRIS, University of Genova, ItalyPre-print