| 2026 | CAV | Complete Local Reasoning About Parameterized Programs Over Topologies. | Ruotong Cheng, Azadeh Farzan |
| 2026 | CAV | On the Complexity of Checking Soundness of Natural Reductions. | Constantin Enea, Azadeh Farzan, Dominik Klumpp |
| 2025 | CADE | Choose Your Proofs: Commutativity and Symmetry for Smarter Reasoning. | Azadeh Farzan |
| 2023 | CAV | Commutativity for Concurrent Program Termination Proofs. | Danya Lette, Azadeh Farzan |
| 2023 | LICS | Commutativity in Automated Verification. | Azadeh Farzan |
| 2023 | VMCAI | A Pragmatic Approach to Stateful Partial Order Reduction. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2022 | PLDI | Sound sequentialization for concurrent program verification. | Azadeh Farzan, Dominik Klumpp, Andreas Podelski |
| 2022 | PLDI | Recursion synthesis with unrealizability witnesses. | Azadeh Farzan, Danya Lette, Victor Nicolet |
| 2022 | TACAS | Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). | Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski |
| 2021 | CAV | Counterexample-Guided Partial Bounding for Recursive Function Synthesis. | Azadeh Farzan, Victor Nicolet |
| 2021 | PLDI | Phased synthesis of divide and conquer programs. | Azadeh Farzan, Victor Nicolet |
| 2020 | CAV | Root Causing Linearizability Violations. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2019 | CAV | Automated Hypersafety Verification. | Azadeh Farzan, Anthony Vandikas |
| 2019 | PLDI | Modular divide-and-conquer parallelization of nested loops. | Azadeh Farzan, Victor Nicolet |
| 2017 | CONCUR | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). | Azadeh Farzan, Zachary Kincaid |
| 2017 | PLDI | Synthesis of divide and conquer parallelism for loops. | Azadeh Farzan, Victor Nicolet |
| 2016 | IJCAI | Linear Arithmetic Satisfiability via Strategy Improvement. | Azadeh Farzan, Zachary Kincaid |
| 2016 | LICS | Proving Liveness of Parameterized Programs. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2016 | TACAS | On Atomicity in Presence of Non-atomic Writes. | Constantin Enea, Azadeh Farzan |
| 2015 | FMCAD | Compositional Recurrence Analysis. | Azadeh Farzan, Zachary Kincaid |
| 2015 | ICST | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. | Azadeh Farzan, Andreas Holzer, Helmut Veith |
| 2015 | LATA | Automated Program Verification. | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
| 2015 | POPL | Proof Spaces for Unbounded Parallelism. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2014 | POPL | Consistency analysis of decision-making programs. | Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid |
| 2014 | POPL | Proofs that count. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2013 | CAV | Duet: Static Analysis for Unbounded Parallelism. | Azadeh Farzan, Zachary Kincaid |
| 2013 | POPL | Inductive data flow graphs. | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2012 | ISoLA | Bounded-Interference Sequentialization for Testing Concurrent Programs. | Niloofar Razavi, Azadeh Farzan, Andreas Holzer |
| 2012 | POPL | Verification of parameterized concurrent programs by modular reasoning about data and control. | Azadeh Farzan, Zachary Kincaid |
| 2010 | CAV | Automated Assume-Guarantee Reasoning through Implicit Learning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2010 | ISoLA | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
| 2010 | SAS | Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. | Azadeh Farzan, Zachary Kincaid |
| 2009 | CAV | Meta-analysis for Atomicity Violations under Nested Locking. | Azadeh Farzan, P. Madhusudan, Francesco Sorrentino |
| 2009 | TACAS | Learning Minimal Separating DFA's for Compositional Verification. | Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2009 | TACAS | The Complexity of Predicting Atomicity Violations. | Azadeh Farzan, P. Madhusudan |
| 2008 | CAV | Monitoring Atomicity in Concurrent Programs. | Azadeh Farzan, P. Madhusudan |
| 2008 | TACAS | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. | Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang |
| 2007 | TACAS | Causal Dataflow Analysis for Concurrent Programs. | Azadeh Farzan, P. Madhusudan |
| 2006 | CAV | Causal Atomicity. | Azadeh Farzan, P. Madhusudan |
| 2004 | CAV | Formal Analysis of Java Programs in JavaFAN. | Azadeh Farzan, Feng Chen, Jos Meseguer, Grigore Rosu |