Tao Xie - Presentations

Slideshare

Keynote Talks

Invited Talks

         2019

  1. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Department of Computer Science and Engineering, Southern University of Science and Technology, May 2019.
  2. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Chicago Chapter ACM / Loyola University Computer Science Department, March 2019. 
  3. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. ACM SIGSOFT Webinar, February 2019.

    2018

  4. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Computing in the 21st Century Conference & Asia Faculty Summit on MSRA’s 20th Anniversary (21CCC 2018), Beijing, China, November 2018.
  5. Mining Textual Software Data. Invited Talk.  Alibaba Workshop on Domain Modeling, Hangzhou, Zhejiang, China, July 2018.
  6. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. School of Computer Science and Technology, Shandong University, China, July 2018.
  7. Construction and Quality Assurance of High-Confidence Intelligence Software. Invited Talk. Global Intelligent Industry Development & IoT Summit, Sub-Forum on AI, Robotics, and Smart Manufacturing, Shaoxing, Zhejiang, China, July 2018.
  8. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Hangzhou International Conference on Frontiers of Data Science, Hangzhou, Zhejiang, China, May 2018.
  9. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Department of Computer Science and Engineering, University of Nevada, Reno, April 2018.
  10. Toward Dependability Assurance of Intelligence Inspired Solutions. STARS Conference: Frontiers in Brain and Neuromorphic Computing, Jinghong, Yunnan, China, April 2018
  11. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. Huawei Midwest Research Summit, Champaign, IL, March 2018.

    2017

  12. Intelligent Software Engineering: Synergy Between AI and Software Engineering. Invited Talk. State Key Laboratory of Software Development Environment, Beihang University, Beijing, China, November 2017.
  13. Intelligent Software Engineering and Engineering Intelligent Software. Invited Talk. Huawei-Illinois Workshop, Champaign, IL, October 2017.
  14. Software Analytics: Data Analytics for Software Engineering and Security. Invited Talk. Department of Computer Science, Virginia Tech, Blacksburg, VA, September 2017.
  15. Planning and Executing Practice-Impactful Research. Invited Talk. Chinese Computer Federation Software Engineering Special Interest Group Young Researcher Forum, Beijing, China, August 2017. [Slides]
  16. User Expectations in Mobile App Security. Invited Talk. IEEE Rochester Section CS/CIS joint Chapters, Rochester Institute of Technology, Rochester, New York, March 2017.
  17. User Expectations in Mobile App Security. Invited Talk. School of Computer Science, Xidian University, Xi'an, China, January 2017.
  18. Synergy between Software Engineering and Big Data & Artificial Intelligence. Invited Talk. Department of Computer and Information Science, University of Macau, Macau, China, January 2017.

    2016

  19. Synergy between Software Engineering and Big Data & Artificial Intelligence. Invited Talk. Software School, Fudan University, Shanghai, China, December 2016.
  20. Impact-Driven Research on Software Testing Tools: Getting Real. Invited Talk. International Symposium on High Confidence Software (ISHCS 2016), Beijing, China, December 2016.
  21. Synergy between Software Testing and Artificial Intelligence. State Key Laboratory for Management and Control of Complex Systems of the Chinese Academy of Sciences, December 2016.
  22. Impact-Driven Research on Software Testing Tools: Getting Real. Invited Talk. Shanghai Computer Software Technology Development Center, Shanghai, December 2016.
  23. User Expectations in Mobile App Security. Invited Talk. School of Computer Science and Technology, University of Science and Technology of China, Hefei, China, November 2016.
  24. User Expectations in Mobile App Security. Invited Talk. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China, November 2016.
  25. Software Engineering for Big Data and (Big) Data for Software Engineering: Achievements and Opportunities. Invited Talk. School of Computer Science, Beijing University of Posts and Telecommunications, Beijing, China, November 2016.
  26. User Expectations in Mobile App Security. State Key Laboratory of Computer Architecture, ICT CAS, Beijing, China, November 2016.
  27. Invited panellist for Panel "The State of Software Engineering Research". 2016 International Symposium on the Foundations of Software Engineering (FSE 2016), Hong Kong, China, November 2016. [Video][Blog]
  28. User Expectations in Mobile App Security. College of Computer Science and Technology, Zhejiang University, Hangzhou, China, July 2016.
  29. User Expectations in Mobile App Security. Invited Talk. Department of Computer Science, University of Central Florida, Orlando, FL, June 2016.
  30. Experience Sharing of Collaborations with Industry. Invited Joint Talk with Yuan Xie. Association of Chinese Scholars in Computing (ACSIC) Webinar series, April 2016. [Video in Chinese]
  31. Hunting for Mobile Malware: Learning and Searching Approaches. Invited Talk. Illinois Cyber Security Scholars Project (ICSSP) Weekly Seminar, Urbana, January 2016.

    2015
  32. Software Engineering for Big Data and (Big) Data for Software Engineering: Achievements and Opportunities. Invited Talk. College of Computer Science and Information Technology, Guangxi Normal University, Guilin, China, December 2015.
  33. Transferring an Automated Test Generation Tool to Practice. Invited Talk. Faculty of Computer & Control, Guilin University of Electronic Technology, Guilin, China, December 2015.
  34. Security Analytics for Mobile Apps. Invited Talk. School of Computer Science and Information Technology, Beijing Jiaotong University, Beijing, China, December 2015.
  35. Text Analytics for Mobile App Security and Beyond. Invited Talk. IEEE Palouse chapter, Washington State University, Pullman, WA, November 2015.
  36. Software Mining and Software Datasets. Invited Tutorial. 2015 NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering, Seattle, WA, October 2015. [Slides]
  37. Expectation Context in Mobile App Security: WHYPER and AppContext. Department of Computer Science, University of Chicago, Chicago, October 2015.
  38. Software Analytics for Incident Management of Online Services. NEC Laboratories America. New Jersey, NJ, August 2015.
  39. Expectation Context in Mobile App Security: WHYPER and AppContext. Invited Talk, School of Software, Fudan University, Shanghai, China, June 2015.
  40. Expectation Context in Mobile App Security: WHYPER and AppContext. Invited Talk, Department of Computer Science, Nanjing University, Nanjing, China, June 2015.
  41. Expectation Context in Mobile App Security: WHYPER and AppContext. Invited Talk, Software Languages Lab, Vrije Universiteit Brussel, Brussel, Belgium, May 2015.
  42. Expectation Context in Mobile App Security: WHYPER and AppContext. Invited Talk, Department of Computer Science, University of California, Santa Barbara, March 2015.
  43. Software Engineering for Big Data and (Big) Data for Software Engineering: Achievements and Opportunities. Invited Talk, School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, Australia, January 2015.

    2014

  44. Improving Software Reliability via Mining Software Engineering Data. Invited Talk, Dalian University of Technology, Dalian, China, November 2014.
  45. Towards Mining Software Repositories Research that Matters. Next Generation of Mining Software Repositories '14 (Pre-FSE 2014 Event), November 2014. [Slides]
  46. Text Analytics for Mobile App Security and Beyond. Invited Talk, Shape Security Inc., Mountain View, August 2014.
  47. Text Analytics for Mobile App Security and Beyond. Invited Talk, School of Software, Fudan University, Shanghai, China, June 2014.
  48. Software Analytics: Data Analytics for Software Engineering. Invited Talk, State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China, May 2014.
  49. Software Analytics: Data Analytics for Software Engineering. Invited Talk, School of Computer Science and Technology, Shandong University, Jinan, China, May 2014.
  50. Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes, Code Digger, and Pex4Fun. Invited Talk, Software Engineering Group, Georgia Institute of Technology, Atlanta, GA, March 2014.
  51. Teaching and Learning Programming and Software Engineering via Interactive Gaming. Invited Talk, ACM Student Chapter, Georgia Institute of Technology, Atlanta, GA, March 2014.
  52. Teaching and Learning Programming and Software Engineering via Interactive Gaming. Invited Talk, Department of Computer Science and Engineering, Penn State University, University Park, PA, February 2014.

    2013

  53. Impact Analysis of Software Technologies. Invited Talk, International Symposium on High Confidence Software (ISHCS 2013), Beijing, China, December 2013.
  54. Automated Developer Testing: Achievements and Challenges. Invited Talk, NSF REU Program, Computer Science Department at East Carolina University, Greenville, NC, June 2013. [Slides]
  55. Automated Developer Testing: Achievements and Challenges. Invited Talk, Triangle Testing and Automation User Group, RTP, NC, May 2013. [Slides]
  56. Improving Software Dependability via Cooperative Testing and Analysis. Invited Talk, Department of Computing, the Open University, Milton Keynes, UK, April 2013.
  57. Improving Software Reliability via Mining Software Engineering Data. Invited Talk, the Computer Science Department, Missouri University of Science and Technology, Rolla, Missouri, IEEE Computer Society Distinguished Visitors Program, April 2013. [Slides]
  58. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. Invited Talk, Department of Computer Science, University of Illinois at Chicago, IL, March 2013. [Slides]
  59. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. Invited Talk, Department of Software and Information Systems, University of North Carolina, Charlotte, Charlotte, NC, February 2013. [Slides]
  60. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. Invited Talk, ACM Chapter, Department of Computer Science, Duke University, Durham, NC, ACM Distinguished Speaker Program, January 2013. [Slides]

    2012

  61. Out of the Ivory Tower: Are We There Yet on Automatic Test Data Generation? Invited Talk, International Symposium on High Confidence Software (ISHCS 2012), Qingdao, China, October 2012. [Slides]
  62. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. Keynote Speaker, International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), September 2012. [Slides]
  63. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. School of Computer Science & Engineering, University of Electronic Science and Technology of China, Chengdu, China, June 2012.
  64. Making Exceptions on Exception Handling, Keynote Speaker, International Workshop on Exception Handling (WEH 2012) co-located with ICSE 2012, June 2012.
  65. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. Computer Science Department, Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Korea, May 2012. [Slides]
  66. Out of the Ivory Tower: Challenges and Opportunities in Technology Transfer. Invited talk, School of Software, Shanghai JiaoTong University, Shanghai, China, April 2012. [Slides]
  67. Out of the Ivory Tower: Challenges and Opportunities in Technology Transfer. Invited talk, Department of Computer Science, Nanjing University, Nanjing, China, April 2012. [Slides]
  68. Evolving Testing and Analysis for Evolving Software, Invited talk, Department of Computer Science, Xi'an JiaoTong University, April 2012. [Slides]

    2011

  69. Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done, Invited Talk, International Symposium on High Confidence Software (ISHCS 2011), Beijing, China, December 2011.
  70. Evolving Testing and Analysis for Evolving Software, Keynote Speaker, 2011 International Workshop on Evolving Critical Software Systems (IWECS 2011), December 2011. [Slides]
  71. Cooperative Analysis of Software Artifacts: How Human and Machine Cooperate to Get Work Done. Invited talk, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Xi’an, China, May 2011
  72. Automatic Extraction and Validation of Security Policies from Natural Language Documents. Invited talk, NIST Computer Security Division, Gaithersburg, MD, March 2011.
  73. Cooperative Developer Testing: How Human and Machine Cooperate to Get Job Done. Invited talk, the Department of Computer Science at UC Davis, Davis, February 2011. [Slides]
  74. Systematic Testing and Verification of Security Policies. Invited talk, Faculty of Science, Technology and Communication of the University of Luxembourg, Luxembourg, February 2011. [Slides]

    2010

  75. Improving Software Reliability via Mining Software Engineering Data. Invited talk, School of Software, Sun Yat-sen University, Guangzhou, China, December 2010.
  76. Improving Software Reliability via Mining Software Engineering Data. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, December 2010.
  77. Mapping out a Research Agenda. Invited talk, Department of Computer Science, Peking University, Beijing, China, December 2010.
  78. Automated Software Testing and Mining Software Engineering Data: Achievements and Challenges. Invited talk, Tencent, Inc., Beijing, China, December 2010. [Slides]
  79. Automated Developer Testing: Achievements and Challenges. Invited talk, Institute of Information Technology, Guilin University of Electronic Technology, Guilin, China, September 2010.
  80. How to Write Research Papers. Invited talk, Institute of Information Technology, Guilin University of Electronic Technology, Guilin, China, September 2010.
  81. Systematic Testing and Verification of Security Policies. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, August 2010. [Slides]
  82. Improving Software Reliability via Mining Software Engineering Data. Invited talk, IBM Research China Beijing, China, August 2010.
  83. Improving Software Reliability via Mining Software Engineering Data. Invited talk, Microsoft Research Asia, Beijing, China, August 2010.
  84. Automated Developer Testing: Achievements and Challenges. Invited talk, Microsoft Research Asia, Beijing, China, August 2010.
  85. Automated Software Testing: Achievements and Challenges. Invited talk, Huawei Technologies Co., Ltd., Shenzhen, China, July 2010.
  86. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Wuhan University, Wuhan, China, July 2010.
  87. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Columbia University, NY, March 2010. [Slides]

    2009

  88. Automated Developer Testing: Achievements and Challenges. Keynote talk, the 2nd CREST Open Workshop Software Testing (COW), CREST Centre, King's College London , December 2009.
  89. Data Mining for Software Engineering: Achievements and Challenges. Invited talk, Department of Computer Science, East Carolina University, Greenville, NC, November 2009.
  90. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, October 2009. [Slides]
  91. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer and Information Science, Indiana University/Purdue University at Indianapolis, Indianapolis, IN, October 2009.
  92. Automated Developer Testing: Achievements and Challenges. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, June 2009.
  93. Data Mining for Software Engineering: Achievements and Challenges. Invited talk, Software Engineering Institute, East China Normal University, Shanghai, China, June 2009.
  94. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Computer Science, Nanjing University, Nanjing, China, June 2009.
  95. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, China, June 2009.
  96. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China, June 2009.
  97. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan, June 2009.
  98. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Tunghai University, Taichung, Taiwan, June 2009.
  99. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan, June 2009.
  100. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Tsinghua University, Beijing, China, June 2009.
  101. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Peking University, Beijing, China, June 2009.
  102. Mining Natural Language Information in Software Engineering. Invited talk, Protocol Engineering Team, Microsoft, Beijing, China, June 2009. 
  103. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Invited talk, Protocol Engineering Team, Microsoft, Beijing, June 2009. 

    2008

  104. Fitness-Guided Path Exploration in Automated Test Generation. Invited talk, Department of Computer Science and Engineering, Michigan State University, November 2008. [Slides]
  105. Fitness-Guided Path Exploration in Automated Test Generation. Invited talk, Department of Computer Science, the College of William and Mary, October 2008.
  106. Improving Software Reliability via Automated Static and Dynamic Analysis. Invited talk, FDA Office of Science and Engineering Laboratories, Electrical and Software Engineering Group, October 2008.
  107. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Computer Science, Drexel University, Philadelphia, PA, September 2008.
  108. Systematic Testing and Verification of Security Policies. Invited talk. National Institute of Standards and Technology (NIST) Computer Security Division Seminar, August 2008. [Slides]
  109. Fitness-Guided Path Exploration in Dynamic Symbolic Execution. Invited talk, Foundation of Software Engineering Group, Microsoft Research, July 2008.
  110. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Electrical and Computer Engineering, Clarkson University, Potsdam, NY, April 2008.

  111. 2007

  112. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Accenture Labs, Chicago, IL, October 2007. [Slides]
  113. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Motorola Labs, Schaumburg, IL, October 2007.
  114. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Lane Department of Computer Science and Electrical EngineeringWest Virginia University, Morgantown, WV, September 2007.
  115. Improving Programmer Productivity via Mining Program Source Code. Invited talk, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, China, August 2007.
  116. Improving Programmer Productivity via Mining Program Source Code. Invited talk, Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China, August 2007.
  117. Mining Software Engineering Data. Invited talk, Software Engineering Institute, Peking University, Beijing, China, July 2007.
  118. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Department of Computer Science, Beihang University, Beijing, China, July 2007.
  119. Research Methodology on Software Testing. Invited talk, Software Engineering Research Group, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China, July 2007.
  120. Search-Based Symbolic Method Sequence Exploration for OO Unit Test Generation. Invited talk, Foundation of Software Engineering Group, Microsoft Research, June 2007.
  121. Improving Programmer Productivity via Mining Program Source Code, Department of Computer Science, University of Calgary, Canada, May 2007.

  122. 2006

  123. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Department of Computing, Oxford Brooks University, Oxford, UK, December 2006.
  124. Automated Testing of Aspect-Oriented Programs. Invited talk, the 10th Analysis, Slicing and Transformation Research Network Workshop (ASTReNet), London, UK, December 2006.
  125. Regression Testing and Test Selection. Invited talk, the 10th Analysis, Slicing and Transformation Research Network Workshop (ASTReNet), London, UK, December 2006.
  126. Improving Effectiveness of Automated Software Testing in the Absence of Specifications, Invited talk, College of Computing and Informatics, University of North Carolina, Charlotte, Charlotte, NC, November, 2006.
  127. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Shanghai Jiaotong University, Fudan University, Tsinghua University, Peking University, and Chinese Academy of Science, China, May-June 2006.
  128. Data Mining for Software Engineering. Invited talk, Fudan University, China, May 2006.
  129. Towards Systematic Testing of Access Control Policies. Invited talk, Foundation of Software Engineering Group, Microsoft Research, 10 April 2006.

    2005

  130. Automated Software Testing in the Absence of Specifications. Invited talk, SIG-HPC at University of Delaware, DE, 30 November 2005. [Slides]
  131. Automated Test-Input Generation. Invited guest lecture, Alex Orso's course on Software Testing and Analysis at Georgia Tech, Atlanta, GA, 17 November 2005. [Slides]
  132. Improving Effectiveness of Automated Software Testing. Invited talk, Pennsylvania State University, University Park, PA, 28 March 2005.
  133. Improving Effectiveness of Automated Software Testing. Invited (job) talk, Purdue U.,. March-April 2005.
  134. Improving Effectiveness of Automated Software Testing. Invited (job) talk, U. Waterloo, March-April 2005.
  135. Improving Effectiveness of Automated Software Testing. Invited (job) talk, U. Nebraska-Lincoln, March-April 2005.
  136. Improving Effectiveness of Automated Software Testing. Invited (job) talk, McGill U., March-April 2005.
  137. Improving Effectiveness of Automated Software Testing. Invited (job) talk, North Carolina State U., March-April 2005.
  138. Improving Effectiveness of Automated Software Testing. Invited (job) talk, George Mason U., March-April 2005.
  139. Improving Effectiveness of Automated Software Testing. Invited (job) talk, HKUST, March-April 2005.
  140. Improving Effectiveness of Automated Software Testing. Invited (job) talk, IBM T. J. Watson Research Center, March-April 2005.

  141. 2000-2004

  142. Strategic Automated Software Testing in the Absence of Specifications. Invited talk. Parasoft Co., 5 November 2004. [Slides]
  143. Automated Test Generation By Avoiding Redundant Tests. Invited talk, Foundation of Software Engineering Group and Testing, Verification and Measurement Group, Microsoft Research, 5 October 2004.[Slides]
  144. Automated Software Testing with Inferred Program Properties. Invited talk. Agitar Software, Inc.. 23 July 2004. [Slides]
  145. Mutually Enhancing Test Generation and Specification Inference. Invited talk, Foundation of Software Engineering Group, Microsoft Research, 15 August 2003. [Slides]
  146. Aggregation Visualization/Splitting and Performance Concern Discovery for Performance Analysis of Java Programs. Invited (summer internship) talk, Java Visualization (Jinsight) Group, IBM T. J. Watson Research Center, 25 September 2002.
  147. Workflow and Software Process Modeling & Automation at Avaya. Invited (summer internship) talk, Avaya Labs Research, 26 September 2001.
  148. Comparison of Workflow Tools in Customer Relationship Management Domain. Invited talk, Workflow Working Group, Avaya Labs Research, 22 August 2001.
  149. Object Oriented Software Quality Evaluation Technology. Invited talk, Ricoh Company, Ltd. Tokyo, Japan, July 2000.

