My Diploma thesis was on J-LO, the Java Logical Observer. J-LO was the first tool to conduct runtime verification using aspects, and it was one of the first tools that allows for parametric runtime verification, i.e., runtime monitors that reason about per-object properties rather than “flat” properties. It turns out that this was quite a trendsetter, as today most runtime verification tools use both aspects and parameters. Hence, in hindsight it is not so surprising that my paper Efficient and Expressive Runtime Verification for Java won the Grand Finals of the worldwide ACM Student Research Competition in 2005.

During July to September 2003 I was working at IBM UK at Hursley at the Java performance team where another student and I designed and implemented a performance monitoring framework for J9, IBM’s Java Virtual Machine. Some principles are in the process I have patented.