Ton Chanh Le
Título
Citado por
Citado por
Año
Termination and Non-Termination Specification Inference
TC Le, S Qin, WN Chin
The 36th annual ACM SIGPLAN conference on Programming Language Design and …, 2015
302015
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
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
152018
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
15*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
132017
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
82018
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
22019
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
22019
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
22018
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
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
LT Chanh
Proceedings of the ACM on Programming Languages, 2019
2019
Automated Verification of CountDownLatch
WN Chin, TC Le, S Qin
arXiv preprint arXiv:1908.09758, 2019
2019
Automated mutual induction proof in separation logic
QT Ta, TC Le, SC Khoo, WN Chin
Formal Aspects of Computing 31 (2), 207-230, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18