PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 13:40 - 14:30 at Reykjavik - SOAP III Chair(s): Cindy Rubio-González

A resource leak occurs when a program allocates a resource, such as a socket or file handle, but fails to deallocate it. Resource leaks can cause severe issues at runtime, motivating static techniques to detect them. Previous techniques for resource leak detection have various drawbacks, such as unsoundness, imprecision, low scalability, or restrictiveness.

In this talk, we first present a new approach to modular and lightweight resource leak verification. Our key insight is that leak detection can be performed soundly without whole-program alias analysis, enabling a modular approach. Precision is achieved with targeted alias tracking, guided by annotations capturing lightweight ownership and resource aliases. Our checker scaled well and revealed 49 real resource leaks in widely-deployed software.

Next, we present a novel inference technique for the annotations required by the resource leak checker. Crucially, our inference technique is designed to infer specifications intended by the developer, even when the code does not fully adhere to that specification. Our technique inferred 85.5% of the annotations that programmers had written manually for our benchmarks, and inferred annotations led to nearly the same false positive rate for the checker as manual annotations.

I’m a Professor at the University of California, Riverside. Previously I worked at IBM Research, Samsung Research, and Uber. My research focuses on developing tools and techniques to make large-scale software more reliable, performant, secure, and maintainable. For more details, see my homepage.

Tue 25 Jun

Displayed time zone: Windhoek change

13:40 - 15:20
SOAP IIISOAP at Reykjavik
Chair(s): Cindy Rubio-González University of California at Davis
Lightweight Resource Leak Verification and Inference
Manu Sridharan University of California at Riverside
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
Guillaume Bertholon Inria & Université de Strasbourg, CNRS, ICube, France, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Thomas Koehler INRIA, Begatim Bytyqi Inria & Université de Strasbourg, CNRS, ICube, France, Damien Rouhling Inria Nancy Grand-Est; France
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
Julian Erhard Technical University of Munich, Johanna Franziska Schinabeck Technische Universität München, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München