ThanhVu Nguyen

According to our database, ThanhVu Nguyen authored at least 54 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Harnessing Neuron Stability to Improve DNN Verification.

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer

Proc. ACM Softw. Eng., 2024

2023

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data.

Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan

Proc. ACM Manag. Data, 2023

A DPLL(T) Framework for Verifying Deep Neural Networks.

Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer

CoRR, 2023

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing.

Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen

CoRR, 2023

COOLIO: A Language Support Extension for the Classroom Object Oriented Language.

Linhan Li, ThanhVu Nguyen

CoRR, 2023

Triggering Modes in Spectrum-Based Multi-location Fault Localization.

Tung Dao, Na Meng, ThanhVu Nguyen

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

The Challenges of Shift Left Static Analysis.

Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Using Symbolic States to Infer Numerical Invariants.

ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer

IEEE Trans. Software Eng., 2022

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Analyzing the CMake Build System.

KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

SymInfer: Inferring Numerical Invariants using Symbolic States.

ThanhVu Nguyen, KimHao Nguyen, Hai Duong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Toward the Analysis of Graph Neural Networks.

Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen, Xuan-Bach Dinh Le, Quyet-Thang Huynh

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.

Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.

Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen

Proc. ACM Program. Lang., 2021

FLACK: Localizing Faults in Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

GenTree: Inferring Configuration Interactions using Decision Trees.

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software".

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

GenTree: Using Decision Trees to Learn Interactions for Configurable Software.

KimHao Nguyen, ThanhVu Nguyen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

DynamiTe: dynamic termination and non-termination proofs.

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen

Proc. ACM Program. Lang., 2020

Debugging Declarative Models in Alloy.

Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Using Symbolic Execution to Analyze Linux KBuild Makefiles.

ThanhVu Nguyen, KimHao Nguyen

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Program synthesis with algebraic library specifications.

Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proc. ACM Program. Lang., 2019

SLING: using dynamic analysis to infer program invariants in separation logic.

Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Automatic Data Structure Repair usingSeparation Logic.

Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan

ACM SIGSOFT Softw. Eng. Notes, 2018

Localizing configurations in highly-configurable systems.

Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

2017

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation.

ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Counterexample-guided approach to finding numerical invariants.

ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

SymInfer: inferring program invariants using symbolic states.

ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

iGen: dynamic interaction inference for configurable software.

ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2014

DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants.

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest

ACM Trans. Softw. Eng. Methodol., 2014

Using dynamic analysis to generate disjunctive invariants.

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.

Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

GenProg: A Generic Method for Automatic Software Repair.

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer

IEEE Trans. Software Eng., 2012

Using dynamic analysis to discover polynomial and array invariants.

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest

Proceedings of the 34th International Conference on Software Engineering, 2012

2010

Automatic program repair with evolutionary computation.

Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen

Commun. ACM, 2010

2009

Using Execution Paths to Evolve Software Patches.

ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Automatically finding patches using genetic programming.

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest

Proceedings of the 31st International Conference on Software Engineering, 2009

A genetic programming approach to automated software repair.

Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Parallel shared memory strategies for ant-based optimization algorithms.

Thang Nguyen Bui, ThanhVu H. Nguyen, Joseph R. Rizzo

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

2008

An ant-based algorithm for coloring graphs.

Thang Nguyen Bui, ThanhVu H. Nguyen, Chirag M. Patel, Kim-Anh T. Phan

Discret. Appl. Math., 2008

2007

Autonomous and cooperative robotic behavior based on fuzzy logic and genetic programming.

James F. Smith III, ThanhVu H. Nguyen

Integr. Comput. Aided Eng., 2007

Genetic program based data mining of fuzzy decision trees and methods of improving convergence and reducing bloat.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the Data Mining, 2007

2006

Guiding Genetic Program Based Data Mining Using Fuzzy Rules.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the Intelligent Data Engineering and Automated Learning, 2006

Evolutionary data mining approach to creating digital logic.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the ICINCO 2006, 2006

Fuzzy logic based UAV allocation and coordination.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the ICINCO 2006, 2006

An agent-based algorithm for generalized graph colorings.

Thang Nguyen Bui, ThanhVu H. Nguyen

Proceedings of the Genetic and Evolutionary Computation Conference, 2006

Genetic program based data mining to reverse engineer digital logic.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the Data Mining, 2006

2005

Data-mining-based automated reverse engineering and defect discovery.

James F. Smith III, ThanhVu H. Nguyen

Proceedings of the Data Mining, 2005