Private Database Search with Sublinear Query Time. - Keith B. Frikken; Boyang Li 002 (DBSec, 2011)

Inductive invariant generation via abductive inference. - Isil Dillig; Thomas Dillig; Boyang Li 002; Kenneth L. McMillan (OOPSLA, 2013)

Enhancing Utility and Privacy of Data for Software Testing. - Boyang Li 002 (ICST Workshops, 2014)

Sanitizing and Minimizing Databases for Software Application Test Outsourcing. - Boyang Li 002; Mark Grechanik; Denys Poshyvanyk (ICST, 2014)

How do Developers Document Database Usages in Source Code? (N). - Mario Linares Vásquez; Boyang Li 002; Christopher Vendome; Denys Poshyvanyk (ASE, 2015)

Automatically Documenting Software Artifacts. - Boyang Li 002 (ICSME, 2016)

Automatically Documenting Unit Test Cases. - Boyang Li 002; Christopher Vendome; Mario Linares Vásquez; Denys Poshyvanyk; Nicholas A. Kraft (ICST, 2016)

Documenting database usages and schema constraints in database-centric applications. - Mario Linares Vásquez; Boyang Li 002; Christopher Vendome; Denys Poshyvanyk (ISSTA, 2016)

Arbitrating Traffic Contention for Power Saving with Multiple PSM Clients. - Dachuan Liu; Haining Wang 001; Gang Zhou; Weizhen Mao; Boyang Li 002 (IEEE Trans. Wirel. Commun., 2016)

Reducing Interruptions at Work: A Large-Scale Field Study of FlowLight. - Manuela Züger; Christopher S. Corley; André N. Meyer; Boyang Li 002; Thomas Fritz 001; David C. Shepherd; Vinay Augustine; Patrick Francis; Nicholas A. Kraft; Will Snipes (CHI, 2017)

Automatically detecting integrity violations in database-centric applications. - Boyang Li 002; Denys Poshyvanyk; Mark Grechanik (ICPC, 2017)

Synthesis of circular compositional program proofs via abduction. - Isil Dillig; Thomas Dillig; Boyang Li 002; Kenneth L. McMillan; Mooly Sagiv (Int. J. Softw. Tools Technol. Transf., 2017)

Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices. - David Weintrop; Afsoon Afzal; Jean Salac; Patrick Francis; Boyang Li 002; David C. Shepherd; Diana Franklin (CHI, 2018)

Automated reporting of GUI design violations for mobile apps. - Kevin Moran; Boyang Li 002; Carlos Bernal-Cárdenas; Dan Jelf; Denys Poshyvanyk (ICSE, 2018)

Aiding comprehension of unit test cases and test suites with stereotype-based tagging. - Boyang Li 002; Christopher Vendome; Mario Linares-Vásquez; Denys Poshyvanyk (ICPC, 2018)

[Engineering Paper] An IDE for Easy Programming of Simple Robotics Tasks. - David C. Shepherd; Patrick Francis; David Weintrop; Diana Franklin; Boyang Li 002; Afsoon Afzal (SCAM, 2018)