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}
}