Yahui Song (宋雅辉)
Software Developer · Core Strats, Standard Chartered Bank
yahui DOT song AT sc DOT com
I was a Research Fellow in the
Automated Program Repair
group at NUS, working with Professor
Abhik Roychoudhury.
I defended my PhD in May 2023 at the
School of Computing, NUS,
supervised by Associate Professor
Wei-Ngan Chin.
I received my Master's degree from NUS in 2018 and my Bachelor's degree
from Sun Yat-sen University, China, in 2017.
My research is in programming languages and program analysis, covering both functional programming and object-oriented programming, verification, static analysis, and logics (temporal and separation logic), with applications to bug finding, program repair, and correctness proofs.
I also have a strong interest in systems programming, including high-performance library design and applying formal methods to real-world codebases.
Talks
- May 2026 Talk on Linear Temporal Logic and Future Conditions among Core Strats.
- Jun 2025 Zoom talk on Future Conditions: Temporal Property guided Program Analysis, Repair and Verification with Prof. Yulei Sui's group at UNSW.
- Dec 2024 Presented ongoing work on CTL repair at the SG Programming Languages Summit.
- Oct 2024 Zoom talk on ProveNFix and Future-conditions with Prof. Yun Lin's group at Shanghai Jiao Tong University.
- Sep 2024 Talk at ETH Zürich with Prof. Zhendong Su's Group. Great time talking to Zu-Ming, Jinsheng, Hao, Chengyu, Dominik, and Shaohua.
- Sep 2024 Talk at the EPFL PL Seminar, hosted by Prof. Viktor Kunčak. Great time talking to Clément, Aurèle, Thomas, Sankalp, Yawen, Shardul, and Samuel.
- Sep 2024 Talk at ETH Zürich with Prof. Peter Müller's Group. Great time talking to Michael, Marco, João, and Felix.
- Nov 2022 Zoom talk on my PhD thesis at the Languages, Systems, and Data (LSD) Seminar at UCSC, hosted by Prof. Lindsey Kuper.
Peer-Reviewed Research Papers
-
FSE 2026Agentic Verification of Software SystemsACM International Conference on the Foundations of Software Engineering, Montreal, Canada
-
TSE 2026
-
Inferring Incorrectness Specifications for Object-Oriented Programs31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, Canada
-
Staged Specification Logic for Verifying Higher-Order Imperative Programs26th International Symposium on Formal Methods, Milan, ItalyStaged Logic fully formalized in Coq by Darius
Theses & Preprints
-
ArxivDetecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning
-
PhD ThesisSymbolic Temporal Verification Techniques with Extended Regular Expressions
-
Manuscript
-
Manuscript
-
Master ThesisProgramming Abstraction for IoT DevicesSupervisor: Wei-Ngan Chin, co-supervised by Mahmudul Faisal Al Ameen · Committee: Siau-Cheng Khoo, Hugh Anderson
Service
- Program Committee: Haskell'26, TOSEM'25, ICSE'26, ICFP'25, SRC@SPLASH'25, HOPE'25, OCaml'25, APR@ICSE'25, TASE'24 and its Special Journal Issue, STTT'21 (RV'21 Special Journal Issue)
- Artifact Evaluation Committee: CAV'23, CAV'22, PLDI'22, POPL'22, ESOP'22
- Subreviewer: POPL'22
- PLDI'19 PLMW Scholarship & Student Volunteering — Phoenix, Arizona, USA
Student Research Competition
-
SPLASH SRC, Auckland, New Zealand
-
Automated Temporal Verification via Rewriting Conditional Dependent Effects17th Asian Symposium on Programming Languages and Systems, Indonesia
-
Arrowrized Abstraction for IoT Programs16th Asian Symposium on Programming Languages and Systems, New ZealandFirst Prize, Student Research Competition
Teaching Experience
- TA — IT5100A: Typed Functional Programming in Practice with Dr. Wei-Ngan Chin and Dr. Razvan Voicu · Sem 2, 2021/2022
- Honor List of Student Tutors for Excellence of Teaching, 2020–2021 [certificate]
- TA — TIC2701: Principles of Programming Languages with Dr. PRABAWA Adi Yoga Sidi · Sem 1, 2020/2021 · feedback report
- TA — CS2104: Programming Language Concepts with Dr. Wei-Ngan Chin · Sem 1, 2020/2021 · feedback report
- Grader — YSC1212: Introduction to Computer Science (Yale-NUS College) with Dr. Aquinas Hobor · Sem 1, 2020/2021
- TA — CS4215: Programming Language Implementation with Dr. Razvan Voicu · Sem 2, 2018/2019
- TA — CS3203: Software Engineering Project with Dr. ZHAO Jin and Dr. Cristina CARBUNARU · Sem 2 2020/2021 · Sem 1&2 2019/2020 (feedback) · Sem 2 2018/2019 (feedback)
- TA — CS3219: Software Engineering Principles and Patterns with Dr. Bimlesh WADHWA · Sem 1 2020/2021 · Sem 1&2 2019/2020 · Sem 1 2018/2019 · Sem 1 2017/2018
More
- Internship Security Lab of Huawei, Singapore — supervised by Dr. Shengchao Qin and co-supervised by Dr. Mengda He · certificate
- NUS SoC Research Week 2021 Presentation, Singapore · demo · slides
- 31st Symposium on Implementation and Application of Functional Languages — Draft Paper for Presentation, NUS, Singapore · slides
- NUS SoC Research Week 2019 Presentation, Singapore · slides
- Hackathon GSAC 2018 Singapore Hackathon (Alibaba & Lazada): scheduling algorithm competition · First Prize
- Some readings:
