Follow
Ton Chanh Le
Ton Chanh Le
Senior Smart Contract Researcher, Algorand
Verified email at algorand.com - Homepage
Title
Cited by
Cited by
Year
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
912018
Termination and Non-Termination Specification Inference
TC Le, S Qin, WN Chin
The 36th annual ACM SIGPLAN conference on Programming Language Design and …, 2015
562015
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
422017
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
382016
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
292019
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
232019
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
212020
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
202018
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
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
82019
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
72023
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31, 207-230, 2019
72019
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
62019
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
5*2021
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
52017
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
12013
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
The system can't perform the operation now. Try again later.
Articles 1–20