There is a newer version of this record available.

Software Open Access

Artifact for "Lightweight and Modular Resource Leak Verification"

Kellogg, Martin; Shadab, Narges; Sridharan, Manu; Ernst, Michael D.


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
225
27
views
downloads
All versions This version
Views 22570
Downloads 2715
Data volume 68.5 GB37.2 GB
Unique views 11550
Unique downloads 2513

Share

Cite as