research
∙
07/03/2019
NullAway: Practical Type-Based Null Safety for Java
NullPointerExceptions (NPEs) are a key source of crashes in modern Java ...
share
research
∙
08/09/2018
Safe Stream-Based Programming with Refinement Types
In stream-based programming, data sources are abstracted as a stream of ...
research
∙
11/09/2017
