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.