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
-
"Automated Temporal Verification for Algebraic Effects"
by Yahui Song, Darius Foo, Chin Wei Ngan.
The 20th Asian Symposium on Programming Languages and Systems, Auckland, New Zealand
(APLAS2022)
[PDF]
[Slides]
[Code]
-
"An SQL Frontend on top of OCaml for Data Analysis" (Accepted For Presentation)
by Yan Dong, Yahui Song, Chin Wei Ngan.
The 34th Symposium on Implementation and Application of Functional Languages, Copenhagen, Denmark
(IFL2022)
[PDF]
[Slides]
[Code]
-
"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].
-
"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].
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
- I am the TA for IT5100A: Typed Functional Programming in Practice with Dr. CHIN Wei Ngan and Dr. Razvan Voicu.
- Semester 2, 2021/2022.
-
AWARD. Honor List of Student Tutors for Excellence of Teaching, 2020-2021. [Certificate ٩(θ ‿ θ)۶]
- TA for TIC2701: Principles of Programming Languages with Dr. PRABAWA Adi Yoga Sidi.
- Semester 1, 2020/2021. [Feedback Report]
- TA for CS2104: Programming Language Concepts with Dr. CHIN Wei Ngan.
- Semester 1, 2020/2021. [Feedback Report]
- Grader for YSC1212 in Yale-NUS College: Introduction to Computer Science with Dr. Aquinas Hobor.
- Semester 1, 2020/2021.
- TA for CS4215: Programming Language Implementation with Dr. Razvan Voicu.
- Semester 2, 2018/2019.
- TA for CS3203: Software Engineering Project with Dr. ZHAO Jin and Dr. Cristina CARBUNARU.
- Semester 2, 2020/2021.
- Semester 1 & 2, 2019/2020. [Feedback Report]
- Semester 2, 2018/2019. [Feedback Report]
- TA for CS3219: Software Engineering Principles and Patterns with Dr. Bimlesh WADHWA.
- Semester 1, 2020/2021.
- Semester 1 & 2, 2019/2020.
- Semester 1, 2018/2019.
- Semester 1, 2017/2018.
More
|
![[Certificate ᕕ(¬ ͜ ¬)ᕗ]](HUAWEI.jpeg){kind=link}