| Jul 07, 2025 | Our PoWER paper won a Distinguished Artifact Award at OSDI 2025! |
| Jun 30, 2025 | I have joined the Systems Research Group at Microsoft Research as a Senior Researcher! |
| Apr 04, 2025 | I successfully defended my PhD! |
| Mar 22, 2025 | Our PoWER paper was accepted to OSDI 2025! |
| Aug 03, 2024 | Our paper on using Verus for systems verification was accepted to SOSP 2024! |
| Mar 27, 2024 | Our paper on Verus for systems verification won a Distinguished Artifact Award at SOSP 2024! |
| Mar 21, 2024 | SquirrelFS was accepted to OSDI 2024! |
| May 11, 2023 | Chipmunk won a Best Paper Award at EuroSys 2023! |
| Mar 27, 2023 | Chipmunk was accepted to EuroSys 2023! |