| May 26, 2025 | Our work on accelerating SMT-based program verifiers (with Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, and Markus Püschel) will appear at CAV’25. |
| Apr 14, 2025 | We are excited to release Veil, a new framework for verifying distributed protocols, automatically and interactively, in Lean! The accompanying paper (with George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, and Qiyuan Zhao) will appear at CAV’25. |
| Feb 21, 2025 | Our paper on synthesising Separation Logic predicates using Answer Set Programming (with Ziyi Yang) is accepted at OOPSLA’25. |
| Jan 24, 2025 | Our work on programming language synthesis for automated exploit generation (with Yuxi Ling, Gokul Rajiv, and Kiran Gopinathan) will appear at the 34th USENIX Security Symposium. |
| Jan 10, 2025 | All materials for my Yale-NUS course on Parallel, Concurrent, and Distributed Programming are now publicly available. |
| Oct 29, 2024 | Together with Yong Kiam Tan, we are organising the first Singapore Programming Language Summit, which will take place on 4 December 2024. Please, register by November 8 if you’d like to attend and give a talk. |
| Oct 2, 2024 | I am excited to serve as the General Chair for ICFP’25 and as the Local Chair for the joint ICFP/SPLASH’25 conference, which will take place in Singapore on 12-18 October 2025. |
| Aug 27, 2024 | Our paper on implementing concurrent data structures via batch-parallelism (joint work with Callista Le, Kiran Gopinathan, Koon Wen Lee, and Seth Gilbert) will appear at OOPSLA’24. |