Ton Chanh Le

According to our database, Ton Chanh Le authored at least 20 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2023

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

2021

Source-Level Bitwise Branching for Temporal Verification.

Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen

CoRR, 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

CoRR, 2021

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

DynamiTe: dynamic termination and non-termination proofs.

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen

Proc. ACM Program. Lang., 2020

2019

Specification and inference of trace refinement relations.

Timos Antonopoulos, Eric Koskinen, Ton Chanh Le

Proc. ACM Program. Lang., 2019

Automated mutual induction proof in separation logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Formal Aspects Comput., 2019

Automated Verification of CountDownLatch.

Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin

CoRR, 2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

SLING: using dynamic analysis to infer program invariants in separation logic.

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

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

The Game Among Bribers in a Smart Contract System.

Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu, Weidong Shi

Proceedings of the Financial Cryptography and Data Security, 2018

Proving Conditional Termination for Smart Contracts.

Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi

Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts, 2018

2017

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution).

Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Automated Mutual Explicit Induction Proof in Separation Logic.

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

Proceedings of the FM 2016: Formal Methods, 2016

2015

Termination and non-termination specification inference.

Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Preliminary Notes on Termination and Non-Termination Reasoning.

Ton Chanh Le

CoRR, 2013

A Proof Slicing Framework for Program Verification.

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2013