Meta-analysis for Atomicity Violations under Nested Locking.

Azadeh Farzan, P. Madhusudan, Francesco Sorrentino

Browse the full CAV paper archive.