2024​

• January 14 - Talk at the Dafny 2024 Workshop
• January 18 - ERC Proof of Concept Grant
• May 20 - Caesar 2.0: VSCode Extension, Slicing, and more!
• December 31 - A Game-Based Operational Semantics for HeyVL

2023​

• September 28 - Paper Accepted at OOPSLA '23
• October 27 - Distinguished Artifact at OOPSLA '23

2022​

• October 10 - Winner of the 2022 WhatsApp Privacy Aware Program Analysis Request for Proposals