Oct 6 2023 | 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. |
Jun 29 2023 | Excited to share that our journal article Efficient and expressive bytecode-level instrumentation for Java programs is now available online in the International Journal on Software Tools for Technology Transfer. |
Apr 26 2023 | Presented our paper Sound Concurrent Traces for Online Monitoring at the SPIN 2023 conference co-hosted by ETAPS 2023 at Paris at Sorbonne Université. |
Apr 26 2023 | Presented our paper Opportunistic Monitoring of Multithreaded Programs at the FASE 2023 conference under ETAPS 2023 in Paris at Sorbonne Université. |
Mar 16 2023 | Presented our work on Opportunistic Monitoring of Multithreaded Programs in MTV2 2023 at Université Paris Saclay. |
Mar 6 2023 | Presented our paper Leveraging Runtime Verification for the Monitoring of Digital Twins in FMDT at University of Lübeck, Germany. |
Feb 24 2023 | Our submission Sound Concurrent Traces for Online Monitoring was accepted for presentation at the SPIN 2023 conference on 22-27 April 2023 in Paris. |
Dec 21 2022 | Our submission Opportunistic Monitoring of Multithreaded Programs was accepted for presentation at the FASE 2023 conference on 22-27 April 2023 in Paris. |
Oct 17 2022 | Presented our paper Residual Runtime Verification via Reachability Analysis in VSTTE 2022 in the city of Trento, Italy. |