Publications

(2019). Modular Verification for Almost-Sure Termination of Probabilistic Programs. ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).

PDF Published version Artifact

(2017). JTDec: A Tool for Tree Decompositions in Soot. International Symposium on Automated Technology for Verification and Analysis (ATVA).

PDF Published version Artifact