Active learning of points-to specifications.

Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang

Browse the full PLDI paper archive.