Participated in the Runtime Verification conference (RV’23) in Thessaloniki, Greece; where I presented a tutorial on the instrumentation of JVM-based programs and also presented a DSL for specifying instrumentation with BISM.