publications.bib

@inproceedings{Farzan2012,
  author = {Farzan, Azadeh and Kincaid, Zachary},
  title = {Verification of parameterized concurrent programs by modular reasoning about data and control},
  series = {POPL '12},
  year = {2012},
  isbn = {978-1-4503-1083-3},
  location = {Philadelphia, PA, USA},
  pages = {297--308},
  numpages = {12},
  doi = {10.1145/2103656.2103693},
  acmid = {2103693},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@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},
  ee = {http://dx.doi.org/10.1007/978-3-642-15769-1_16},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Ito2008,
  author = {Masami Ito and Lila Kari and Zachary Kincaid and
                  Shinnosuke Seki},
  title = {Duplication in {DNA} Sequences},
  booktitle = {Developments in Language Theory},
  year = {2008},
  pages = {419-430},
  ee = {http://dx.doi.org/10.1007/978-3-540-85780-8_33},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}