research
∙
04/25/2019
SafeStrings: Representing Strings as Structured Data
Strings are ubiquitous in code. Not all strings are created equal, some ...
share
research
∙
03/14/2019
Are My Invariants Valid? A Learning Approach
Ensuring that a program operates correctly is a difficult task in large,...
research
∙
10/28/2018
