Yahui Song

21 papers B 4C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computation Tree Logic Guided Program Repair.
IEEE Trans. Software Eng.
Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury
2025 J jnl
Agentic Program Verification.
CoRR
Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
2025 J jnl
Computation Tree Logic Guided Program Repair.
CoRR
Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury
2025 J jnl
Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning.
CoRR
Ningke Li, Yahui Song, Kailong Wang, Yuekang Li, Ling Shi, Yi Liu, Haoyu Wang
2025 — conf
Inferring Incorrectness Specifications for Object-Oriented Programs.
TACAS (1)
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
2025 B conf
Specifying and Verifying Future Conditions.
SAS
Yahui Song, Darius Foo, Wei-Ngan Chin
2024 J jnl
ProveNFix: Temporal Property-Guided Program Repair.
Proc. ACM Softw. Eng.
Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
2024 J jnl
Specification and Verification for Unrestricted Algebraic Effects and Handling.
Proc. ACM Program. Lang.
Yahui Song, Darius Foo, Wei-Ngan Chin
2024 — conf
Staged Specification Logic for Verifying Higher-Order Imperative Programs.
FM (1)
Darius Foo, Yahui Song, Wei-Ngan Chin
2023 — conf
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm.
TACAS (1)
Yahui Song, Wei-Ngan Chin
2023 B conf
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.
APLAS
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
2023 J jnl
Staged Specifications for Automated Verification of Higher-Order Imperative Programs.
CoRR
Darius Foo, Yahui Song, Wei-Ngan Chin
2022 B conf
Automated Temporal Verification for Algebraic Effects.
APLAS
Yahui Song, Darius Foo, Wei-Ngan Chin
2022 — conf
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm.
SPLASH Companion
Yahui Song, Wei-Ngan Chin
2022 J jnl
Sensitivity analysis of environmental impact of milk powder spray drying system based on intelligent algorithm.
J. Intell. Fuzzy Syst.
Zunhao Zhang, Junxia Zhang, Wei Tian, Yang Li, Yahui Song, Qi Zeng
2021 B conf
A Synchronous Effects Logic for Temporal Verification of Pure Esterel.
VMCAI
Yahui Song, Wei-Ngan Chin
2020 C conf
Automated Temporal Verification of Integrated Dependent Effects.
ICFEM
Yahui Song, Wei-Ngan Chin
2019 Misc conf
Research Topic Recommendation Based on Latent Dirichlet Allocation.
ISKE
Hongshu Chen, Xuefeng Wang, Yahui Song, Ximeng Wang, Xiang Wang, Miaomiao Yu
2017 J jnl
Fluid re-simulation based on physically driven model from video.
Vis. Comput.
Hongyan Quan, Changbo Wang, Yahui Song
2016 J jnl
Physically-based enhancement in shallow water resimulation.
Int. J. Model. Simul. Sci. Comput.
Hongyan Quan, Yahui Song, Xinquan Zhou, Li Zhang
2014 — conf
3D fluid scene synthesis and animation.
VRCAI
Hongyan Quan, Xiao Song, Mingqi Yu, Yahui Song