| 2025 | SAS | Specifying and Verifying Future Conditions. | Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2025 | TACAS | Inferring Incorrectness Specifications for Object-Oriented Programs. | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
| 2024 | FM | Staged Specification Logic for Verifying Higher-Order Imperative Programs. | Darius Foo, Yahui Song, Wei-Ngan Chin |
| 2023 | APLAS | Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
| 2023 | TACAS | Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. | Yahui Song, Wei-Ngan Chin |
| 2022 | APLAS | Automated Temporal Verification for Algebraic Effects. | Yahui Song, Darius Foo, Wei-Ngan Chin |
| 2021 | VMCAI | A Synchronous Effects Logic for Temporal Verification of Pure Esterel. | Yahui Song, Wei-Ngan Chin |
| 2020 | ICFEM | Automated Temporal Verification of Integrated Dependent Effects. | Yahui Song, Wei-Ngan Chin |
| 2019 | ISKE | Research Topic Recommendation Based on Latent Dirichlet Allocation. | Hongshu Chen, Xuefeng Wang, Yahui Song, Ximeng Wang, Xiang Wang, Miaomiao Yu |