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

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

• I will be serving for AEC'22 for: CAV 2022, and PLDI 2022.
• Artifact evaluation committee of: POPL 2022, ESOP 2022.
• Subreviewer of: POPL 2022.
• PLDI 2019 PLMW Scholarship, Student Volunteering in Phoenix, Arizona, United States.

Teaching Experiences

• 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

• 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]