Travelled to:1 × Italy
2 × USA
Collaborated with:M.Riedl D.Poshyvanyk M.O.Riedl Rogelio Enrique Cardona-Rivera I.Dillig T.Dillig K.L.McMillan M.Grechanik Stephen Lee-Urban M.L.Vásquez C.Vendome Hua Ai A.Ram Matthew Guzdial Brent Harrison Sasha Azad Jingyang Xu Haining Yu M.Sagiv
Talks about:interact (3) crowdsourc (2) program (2) generat (2) databas (2) narrat (2) abduct (2) game (2) multiplay (1) constrain (1)
Person: Boyang Li
DBLP: Li:Boyang
Contributed to:
2014
2013
2013
2015
20102011
2013201520162017Wrote 10 papers:
- ICST-2014-LiGP #database #outsourcing
- Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.
- OOPSLA-2013-DilligDLM #abduction #generative #induction #invariant
- Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
- TACAS-2013-LiDDMS #abduction #composition #proving #synthesis
- Synthesis of Circular Compositional Program Proofs via Abduction (BL, ID, TD, KLM, MS), pp. 370–384.
- ASE-2015-VasquezLVP #database #developer #documentation #how #source code
- How do Developers Document Database Usages in Source Code? (N) (MLV, BL, CV, DP), pp. 36–41.
- AIIDE-2010-LiR #adaptation #approach #game studies
- An Offline Planning Approach to Game Plotline Adaptation (BL, MOR).
- AIIDE-2011-RiedlLAR #case study #experience #multi #robust
- Robust and Authorable Multiplayer Storytelling Experiences (MR, BL, HA, AR).
- FDG-2013-LiLR #crowdsourcing #game studies #interactive
- Crowdsourcing interactive fiction games (BL, SLU, MR), pp. 431–432.
- FDG-2015-GuzdialHLR #crowdsourcing #interactive
- Crowdsourcing Open Interactive Narrative (MG, BH, BL, MR).
- AIIDE-2016-Cardona-RiveraL #generative #named
- PlotShot: Generating Discourse-Constrained Stories Around Photos (RECR, BL), pp. 2–8.
- AIIDE-2017-AzadXYL #interactive #linear #programming #scheduling
- Scheduling Live Interactive Narratives with Mixed-Integer Linear Programming (SA, JX, HY, BL), pp. 2–8.