TypeWriter: Neural Type Prediction with Search-Based Validation
Channel: Michael Pradel
Date: 2020-10-29

By Michael Pradel, Georgios Gousios, Jason Liu, and Satish Chandra.
Authors from University of Stuttgart, TU Delft, and Facebook.


Presented at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2020.


Paper available here: http://software-lab.org/publications/fse2020_TypeWriter.pdf