activity
20012026
most citedContext-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

47 citations · 98 across the 10 of their papers we have counts for

collaborators
Showing 2001Show all

1 paper · 1 filter

cs.DC2001★ 8 cited

Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking

Shaz Qadeer

The memory model of a shared-memory multiprocessor is a contract between the designer and programmer of the multiprocessor. The sequential consistency memory model specifies a tota…