Learning to Infer Run-Time Invariants from Source code

no code implementations • NeurIPS Workshop CAP 2020 • Vincent Josua Hellendoorn, Premkumar Devanbu, Alex Polozov, Mark Marron

Source code is notably different from natural language in that it is meant to be executed.

SafeStrings: Representing Strings as Structured Data

no code implementations • 25 Apr 2019 • David Kelly, Mark Marron, David Clark, Earl T. Barr

We introduce SafeStrings to solve this problem and expose latent structure in strings.

Programming Languages