TypeWriter: neural type prediction with search-based validation

Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra 0001. TypeWriter: neural type prediction with search-based validation. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 209-220, ACM, 2020. [doi]

Authors

Michael Pradel

This author has not been identified. It may be one of the following persons: Look up 'Michael Pradel' in Google

Georgios Gousios

This author has not been identified. It may be one of the following persons: Look up 'Georgios Gousios' in Google

Jason Liu

This author has not been identified. Look up 'Jason Liu' in Google

Satish Chandra 0001

This author has not been identified. Look up 'Satish Chandra 0001' in Google