Yahui Song

Registered user since Sat 26 Dec 2020

Name:Yahui Song
Bio:

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.

Country:Singapore
Affiliation:National University of Singapore
Research interests:Automated Program Verification, Program Analyses on Temporal Properties, Programming Language Design

Contributions

APLAS 2022 Author of Automated Temporal Verification for Algebraic Effects within the APLAS-track
SPLASH 2022 Author of Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm within the Student Research Competition-track
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2022 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
VMCAI 2021 Author of A Synchronous Effects Logic for Temporal Verification of Pure Esterel within the VMCAI-track