Automatically learning shape specifications.

He Zhu, Gustavo Petri, Suresh Jagannathan

Browse the full PLDI paper archive.