关注
Pham Hong Long
Pham Hong Long
Senior Research Scientist, Singapore Management University
在 smu.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
sfuzz: An efficient adaptive fuzzer for solidity smart contracts
TD Nguyen, LH Pham, J Sun, Y Lin, QT Minh
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
3152020
Causality-based neural network repair
B Sun, J Sun, LH Pham, J Shi
Proceedings of the 44th International Conference on Software Engineering …, 2022
792022
SGUARD: towards fixing vulnerable smart contracts automatically
TD Nguyen, LH Pham, J Sun
2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021
722021
Assertion generation through active learning
L H. Pham, LL Tran Thi, J Sun
Formal Methods and Software Engineering: 19th International Conference on …, 2017
272017
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
LH Pham, QL Le, QS Phan, J Sun, S Qin
Automated Technology for Verification and Analysis: 17th International …, 2019
252019
Testing heap-based programs with Java StarFinder
LH Pham, QL Le, QS Phan, J Sun, S Qin
Proceedings of the 40th International Conference on Software Engineering …, 2018
182018
Concolic testing heap-manipulating programs
LH Pham, QL Le, QS Phan, J Sun
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
142019
Verifying neural networks against backdoor attacks
LH Pham, J Sun
International Conference on Computer Aided Verification, 171-192, 2022
102022
Compositional verification of heap-manipulating programs through property-guided learning
LH Pham, J Sun, QL Le
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
52019
Learning likely invariants to explain why a program fails
LH Pham, J Sun, LLT Thi, J Wang, X Peng
2017 22nd International Conference on Engineering of Complex Computer …, 2017
52017
SOCRATES: towards a unified platform for neural network verification. CoRR abs/2007.11206 (2020)
LH Pham, J Li, J Sun
42007
An Idealist’s Approach for Smart Contract Correctness
TD Nguyen, LH Pham, J Sun, QL Le
International Conference on Formal Engineering Methods, 11-28, 2023
32023
Assisting students in finding bugs and their locations in programming solutions
LH Pham, GV Trinh, MH Dinh, NP Mai, TT Quan, HQ Ngo
International Journal of Quality Assurance in Engineering and Technology …, 2014
32014
S2TD: A separation logic verifier that supports reasoning of the absence and presence of bugs
QL Le, J Sun, LH Pham, S Qin
arXiv preprint arXiv:2209.09327, 2022
22022
SOCRATES: Towards a Unified Platform for Neural Network Analysis
LH Pham, J Li, J Sun
arXiv preprint arXiv:2007.11206, 2020
22020
Towards an Effective and Interpretable Refinement Approach for DNN Verification
J Li, G Bai, LH Pham, J Sun
2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023
12023
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification
TD Nguyen, LH Pham, J Sun
arXiv preprint arXiv:2307.02289, 2023
12023
CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization
NM Min, LH Pham, Y Li, J Sun
arXiv preprint arXiv:2411.12768, 2024
2024
CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization
N Myat Min, LH Pham, Y Li, J Sun
arXiv e-prints, arXiv: 2411.12768, 2024
2024
UniAdapt: A Universal Adapter for Knowledge Calibration
TD Nguyen, LH Pham, J Sun
arXiv preprint arXiv:2410.00454, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–20