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 | | 2024 |
Specification and Verification for Unrestricted Algebraic Effects and Handling Y SONG, D FOO, WEIN CHIN | | 2024 |
Specification and Verification for Unrestricted Algebraic Effects and Handling (Technical Report) Y SONG, D FOO, WEIN CHIN | | 2024 |
Incorrectness Proofs for Object-Oriented Programs via Subclass Re ection L Wenhua, QL Le, Y Song, WN Chin Asian Association for Foundation of Software (AAFS), 2023 | | 2023 |
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 | 2 | 2023 |
Protocol Conformance with Choreographic PlusCal D Foo, A Costea, WN Chin International Symposium on Theoretical Aspects of Software Engineering, 126-145, 2023 | 1 | 2023 |
Automated Verification for Real-Time Systems: via Implicit Clocks and an Extended Antimirov Algorithm Y Song, WN Chin International Conference on Tools and Algorithms for the Construction and …, 2023 | 2 | 2023 |
Tracing OCaml Programs D Foo, WN Chin arXiv preprint arXiv:2304.04937, 2023 | | 2023 |
Automated Temporal Verification for Algebraic Effects Y Song, D Foo, WN Chin Asian Symposium on Programming Languages and Systems, 88-109, 2022 | 6 | 2022 |
An SQL Frontend on top of OCaml for Data Analysis Y Dong, Y Song, WN Chin | | 2022 |
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization A Costea, WN Chin, F Craciun, S Qin arXiv preprint arXiv:2109.11802, 2021 | | 2021 |
Automated repair of heap-manipulating programs using deductive synthesis TT Nguyen, QT Ta, I Sergey, WN Chin International Conference on Verification, Model Checking, and Abstract …, 2021 | 7 | 2021 |
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 of integrated dependent effects Y Song, WN Chin Formal Methods and Software Engineering: 22nd International Conference on …, 2020 | 5 | 2020 |
Automated Verification of CountDownLatch WN Chin, TC Le, S Qin arXiv preprint arXiv:1908.09758, 2019 | | 2019 |
Completeness and expressiveness of pointer program verification by separation logic M Tatsuta, WN Chin, MF Al Ameen Information and Computation 267, 1-27, 2019 | 7 | 2019 |
Automated mutual induction proof in separation logic QT Ta, TC Le, SC Khoo, WN Chin Formal Aspects of Computing 31, 207-230, 2019 | 7 | 2019 |
SL-COMP: competition of solvers for separation logic M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 24 | 2019 |
Automatic program repair using formal verification and expression templates TT Nguyen, QT Ta, WN Chin Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 27 | 2019 |