| A proof slicing framework for program verification TC Le, C Gherghina, R Voicu, WN Chin Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 1 | 2013 |
| A resource-based logic for termination and non-termination proofs TC Le, C Gherghina, A Hobor, WN Chin Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 19* | 2014 |
| An algebra of alignment for relational verification T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ... Proceedings of the ACM on Programming Languages 7 (POPL), 573-603, 2023 | 14 | 2023 |
| Automated lemma synthesis in symbolic-heap separation logic QT Ta, TC Le, SC Khoo, WN Chin Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 44 | 2017 |
| Automated mutual explicit induction proof in separation logic QT Ta, TC Le, SC Khoo, WN Chin FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 38 | 2016 |
| 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 |
| Automated Verification of CountDownLatch WN Chin, TC Le, S Qin arXiv preprint arXiv:1908.09758, 2019 | | 2019 |
| DrNLA: Dual Rewriting for Branching-Time Verification of Non-Linear Arithmetic Programs YC LIU, TC Le, T Antonopoulos, E Koskinen, N THANHVU | | |
| DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing Y Cyrus Liu, TC Le, T Antonopoulos, E Koskinen, TV Nguyen arXiv e-prints, arXiv: 2306.15584, 2023 | | 2023 |
| DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing YC Liu, TC Le, T Antonopoulos, E Koskinen, TV Nguyen arXiv preprint arXiv:2306.15584, 2023 | | 2023 |
| DynamiTe: dynamic termination and non-termination proofs TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 25 | 2020 |
| eGov-DAO: A better government using blockchain based decentralized autonomous organization N Diallo, W Shi, L Xu, Z Gao, L Chen, Y Lu, N Shah, L Carranco, TC Le, ... 2018 International Conference on eDemocracy & eGovernment (ICEDEG), 166-171, 2018 | 106 | 2018 |
| Enhancing Total Correctness Proofs in Program Verification TC Le National University of Singapore, 2014 | | 2014 |
| Experimental Results of Knotical T Antonopoulos, E Koskinen, TC Le Retrieved August 14, 2019, 2019 | | 2019 |
| HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction: (Competition Contribution) TC Le, QT Ta, WN Chin Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 5 | 2017 |
| Knotical: An Inference System of Trace Refinement Relations T Antonopoulos, E Koskinen, TC Le Google Scholar Google Scholar Cross Ref Cross Ref, 2019 | | 2019 |
| Preliminary Notes on Termination and Non-Termination Reasoning TC Le arXiv preprint arXiv:1309.3128, 2013 | | 2013 |
| Proving conditional termination for smart contracts TC Le, L Xu, L Chen, W Shi Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and …, 2018 | 20 | 2018 |
| Proving LTL properties of bitvector programs and decompiled binaries YC Liu, C Pang, D Dietsch, E Koskinen, TC Le, G Portokalidis, J Xu Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 9* | 2021 |
| Proving LTL Properties of Bitvector Programs and Decompiled Binaries YCLC Pang, D Dietsch, E Koskinen, TC Le, G Portokalidis, J Xu | | |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg