Type error feedback via analytic program repair

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2020
Source ID
10.1145/3385412.3386005

Entities

People

  • Benjamin Cosman
  • Georgios Sakkas
  • Madeline Endres
  • Ranjit Jhala
  • Westley Weimer

Organizations

  • National Science Foundation
  • United States Air Force
  • University of California, San Diego
  • University of Michigan