I am a third year PhD student in the Computer Science Department at the College of William and Mary, advised by Dr. Denys Poshyvanyk. I am also a member of the SEMERU Research Group. My research interests include software engineering, software evolution, and data privacy. Before joining SEMERU, I worked in the field of program verification with Dr. Isil Dillig. I received a MCS degree from Miami University, where I was advised by Dr. Keith Frikken, and a B.S. degree with honors from Shandong Normal University.
- Inductive Invariant Generation via Abductive Inference.
Isil Dillig, Thomas Dillig, Boyang Li, Ken McMillan. OOPSLA 2013. Indianapolis, Indiana, USA.
- Synthesis of Circular Compositional Program Proofs via Abduction.
Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv. TACAS 2013. Rome, Italy.
- Private data querying in the precomputation model.
Master Thesis, Computer Science Department, Miami University, 2011.
- Private Database Search with Sublinear Query Time.
Keith Frikken, Boyang Li. DBSec 2011. Richmond, Virginia, USA.
- Private Database Search with Sublinear Query Time. DBSec 2011, Richmond, VA.
- CSCI131 Concepts in CSCI Lab --- Fall 2011 ( College of W&M )
- CSE385 Database Systems --- Spring 2011 ( Miami University )
- CSE271 Object-Oriented Programming --- Fall 2010 ( Miami University )
- HOLA (stands for HOare Logic with Abduction) is an inductive invariant generation tool based on logical abduction.