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
362015
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
212018
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
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
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
16*2014
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
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
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
2020
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19