Doktorand:in
Acta Informatica Symbolic execution for refuting ∀∃ hyperproperties
The ACM SIGPLAN International Conference on Functional Programming (ICFP)
Almost Fair Simulations
Symposium on Principles of Programming Languages (POPL)
Coinductive Proofs for Temporal Hyperliveness
Computer Aided Verification (CAV)
An Intermediate Program Representation for Optimizing Stream-Based Languages
Proceedings of the ACM on Programming Languages Finding ∀∃ Hyperbugs using Symbolic Execution
Journées Francophones des Langages Applicatifs (JFLA)
À la recherche de tous les vrais bugs
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Engineering a Formally Verified Automated Bug Finder
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering