A Proof Slicing Framework for Program Verification. - Ton Chanh Le; Cristian Gherghina; Razvan Voicu; Wei-Ngan Chin (ICFEM, 2013)

Preliminary Notes on Termination and Non-Termination Reasoning. - Ton Chanh Le (CoRR, 2013)

A Resource-Based Logic for Termination and Non-termination Proofs. - Ton Chanh Le; Cristian Gherghina; Aquinas Hobor; Wei-Ngan Chin (ICFEM, 2014)

Termination and non-termination specification inference. - Ton Chanh Le; Shengchao Qin; Wei-Ngan Chin (PLDI, 2015)

Automated Mutual Explicit Induction Proof in Separation Logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (FM, 2016)

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). - Ton Chanh Le; Quang-Trung Ta; Wei-Ngan Chin (TACAS (2), 2017)

Proving Conditional Termination for Smart Contracts. - Ton Chanh Le; Lei Xu 012; Lin Chen 009; Weidong Shi (BCC@AsiaCCS, 2018)

The Game Among Bribers in a Smart Contract System. - Lin Chen 009; Lei Xu 012; Zhimin Gao; Nolan Shah; Ton Chanh Le; Yang Lu 010; Weidong Shi (Financial Cryptography Workshops, 2018)

Automated lemma synthesis in symbolic-heap separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Proc. ACM Program. Lang., 2018)

SLING: using dynamic analysis to infer program invariants in separation logic. - Ton Chanh Le; Guolong Zheng; ThanhVu Nguyen (PLDI, 2019)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Automated Verification of CountDownLatch. - Wei-Ngan Chin; Ton Chanh Le; Shengchao Qin (CoRR, 2019)

Automated mutual induction proof in separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Formal Aspects Comput., 2019)

Specification and inference of trace refinement relations. - Timos Antonopoulos; Eric Koskinen; Ton Chanh Le (Proc. ACM Program. Lang., 2019)

DynamiTe: dynamic termination and non-termination proofs. - Ton Chanh Le; Timos Antonopoulos; Parisa Fathololumi; Eric Koskinen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2020)

Proving LTL Properties of Bitvector Programs and Decompiled Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (APLAS, 2021)

Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (CoRR, 2021)

Source-Level Bitwise Branching for Temporal Verification. - Yuandong Cyrus Liu; Ton-Chanh Le; Eric Koskinen (CoRR, 2021)

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. - Yuandong Cyrus Liu; Ton-Chanh Le; Timos Antonopoulos; Eric Koskinen; ThanhVu Nguyen (CoRR, 2023)

An Algebra of Alignment for Relational Verification. - Timos Antonopoulos; Eric Koskinen; Ton Chanh Le; Ramana Nagasamudram; David A. Naumann; Minh Ngo (Proc. ACM Program. Lang., 2023)