Conferences/Workshop/Seminar Talks

  1. Preliminary Analysis of Contestant Performance for a Code Hunt Contest. Workshop presentation, the 8th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2017), Vancouver, Canada, October 2017.
  2. Measuring Code Behavioral Similarity for Programming and Software Engineering Education. Conference presentation, the 38th International Conference on Software Engineering (ICSE 2016), SEET, Austin, TX, May 2016.
  3. User Expectations in Mobile App Security. ITI Joint Trust and Security/Science of Security Seminars, January 2016.
  4. Next Generation Developer Testing: Parameterized Testing. Conference presentation, Next Generation Testing Conference, Chicago, Illinois, September 2015. [Slides]
  5. Crowdsourcing Code and Process via Code Hunt. Workshop presentation, International Workshop on CrowdSourcing in Software Engineering (CSI-SE 2015), Florence, Italy, May 2015.
  6. Code Hunt: Context-Driven Interactive Gaming for Learning Programming and Software Engineering. Workshop presentation, 1st International Workshop on Context in Software Development (CSD 2014), Hong Kong, November 2014.
  7. Data Mining for Software Engineering: Achievements and Challenges. Seminar presentation, Yahoo!-DAIS seminar, Department of Computer Science University of Illinois at Urbana-Champaign, September 2014.
  8. Constructing Coding Duels in Pex4Fun and Code Hunt. Tool demonstrations presentation, 2014 International Symposium on Software Testing and Analysis (ISSTA 2014), San Jose, California, July 2014.
  9. Text Analytics for Mobile App Security and Beyond. Conference presentation, High Confidence Software and Systems Conference (HCSS 2014), Annapolis, MD, May 2014.
  10. Code Hunt: Gamifying Teaching and Learning of Computer Science at Scale. Demo presentation, 1st ACM Conference on Learning at Scale (Learning @ Scale 2014), Atlanta, Georgia, March 2014.
  11. Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation. Demo presentation, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Palo Alto, California, November 2013.
  12. A Preliminary Field Study of Game Programming on Mobile Devices. Workshop presentation, Workshop on Programming for Mobile and Touch (PROMOTO 2013), Indianapolis, IN, October 2013.
  13. Teaching and Learning Programming and Software Engineering via Interactive Gaming. Conference presentation, 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE), San Francisco, CA, May 2013.
  14. Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet. Workshop presentation, 3rd International Workshop on Games and Software Engineering (GAS 2013), San Francisco, CA, May 2013.
  15. Automatic Test Generation for Mutation Testing on Database Applications. Workshop presentation, 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, May 2013.
  16. Testing for Educational Gaming and Educational Gaming for Testing. Conference presentation, Google Test Automation Conference 2013, New York City, April 2013. [Video][Slides]
  17. A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications. Conference presentation, International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, March 2013.
  18. Exposing Behavioral Differences in Cross-Language API Mapping Relations. Conference presentation, International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, March 2013.
  19. Separation of Concerns for Developer Testing. Workshop presentation, International Workshop on Advanced Modularization Techniques (AOAsia/Pacific 2011), Shanghai, China, October 2011. [Slides]
  20. First Step Towards Automatic Correction of Firewall Policy Faults. Seminar presentation, Dagstuhl Seminar 11062 on Self-Repairing Programs, Schloss Dagstuhl - LZI GmbH, Germany, February 2011. [Slides]
  21. Pex for Fun: Tool Support for Human to Repair Programs for Fun and Learning. Seminar tool demo presentation, Dagstuhl Seminar 11062 on Self-Repairing Programs, Schloss Dagstuhl - LZI GmbH, Germany, February 2011. [Slides]
  22. ACPT: Access Control Policy Testing System. Workshop presentation, NIST/NSA Privilege (Access) Management Workshop (PMW 2009), Gaithersburg, MD, September 2009. [Slides]
  23. Benchmarking for Object-Oriented Unit Test Generation. Workshop presentation, Workshop on State-space Exploration for Automated Testing (SSEAT 2009), Chicago, IL, July 2009. [Slides]
  24. Time-Aware Test-Case Prioritization using Integer Linear Programming. Conference presentation, the 2009 International Symposium on Software Testing and Analysis (ISSTA 2009), Chicago, IL, July 2009.
  25. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. Workshop presentation, the 4th International Workshop on Automation of Software Test (AST 2009), Vancouver, Canada, May 2009.
  26. Improving Software Quality via Code Searching and Mining. Workshop presentation, the First International Workshop on Search-Driven Development – Users, Infrastructure, Tools and Evaluation (SUITE 2009), Vancouver, Canada, May 2009.
  27. Mutation Analysis of Parameterized Unit Tests. Workshop presentation, the 4th International Workshop on Mutation Analysis (Mutation 2009), Denver, Colorado, April 2009.
  28. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Conference presentation, the Triangle Information Systems Quality Association Conference (TISQA 2009), Chapel Hill, March 2009.
  29. Automated Test Data Generation for Aspect-Oriented Programs. Conference presentation, the 8th International Conference on Aspect-Oriented Software Development (AOSD 2009), Charlottesville, Virginia, March 2009.
  30. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. Conference presentation, the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008.
  31. Multiple-Implementation Testing for XACML Implementations. Workshop presentation, the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Seattle, WA, July 2008.
  32. Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs. Workshop presentation, the Workshop on State-Space Exploration for Automated Testing (SSEAT 2008), Seattle, WA, July 2008.
  33. Searching and Mining Open Source Code from the Web. ASE 2008 PC Workshop presentation. Google Tech Talks. Mountain View, CA, June 2008.
  34. SpotWeb: Detecting Framework Hotspots via Mining Open Source Repositories on the Web. Conference presentation, the 5th Working Conference on Mining Software Repositories (MSR 2008), Leipzig, Germany, May 2008.
  35. Improving Software Reliability and Productivity via Mining Program Source Code. Workshop presentation. the NSF Next Generation Software Program Workshop at IPDPS 2008 (NSFNGS 2008), Miami, Florida, April 2008.
  36. Improving Automation in Developer Testing. Workshop presentation, ISSTA 2008 PC Workshop on State of the Art in Testing and Analysis Day (ISSTA PC WS 2008), Piscataway, NJ, March 2008. [Slides]
  37. Recommendation Systems for Code Reuse. Workshop presentation, Bellairs Workshop on Software Analysis for Recommendation Systems (SARS 2008), Barbados, February 2008. [Slides]
  38. Improving Automation in Developer Testing: Achievements and Challenges. Conference presentation, International Verify Conference (Verify 2007), Arlington, VA, October 2007. [Slides]
  39. Improving Automation in Developer Testing: Achievements and Challenges. Conference presentation, Triangle Information Systems Quality Association Conference (TISQA 2007), Chapel Hill, NC, September 2007. 
  40. Conformance Checking of Access Control Policies Specified in XACML. Workshop presentation, the 1st IEEE International Workshop on Security in Software Engineering (IWSSE 2007), Beijing, China, July 2007.
  41. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. Workshop presentation, the 2nd International Workshop on Automation of Software Test (AST 2007), Minneapolis, MN, May 2007.
  42. Automated Inference of Pointcuts in Aspect-Oriented Refactoring. Conference presentation, the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007.
  43. A Fault Model and Mutation Testing of Access Control Policies. Conference presentation, the 16th International Conference on World Wide Web (WWW 2007), Security, Privacy, Reliability, and Ethics Track, Banff, Alberta, Canada, May 2007.
  44. Detecting Redundant Unit Tests for AspectJ Programs. Conference presentation, the17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, November 2006.
  45. Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs. Workshop presentation, the 2nd Workshop on Mutation Analysis (MUTATION 2006), Raleigh, NC, November 2006.
  46. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Conference presentation, the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), Dissertation Forum, Philadelphia, PA, September 2006.[Slides]
  47. Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. Conference presentation, the 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, July 2006. [Slides]
  48. MAPO: Mining API Usages from Open Source Repositories. Workshop presentation, the 3rd International Workshop on Mining Software Repositories (MSR 2006), Shanghai, China, May 2006. [Slides]
  49. Substra: A Framework for Automatic Generation of Integration Tests. Workshop presentation, the 1st Workshop on Automation of Software Test (AST 2006), Shanghai, China, May 2006. [Slides]
  50. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. Conference presentation, the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, November 2005. [Slides]
  51. Automated Test Generation for AspectJ Programs. Workshop presentation, the AOSD 2005 Workshop on Testing Aspect-Oriented Programs (WTAOP 2005), Chicago, 15 March 2005. [Slides]
  52. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. Conference presentation, the 6th International Conference on Formal Engineering Methods (ICFEM 2004), Seattle, November 2004. [Slides]
  53. Automatic Extraction of Sliced Object State Machines for Component Interfaces. Workshop presentation, the 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12(SAVCBS 2004), Newport Beach, California, October 31-November 1, 2004.
  54. Automatic Identification of Common and Special Object-Oriented Unit Tests. Semifinal presentation. ACM SIGPLAN Student Research Competition at OOPSLA 04, Vancouver, Canada, October 2004.
  55. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. Conference Presentation, the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, 12 September 2004. [Slides]
  56. Tool-Assisted Unit Test Selection Based on Operational Violations. Conference presentation, the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, 8 October 2003. [Slides]
  57. Mutually Enhancing Test Generation and Specification Inference. Workshop presentation, the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), Montreal, Canada, 6 October 2003. [Slides]
  58. Exploiting Synergy between Testing and Inferred Partial Specifications. Workshop presentation, ICSE 2003 Workshop on Dynamic Analysis (WODA 2003), Portland, Oregon, 9 May 2003. [Slides]

