YAHUI SONG (宋雅辉)

PhD Student [Github] [CV]
Department of Computer Science
National University of Singapore

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

SONG

About Me

I am currently a PhD Student in School of Computing (Soc), National University of Singapore (NUS). I got my Master's degree in July 2018 from Soc, NUS. I got my Bachelor's degree in computer science from Sun Yat-sen University (China) in 2017. I am being supervised by Associate Professor Chin Wei Ngan.

My research interests are: Formal Verification, Program Analyses on Temporal Properties, Programming Language Design and Automated Program Repair.


Research Paper


Student Research Competition

  • "Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm"
    by Yahui Song, Chin Wei Ngan.
    SPLASH SRC, Auckland, New Zealand (SPLASH2022@SRC) [Poster] [PDF] [Code]
  • "Automated Temporal Verification via Rewriting Conditional Dependent Effects"
    by Yahui Song, Chin Wei Ngan.
    The 17th Asian Symposium on Programming Languages and Systems, Indonesia (APLAS2019) [PDF].
  • "Arrowrized Abstraction for IOT programs" (First Prize)
    by Yahui Song, Chin Wei Ngan.
    The 16th Asian Symposium on Programming Languages and Systems, New Zealand (APLAS2018) [PDF].

Thesis

  • PHD THESIS (draft). "Automated Temporal Verification with Extended Regular Expressions"
    by Yahui Song, supervised by Prof. Chin Wei Ngan.
    Degree of Doctor of Philosophy, Department of Computer Science, National University of Singapore. [PDF].
  • MASTER THESIS. "Programming Abstraction for IoT Devices"
    by Yahui Song, supervised by Prof. Chin Wei Ngan and co-supervised by Dr. Mahmudul Faisal Al Ameen.
    Degree of Master of Computing, Department of Computer Science, National University of Singapore. [PDF] [Demo].

Service


Teaching Experience


More