Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari 0001. Feedback-driven semi-supervised synthesis of program transformations. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]
Abstract is missing.