Long H. Pham

According to our database, Long H. Pham authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Fuzzing with Quantitative and Adaptive Hot-Bytes Identification.

Tai D. Nguyen, Long H. Pham, Jun Sun

CoRR, 2023

Towards an Effective and Interpretable Refinement Approach for DNN Verification.

Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

An Idealist's Approach for Smart Contract Correctness.

Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le

Proceedings of the Formal Methods and Software Engineering, 2023

2022

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs.

Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin

CoRR, 2022

Causality-Based Neural Network Repair.

Bing Sun, Jun Sun, Long H. Pham, Tie Shi

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Verifying Neural Networks Against Backdoor Attacks.

Long H. Pham, Jun Sun

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically.

Tai D. Nguyen, Long H. Pham, Jun Sun

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

SOCRATES: Towards a Unified Platform for Neural Network Verification.

Long H. Pham, Jiaying Li, Jun Sun

CoRR, 2020

sFuzz: an efficient adaptive fuzzer for solidity smart contracts.

Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Concolic Testing Heap-Manipulating Programs.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Proceedings of the Automated Technology for Verification and Analysis, 2019

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning.

Long H. Pham, Jun Sun, Quang Loc Le

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Testing heap-based programs with Java StarFinder.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Assertion Generation Through Active Learning.

Long H. Pham, Lyly Tran Thi, Jun Sun

Proceedings of the Formal Methods and Software Engineering, 2017

Learning Likely Invariants to Explain Why a Program Fails.

Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2014

Assisting Students in Finding Bugs and their Locations in Programming Solutions.

Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo

Int. J. Qual. Assur. Eng. Technol. Educ., 2014