2023
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions
ICLR 2023poster
The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so the program cannot be run in isolation. Nevertheless, software developers benefit from fast iteration loops where automated tools identify errors as early as possible, even before…