Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

Context: Due to the importance and necessity of code comments, recent works propose
many comment generation models with source code as input. But sometimes there has no …

Monitoring concurrent programs typically rely on collecting traces to abstract program
executions. However, existing approaches targeting general behavioral properties are either …

We leverage static verification to reduce monitoring overhead when runtime verifying a
property. We present a sound and efficient analysis to statically find safe execution paths in …

Hardware tracing modules such as Intel Processor Trace perform continuous control-flow
tracing of an end-to-end program execution with an ultra-low overhead. PT has been used in …

A key strength of managed runtimes over hardware is the ability to gain detailed insight into
the dynamic execution of programs with instrumentation. Analyses such as code coverage …

We present an efficient and expressive tool for the instrumentation of Java programs at the
bytecode level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a …

We present a novel instrumentation language for BISM, a lightweight bytecode-level
instrumentation tool for JVM languages. The new DSL aims to simplify the instrumentation …

This thesis makes a contribution to the field of Runtime Verification, a lightweight formal
method for the analysis of computational systems. The contribution is made in multiple parts …

We leverage static verification to reduce monitoring overhead when runtime verifying a
property. We present a sound and efficient analysis to statically find safe execution paths in …