He Zhu 0001 Gustavo Petri Suresh Jagannathan Automatically learning shape specifications. 491-507 2016 PLDI https://doi.org/10.1145/2908080.2908125 https://doi.org/10.1145/2980983.2908125 conf/pldi/2016 db/conf/pldi/pldi2016.html#ZhuPJ16