PhD Student
ITP Completing Almost Fair Simulations
Proceedings of the ACM on Programming Languages A Deductive System for Contract Satisfaction Proofs
Formal Methods (FM) Pacing Types for Asynchronous Stream Equations
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