Pham Hong Long
Cited by
Cited by
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
Universities in Vietnam: Legacies, challenges and prospects
LH Pham, GW Fry
Asian universities: Historical perspectives and contemporary challenges, 301-332, 2004
Ketogenic diet prevents cardiac arrest-induced cerebral ischemic neurodegeneration
KK Tai, N Nguyen, L Pham, DD Truong
Journal of Neural Transmission 115, 1011-1017, 2008
Roles for negative cell regulator 14-3-3σ in control of MDM2 activities
HY Yang, YY Wen, YL Lin, L Pham, CH Su, H Yang, J Chen, MH Lee
Oncogene 26 (52), 7355-7362, 2007
Dental functional status in a Southern Vietnamese adult population-an analysis by a combined quantitative and qualitative classification system
TC Nguyen, DJ Witter, EM Bronkhorst, LH Pham, NHJ Creugers
An epidemiological study on oral function in Southern Vietnam 53, 2011
SGUARD: towards fixing vulnerable smart contracts automatically
TD Nguyen, LH Pham, J Sun
2021 IEEE Symposium on Security and Privacy (SP), 1215-1229, 2021
Idebenone induces apoptotic cell death in the human dopaminergic neuroblastoma SHSY-5Y cells
KK Tai, L Pham, DD Truong
Neurotoxicity research 20, 321-328, 2011
Top management support, organizational learning, innovative behavior, employee commitment and organizational performance of manufacturing companies in Hai Phong
TK Pham, CH Pham, L Pham
International Journal of Financial Research 7 (3), 54-64, 2016
Job stress, involvement, satisfaction and performance of employees in garment 10 corporation in Vietnam
VD Than, CH Pham, L Pham
International Journal of Financial Research 7 (3), 96-109, 2016
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
Total quality management and financial performance of construction companies in Ha Noi
AD Nguyen, CH Pham, L Pham
International Journal of Financial Research 7 (3), 41-53, 2016
Tourism students’ motivational orientations: the case of Vietnam
CN Buzinde, CA Vogt, KL Andereck, LH Pham, LT Ngo, HH Do
Asia Pacific Journal of Tourism Research 23 (1), 68-78, 2018
Assertion generation through active learning
L H. Pham, LL Tran Thi, J Sun
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Causality-based neural network repair
B Sun, J Sun, LH Pham, J Shi
Proceedings of the 44th International Conference on Software Engineering …, 2022
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
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
The competitive advantages of Vietnam footwear industry: An analysis
XTT Phan, CH Pham, L Pham
International Journal of Financial Research 7 (3), 65-80, 2016
Governance and management of protected areas in Vietnam: nature-based tourism in mountain areas
HT Bui, LH Pham, TE Jones
Nature-based tourism in Asia’s mountainous protected areas: a trans-regional …, 2021
Intracisternal administration of glibenclamide or 5-hydroxydecanoate does not reverse the neuroprotective effect of ketogenic diet against ischemic brain injury-induced …
KK Tai, L Pham, DD Truong
Brain Injury 23 (13-14), 1081-1088, 2009
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
The system can't perform the operation now. Try again later.
Articles 1–20