Boyang Li, Ph.D.      

Professional Service

• Program Committee - 36th IEEE international Conference On Software Maintenance and Evolution - Industry Track, Adelaide, Australia, 2020 (ICSME’20)
• Program Committee - 13th IEEE international Conference On Software Testing, Verification and Validation - Industry Track, Porto, Portugal, 2020 (ICST’20)
• Program Committee - 35th IEEE international Conference On Software Maintenance and Evolution - Industry Track, Cleveland, OH, USA, 2019 (ICSME’19)
• Program Committee - 12th IEEE international Conference On Software Testing, Verification and Validation - Industry Track, Xi’an China, 2019 (ICST’19)

Publications

• [Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks. David Shepherd, Patrick Francis, David Weintrop, Diana Franklin, Boyang Li, Afsoon Afzal, in Proceedings of 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM’18), Madrid, Spain, September 23-24, 2018, pp. 209-214.
  
• Aiding Comprehension of Unit Test Cases and Test Suites with Stereotype-based Tagging. Boyang Li, Christopher Vendome, Mario Linares-Vasquez, Denys Poshyvanyk, in Proceedings of 26th IEEE/ACM International Conference on Program Comprehension (ICPC’18), Gothenburg, Sweden, May 27- 28, 2018, pp. 52-63. [pdf]
  
• Automated Reporting of GUI Design Violations for Mobile Apps. Kevin Moran, Boyang Li, Carlos Eduardo Bernal Cardenas, Dan Jelf, Denys Poshyvanyk, in Proceedings of 40th IEEE/ACM International Conference on Software Engineering (ICSE'18), Gothenburg, Sweden, pp. 165-175. [pdf] [site]
  
• Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices. David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David Shepherd, Diana Franklin, in Proceedings of international conference of Human-Computer Interaction (CHI'18), Montreal, Canada, No. 366.
  CHI'18 Honorable Mention Award (top 5% of all submissions) [pdf]
  
• Automatically Detecting Integrity Violations In Database-Centric Applications. Boyang Li, Denys Poshyvanyk, Mark Grechanik, in Proceedings of 25th International Conference on Program Comprehension (ICPC'17), Buenos Aires, Argentina, pp. 251-262. [pdf]
  
• Reducing Interruptions at Work: A Large-Scale Field Study of FlowLight. Manuela Zuger, Christopher Corley, Andre N. Meyer, Boyang Li, Thomas Fritz, David Shepherd, Vinay Augustine, Patrick Francis, Nicholas Kraft, Will Snipes, in Proceedings of international conference of Human-Computer Interaction (CHI'17), Denver, CO, USA, pp. 61-72.
  CHI'17 Honorable Mention Award (top 5% of all submissions) [pdf] [site] [commercial version]
  
• Automatically Documenting Software Artifacts. Boyang Li, in Proceedings of 32nd International Conference on Software Maintenance and Evolution (ICSME'16), Raleigh, NC, USA, pp. 631-635. [pdf]
  
• Arbitrating Traffic Contention for Power Saving with Multiple PSM Clients. Dachuan Liu, Haining Wang, Gang Zhou, Weizhen Mao, Boyang Li, IEEE Transactions on Wireless Communications, 2016 [pdf]
  
• Documenting Database Usages and Schema Constraints in Database-Centric Applications. Mario Linares-Vasquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk, in Proceedings of 25th ACM International Symposium on Software Testing and Analysis (ISSTA'16) Saarbrucken, Germany, pp. 270-281.[pdf]
  
• Automatically Documenting Unit Test Cases. Boyang Li, Christopher Vendome, Mario Linares-Vasquez, Denys Poshyvanyk, Nicholas A. Kraft, in Proceedings of 9th IEEE International Conference on Software Testing, Verification and Validation (ICST'16) Chicago, IL, USA, pp.341-352. [pdf]
  
• How Do Developers Document Database Usages in Source Code? Mario Linares-Vasquez, Boyang Li, Christopher Vendome, and Denys Poshyvanyk, in Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering (ASE'15) Lincoln, NE, USA, pp. 36-41. [pdf]
  
• Sanitizing And Minimizing Databases For Software Application Test Outsourcing. Boyang Li, Mark Grechanik, Denys Poshyvanyk, in Proceedings of 7th IEEE International Conference on Software Testing, Verification and Validation (ICST'14), Cleveland, OH, USA, pp. 233-242. [pdf]
  
• Enhancing Utility and Privacy of Data for Software Testing. Boyang Li, in Proceedings of 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW'14), Cleveland, OH, USA, pp. 233-234. [pdf]
• Inductive Invariant Generation via Abductive Inference. Isil Dillig, Thomas Dillig, Boyang Li, Ken McMillan, in Proceedings of 2013 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'13), Indianapolis, Indiana, USA, pp. 443-456. [pdf]
  
• Synthesis of Circular Compositional Program Proofs via Abduction. Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv, in Proceedings of 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Rome, Italy, pp. 370-384. [pdf] (Invited for journal special issue: International Journal on Software Tools for Technology Transfer, pp. 1-13.) [pdf]
• Private data querying in the precomputation model.
  Master Thesis, Computer Science Department, Miami University, 2011. [pdf]
• Private Database Search with Sublinear Query Time. Keith Frikken, Boyang Li, in Proceedings of 25th Annual WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'11), Richmond, VA, USA, pp. 154-169. [pdf]

Talks

• Automatically Detecting Integrity Violations In Database-Centric Applications.
  ICPC'17, Buenos Aires, Argentina.
• Automatically Documenting Unit Test Cases.
  ICST'16, Chicago, IL, USA. [slides]
• How Do Developers Document Database Usages in Source Code?
  ASE'15, Lincoln, NE, USA. [slides]
• Sanitizing And Minimizing Databases For Software Application Test Outsourcing.
  ICST'14, Cleveland, OH, USA. [slides]
• Enhancing Utility and Privacy of Data for Software Testing.
  ICSTW'14, Cleveland, OH, USA.
• Private Database Search with Sublinear Query Time.
  DBSec 2011, Richmond, VA.