Our paper appears in the Festschrift dedicated to Martin Fränzle.
Our paper has been accepted by Information and Computation.
Our paper has been accepted for presentation at HSCC 2026.
Our paper has been unconditionally accepted for presentation at OOPSLA 2026.
Our paper has been accepted by Formal Aspects of Computing.
Our paper has been accepted by IEEE Transactions on Information Forensics & Security.
Our position paper has been accepted for presentation at SPLASH (LMPL) 2025.
Two papers have been accepted for presentation at MICRO 2025.
Our paper has been accepted by IEEE Transactions on Computers.
Our paper has been accepted by ACL 2025 Findings.
