Finding concurrency bugs with context-aware communication graphs.

Brandon Lucia, Luis Ceze

Browse the full MICRO paper archive.