news

news

Apr 22, 2024 I gave a talk on Proving as Programming at NUS Workshop on Formal Proofs and Lean.
Apr 9, 2024 All materials for my course on Data Structures and Algorithms in OCaml, taught at Yale-NUS College in 2019-2021, are now made public. Enjoy!
Apr 5, 2024 Our paper on a hyperlogic for verifying sparse tensor programs in Coq (joint work with Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, and Saman Amarasinghe) will appear at PLDI’24. See you in Copenhagen in June!
Feb 9, 2024 I am honoured to be amongst the recipients of the 2024 NUS School of Computing Faculty Teaching Excellence Award.
Dec 13, 2023 Our paper on verifying tree clocks in Coq (joint work with Qiyuan Zhao, George Pîrlea, Zhendong Ang, and Umang Mathur) will be presented at CPP’24.
Update: We’ve got a Distinguished Paper Award!
Aug 23, 2023 Our paper on designing and implementing Extract Method refactoring for Rust (joint work with Sewen Thy, Andreea Costea, and Kiran Gopinathan) will appear at OOPSLA’23.
Aug 11, 2023 Our work on fuzzing distributed systems has been accepted at CCS’23.
May 26, 2023 Two awards at the upcoming PLDI’23:
  • Our paper about Sisyphus has won an ACM SIGPLAN Distinguished Paper Award (8 out of 83 accepted papers awarded).
  • The implementation of RusSOL has won a Distinguished Artifact Award (single award given out of 67 submitted artifacts).