TY - RPRT TI - Type-Directed Code Reuse using Integer Linear Programming AU - Yuepeng Wang AU - Yu Feng AU - Ruben Martins AU - Arati Kaushik AU - Isil Dillig AU - Steven P. Reiss PY - 2016 UR - https://arxiv.org/abs/1608.07745 ID - 1608.07745 ER -