Login / Signup

Active learning of points-to specifications.

Osbert BastaniRahul SharmaAlex AikenPercy Liang
Published in: PLDI (2018)
Keyphrases