Conferences/Workshop Posters

  1. Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt. Conference poster presentation, Symposium and Bootcamp on the Science of Security (HotSoS 2015), Urbana, IL, April 2015.
  2. Improving Mobile Application Security via Bridging User Expectations and Application Behaviors. Conference poster presentation, Symposium and Bootcamp on the Science of Security (HotSoS 2014), Raleigh, NC, April 2014.
  3. Educational Programming Systems for Learning at Scale. Conference poster presentation, 1st ACM Conference on Learning at Scale (Learning @ Scale 2014), Atlanta, Georgia, March 2014.
  4. Guided Path Exploration for Regression Test Generation. Conference poster presentation, the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, May 2009.
  5. DiffGen: Automated Regression Unit-Test Generation. Conference poster presentation, the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008.
  6. Automated Software Testing with Inferred Program Properties. Poster session, Student Research Forum, the 12th International Symposium on the Foundations of Software Engineering (FSE-12), Newport Beach, California, November 2004. [Poster]
  7. Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences. Poster session, Student Research Forum, the 10th International Symposium on the Foundations of Software Engineering, (FSE-10), Charleston, South Carolina, 20 November 2002. [Poster]

Short Courses

  1. Parameterized Unit Testing: Theory and Practice. Invited Short Course. The 2nd International School of Engineering Trustworthy Software Systems (SETSS 2016), Chongqing, China, March 28 - April 2, 2016.

K-12 Outreach Presentations

  1. CodeHunt and Touch Develop: Gamification for CS Education. Demo presentation, Exploring Your Options Camp, Urbana, IL, June 2016. (The camp typically includes ~40 high-school students, at the junior/senior level in the next academic year.)
  2. CodeHunt and Touch Develop: Gamification for CS Education. Demo presentation, Exploring Your Options Camp, Urbana, IL, July 2015.  (The camp typically includes ~40 high-school students, at the junior/senior level in the next academic year.)

Conference Tutorials