Wei Ngan Chin
National University of Singapore
H-index: 30
Asia-Singapore
Top articles of Wei Ngan Chin
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ProveNFix: Temporal Property guided Program Repair | YAHUI SONG XIANG GAO WENHUA LI WEI-NGAN CHIN ABHIK ROYCHOUDHURY | 2024 | |
Tracing OCaml Programs | arXiv preprint arXiv:2304.04937 | Darius Foo Wei-Ngan Chin | 2023/4/11 |
Incorrectness Proofs for Object-Oriented Programs via Subclass Re ection | Wenhua Li Quang Loc Le Yahui Song Wei-Ngan Chin | 2023/11/21 | |
Staged Specifications for Automated Verification of Higher-Order Imperative Programs | arXiv preprint arXiv:2308.00988 | Darius Foo Yahui Song Wei-Ngan Chin | 2023/8/2 |
Protocol Conformance with Choreographic PlusCal | Darius Foo Andreea Costea Wei-Ngan Chin | 2023/6/27 | |
Check for updates Protocol Conformance with Choreographic PlusCal | Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings | Darius Foo iD Wei-Ngan Chin | 2023/6/26 |
Automated Verification for Real-Time Systems: via Implicit Clocks and an Extended Antimirov Algorithm | Yahui Song Wei-Ngan Chin | 2023/4/22 | |
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm | Yahui Song Wei-Ngan Chin | 2022/11/29 | |
Automated Temporal Verification for Algebraic Effects | Yahui Song Darius Foo Wei-Ngan Chin | 2022/11/25 | |
An SQL Frontend on top of OCaml for Data Analysis | Yan Dong Yahui Song Wei-Ngan Chin | 2022 | |
Automated repair of heap-manipulating programs using deductive synthesis | Thanh-Toan Nguyen Quang-Trung Ta Ilya Sergey Wei-Ngan Chin | 2021/1/12 | |
A synchronous effects logic for temporal verification of pure esterel | Yahui Song Wei-Ngan Chin | 2021 | |
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization | arXiv preprint arXiv:2109.11802 | Andreea Costea Wei-Ngan Chin Florin Craciun Shengchao Qin | 2021/9/24 |
Automated temporal verification of integrated dependent effects | Yahui Song Wei-Ngan Chin | 2020 |