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 | 315 | 2020 |
Causality-based neural network repair B Sun, J Sun, LH Pham, J Shi Proceedings of the 44th International Conference on Software Engineering …, 2022 | 79 | 2022 |
SGUARD: towards fixing vulnerable smart contracts automatically TD Nguyen, LH Pham, J Sun 2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021 | 72 | 2021 |
Assertion generation through active learning L H. Pham, LL Tran Thi, J Sun Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 27 | 2017 |
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 | 25 | 2019 |
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 | 18 | 2018 |
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 | 14 | 2019 |
Verifying neural networks against backdoor attacks LH Pham, J Sun International Conference on Computer Aided Verification, 171-192, 2022 | 10 | 2022 |
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 | 5 | 2019 |
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 | 5 | 2017 |
SOCRATES: towards a unified platform for neural network verification. CoRR abs/2007.11206 (2020) LH Pham, J Li, J Sun | 4 | 2007 |
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 | 3 | 2023 |
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 | 3 | 2014 |
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 | 2 | 2022 |
SOCRATES: Towards a Unified Platform for Neural Network Analysis LH Pham, J Li, J Sun arXiv preprint arXiv:2007.11206, 2020 | 2 | 2020 |
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 | 1 | 2023 |
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification TD Nguyen, LH Pham, J Sun arXiv preprint arXiv:2307.02289, 2023 | 1 | 2023 |
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 |