| Mar 26, 2025 | Our paper “Boosting End-to-End Database Isolation Checking via Mini-Transactions” was accepted at ICDE 2025! |
| Jan 15, 2025 | Our paper “VerIso: Verifiable Isolation Guarantees for Database Transactions” was accepted at VLDB 2025! |
| Dec 26, 2024 | I was invited by the School of Computer Science and Technology at Nanjing University to share my insights on Making Distributed Systems Dependable and Performant. |
| Dec 20, 2024 | Our paper “Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions” was accepted at TACAS 2025! |
| Nov 08, 2024 | Our paper “Reachability Analysis of the Domain Name System” was accepted at POPL 2025! |
| Oct 23, 2024 | I was presenting our Plume work at OOPSLA 2024. Pasadena, bathed in sunshine! |
| Oct 01, 2024 | We have been awarded a grant from the Swiss National Science Foundation (SNSF) for the project “Formal Verification of Isolation Guarantees in Database Systems.” Congrats, Christoph! I am excited to contribute as an official project partner! |
| Aug 19, 2024 | Our paper “Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels” was accepted at OOPSLA 2024! |
| Jul 01, 2024 | I was honored to receive the Career Seed Award from ETH Zurich, along with research funding! |
| Jun 13, 2024 | I was presenting our work “NOC-NOC: Towards Performance-optimal Distributed Transactions” at SIGMOD 2024, setting foot on the mysterious continent of South America for the first time! |
| May 28, 2024 | Our paper “IsoVista: Black-box Checking Database Isolation Guarantees” was accepted at VLDB 2024. |
| Feb 12, 2024 | The Master thesis “NOCS-Optimal Distributed Transactions and Beyond” supervised by me was honored with the ETH Medal (top 2.5%) and a financial sum. Congrats to Luca Multazzu! |
| Nov 20, 2023 | Our paper “NOC-NOC: Towards Performance-optimal Distributed Transactions” was accepted at SIGMOD 2024! |