Skip to content


Google Scholar

Peer-Reviewed Papers (Conference / Journal)


Bold Conference/Journal names: full research paper at top SE/PL journals (e.g., TSE, TOSEM, OOPSLA) and conferences (e.g., ICSE, FSE, PLDI according to csrankings).

  • KimHao Nguyen and ThanhVu Nguyen. GenTree: Using Decision Trees to Learn Interactions for Configurable Software. International Conference on Software Engineering (ICSE), pages 1598--1609, 2021. [pdf, code]
  • KimHao Nguyen and ThanhVu Nguyen. GenTree: Inferring Configuration Interactions using Decision Trees (Tool Demonstration), Automated Software Engineering (ASE), accepted, 2021.
  • Didier Ishimwe, KimHao Nguyen, and ThanhVu Nguyen. Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations, Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), accepted, 2021.
  • ThanhVu Nguyen and KimHao Nguyen. Using Symbolic Execution to Analyze Linux KBuild Makefiles. International Conference on Software Maintenance and Evolution, New Ideas and Emerging Results (ICSME NIER), pages 712--716, 2020. [pdf]