Ton Chanh Le
Title
Cited by
Cited by
Year
Termination and Non-Termination Specification Inference
TC Le, S Qin, WN Chin
The 36th annual ACM SIGPLAN conference on Programming Language Design and …, 2015
382015
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
232018
Automated mutual explicit induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
International Symposium on Formal Methods, 659-676, 2016
202016
A resource-based logic for termination and non-termination proofs
TC Le, C Gherghina, A Hobor, WN Chin
International Conference on Formal Engineering Methods, 267-283, 2014
18*2014
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
172017
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
102019
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
92018
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
The game among bribers in a smart contract system
L Chen, L Xu, Z Gao, N Shah, TC Le, Y Lu, W Shi
International Conference on Financial Cryptography and Data Security, 294-307, 2018
42018
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction
TC Le, QT Ta, WN Chin
International Conference on Tools and Algorithms for the Construction and …, 2017
22017
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
12020
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31 (2), 207-230, 2019
12019
A proof slicing framework for program verification
TC Le, C Gherghina, R Voicu, WN Chin
International Conference on Formal Engineering Methods, 53-69, 2013
12013
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
2019
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
Experimental Results of Knotical
T Antonopoulos, E Koskinen, TC Le
Retrieved August 14, 2019, 2019
2019
Enhancing Total Correctness Proofs in Program Verification
TC Le
National University of Singapore, 2014
2014
Preliminary Notes on Termination and Non-Termination Reasoning
TC Le
arXiv preprint arXiv:1309.3128, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–19