conf.researchr.org / ThanhVu Nguyen
Registered user since Wed 19 Jul 2017
Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Personal website: https://roars.dev
Research interests:Software Engineering, Formal Methods, Software Verification, Neural Network Verification
Contributions
2025
ISSTA
2024
ESEC/FSE
2023
2022
ASE
- Author of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Research Papers-track
- Session Chair of Technical Session 27 - Dynamic and Concolic Analysis (part of Research Papers)
- Author of Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Artifact Evaluation-track
ISSTA
ICSE
- Author of Analyzing the CMake Build System within the SEIP - Software Engineering in Practice-track
- Proceedings Co-Chair in Organizing Committee
- Author of SymInfer: Inferring Numerical Invariants using Symbolic States within the DEMO - Demonstrations-track
- Author of Toward the Analysis of Graph Neural Network within the NIER - New Ideas and Emerging Results-track
- Author of Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs within the DEMO - Demonstrations-track
2021
ASE
- Author of BeAFix: An Automated Repair Tool for Faulty Alloy Models within the Tool Demonstrations-track
- Author of FLACK: Localizing Faults in Alloy Models within the Tool Demonstrations-track
- Author of GenTree: Inferring Configuration Interactions using Decision Trees within the Tool Demonstrations-track
SPLASH
ICSE
- Author of Bounded Exhaustive Search of Alloy Specification Repairs within the Technical Track-track
- Author of FLACK: Counterexample-Guided Fault Localization for Alloy Models within the Technical Track-track
- Author of Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models" within the AE - Artifact Evaluation-track
- Author of Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software" within the AE - Artifact Evaluation-track
- Author of GenTree: Using Decision Trees to Learn Interactions for Configurable Software within the Technical Track-track
- Author of Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs within the AE - Artifact Evaluation-track