[FK13]	Azadeh Farzan and Zachary Kincaid. Duet: static analysis for unbounded parallelism. CAV, 2013. [ abstract | bib ]
[FK12]	Azadeh Farzan and Zachary Kincaid. Verification of parameterized concurrent programs by modular reasoning about data and control. 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 ]