Boyang Li

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 13

Top Topics

Software Application

Programming Environment

Top Venues

Publications

David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin
Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices. CHI (2018)
David C. Shepherd, Patrick Francis, David Weintrop, Diana Franklin, Boyang Li, Afsoon Afzal
[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks. SCAM (2018)
David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin
Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices. CHI Extended Abstracts (2018)
Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk
Automated Reporting of GUI Design Violations for Mobile Apps. CoRR (2018)
Boyang Li, Christopher Vendome, Mario Linares-Vásquez, Denys Poshyvanyk
Aiding comprehension of unit test cases and test suites with stereotype-based tagging. ICPC (2018)
Kevin Moran, Boyang Li, Carlos Bernal-Cárdenas, Dan Jelf, Denys Poshyvanyk
Automated reporting of GUI design violations for mobile apps. ICSE (2018)
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
Reducing Interruptions at Work: A Large-Scale Field Study of FlowLight. CHI (2017)
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv
Synthesis of circular compositional program proofs via abduction. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Boyang Li, Denys Poshyvanyk, Mark Grechanik
Automatically detecting integrity violations in database-centric applications. ICPC (2017)
Boyang Li
Automatically Documenting Software Artifacts. ICSME (2016)
Dachuan Liu, Haining Wang, Gang Zhou, Weizhen Mao, Boyang Li
Arbitrating Traffic Contention for Power Saving with Multiple PSM Clients. IEEE Trans. Wirel. Commun. 15 (10) (2016)
Boyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft
Automatically Documenting Unit Test Cases. ICST (2016)
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
Documenting database usages and schema constraints in database-centric applications. ISSTA (2016)
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
How do Developers Document Database Usages in Source Code? (N). ASE (2015)
Boyang Li
Enhancing Utility and Privacy of Data for Software Testing. ICST Workshops (2014)
Boyang Li, Mark Grechanik, Denys Poshyvanyk
Sanitizing and Minimizing Databases for Software Application Test Outsourcing. ICST (2014)
Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan
Inductive invariant generation via abductive inference. OOPSLA (2013)
Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv
Synthesis of Circular Compositional Program Proofs via Abduction. TACAS (2013)
Keith B. Frikken, Boyang Li
Private Database Search with Sublinear Query Time. DBSec (2011)