| Jun 20, 2025 | Our paper “PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis” has been accepted to ICSE 2026. |
| Jun 18, 2025 | Our paper “Validating Soundness and Completeness of Pattern-Match Coverage Analyzers” has been conditionally accepted to OOPSLA 2025. |
| Apr 01, 2025 | I was invited to serve the program committee for OOPSLA’26. |
| Oct 25, 2024 | I was invited to serve the program committee for PLDI’25. |
| Aug 19, 2024 | Our paper “When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems” has been accepted to OOPSLA 2024. |
| Jul 01, 2024 | Together with Stefanos Chaliasos, we have started working on “Detecting Private Information Leakage in Zero-Knowledge Applications”, which has received funding from the Ethereum Foundation and Aztec Labs. More details can be found at: https://aztec.network/blog/announcing-the-noir-awardees-of-the-inaugural-ef-zk-grants-wave |
| Jun 24, 2024 | Our proposal for a Dagstuhl seminar on “Testing Program Analyzers and Verifiers”, co-organized with Maria Christakis, Alastair Donaldson, and John Regehr has been accepted. |
| May 10, 2024 | I was invited to serve on the program committee of ICST 2025. |
| Apr 15, 2024 | Our paper “Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis” has been accepted to FSE’24. |
| Jan 30, 2024 | I will give a talk at Devoxx Greece 2024 about “Enhancing the Reliability of Type Checkers in Compilers” |
| Jan 30, 2024 | I will give a talk at Lambda Days 2024 about “Enhancing the Reliability of Type Checkers in Compilers” |
| Dec 06, 2023 | I was invited to serve on the Program Committee for ISSTA/ECOOP 2024 (Tool Demonstration Track) |
| Nov 08, 2023 | Our paper “API-driven Program Synthesis for Testing Static Typing Implementations” has been accepted at POPL’24. |
| Sep 27, 2023 | I was invited to serve the program committee for PLDI’24. |
| Sep 20, 2023 | I will attend the Dagstuhl Database Reliability Seminar in October 2023. |