Software verification and testing, software evolution, program analysis, and formal methods.

Transcription

1 GUOWEI YANG Assistant Professor Department of Computer Science Texas State University 601 University Drive, San Marcos, TX (512) RESEARCH INTERESTS Software verification and testing, software evolution, program analysis, and formal methods. EDUCATION 08/09-08/13 University of Texas at Austin Austin, TX Ph.D. in Software Engineering Thesis: Enhancing Symbolic Execution Using Memoization and Incremental Techniques 08/07-08/09 University of Nebraska - Lincoln Lincoln, NE M.S. in Computer Science, August 2009 Thesis: Regression Model Checking 09/04-07/07 Institute of Software, Chinese Academy of Sciences Beijing, China M.E. in Computer Software and Theory, July 2007 Thesis: Research and Implementation of Process Algebra Based Software Process Modeling System 09/00-07/04 Harbin Institute of Technology Harbin, China B.E. in Software Engineering, July 2004 PROFESSIONAL EXPERIENCE 09/13 - Present Assistant Professor, Department of Computer Science, Texas State University 05/13-08/13 Mentor, Google Summer of Code 2014, Google 01/13-05/13 Research Contractor, Fujitsu Laboratories of America 09/12-12/12 Research Intern, Fujitsu Laboratories of America 07/12-08/12 Visiting Researcher, NASA Langley Research Center/National Institute of Aerospace 08/10-07/12 Graduate Research Assistant, University of Texas at Austin 06/10-07/10 Research Intern, NASA Ames Research Center 05/08-08/09 Graduate Research Assistant, University of Nebraska - Lincoln PUBLICATIONS ICSE 2015 JPF 2014 [1] Compositional Symbolic Execution with Memoized Replay Rui Qiu, Guowei Yang, Corina S. Pasareanu, and Sarfraz Khurshid 37th International Conference on Software Engineering (ICSE), Firenze, Italy, May 2015 [2] Verification of Architectural Constraints on Sequences of Method Invocations GUOWEI YANG, CURRICULUM VITAE, PAGE 1 OF 5

2 TOSEM 2014 ISSTA 2014 ICSE 2014 JPF 2013 PhD Thesis 2013 ICSE 2013 FM 2012 ISSTA 2012 ASE 2011 PLDI 2011 Master s Thesis 2009 ICSM 2009 CED 2008 CED 2008 ICSP 2007 Stuart Siroky, Rodion Podorozhny, and Guowei Yang The Java PathFinder Workshop 2014 (JPF), Salt Lake City, USA, November [3] Directed Incremental Symbolic Execution Guowei Yang, Suzette Person, Neha Rungta, and Sarfraz Khurshid ACM Transactions on Software Engineering and Methodology (ACM TOSEM), Volume 24 Issue 1, Article No. 3, September [4] Feedback-Driven Dynamic Invariant Discovery Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid International Symposium on Software Testing and Analysis (ISSTA), pages , Bay Area, California, July (Nominated for ACM SIGSOFT Distinguished Paper Award) [5] Property Differencing for Incremental Checking Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta 36th International Conference on Software Engineering (ICSE), Hyderabad, India, June 2014 [6] Invariant Discovery Guided by Symbolic Execution Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid The Java PathFinder Workshop 2013 (JPF), Palo Alto, CA, November [7] Enhancing Symbolic Execution Using Memoization and Incremental Techniques Guowei Yang PhD thesis, University of Texas at Austin, Austin, TX, August [8] Memoise: A Tool for Memoized Symbolic Execution Guowei Yang, Sarfraz Khurshid, and Corina S. Pasareanu 35th International Conference on Software Engineering (ICSE), Formal Demonstrations Track, San Francisco, CA, May 2013 [9] Specification-based Test Repair Using a Lightweight Formal Method Guowei Yang, Sarfraz Khurshid, and Miryung Kim 18th International Symposium on Formal Methods (FM), Cnam Paris, France, August [10] Memoized Symbolic Execution Guowei Yang, Corina S. Pasareanu, and Sarfraz Khurshid International Symposium on Software Testing and Analysis (ISSTA), Minneapolis, MN, July [11] TestEra: A Tool for Testing Java Programs Using Alloy Specifications Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, and Sarfraz Khurshid 26th IEEE/ACM International Conference On Automated Software Engineering (ASE), Tool Demonstration Track, Lawrence, KS, November [12] Directed Incremental Symbolic Execution Suzette Person, Guowei Yang, Neha Rungta, and Sarfraz Khurshid 32nd ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI), San Jose, California, June [13] Regression Model Checking Guowei Yang Master s thesis, University of Nebraska-Lincoln, Lincoln, NE, August [14] Regression Model Checking Guowei Yang, Matthew B. Dwyer, and Gregg Rothermel 25th International Conference on Software Maintenance (ICSM), Edmonton, Canada, September [15] Design and Implementation of Algebra-based Software Process Modeling System Guowei Yang, Qiusong Yang, Jian Zhai, and Feng Yuan Computer Engineering and Design, vol. 29, no. 3, pp , February (in Chinese) [16] Applying Statistical Process Control to Monitor Software Testing Process Meiru Che, Guowei Yang, Lang Gou, and Nan Jiang Computer Engineering and Design, vol. 29, no. 3, pp , February (in Chinese) [17] An Algebraic Approach for Managing Inconsistencies in Software Processes GUOWEI YANG, CURRICULUM VITAE, PAGE 2 OF 5

