BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20220720T120000Z
UID:8e4cab9983eb002af5ae3a1de3bee15a-303
DTSTAMP:19700101T120011Z
DESCRIPTION:Moving Fast with High Reliability using Pluggable Types
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/303/moving-fast-with-high-reliability-using-pluggable-types/
SUMMARY: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.
DTSTART:20220720T120000Z
END:VEVENT
END:VCALENDAR