University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 70 items
Thumbnail for Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors
Vakilian, Mohsen; Negara, Stas; Tasharofi, Samira; Johnson, Ralph E.