Get started
Author

Ton Chanh Le

Observed names: Le Ton Chanh, Le, Ton Chanh
ORCID: 0000-0002-7628-8368
Observed ORCID: 0000-0002-7628-8368
OpenAlex ID: A5084101571
Termination and non-termination specification inference
2015 · Ton Chanh Le, Shengchao Qin, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 39
PDF
Automated lemma synthesis in symbolic-heap separation logic
2017 · Quang-Trung Ta, Ton Chanh Le, et al. · Proceedings of the ACM on Programming Languages · 34
PDF
Automated Mutual Explicit Induction Proof in Separation Logic
2016 · Quang-Trung Ta, Ton Chanh Le, et al. · Lecture notes in computer science · 34
PDF
DynamiTe: dynamic termination and non-termination proofs
2020 · Ton Chanh Le, Timos Antonopoulos, et al. · Proceedings of the ACM on Programming Languages · 26
PDF
SLING: using dynamic analysis to infer program invariants in separation logic
2019 · Ton Chanh Le, Guolong Zheng, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 22
PDF
An Algebra of Alignment for Relational Verification
2023 · Timos Antonopoulos, Eric Koskinen, et al. · Proceedings of the ACM on Programming Languages · 18
PDF
Proving Conditional Termination for Smart Contracts
2018 · Ton Chanh Le, Lei Xu, et al. · 17
A Resource-Based Logic for Termination and Non-termination Proofs
2014 · Ton Chanh Le, Cristian Gherghina, et al. · Lecture notes in computer science · 14
Termination and non-termination specification inference
2015 · Ton Chanh Le, Shengchao Qin, et al. · ACM SIGPLAN Notices · 13
The Game Among Bribers in a Smart Contract System
2019 · Lin Chen, Lei Xu, et al. · Lecture notes in computer science · 6
Automated mutual induction proof in separation logic
2018 · Quang-Trung Ta, Ton Chanh Le, et al. · Formal Aspects of Computing · 4
PDF
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction
2017 · Ton Chanh Le, Quang-Trung Ta, et al. · Lecture notes in computer science · 3
Specification and inference of trace refinement relations
2019 · Timos Antonopoulos, Eric Koskinen, et al. · Proceedings of the ACM on Programming Languages · 1
PDF
Automated Verification of CountDownLatch
2019 · Chin, Wei-Ngan, Le, Ton Chanh, et al. · arXiv (Cornell University) · 1
PDF
A Proof Slicing Framework for Program Verification
2013 · Ton Chanh Le, Cristian Gherghina, et al. · Lecture notes in computer science · 1
ダイナミTe:動的終結と非停止証明【JST・京大機械翻訳】
2020 · Le Ton Chanh, Antonopoulos Timos, et al. · Proceedings of the ACM on Programming Languages
Replication Package for Article
2019 · Ton Chanh Le, Guolong Zheng, et al. · Artifact Digital Object Group
Preliminary Notes on Termination and Non-Termination Reasoning
2013 · Le, Ton Chanh · arXiv (Cornell University)
PDF
Works count: 20
Citation count: 235
H-index: 9
I10-index: 9
Year
Topic
Type