Synthesis and machine learning for heterogeneous extraction.

Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani

Browse the full PLDI paper archive.