Arati Kaushik

Identifiers

No identifiers captured yet.

Papers (1)

1. Type-Directed Code Reuse using Integer Linear Programming cs.SE · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Isil Dillig 1 shared papers
• Ruben Martins 1 shared papers
• Steven P. Reiss 1 shared papers
• Yuepeng Wang 1 shared papers
• Yu Feng 1 shared papers