| 2025 | CAV | NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. | Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer |
| 2025 | ICSE | AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants. | Long Doan, ThanhVu Nguyen |
| 2025 | ISSTA | COOLer: A Language Support Extension for COOL in VS Code. | Linhan Li, ThanhVu Nguyen |
| 2025 | ISSTA | Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. | Stefania Piciorea, ThanhVu Nguyen |
| 2025 | SSBSE | LLM-Guided Fuzzing for Pathological Input Generation. | Didier Ishimwe, ThanhVu Nguyen |
| 2023 | ICSE | The Challenges of Shift Left Static Analysis. | Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen |
| 2022 | ICSE | Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. | Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen |
| 2022 | ICSE | SymInfer: Inferring Numerical Invariants using Symbolic States. | ThanhVu Nguyen, KimHao Nguyen, Hai Duong |
| 2022 | ICSE | Analyzing the CMake Build System. | KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan |
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | GenTree: Using Decision Trees to Learn Interactions for Configurable Software. | KimHao Nguyen, ThanhVu Nguyen |
| 2021 | ICSE | Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". | KimHao Nguyen, ThanhVu Nguyen |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2019 | PLDI | SLING: using dynamic analysis to infer program invariants in separation logic. | Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen |
| 2018 | SPLC | Localizing configurations in highly-configurable systems. | Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei |
| 2017 | TACAS | Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. | ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest |
| 2014 | ICSE | Using dynamic analysis to generate disjunctive invariants. | ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest |
| 2012 | ICSE | Using dynamic analysis to discover polynomial and array invariants. | ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest |
| 2009 | GECCO | A genetic programming approach to automated software repair. | Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues |
| 2009 | ICSE | Automatically finding patches using genetic programming. | Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest |
| 2009 | ICST | Using Execution Paths to Evolve Software Patches. | ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest |