| A synchronous effects logic for temporal verification of pure esterel Y Song, WN Chin Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 10 | 2021 |
| Automated Temporal Verification for Algebraic Effects Y Song, D Foo, WN Chin Asian Symposium on Programming Languages and Systems, 88-109, 2022 | 9 | 2022 |
| Provenfix: Temporal property-guided program repair Y Song, X Gao, W Li, WN Chin, A Roychoudhury Proceedings of the ACM on Software Engineering 1 (FSE), 226-248, 2024 | 6 | 2024 |
| Automated temporal verification of integrated dependent effects Y Song, WN Chin Formal Methods and Software Engineering: 22nd International Conference on …, 2020 | 5 | 2020 |
| Automated Verification for Real-Time Systems Y Song, WN Chin Tools and Algorithms for the Construction and Analysis of Systems. TACAS …, 2023 | 2* | 2023 |
| Staged specification logic for verifying higher-order imperative programs D Foo, Y Song, WN Chin International Symposium on Formal Methods, 501-518, 2024 | 1 | 2024 |
| Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection W Li, QL Le, Y Song, WN Chin Asian Symposium on Programming Languages and Systems, 269-289, 2023 | 1 | 2023 |
| Staged Specifications for Automated Verification of Higher-Order Imperative Programs D Foo, Y Song, WN Chin arXiv preprint arXiv:2308.00988, 2023 | 1 | 2023 |
| Specification and Verification for Unrestricted Algebraic Effects and Handling Y Song, D Foo, WN Chin Proceedings of the ACM on Programming Languages 8 (ICFP), 909-937, 2024 | | 2024 |
| SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS Y SONG NATIONAL UNIVERSITY OF SINGAPORE, 2023 | | 2023 |
| An SQL Frontend on top of OCaml for Data Analysis Y Dong, Y Song, WN Chin | | 2022 |
| PROGRAMMING ABSTRACTION FOR IOT DEVICES Y SONG | | |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
