Research

Research interests:

• program analysis/verification
  
• software engineering
  
• smart contract
  
• neuron network
  

Education

• 2015 – 2019: PhD in Computer Science, Singapore University of Technology and Design.
  
• 2012 – 2014: M.Eng. in Computer Science, Hochiminh City University of Technology.
  
• 2007 – 2012: B.Eng. in Computer Science, Hochiminh City University of Technology.
  

Working Experiences

• 9/2019 – now: Research scientist at Singapore Management University.
  
• 9/2018 – 12/2018: Research intern at Fujitsu Laboratories of America, Inc.
  
• 7/2015 – 9/2015: Research assistant at Singapore University of Technology and Design.
  
• 12/2014 – 6/2015: Research assistant at National University of Singapore.
  
• 10/2013 – 12/2014: Intern at National University of Singapore.
  
• 10/2012 – 10/2013: Researcher at Hochiminh City University of Technology.
  

Awards

• 2017: Google Summer Code proposal and repo.
• 2012: Awarded university Silver Medal for high academic achievements in graduation ceremony (2/300 students).
  
• 2007 – 2012: Awarded university scholarship for high academic achievements.
  

Publications

1. Tai D. Nguyen, Long H. Pham, and Jun Sun sGuard: Towards Fixing Vulnerable SmartContracts Automatically. 42nd IEEE Symposium on Security and Privacy (S&P 2021), 2021. pdf.
2. Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, and Quang Tran Minh. sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. 42nd International Conference on Software Engineering (ICSE 2020), South Korea, 2020, pp. 778-788. pdf.
3. Long H. Pham, Jun Sun, and Quang Loc Le. Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. 17th Asian Symposium on Programming Languages and Systems (APLAS 2019), Indonesia, 2019, pp. 405-424. pdf.
4. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, and Jun Sun. Concolic Testing Heap-Manipulating Programs. 23rd International Symposium on Formal Methods (FM 2019), Portugal, 2019, pp. 442-461. pdf.
5. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin. Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Taiwan, 2019, pp. 209-227. pdf.
6. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin. Poster: Testing Heap-Based Programs with Java StarFinder. 40th International Conference on Software Engineering (ICSE 2018), Poster Track, Sweden, 2018, pp. 268-269. pdf.
7. Long H. Pham, Jun Sun, Ly Ly Tran Thi, Jingyi Wang and Xin Peng. Learning Likely Invariants to Explain Why a Program Fails. 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017), Japan, 2017, pp. 70-79. pdf.
8. Long H. Pham, Ly Ly Tran Thi and Jun Sun. Assertion Generation through Active Learning. 19th International Conference on Formal Engineering Methods (ICFEM 2017), China, 2017, pp. 174-191. pdf.
9. Long H. Pham, Ly Ly Tran Thi and Jun Sun. Assertion Generation through Active Learning. 39th International Conference on Software Engineering (ICSE 2017), Poster Track, Argentina, 2017, pp. 155-157. pdf.
10. Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan and Hung Q. Ngo. Assisting Students in Finding Bugs and Their Locations in Programming Solutions. International Journal of Quality Assurance in Engineering and Technology Education (IJQAETE), Volume 3(2), IGI Global, 2014, pp. 12–27. pdf.
11. Long H. Pham, Nam P. Mai, Mai H. Dinh, Tho T. Quan and Hung Q. Ngo. Assisting Students in finding their Own Bugs in Programming Exercises using Verification and Group Testing Techniques. Online Proceedings of the 2nd International Engineering and Technology Education Conference (IETEC 2013), Vietnam, 2013. pdf.
12. Pham Hong Long, Nguyen Hua Phung. Classifying sorting algorithms. Journal of Science and Technology, Special issue on International Conference on Advanced Computing and Applications (ACOMP 2011), Volume 49(4A), Vietnam, 2011, pp. 265–270. pdf.