Ton Chanh Le

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