| 2025 | ICML | CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization. | Nay Myat Min, Long H. Pham, Yige Li, Jun Sun |
| 2024 | ISSTA | Certified Continual Learning for Neural Network Regression. | Long H. Pham, Jun Sun |
| 2023 | ICFEM | An Idealist's Approach for Smart Contract Correctness. | Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2023 | QRS | Towards an Effective and Interpretable Refinement Approach for DNN Verification. | Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun |
| 2022 | CAV | Verifying Neural Networks Against Backdoor Attacks. | Long H. Pham, Jun Sun |
| 2022 | ICSE | Causality-Based Neural Network Repair. | Bing Sun, Jun Sun, Long H. Pham, Tie Shi |
| 2021 | SP | SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. | Tai D. Nguyen, Long H. Pham, Jun Sun |
| 2020 | ICSE | sFuzz: an efficient adaptive fuzzer for solidity smart contracts. | Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh |
| 2019 | APLAS | Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. | Long H. Pham, Jun Sun, Quang Loc Le |
| 2019 | ATVA | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2019 | FM | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2018 | ICSE | Testing heap-based programs with Java StarFinder. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2017 | ICECCS | Learning Likely Invariants to Explain Why a Program Fails. | Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng |
| 2017 | ICFEM | Assertion Generation Through Active Learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |
| 2017 | ICSE | Assertion generation through active learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |