ThanhVu's Publications


Conferences

ThanhVu Nguyen, Matthew Dwyer, and William Visser. SymInfer: Inferring Program Invariants using Symbolic States. In Automated Software Engineering (ASE), page to appear. IEEE, 2017. [ bib | Code | Slides | Paper | Abstract ]

ThanhVu Nguyen, Timos Antopoulos, Andrew Ruef, and Michael Hicks. A Counterexample-guided Approach to Finding Numerical Invariants. In Foundations of Software Engineering (FSE), pages 605--615. ACM, 2017. [ bib | Code | Slides | Paper | Abstract ]

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest. Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 301--318. Springer, 2017. [ bib | Code | Slides | Paper | Abstract ]

Complete proofs appear in the technical report version at https://cse-apps.unl.edu/facdb/publications/TR-UNL-CSE-2016-0005.pdf

ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, and Adam A. Porter. iGen: Dynamic Interaction Inference for Configurable Software. In Foundations of Software Engineering (FSE), pages 655--665. ACM, 2016. [ bib | Code | Slides | Paper | Abstract ]

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest. Using Dynamic Analysis to Generate Disjunctive Invariants. In International Conference on Software Engineering (ICSE), pages 608--619. IEEE, 2014. [ bib | Code | Slides | Paper | Abstract ]

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest. Using Dynamic Analysis to Discover Polynomial and Array Invariants. In International Conference on Software Engineering (ICSE), pages 683--693. IEEE, 2012. [ bib | Code | Slides | Paper | Abstract ]

ACM SIGSOFT Distinguished Paper

Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. Automatically Finding Patches Using Genetic Programming. In International Conference on Software Engineering (ICSE), pages 364--367. IEEE, 2009. [ bib | Code | Paper | Abstract ]

ACM SIGSOFT Distinguished Paper and Manfred Paul Award for Excellence in Software: Theory and Practice

Stephanie Forrest, Westley Weimer, ThanhVu Nguyen, and Claire Le Goues. A Genetic Programming Approach to Automated Software Repair. In Conference on Genetic and Evolutionary Computation (GECCO), pages 947--954. ACM, 2009. [ bib | Paper | Abstract ]

Best Paper in the Genetic Programming Track

ThanhVu Nguyen, Westley Weimer, Claire Le Goues, and Stephanie Forrest. Using Execution Paths to Evolve Software Patches. In International Conference on Software Testing, Verification and Validation Workshops (ICST), pages 152--153. IEEE, 2009. [ bib | Slides | Paper | Abstract ]

Best Short Paper and Best Presentation

Thang Bui, ThanhVu Nguyen, and Joseph Rizzo Jr. Parallel Shared Memory Strategies For Ant-based Optimization Algorithms. In Conference on Genetic and Evolutionary Computation (GECCO), pages 1--8. ACM, 2009. [ bib | Code | Slides | Paper | Abstract ]

Best Paper in the Ant Colony Optimization and Swarm Intelligence track

James Smith, III and ThanhVu Nguyen. Fuzzy Decision Trees for Planning and Autonomous Control of a Coordinated Team of UAVs. In International Society for Optical Engineering. SPIE, May 2007. [ bib | Paper | Abstract ]

G Viamontes, M Amduka, J Russo, Craven M, and T Nguyen. Efficient Memoization Strategies for Object Recognition with a Multi-Core Architecture. In Annual High Performance Embedded Computing Workshop (HPEC). IEEE, 2007. [ bib | Paper ]

Outstanding Submission

James Smith, III and ThanhVu Nguyen. Genetic Program based Data Mining of Fuzzy Decision Trees and Methods of Improving Convergence and Reducing Bloat. In International Society for Optical Engineering. SPIE, 2007. [ bib | Paper | Abstract ]

Thang Bui and ThanhVu Nguyen. An Agent-based Algorithm for Generalized Graph Colorings. In Conference on Genetic and Evolutionary Computation (GECCO), pages 19--26. ACM, 2006. [ bib | Code | Slides | Paper | Abstract ]

Erdos number: 4 (through Thang N. Bui)

James Smith, III and ThanhVu Nguyen. Guiding Genetic Program Based Data Mining Using Fuzzy Rules. In Intelligent Data Engineering and Automated Learning (IDEAL), pages 1337--1345. Springer, 2006. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Evolutionary Data Mining Approach to Creating Digital Logic. In International Conference on Informatics in Control Automation and Robotics (ICINCO), pages 107--113. Springer, 2006. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Fuzzy Logic Based UAV Allocation and Coordination. In International Conference on Informatics in Control Automation and Robotics (ICINCO), pages 81--94. Springer, 2006. [ bib | Paper | Abstract ]

Best Paper

James Smith, III and ThanhVu Nguyen. Fuzzy Logic Based Resource Manager for a Team of UAVs. In Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), pages 463--470. IEEE, 2006. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Creating Fuzzy Decision Algorithms Using Genetic Program Based Data Mining Program. In Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), pages 471--477. IEEE, 2006. [ bib | Paper ]

James Smith, III and ThanhVu Nguyen. Resource Manager for an Autonomous Coordinated Team of UAVs. In International Society for Optical Engineering, pages 118--129. SPIE, 2006. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Genetic Program based Data Mining to Reverse Engineer Digital Logic. In International Society for Optical Engineering, pages 24--35. SPIE, 2006. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Distributed Autonomous Systems: Resource Management, Planning, and Control Algorithms. In International Society for Optical Engineering, pages 65--76. SPIE, 2005. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Data Mining based Automated Reverse Engineering and Defect Discovery. In International Society for Optical Engineering, pages 232--242. SPIE, 2005. [ bib | Paper | Abstract ]

Journals

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest. DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. Transactions on Software Engineering Methodology (TOSEM), 23(4):30:1--30:30, 2014. [ bib | Code | Paper | Abstract ]

Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, and ThanhVu Nguyen. Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In Automated Reasoning and Mathematics: Essays in Memory of William W. McCune, volume 7788, pages 189--228. Springer, 2013. [ bib | Paper | Abstract ]

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. GenProg: A Generic Method for Automated Software Repair. Transactions on Software Engineering (TSE), 38(1):54--72, 2012. [ bib | Code | Paper | Abstract ]

Westley Weimer, Stephanie Forrest, Claire Le Goues, and ThanhVu Nguyen. Automatic Program Repair with Evolutionary Computation. Communications of the ACM (CACM), 53(5):109--116, 2010. [ bib | Code | Paper | Abstract ]

Research Highlight

Thang Bui, ThanhVu Nguyen, Chirag Patel, and Kim-Anh Phan. An Ant-based Algorithm for Coloring Graphs. Discrete Applied Mathematics, 156(2):190--200, 2008. [ bib | Paper | Abstract ]

James Smith, III and ThanhVu Nguyen. Autonomous and Cooperative Robotic Behavior Based on Fuzzy Logic and Genetic Programming. Integrated Computer-Aided Engineering, 14(2):141--159, 2007. [ bib | Paper | Abstract ]

Others

ThanhVu Nguyen. Automating Program Verification and Repair Using Invariant Analysis and Test-input Generation. PhD thesis, University of New Mexico, August 2014. [ bib | Code | Slides | Paper | Abstract ]

ThanhVu Nguyen. On the Graph Coloring Problem and Its Generalizations. Master's thesis, The Pennsylvania State University, December 2006. [ bib | Code | Slides | Paper | Abstract ]


This page is generated using bibtex2html and this script

homepage