Seminars

View all Seminars  |  Download ICal for this event

Moving Fast with High Reliability using Pluggable Types

Series: Department Seminar

Speaker: Manu Sridharan

Date/Time: Jul 20 11:30:00

Location: CSA Seminar Hall (Room No. 254, First Floor)

Abstract:
For many real-world applications, 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
recent work 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
lightweight and modular typestate analysis targeting accumulation
properties, a class of typestate properties that can be checked soundly
without heavyweight alias analysis. I will present two instantiations of
this approach: the Object Construction Checker, a type system to ensure the
safe usage of builders and other complex initialization schemes, and the
Resource Leak Checker for practical prevention of resource leaks.

Speaker Bio:
Manu Sridharan is a professor at University of California, Riverside, working in the areas of programming languages and software engineering. He received his PhD from the University of California, Berkeley in 2007, and he previously worked at IBM Research, Samsung Research, and Uber. His research has drawn on, and contributed to, techniques in static analysis, dynamic analysis, and program synthesis, with applications to security, software quality, code refactoring, and software performance. His work has been incorporated into multiple commercial and open-source products, including IBM's commercial security analysis tool and Uber's NullAway tool.

Host Faculty: K. V. Raghavan