Yahui Song

According to our database, Yahui Song authored at least 15 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ProveNFix: Temporal Property-Guided Program Repair.

Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury

Proc. ACM Softw. Eng., 2024

Specification and Verification for Unrestricted Algebraic Effects and Handling.

Yahui Song, Darius Foo, Wei-Ngan Chin

Proc. ACM Program. Lang., 2024

Staged Specification Logic for Verifying Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Staged Specifications for Automated Verification of Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

CoRR, 2023

Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm.

Yahui Song, Wei-Ngan Chin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Sensitivity analysis of environmental impact of milk powder spray drying system based on intelligent algorithm.

Zunhao Zhang, Junxia Zhang, Wei Tian, Yang Li, Yahui Song, Qi Zeng

J. Intell. Fuzzy Syst., 2022

Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm.

Yahui Song, Wei-Ngan Chin

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Automated Temporal Verification for Algebraic Effects.

Yahui Song, Darius Foo, Wei-Ngan Chin

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

A Synchronous Effects Logic for Temporal Verification of Pure Esterel.

Yahui Song, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Automated Temporal Verification of Integrated Dependent Effects.

Yahui Song, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Research Topic Recommendation Based on Latent Dirichlet Allocation.

Hongshu Chen, Xuefeng Wang, Yahui Song, Ximeng Wang, Xiang Wang, Miaomiao Yu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2017

Fluid re-simulation based on physically driven model from video.

Hongyan Quan, Changbo Wang, Yahui Song

Vis. Comput., 2017

2016

Physically-based enhancement in shallow water resimulation.

Hongyan Quan, Yahui Song, Xinquan Zhou, Li Zhang

Int. J. Model. Simul. Sci. Comput., 2016

2014

3D fluid scene synthesis and animation.

Hongyan Quan, Xiao Song, Mingqi Yu, Yahui Song

Proceedings of the 13th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, 2014