| 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 | 331 | 2020 |
| Causality-based neural network repair B Sun, J Sun, LH Pham, J Shi Proceedings of the 44th International Conference on Software Engineering …, 2022 | 88 | 2022 |
| A 34 MB/s MLC write throughput 16 Gb NAND with all bit line architecture on 56 nm technology RA Cernea, L Pham, F Moogat, S Chan, B Le, Y Li, S Tsao, TY Tseng, ... IEEE Journal of Solid-State Circuits 44 (1), 186-194, 2008 | 82 | 2008 |
| SGUARD: towards fixing vulnerable smart contracts automatically TD Nguyen, LH Pham, J Sun 2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021 | 79 | 2021 |
| 128Gb 3b/Cell NAND flash memory in 19nm technology with 18MB/s write rate and 400Mb/s toggle mode Y Li, S Lee, K Oowada, H Nguyen, Q Nguyen, N Mokhlesi, C Hsu, J Li, ... 2012 IEEE International Solid-State Circuits Conference, 436-437, 2012 | 62 | 2012 |
| A 34MB/s-program-throughput 16Gb MLC NAND with all-bitline architecture in 56nm R Cernea, L Pham, F Moogat, S Chan, B Le, Y Li, S Tsao, TY Tseng, ... 2008 IEEE International Solid-State Circuits Conference-Digest of Technical …, 2008 | 62 | 2008 |
| Assertion generation through active learning L H. Pham, LL Tran Thi, J Sun Formal Methods and Software Engineering: 19th International Conference on …, 2017 | 28 | 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 | 17 | 2018 |
| Artificial intelligence across europe: A study on awareness, attitude and trust T Scantamburlo, A Cortés, F Foffano, C Barrué, V Distefano, L Pham, ... IEEE Transactions on Artificial Intelligence, 2024 | 15 | 2024 |
| 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 | 11 | 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 |
| 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 | 4 | 2023 |
| Vitamin D and bone mineral density status and their correlation with bone turnover markers in healthy children aged 6–14 in Vietnam P Nguyen, L Pham, K Nguyen, DP Nguyen, HD Nguyen, NV Lai Curr Pediatr Res 24 (3), 204-209, 2020 | 4 | 2020 |
| SOCRATES: towards a unified platform for neural network verification. CoRR abs/2007.11206 (2020) LH Pham, J Li, J Sun | 4 | 2007 |
| Addressing Digital and AI Skills Gaps in European Living Areas: A Comparative Analysis of Small and Large Communities L Pham, B O'Sullivan, T Scantamburlo, T Mai Proceedings of the AAAI Conference on Artificial Intelligence 38 (21), 23119 …, 2024 | 3 | 2024 |
| SOCRATES: Towards a unified platform for neural network analysis LH Pham, J Li, J Sun arXiv preprint arXiv:2007.11206, 2020 | 3 | 2020 |
| 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 | 3 | 2017 |
| 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 |
