YAHUI SONG (宋雅辉)

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

Lab: PL&SE Research Lab 2 (COM2-04-04)
Email: yahuis AT comp DOT nus DOT edu DOT sg
Address: 13 Computing Drive, Singapore 117417
Curriculum Vitae

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.


Research Interests

  • Automated Program Verification
  • Program Analyses on Temporal Properties
  • Programming Language Design


My Work

  • RESEARCH PAPER.
    "A Synchronous Effects Logic for Temporal Verification of Pure Esterel"
    by Yahui Song, Chin Wei Ngan.
    The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, Online (VMCAI2021) [PDF] [Slides] [Code] [Video] [Demo].
  • RESEARCH PAPER.
    "Automated Temporal Verification of Integrated Dependent Effects"
    by Yahui Song, Chin Wei Ngan.
    The 22nd International Conference on Formal Engineering Methods, Singapore (ICFEM2020) [PDF] [Slides] [Code] [Video] [Demo].
  • POSTER.
    "Automated Temporal Verification via Rewriting Conditional Dependent Effects"
    by Yahui Song, Chin Wei Ngan.
    The 17th Asian Symposium on Programming Languages and Systems, Indonesia (APLAS'19) [PDF].
  • POSTER.
    "Arrowrized Abstraction for IOT programs"
    (First Prize in Student Research Competition (SRC))
    by Yahui Song, Chin Wei Ngan.
    The 16th Asian Symposium on Programming Languages and Systems, New Zealand (APLAS'18) [PDF].
  • 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].

Services


Teaching Experiences


More

  • INTERNSHIP. I did an exciting internship in the Security lab of Huawei in Singapore, supervised by Dr. Shengchao Qin and co-supervised by Dr. Mengda He. [Certificate ᕕ(¬ ͜ ¬)ᕗ]
  • NUS Soc Research Week 2021 Presentation in Singapore. [Demo] [Video] [Slides]
  • The 31st symposium on Implementation and Application of Functional Languages Draft Paper for Presentation in NUS, Singapore. [Slides]
  • NUS Soc Research Week 2019 Presentation in Singapore. [Slides]
  • CAV 2019 in New York City, United States.
  • HACKATHON. GSAC 2018 Singapore Hackathon (ALIBABA & LAZADA): scheduling algorithm competition. [First Prize]