University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8071–8100 of 13,990 items
Thumbnail for Inferring Method Effect Summaries for Nested Heap Regions
Inferring Method Effect Summaries for Nested Heap Regions
Vakilian, Mohsen; Dig, Danny; Bocchino, Robert L., Jr.; Overbey, Jeffrey; Adve, Vikram S.; Johnson, Ralph