Page Not Found
.
.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
CV
.
.
Markdown
.
.
Page not in menu
.
.
Page Archive
.
.
Portfolio
.
.
Publications
.
.
Sitemap
.
.
Posts by Tags
.
.
Talk map
.
.
Teaching
.
.
Blog posts
.
.
Posts
Future Blog Post
.
.
publications
A Proof Slicing Framework for Program Verification [PDF]
Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin.
The 15th International Conference on Formal Engineering Methods. ICFEM 2013
A Resource-Based Logic for Termination and Non-termination Proofs [PDF] [Project]
Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin.
The 16th International Conference on Formal Engineering Methods. ICFEM 2014
Termination and Non-termination Specification Inference [PDF] [Project]
Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin.
The 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation. PLDI 2015
Automated Mutual Explicit Induction Proof in Separation Logic [PDF] [Project]
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin.
The 21st International Symposium on Formal Methods. FM 2016
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction [PDF] [Project]
Ton Chanh Le, Quang-Trung Ta, Wei-Ngan Chin.
The 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems: SV-COMP (SV-COMP@TACAS). SV-COMP 2017
Automated Lemma Synthesis in Symbolic-Heap Separation Logic [PDF] [Project]
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin.
Proceedings of the ACM on Programming Languages, Volume 2, Issue POPL. POPL 2018
The Game Among Bribers in a Smart Contract System [PDF]
Lin Chen, Lei Xu, Zhimin Gao, Nolan Shah, Ton Chanh Le, Yang Lu, Weidong Shi.
The 2nd Workshop on Trusted Smart Contracts, In Association with Financial Cryptography and Data Security 2018. WTSC@FC 2018
eGov-DAO: A Better Government using Blockchain based Decentralized Autonomous Organization [PDF]
Nour Diallo, Weidong Shi, Lei Xu, Zhimin Gao, Lin Chen, Yang Lu, Nolan Shah, Larry Carranco, Ton-Chanh Le, Abraham Bez Surez, Glenn Turner.
International Conference on eDemocracy & eGovernment. ICEDEG 2018
Proving Conditional Termination for Smart Contracts [PDF]
Ton Chanh Le, Lei Xu, Lin Chen, Weidong Shi.
The 2nd ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Held In Conjunction With ACM Asia CCS 2018. BCC@AsiaCCS 2018
Automated Mutual Induction Proof in Separation Logic [PDF] [Project]
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin.
Formal Aspects of Computing 31(2). FAC 2019
Specification and Inference of Trace Refinement Relations [PDF] [Project]
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le.
Proceedings of the ACM on Programming Languages, Volume 3, Issue OOPSLA. OOPSLA 2019
SL-COMP: Competition of Solvers for Separation Logic [PDF] [Project]
Mihaela Sighireanu, Juan A 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, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu.
The 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TOOLympics (TOOLympics@TACAS). SL-COMP 2019
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic [PDF] [Project]
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen.
The 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2019
DynamiTe: Dynamic Termination and Non-termination Proofs [PDF] [Project]
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen.
Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA. OOPSLA 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.
The 19th Asian Symposium on Programming Languages and Systems. APLAS 2021
An Algebra of Alignment for Relational Verification [PDF]
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo.
The 50th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL 2023