ThanhVu Nguyen

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 45

Top Topics

Dynamic Analysis

Recursive Programs

Computationally Feasible

Top Venues

ICSE (Companion Volume)

Publications

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. CoRR (2024)
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen
The Challenges of Shift Left Static Analysis. ICSE-SEIP (2023)
Tung Dao, Na Meng, ThanhVu Nguyen
Triggering Modes in Spectrum-Based Multi-location Fault Localization. ESEC/SIGSOFT FSE (2023)
Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan
Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data. Proc. ACM Manag. Data 1 (1) (2023)
Linhan Li, ThanhVu Nguyen
COOLIO: A Language Support Extension for the Classroom Object Oriented Language. CoRR (2023)
Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. CoRR (2023)
Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR (2023)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. ICSE-Companion (2022)
KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan
Analyzing the CMake Build System. ICSE (SEIP) (2022)
ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer
Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. 48 (10) (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
ThanhVu Nguyen, KimHao Nguyen, Hai Duong
SymInfer: Inferring Numerical Invariants using Symbolic States. ICSE-Companion (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Inferring Configuration Interactions using Decision Trees. ASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Using Decision Trees to Learn Interactions for Configurable Software. CoRR (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
KimHao Nguyen, ThanhVu Nguyen
Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
KimHao Nguyen, ThanhVu Nguyen
GenTree: Using Decision Trees to Learn Interactions for Configurable Software. ICSE (2021)
Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
DynamiTe: dynamic termination and non-termination proofs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
DynamiTe: Dynamic Termination and Non-termination Proofs. CoRR (2020)
Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
Debugging Declarative Models in Alloy. ICSME (2020)
ThanhVu Nguyen, KimHao Nguyen
Using Symbolic Execution to Analyze Linux KBuild Makefiles. ICSME (2020)
ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
iGen: Dynamic Interaction Inference for Configurable Software. CoRR (2019)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR (2019)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. CoRR (2019)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR (2019)
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
A Counterexample-guided Approach to Finding Numerical Invariants. CoRR (2019)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: Inferring Program Invariants using Symbolic States. CoRR (2019)
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
SLING: using dynamic analysis to infer program invariants in separation logic. PLDI (2019)
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
Localizing configurations in highly-configurable systems. SPLC (2018)
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) (2017)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: inferring program invariants using symbolic states. ASE (2017)
ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
Counterexample-guided approach to finding numerical invariants. ESEC/SIGSOFT FSE (2017)
ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
iGen: dynamic interaction inference for configurable software. SIGSOFT FSE (2016)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using dynamic analysis to generate disjunctive invariants. ICSE (2014)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics (2013)
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng. 38 (1) (2012)
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
Using dynamic analysis to discover polynomial and array invariants. ICSE (2012)
Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
Automatic program repair with evolutionary computation. Commun. ACM 53 (5) (2010)
Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues
A genetic programming approach to automated software repair. GECCO (2009)
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest
Automatically finding patches using genetic programming. ICSE (2009)
ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest
Using Execution Paths to Evolve Software Patches. ICST Workshops (2009)