Events Calendar

CS Colloquium: Tien Nguyen (Iowa State University) -Program Analysis and Large-scale Code Mining for Software Quality

Speaker: Tien Nguyen, Iowa State University

Talk Title: Program Analysis and Large-scale Code Mining for Software Quality

Series: CS Colloquium

Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium

Detecting and fixing software defects are important in developing reliable and high-quality software systems. Software defects are so prevalent and detrimental that they cost the US economy an estimated $59 billion annually. In this talk, I will present my research that develops advanced program analysis methods in combination with large-scale code mining and software analytics to support developers in the process of software maintenance, detecting and fixing software defects. I will present our cross-stage, variability-aware program analysis infrastructure for dynamic Web applications to support the detection and debugging of software defects in web development. The advanced techniques include output-oriented symbolic execution, variability-aware web code analysis, and multi-language, embedded code analysis. I will also present an integrated approach between program analysis and statistical learning to mine from a large-scale code repository infrastructure to support important software engineering tasks including inferring and checking the specifications of software libraries, migrating code from one platform in a programming language to another, and detecting software vulnerabilities in API usages with pattern mining and anomaly detection.

Biography: Dr. Tien N. Nguyen is currently an Associate Professor in both Electrical and Computer Engineering Department and Computer Science Department at Iowa State University (ISU). He is currently serving as the Chair of Software Systems Area. Since joining ISU in 2005, his research interests include program analysis, mining large-scale software repositories, and software maintenance and evolution. Since 2009, he has been awarded 3 ACM SIGSOFT Distinguished Paper Awards, one Best Paper Award, and one best ICSE Formal Research Demonstration Award at the top-tier, international software engineering conferences including ICSE, FSE, and ASE. His research has been supported by 14 external grants including 8 NSF grants from US National Science Foundation (PI on 5 of them), and several grants from industry including ABB Software Research Grant Program, Litton Industry, IBM research, and Agile Alliance Academic Program. He will be serving as the Program Co-Chair of the 32nd ACM/IEEE International Conference on Automated Software Engineering (ASE 2017) and the Co-Chair of the Formal Research Demo Track at the 40th International Conference on Software Engineering (ICSE 2018). He has served on Program Committees and Program Boards of top-tier software engineering conferences including ICSE, FSE, ASE, OOPSLA, ECOOP, and ICSME. He also served as the Chair of Formal Research Demo Track at ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010). He was awarded the Litton Professorship Medallion Award from Iowa State University in 2008 for young faculty who exhibits excellent leadership in research and teaching. He is one of the key persons who have first contributed to the ABET-accredited B.Sc. degree program in Software Engineering at ISU.

Host: CS Department

More Info: https://bluejeans.com/514828239

Location: Henry Salvatori Computer Science Center (SAL) - 101

Audiences: Everyone Is Invited

Contact: Assistant to CS chair

Event Link: https://bluejeans.com/514828239