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 Jul Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change
|10:30 - 11:15|
Giles RegerUniversity of Manchester
|11:15 - 11:45|
Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo BuyPre-print
|11:45 - 12:15|
Luca FranceschiniDIBRIS, University of Genova, ItalyPre-print