Long H. Pham

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Active Learning

Lego Mindstorms

Causal Ordering

Symbolic Execution

Top Venues

ICSE (Companion Volume)

Publications

Long H. Pham, Jun Sun
Certified Continual Learning for Neural Network Regression. CoRR (2024)
Nay Myat Min, Long H. Pham, Jun Sun
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR (2024)
Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS (2023)
Tai D. Nguyen, Long H. Pham, Jun Sun
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR (2023)
Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
An Idealist's Approach for Smart Contract Correctness. ICFEM (2023)
Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR (2022)
Long H. Pham, Jun Sun
Verifying Neural Networks Against Backdoor Attacks. CAV (1) (2022)
Bing Sun, Jun Sun, Long H. Pham, Tie Shi
Causality-Based Neural Network Repair. ICSE (2022)
Long H. Pham, Jun Sun
Verifying Neural Networks Against Backdoor Attacks. CoRR (2022)
Tai D. Nguyen, Long H. Pham, Jun Sun
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR (2021)
Tai D. Nguyen, Long H. Pham, Jun Sun
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. IEEE Symposium on Security and Privacy (2021)
Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. CoRR (2020)
Long H. Pham, Jiaying Li, Jun Sun
SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR (2020)
Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
sFuzz: an efficient adaptive fuzzer for solidity smart contracts. ICSE (2020)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. FM (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
Concolic Testing Heap-Manipulating Programs. CoRR (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA (2019)
Long H. Pham, Jun Sun, Quang Loc Le
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS (2019)
Long H. Pham, Jun Sun, Quang Loc Le
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR (2019)
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) (2018)
Long H. Pham, Lyly Tran Thi, Jun Sun
Assertion Generation Through Active Learning. ICFEM (2017)
Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng
Learning Likely Invariants to Explain Why a Program Fails. ICECCS (2017)
Long H. Pham, Lyly Tran Thi, Jun Sun
Assertion generation through active learning. ICSE (Companion Volume) (2017)
Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng
Learning Likely Invariants to Explain Why a Program Fails. CoRR (2016)
Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo
Assisting Students in Finding Bugs and their Locations in Programming Solutions. Int. J. Qual. Assur. Eng. Technol. Educ. 3 (2) (2014)