NullAway delivers practical compile-time null safety for Java with 1.15x build overhead and zero NPEs from its unsound assumptions in evaluated production Android crash data.
Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.
citing papers explorer
-
NullAway: Practical Type-Based Null Safety for Java
NullAway delivers practical compile-time null safety for Java with 1.15x build overhead and zero NPEs from its unsound assumptions in evaluated production Android crash data.
-
Practical Range Refinement Types with Inference
Ranger is a bidirectional refinement type system for integer range types, implemented in the Licorne language, that integrates inference and flow analysis to verify bounds properties with low annotation overhead compared to Java, Scala, Checker Framework, and Liquid Java.