Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Fri 15 Nov 2019 10:00 - 10:30 at Cortez 1A - Big Code 1 Chair(s): Crista Lopes

For large-scale mobile apps, software reliability is of critical importance. At the same time, developers need to be able to move fast in developing new features and products. In this talk, I will describe two recent projects on using pluggable type systems to reduce the tension between these seemingly-conflicting needs. First, I will present NullAway, a novel nullability type system for Java. NullAway improves on previous work by reducing build-time overhead and requiring fewer annotations through carefully-targeted unsoundness. Then, I will describe more recent work on the Object Construction Checker, a novel type system to ensure the safe usage of builders and other complex schemes for flexible object construction.

Fri 15 Nov

njr-ase-2019-papers
09:00 - 10:30: NJR 2019 - Big Code 1 at Cortez 1A
Chair(s): Crista Lopes
njr-ase-2019-papers09:00 - 09:30
Talk
Cindy Rubio-GonzalezUniversity of California, Davis
njr-ase-2019-papers09:30 - 10:00
Talk
Nenad MedvidovićUniversity of Southern California
njr-ase-2019-papers10:00 - 10:30
Talk
Manu SridharanUniversity of California Riverside