Boyang Li

According to our database, Boyang Li authored at least 16 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks.

David C. Shepherd, Patrick Francis, David Weintrop, Diana Franklin, Boyang Li, Afsoon Afzal

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Aiding comprehension of unit test cases and test suites with stereotype-based tagging.

Boyang Li, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk

Proceedings of the 26th Conference on Program Comprehension, 2018

Automated reporting of GUI design violations for mobile apps.

Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk

Proceedings of the 40th International Conference on Software Engineering, 2018

Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices.

David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Synthesis of circular compositional program proofs via abduction.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv

Int. J. Softw. Tools Technol. Transf., 2017

Automatically detecting integrity violations in database-centric applications.

Boyang Li, Denys Poshyvanyk, Mark Grechanik

Proceedings of the 25th International Conference on Program Comprehension, 2017

Reducing Interruptions at Work: A Large-Scale Field Study of FlowLight.

Manuela Züger, Christopher S. Corley, André N. Meyer, Boyang Li, Thomas Fritz, David C. Shepherd, Vinay Augustine, Patrick Francis, Nicholas A. Kraft, Will Snipes

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Arbitrating Traffic Contention for Power Saving with Multiple PSM Clients.

Dachuan Liu, Haining Wang, Gang Zhou, Weizhen Mao, Boyang Li

IEEE Trans. Wirel. Commun., 2016

Documenting database usages and schema constraints in database-centric applications.

Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Automatically Documenting Unit Test Cases.

Boyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Automatically Documenting Software Artifacts.

Boyang Li

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

How do Developers Document Database Usages in Source Code? (N).

Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Sanitizing and Minimizing Databases for Software Application Test Outsourcing.

Boyang Li, Mark Grechanik, Denys Poshyvanyk

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Enhancing Utility and Privacy of Data for Software Testing.

Boyang Li

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Inductive invariant generation via abductive inference.

Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011

Private Database Search with Sublinear Query Time.

Keith B. Frikken, Boyang Li

Proceedings of the Data and Applications Security and Privacy XXV, 2011