3 SPW/Prosim 2006 Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, and Yun Yang International Conference on Software Processes (ICSP), Minneapolis, MN, May 2007 [18] On Mobility of Software Processes Mingshu Li, Qiusong Yang, Jian Zhai, and Guowei Yang Software Process Workshop and Workshop on Software Process Simulation and Modeling (SPW/ProSim), Shanghai, China, May 2006 PROFESSIONAL PRESENTATIONS 06/14 [1] Memoized Symbolic Execution 07/14 [2] Feedback-Driven Dynamic Invariant Discovery Presented at ISSTA 2014, San Jose, CA. 06/14 [3] Property Differencing for Incremental Checking Presented at ICSE 2014, Hyderabad, India. 05/13 [4] Memoise: A Tool for Memoized Symbolic Execution Presented at ICSE 2013, San Francisco, CA. 03/13 [5] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at Northeastern University, Boston, MA. 03/13 [6] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at Temple University, Philadelphia, PA. 03/13 [7] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at Texas State University, San Marcos, TX. 03/13 [8] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at Oakland University, Rochester, MI. 02/13 [9] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at University of Texas, San Antonio, TX. 02/13 [10] Scaling Systematic Checking Using Incremental and Memoization Techniques Presented at Boise State University, Boise, ID. 08/12 [11] Memoized Symbolic Execution Presented at NASA Langley Research Center, Hampton, VA. 08/12 [12] Memoized Symbolic Execution Presented at ISSTA 2012, Minneapolis, MN. 03/12 [13] History-Aware Data Structure Repair Using SAT Presented at TACAS 2012, Tallinn, Estonia. 03/12 [14] Staged Symbolic Execution Presented at SAC 2012, Trento, Italy. 06/11 [15] Directed Incremental Symbolic Execution 06/11 [16] Directed Incremental Symbolic Execution Presented at PLDI 2011, San Jose, CA. 09/10 [17] Regression Model Checking Guest Lecture, Professor Sarfraz Khurshid s course on Verification and Validation of Software, Austin, TX. 04/10 [18] Regression Model Checking GUOWEI YANG, CURRICULUM VITAE, PAGE 3 OF 5

4 HONORS AND AWARDS 04/13 ACM SIGSOFT Travel Grant ACM SIGSOFT 07/12 NATO Advanced Study Institute Grant North Atlantic Treaty Organization (NATO) 08/07-05/09 Dohrmann Fellowship University of Nebraska-Lincoln 06/04 Honor Graduate of Heilongjiang Province Heilongjiang, China 12/01-12/03 Excellent Student of Harbin Institute of Technology (3 times) Harbin, China 03/01-09/03 People s Scholarship, the first prize (4 times) Harbin, China TEACHING Fall 2014 Spring 2014 Spring 2014 Fall 2013 CS 5393: Software Quality CS 4379A: Software Testing CS 5392: Formal Methods in Software Engineering CS 5393: Software Quality PROFESSIONAL ACTIVITIES 2016 Organizing Committee Member, The 38th International Conference on Software Engineering (ICSE) 2015 Program Committee Member, The 27th International Conference on Software Engineering and Knowledge Engineering (SEKE) 2015 Program Committee Member, The First International Conference on Advances and Trends in Software Engineering (SOFTENG) 2014 Program Committee Member, The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE) 2014 Program Committee Member, The Java Pathfinder Workshop Reviewer, IEEE Transactions on Software Engineering (TSE) 2014 Reviewer, Automated Software Engineering (ASE) 2013 Reviewer, Advances in Intelligent and Soft Computing (AISC) 2013 Reviewer, Automated Software Engineering (ASE) 2013 Program Committee Member, The Java Pathfinder Workshop Mentor, Google Summer of Code Reviewer, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2013 Reviewer, Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST) 2013 Reviewer, 28th Symposium On Applied Computing, Software Verification and Testing (SAC-SVT) 2012 Reviewer, 20th International Symposium on the Foundations of Software Engineering (FSE-20) 2012 Reviewer, Third International Conference on Runtime Verification (RV) 2012 Reviewer, 27th IEEE/ACM International Conference On Automated Software Engineering (ASE) 2012 Reviewer, 18th International Symposium on Formal Methods (FM) 2012 Reviewer, Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST) 2011 Reviewer, 26th IEEE/ACM International Conference On Automated Software Engineering (ASE) GUOWEI YANG, CURRICULUM VITAE, PAGE 4 OF 5

5 2011 Reviewer, International Symposium on Software Testing and Analysis (ISSTA) 2011 Reviewer, 9th International Symposium on Automated Technology for Verification and Analysis (ATVA) 2011 Reviewer, 17th International Symposium on Formal Methods (FM) 2011 Reviewer, 3rd NASA Formal Methods Symposium (NFM) 2011 Reviewer, 3rd Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA) 2012-present 2010-present 2009-present Member, Institute of Electrical and Electronics Engineers (IEEE) Member, Association for Computing Machinery (ACM) Member, ACM Special Interest Group on Software Engineering (SIGSOFT) UNIVERSITY SERVICE ACTIVITIES 2014-present 2013-present Computer Science Department Programming Contest Committee, Texas State University Computer Science Department Library Committee, Texas State University GUOWEI YANG, CURRICULUM VITAE, PAGE 5 OF 5