Publications

1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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

12. 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

13. 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

14. 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