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 functional 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 with C++, 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:
