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 NovDisplayed time zone: Tijuana, Baja California change
Fri 15 Nov
Displayed time zone: Tijuana, Baja California change
09:00 - 10:30 | |||
09:00 30mTalk | BugSwarm: an Infrastructure and Dataset for Software Engineering Research NJR Cindy Rubio-González University of California, Davis | ||
09:30 30mTalk | ARCADE - A Workbench for Mining Architectural Information and Identifying Technical Debt NJR Nenad Medvidović University of Southern California | ||
10:00 30mTalk | Moving Fast with High Reliability using Pluggable Types NJR Manu Sridharan University of California Riverside |