Research Fellow [Github] [Google Scholar] [CV]
Department of Computer Science
National University of Singapore (NUS)

Lab: PL&SE Research Lab B41 (COM3)
Email: yahui_s AT nus DOT edu DOT sg
Address: NUS COM3, 11 Research Link, Singapore 119391


About Me

I am a Research Fellow in the Automated Program Repair group at NUS, working with Professor Abhik Roychoudhury.
I defended my PhD in May 2023, supervised by Associate Professor Chin Wei Ngan. I got my Master's degree from School of Computing (Soc), NUS in 2018.
I got my Bachelor's degree in computer science from Sun Yat-sen University (China) in 2017.
My research interests are Formal Verification/Program Analyses, Specification Inference, Automated Repair, Temporal Logic, and Separation Logic.

Research Paper

Student Research Competition


  • "Automated Temporal Verification for Preemptive Asynchronous Programs" [pdf] [code]
    by Yahui Song, Chin Wei Ngan.

  • "An SQL Frontend on top of OCaml for Data Analysis" (Presented in IFL2022) [pdf] [slides] [code]
    by Yan Dong, Yahui Song, Chin Wei Ngan.
    The 34th Symposium on Implementation and Application of Functional Languages, Copenhagen, Denmark.



Teaching Experience