news
news
Jul 12, 2024 | Our work on higher-order specifications for deductive synthesis in SuSLik (done in collaboration with with Ziyi Yang, David Young, and Alex Potanin) is accepted to ECOOP’24. |
May 26, 2024 | Together with Amal Ahmed and Derek Dreyer, we are organising the first Workshop on Red-Hot Topics in Faculty Mentoring (RTFM), co-located with PLDI’24 in Copenhagen. The workshop will take place on June 25, 2024. If you’re a soon-to-be or a junior (or even a senior) academic faculty, consider attending it! |
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. |