Yahui Song
National University of Singapore
H-index: 2
Asia-Singapore
Top articles of Yahui Song
ProveNFix: Temporal Property guided Program Repair
2024
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
2023/11/21
Staged Specifications for Automated Verification of Higher-Order Imperative Programs
arXiv preprint arXiv:2308.00988
2023/8/2
Darius Foo
H-Index: 3
Yahui Song
H-Index: 1
Automated Temporal Verification for Algebraic Effects
2022/11/25
Yahui Song
H-Index: 1
Darius Foo
H-Index: 3
Automated Temporal Verification with Extended Regular Expressions
2022
Yahui Song
H-Index: 1
A synchronous effects logic for temporal verification of pure esterel
2021
Yahui Song
H-Index: 1
Automated temporal verification of integrated dependent effects
2020
Yahui Song
H-Index: 1