Duet: Static Analysis for Unbounded Parallelism.

Azadeh Farzan, Zachary Kincaid

Browse the full CAV paper archive.