Publications
- 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]
Projects
- CoBlox - an UI design project for blocky and visual programming on industrial robotics.
- Flowlight is a physical light that reduces working interruptions. The work was featured on New Scientist, Business Standard, The New Yorker, TechXplore, ScienceDaily, and many other blogs.
- ChangeScribe.NET is a visual studio plug-in for generating commit messages automatically. The approach uses as input two versions of a project, and generates a message with a general description of the changes and a detailed description of each change in natural language.
- DBScribe is a tool for generating up-to-date natural language descriptions of database operations and schema constraints in source code methods.
- DACITE helps users to find conflicts between source code and database by using symbolic execution and associative rule mining.
- PISTIS (stands for Protecting and mInimizing databases for Software TestIng taSks) uses a weight-based data clustering algorithm that partitions data in the database using information from program analysis that indicate how this data is used by the application. [site]
- HOLA (stands for HOare Logic with Abduction) is an inductive invariant generation tool based on logical abduction.
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.
Public videos
-
I spend a lot of time with YuMi during my working time. She is the first industrial robot that can be considered truly collaborative and completely safe to work hand-in-hand with humans. Here are some interesting videos about YuMi: