Ton Chanh Le

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 16

Top Topics

Rewrite Systems

Johnson Lindenstrauss

Top Venues

Proc. ACM Program. Lang.

Publications

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An Algebra of Alignment for Relational Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
An algebra of alignment for relational verification. CoRR (2022)
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
DynamiTe: dynamic termination and non-termination proofs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
DynamiTe: Dynamic Termination and Non-termination Proofs. CoRR (2020)
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le
Specification and inference of trace refinement relations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. CoRR (2019)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: using dynamic analysis to infer program invariants in separation logic. PLDI (2019)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31 (2) (2019)
Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin
Automated Verification of CountDownLatch. CoRR (2019)
Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi
Proving Conditional Termination for Smart Contracts. BCC@AsiaCCS (2018)
Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu, Weidong Shi
The Game Among Bribers in a Smart Contract System. Financial Cryptography Workshops (2018)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). TACAS (2) (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR (2016)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. FM (2016)
Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin
Termination and non-termination specification inference. PLDI (2015)
Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM (2014)
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
A Proof Slicing Framework for Program Verification. ICFEM (2013)
Ton Chanh Le
Preliminary Notes on Termination and Non-Termination Reasoning. CoRR (2013)