| 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 | 123 | 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 | 60 | 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 | 51 | 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 | 47 | 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 | 33 | 2019 |
| 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 | 28 | 2020 |
| 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 | 26 | 2019 |
| 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 | 23 | 2023 |
| 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 | 21 | 2018 |
| 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 | 21 | 2014 |
| 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 | 8* | 2021 |
| 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 | 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 |
| 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 | 7 | 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 |
| 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 |
| 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 |
| 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 |
| Automated Verification of CountDownLatch WN Chin, TC Le, S Qin arXiv preprint arXiv:1908.09758, 2019 | | 2019 |
| Knotical: An Inference System of Trace Refinement Relations T Antonopoulos, E Koskinen, TC Le Google Scholar Google Scholar Cross Ref Cross Ref, 2019 | | 2019 |
Wei Ngan ChinNational University of SingaporeEmail được xác minh tại comp.nus.edu.sg