ML Anthology
Authors
Search
About
Marron, Mark
1 publications
NeurIPSW
2020
Learning to Infer Run-Time Invariants from Source Code
Vincent Josua Hellendoorn
,
Premkumar Devanbu
,
Alex Polozov
,
Mark Marron