ThanhVu Nguyen

64 papers A* 13A 4B 1Journal 28Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Verifying DNN-based Semantic Communication Against Generative Adversarial Noise. CoRR Thanh Le, Hai Duong, ThanhVu Nguyen, Takeshi Matsumura
2025	—	`conf`	AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants. NIER@ICSE Long Doan, ThanhVu Nguyen
2025	—	`conf`	Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. ISSTA Companion Stefania Piciorea, ThanhVu Nguyen
2025	—	`conf`	COOLer: A Language Support Extension for COOL in VS Code. ISSTA Companion Linhan Li, ThanhVu Nguyen
2025	A*	`conf`	Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks. ASE Linhan Li, ThanhVu Nguyen
2025	J	`jnl`	FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler. CoRR Thanh Le, Hai Duong, Yusheng Ji, ThanhVu Nguyen, John C. S. Lui
2025	—	`conf`	NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. CAV (2) Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer
2025	—	`conf`	NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution). SAIV Hai Duong, ThanhVu Nguyen
2025	J	`jnl`	The Evolution of Automated Software Repair. IEEE Trans. Software Eng. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
2024	J	`jnl`	Harnessing Neuron Stability to Improve DNN Verification. CoRR Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024	J	`jnl`	Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024	J	`jnl`	Learning Randomized Reductions and Program Properties. CoRR Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac
2023	J	`jnl`	A DPLL(T) Framework for Verifying Deep Neural Networks. CoRR Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
2023	J	`jnl`	COOLIO: A Language Support Extension for the Classroom Object Oriented Language. CoRR Linhan Li, ThanhVu Nguyen
2023	J	`jnl`	DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. CoRR Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen
2023	J	`jnl`	Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data. Proc. ACM Manag. Data Guangjing Wang, Nikolay Ivanov, Bocheng Chen, Qi Wang, ThanhVu Nguyen, Qiben Yan
2023	—	`conf`	The Challenges of Shift Left Static Analysis. ICSE-SEIP Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen
2023	—	`conf`	Triggering Modes in Spectrum-Based Multi-location Fault Localization. ESEC/SIGSOFT FSE Tung Dao, Na Meng, ThanhVu Nguyen
2022	A	`conf`	ATR: template-based repair for Alloy specifications. ISSTA Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
2022	—	`conf`	Analyzing the CMake Build System. ICSE (SEIP) KimHao Nguyen, ThanhVu Nguyen, Quoc-Sang Phan
2022	—	`conf`	Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. ICSE-Companion Didier Ishimwe, ThanhVu Nguyen, KimHao Nguyen
2022	A*	`conf`	ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2022	—	`conf`	SymInfer: Inferring Numerical Invariants using Symbolic States. ICSE-Companion ThanhVu Nguyen, KimHao Nguyen, Hai Duong
2022	J	`jnl`	Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng. ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer
2021	—	`conf`	Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". ICSE (Companion Volume) KimHao Nguyen, ThanhVu Nguyen
2021	—	`conf`	Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021	—	`conf`	Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021	A*	`conf`	BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021	A*	`conf`	Bounded Exhaustive Search of Alloy Specification Repairs. ICSE Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021	J	`jnl`	Bounded Exhaustive Search of Alloy Specification Repairs. CoRR Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021	J	`jnl`	Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. Proc. ACM Program. Lang. Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen
2021	A*	`conf`	FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021	J	`jnl`	FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021	A*	`conf`	FLACK: Localizing Faults in Alloy Models. ASE Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021	A*	`conf`	GenTree: Inferring Configuration Interactions using Decision Trees. ASE KimHao Nguyen, ThanhVu Nguyen
2021	A*	`conf`	GenTree: Using Decision Trees to Learn Interactions for Configurable Software. ICSE KimHao Nguyen, ThanhVu Nguyen
2021	J	`jnl`	GenTree: Using Decision Trees to Learn Interactions for Configurable Software. CoRR KimHao Nguyen, ThanhVu Nguyen
2020	A	`conf`	Debugging Declarative Models in Alloy. ICSME Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
2020	J	`jnl`	DynamiTe: Dynamic Termination and Non-termination Proofs. CoRR Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
2020	J	`jnl`	DynamiTe: dynamic termination and non-termination proofs. Proc. ACM Program. Lang. Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen
2020	A	`conf`	Using Symbolic Execution to Analyze Linux KBuild Makefiles. ICSME ThanhVu Nguyen, KimHao Nguyen
2019	J	`jnl`	A Counterexample-guided Approach to Finding Numerical Invariants. CoRR ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2019	J	`jnl`	Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. CoRR ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
2019	J	`jnl`	Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2019	J	`jnl`	SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic. CoRR Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
2019	A*	`conf`	SLING: using dynamic analysis to infer program invariants in separation logic. PLDI Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
2019	J	`jnl`	SymInfer: Inferring Program Invariants using Symbolic States. CoRR ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2019	J	`jnl`	Using Dynamic Analysis to Generate Disjunctive Invariants. CoRR ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2019	J	`jnl`	iGen: Dynamic Interaction Inference for Configurable Software. CoRR ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
2018	J	`jnl`	Automatic Data Structure Repair usingSeparation Logic. ACM SIGSOFT Softw. Eng. Notes Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan
2018	B	`conf`	Localizing configurations in highly-configurable systems. SPLC Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
2017	—	`conf`	Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. TACAS (1) ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
2017	—	`conf`	Counterexample-guided approach to finding numerical invariants. ESEC/SIGSOFT FSE ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks
2017	A*	`conf`	SymInfer: inferring program invariants using symbolic states. ASE ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2016	—	`conf`	iGen: dynamic interaction inference for configurable software. SIGSOFT FSE ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter
2014	J	`jnl`	DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. ACM Trans. Softw. Eng. Methodol. ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2014	A*	`conf`	Using dynamic analysis to generate disjunctive invariants. ICSE ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2013	—	`conf`	Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
2012	J	`jnl`	GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Software Eng. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
2012	A*	`conf`	Using dynamic analysis to discover polynomial and array invariants. ICSE ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest
2010	J	`jnl`	Automatic program repair with evolutionary computation. Commun. ACM Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
2009	A	`conf`	A genetic programming approach to automated software repair. GECCO Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues
2009	A*	`conf`	Automatically finding patches using genetic programming. ICSE Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest
2009	—	`conf`	Using Execution Paths to Evolve Software Patches. ICST Workshops ThanhVu Nguyen, Westley Weimer, Claire Le Goues, Stephanie Forrest