| A synchronous effects logic for temporal verification of pure esterel Y Song, WN Chin Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021 | 9 | 2021 |
| Automated temporal verification of integrated dependent effects Y Song, WN Chin Formal Methods and Software Engineering: 22nd International Conference on …, 2020 | 5 | 2020 |
| Automated Temporal Verification for Algebraic Effects Y Song, D Foo, WN Chin Asian Symposium on Programming Languages and Systems, 88-109, 2022 | 4 | 2022 |
| Automated Verification for Real-Time Systems Y Song, WN Chin Tools and Algorithms for the Construction and Analysis of Systems. TACAS …, 2023 | 2* | 2023 |
| Automated Temporal Verification with Extended Regular Expressions Y Song PhD thesis, National University of Singapore, 2022 | 2 | 2022 |
| ProveNFix: Temporal Property guided Program Repair Y SONG, X GAO, W LI, WEIN CHIN, A ROYCHOUDHURY | | 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 | | 2023 |
| Staged Specifications for Automated Verification of Higher-Order Imperative Programs D Foo, Y Song, WN Chin arXiv preprint arXiv:2308.00988, 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 Singapore在 comp.nus.edu.sg 的电子邮件经过验证
