ASE 2019 (series) / NJR 2019 (series) / NJR 2019 /
Moving Fast with High Reliability using Pluggable Types
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 Times are displayed in time zone: Tijuana, Baja California change
Fri 15 Nov
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 09:30 Talk | BugSwarm: an Infrastructure and Dataset for Software Engineering Research NJR Cindy Rubio-GonzálezUniversity of California, Davis | ||
09:30 - 10:00 Talk | ARCADE - A Workbench for Mining Architectural Information and Identifying Technical Debt NJR Nenad MedvidovićUniversity of Southern California | ||
10:00 - 10:30 Talk | Moving Fast with High Reliability using Pluggable Types NJR Manu SridharanUniversity of California Riverside |