Sustainable Solving: Reducing The Memory Footprint of IFDS-Based Data Flow Analyses Using Intelligent Garbage Collection.

Steven Arzt

Browse the full ICSE paper archive.