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
652018
Termination and Non-Termination Specification Inference
TC Le, S Qin, WN Chin
The 36th annual ACM SIGPLAN conference on Programming Language Design and …, 2015
492015
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
352017
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
342016
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
202019
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
202019
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
202014
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
142018
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
132020
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
62019
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31, 207-230, 2019
52019
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
52019
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
32017
An algebra of alignment for relational verification
T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ...
arXiv preprint arXiv:2202.04278, 2022
12022
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
12021
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
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
The system can't perform the operation now. Try again later.
Articles 1–20