| 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 | 65 | 2018 |
| Termination and Non-Termination Specification Inference TC Le, S Qin, WN Chin The 36th annual ACM SIGPLAN conference on Programming Language Design and …, 2015 | 49 | 2015 |
| 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 | 35 | 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 | 34 | 2016 |
| SLING: using dynamic analysis to infer program invariants in separation logic TC Le, G Zheng, TV Nguyen Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 20 | 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 | 20 | 2019 |
| 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 | 20 | 2014 |
| 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 | 14 | 2018 |
| 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 | 13 | 2020 |
| Specification and inference of trace refinement relations T Antonopoulos, E Koskinen, TC Le Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 6 | 2019 |
| Automated mutual induction proof in separation logic QT Ta, TC Le, SC Khoo, WN Chin Formal Aspects of Computing 31, 207-230, 2019 | 5 | 2019 |
| The game among bribers in a smart contract system L Chen, L Xu, Z Gao, N Shah, TC Le, Y Lu, W Shi Financial Cryptography and Data Security: FC 2018 International Workshops …, 2019 | 5 | 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 | 3 | 2017 |
| An algebra of alignment for relational verification T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ... arXiv preprint arXiv:2202.04278, 2022 | 1 | 2022 |
| 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 | 1 | 2021 |
| 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 |
| 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 | | 2023 |
| An Algebra of Alignment for Relational Verification E KOSKINEN, TONC LE, R NAGASAMUDRAM, DA NAUMANN | | 2023 |
| Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended) YC Liu, C Pang, D Dietsch, E Koskinen, TC Le, G Portokalidis, J Xu arXiv preprint arXiv:2105.05159, 2021 | | 2021 |
| Automated Verification of CountDownLatch WN Chin, TC Le, S Qin arXiv preprint arXiv:1908.09758, 2019 | | 2019 |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
