publications.bib

@inproceedings{Farzan2013,
  author = {Farzan, Azadeh and Kincaid, Zachary and Podelski, Andreas},
  title = {Inductive data flow graphs},
  series = {To appear in POPL},
  year = {2013},
  numpages = {14}
}

@inproceedings{Farzan2012,
  author = {Farzan, Azadeh and Kincaid, Zachary},
  title = {Verification of parameterized concurrent programs by modular reasoning about data and control},
  booktitle = {POPL},
  year = {2012},
  pages = {297--308},
  numpages = {12}
}

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