|
[FKP13]
|
Azadeh Farzan, Zachary Kincaid, and Andreas Podelski.
Inductive data flow graphs.
To appear in POPL, 2013.
[ abstract |
bib ]
|
|
[FK12]
|
Azadeh Farzan and Zachary Kincaid.
Verification of parameterized concurrent programs by modular
reasoning about data and control.
In POPL, pages 297-308, 2012.
[ abstract |
bib ]
|
|
[FK10]
|
Azadeh Farzan and Zachary Kincaid.
Compositional bitvector analysis for concurrent programs with nested
locks.
In SAS, pages 253-270, 2010.
[ abstract |
bib ]
|
|
[IKKS08]
|
Masami Ito, Lila Kari, Zachary Kincaid, and Shinnosuke Seki.
Duplication in DNA sequences.
In Developments in Language Theory, pages 419-430, 2008.
[ abstract |
bib ]
|