Long H. Pham

33 papers A* 4A 1B 4C 3Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
CORVUS: Red-Teaming Hallucination Detectors via Internal Signal Camouflage in Large Language Models.
CoRR
Nay Myat Min, Long H. Pham, Hongyu Zhang, Jun Sun
2025 J jnl
AUTOLAW: Enhancing Legal Compliance in Large Language Models via Case Law Generation and Jury-Inspired Deliberation.
CoRR
Tai D. Nguyen, Long H. Pham, Jun Sun
2025 A* conf
CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization.
ICML
Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2025 J jnl
Propaganda via AI? A Study on Semantic Backdoors in Large Language Models.
CoRR
Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2025 J jnl
Unified Neural Backdoor Removal With Only Few Clean Samples Through Unlearning and Relearning.
IEEE Trans. Inf. Forensics Secur.
Nay Myat Min, Long H. Pham, Jun Sun
2024 J jnl
CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization.
CoRR
Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2024 A conf
Certified Continual Learning for Neural Network Regression.
ISSTA
Long H. Pham, Jun Sun
2024 J jnl
Certified Continual Learning for Neural Network Regression.
CoRR
Long H. Pham, Jun Sun
2024 J jnl
UniAdapt: A Universal Adapter for Knowledge Calibration.
CoRR
Tai D. Nguyen, Long H. Pham, Jun Sun
2024 J jnl
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning.
CoRR
Nay Myat Min, Long H. Pham, Jun Sun
2023 C conf
An Idealist's Approach for Smart Contract Correctness.
ICFEM
Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
2023 J jnl
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification.
CoRR
Tai D. Nguyen, Long H. Pham, Jun Sun
2023 C conf
Towards an Effective and Interpretable Refinement Approach for DNN Verification.
QRS
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
2022 A* conf
Causality-Based Neural Network Repair.
ICSE
Bing Sun, Jun Sun, Long H. Pham, Tie Shi
2022 J jnl
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.
CoRR
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
2022 — conf
Verifying Neural Networks Against Backdoor Attacks.
CAV (1)
Long H. Pham, Jun Sun
2022 J jnl
Verifying Neural Networks Against Backdoor Attacks.
CoRR
Long H. Pham, Jun Sun
2021 A* conf
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.
SP
Tai D. Nguyen, Long H. Pham, Jun Sun
2021 J jnl
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.
CoRR
Tai D. Nguyen, Long H. Pham, Jun Sun
2020 J jnl
SOCRATES: Towards a Unified Platform for Neural Network Verification.
CoRR
Long H. Pham, Jiaying Li, Jun Sun
2020 J jnl
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts.
CoRR
Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
2020 A* conf
sFuzz: an efficient adaptive fuzzer for solidity smart contracts.
ICSE
Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
2019 B conf
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning.
APLAS
Long H. Pham, Jun Sun, Quang Loc Le
2019 J jnl
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning.
CoRR
Long H. Pham, Jun Sun, Quang Loc Le
2019 B conf
Concolic Testing Heap-Manipulating Programs.
FM
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019 J jnl
Concolic Testing Heap-Manipulating Programs.
CoRR
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019 B conf
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.
ATVA
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2018 — conf
Testing heap-based programs with Java StarFinder.
ICSE (Companion Volume)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2017 C conf
Assertion Generation Through Active Learning.
ICFEM
Long H. Pham, Lyly Tran Thi, Jun Sun
2017 — conf
Assertion generation through active learning.
ICSE (Companion Volume)
Long H. Pham, Lyly Tran Thi, Jun Sun
2017 B conf
Learning Likely Invariants to Explain Why a Program Fails.
ICECCS
Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng
2016 J jnl
Learning Likely Invariants to Explain Why a Program Fails.
CoRR
Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng
2014 J jnl
Assisting Students in Finding Bugs and their Locations in Programming Solutions.
Int. J. Qual. Assur. Eng. Technol. Educ.
Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo