Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.

Azadeh Farzan, Zachary Kincaid

Browse the full SAS paper archive.