publications.bib
@inproceedings{Farzan2010,
author = {Azadeh Farzan and
Zachary Kincaid},
title = {Compositional Bitvector Analysis for Concurrent Programs
with Nested Locks},
booktitle = {SAS},
year = {2010},
pages = {253-270}
}
@inproceedings{Farzan2013b,
author = {Farzan, Azadeh and Kincaid, Zachary},
title = {Duet: static analysis for unbounded parallelism},
series = {CAV},
year = {2013}
}
@inproceedings{Farzan2012,
author = {Farzan, Azadeh and Kincaid, Zachary},
title = {Verification of parameterized concurrent programs by modular reasoning about data and control},
series = {POPL},
year = {2012},
pages = {297--308}
}