research
∙
06/21/2023
Automatic Inference of Resource Leak Specifications
A resource leak occurs when a program fails to free some finite resource...
share
research
∙
06/13/2018
A Graphical Interactive Debugger for Distributed Systems
Designing and debugging distributed systems is notoriously difficult. Th...
research
∙
03/27/2018
An Empirical Study of Fault Localization Families and Their Combinations
The performance of fault localization techniques is critical to their ad...
research
∙
02/25/2018