Azadeh Farzan

Identifiers

• name variant Azadeh Farzan 0.60 · backfill

Papers (9)

1. Complete Local Reasoning About Parameterized Programs Over Topologies cs.LO · 2026 · author #2
2. On the Complexity of Checking Soundness of Natural Reductions (Extended Version) cs.PL · 2026 · author #2
3. Parametrizing Reads-From Equivalence for Predictive Monitoring cs.PL · 2026 · author #1
4. Reductions for Automated Hypersafety Verification cs.PL · 2019 · author #1
5. Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version) cs.PL · 2019 · author #1
6. Automated Synthesis of Divide and Conquer Parallelism cs.PL · 2017 · author #1
7. Proving Liveness of Parameterized Programs cs.LO · 2016 · author #1
8. Compositional Invariant Generation via Linear Recurrence Analysis cs.PL · 2015 · author #1
9. An Algebraic Framework for Compositional Program Analysis cs.PL · 2013 · author #1

Mentions

• 1502.00138 #1 · backfill · confidence 0.70 Azadeh Farzan
• 1310.3481 #1 · backfill · confidence 0.70 Azadeh Farzan

Frequent Coauthors

• Zachary Kincaid 3 shared papers
• Victor Nicolet 2 shared papers
• Andreas Podelski 1 shared papers
• Anthony Vandikas 1 shared papers
• Constantin Enea 1 shared papers
• Dominik Klumpp 1 shared papers
• Ruotong Cheng 1 shared papers
• Umang Mathur 1 shared papers