Azadeh Farzan

77 papers A* 19A 7B 4C 2Journal 27Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Symmetric Proofs of Parameterized Programs.
CoRR
Ruotong Cheng, Azadeh Farzan
2026 — conf
The Beauty of Predicate Automata.
On the Pursuit of Insight and Elegance
Azadeh Farzan, Zachary Kincaid
2025 J jnl
Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning.
Proc. ACM Program. Lang.
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
2025 A conf
Choose Your Proofs: Commutativity and Symmetry for Smarter Reasoning.
CADE
Azadeh Farzan
2025 J jnl
Enhanced Data Race Prediction Through Modular Reasoning.
CoRR
Zhendong Ang, Azadeh Farzan, Umang Mathur
2025 J jnl
Products of Recursive Programs for Hypersafety Verification.
CoRR
Ruotong Cheng, Azadeh Farzan
2025 J jnl
Products of Recursive Programs for Hypersafety Verification.
Proc. ACM Program. Lang.
Ruotong Cheng, Azadeh Farzan
2024 J jnl
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning.
CoRR
Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan
2024 J jnl
Coarser Equivalences for Causal Concurrency.
Proc. ACM Program. Lang.
Azadeh Farzan, Umang Mathur
2024 J jnl
Commutativity Simplifies Proofs of Parameterized Programs.
Proc. ACM Program. Lang.
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2024 J jnl
Partial bounding for recursive function synthesis.
Formal Methods Syst. Des.
Azadeh Farzan, Victor Nicolet
2023 B conf
A Pragmatic Approach to Stateful Partial Order Reduction.
VMCAI
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2023 J jnl
Commutativity Simplifies Proofs of Parameterized Programs.
CoRR
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2023 — conf
Commutativity for Concurrent Program Termination Proofs.
CAV (1)
Danya Lette, Azadeh Farzan
2023 A* conf
Commutativity in Automated Verification.
LICS
Azadeh Farzan
2023 J jnl
Stratified Commutativity in Verification Algorithms for Concurrent Programs.
Proc. ACM Program. Lang.
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2022 J jnl
A Pragmatic Approach to Stateful Partial Order Reduction.
CoRR
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2022 J jnl
Coarser Equivalences for Concurrent Program Runs.
CoRR
Azadeh Farzan, Umang Mathur
2022 J jnl
Proving Hypersafety Compositionally.
CoRR
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
2022 J jnl
Proving hypersafety compositionally.
Proc. ACM Program. Lang.
Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
2022 A* conf
Recursion synthesis with unrealizability witnesses.
PLDI
Azadeh Farzan, Danya Lette, Victor Nicolet
2022 A* conf
Sound sequentialization for concurrent program verification.
PLDI
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
2022 — conf
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).
TACAS (2)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
2021 — conf
Counterexample-Guided Partial Bounding for Recursive Function Synthesis.
CAV (1)
Azadeh Farzan, Victor Nicolet
2021 A* conf
Phased synthesis of divide and conquer programs.
PLDI
Azadeh Farzan, Victor Nicolet
2021 J jnl
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs.
ACM Trans. Program. Lang. Syst.
Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner
2020 J jnl
Reductions for safety proofs.
Proc. ACM Program. Lang.
Azadeh Farzan, Anthony Vandikas
2020 — conf
Root Causing Linearizability Violations.
CAV (1)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
2019 — conf
Automated Hypersafety Verification.
CAV (1)
Azadeh Farzan, Anthony Vandikas
2019 J jnl
Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version).
CoRR
Azadeh Farzan, Victor Nicolet
2019 A* conf
Modular divide-and-conquer parallelization of nested loops.
PLDI
Azadeh Farzan, Victor Nicolet
2019 J jnl
Reductions for Automated Hypersafety Verification.
CoRR
Azadeh Farzan, Anthony Vandikas
2019 J jnl
Reductions for Safety Proofs (Extended Version).
CoRR
Azadeh Farzan, Anthony Vandikas
2019 J jnl
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs.
CoRR
Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner, Julian Sutherland
2018 J jnl
Strategy synthesis for linear arithmetic games.
Proc. ACM Program. Lang.
Azadeh Farzan, Zachary Kincaid
2017 B conf
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk).
CONCUR
Azadeh Farzan, Zachary Kincaid
2017 J jnl
Automated Synthesis of Divide and Conquer Parallelism.
CoRR
Azadeh Farzan, Victor Nicolet
2017 A* conf
Synthesis of divide and conquer parallelism for loops.
PLDI
Azadeh Farzan, Victor Nicolet
2016 — ed.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
CAV (1)
Swarat Chaudhuri, Azadeh Farzan
2016 — ed.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
CAV (2)
Swarat Chaudhuri, Azadeh Farzan
2016 A* conf
Linear Arithmetic Satisfiability via Strategy Improvement.
IJCAI
Azadeh Farzan, Zachary Kincaid
2016 A conf
On Atomicity in Presence of Non-atomic Writes.
TACAS
Constantin Enea, Azadeh Farzan
2016 A* conf
Proving Liveness of Parameterized Programs.
LICS
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2016 J jnl
Proving Liveness of Parameterized Programs.
CoRR
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2015 C conf
Automated Program Verification.
LATA
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
2015 J jnl
Compositional Invariant Generation via Linear Recurrence Analysis.
CoRR
Azadeh Farzan, Zachary Kincaid
2015 B conf
Compositional Recurrence Analysis.
FMCAD
Azadeh Farzan, Zachary Kincaid
2015 A conf
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution.
ICST
Azadeh Farzan, Andreas Holzer, Helmut Veith
2015 A* conf
Proof Spaces for Unbounded Parallelism.
POPL
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2014 C conf
Concolic Testing of Concurrent Programs.
Software Engineering
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2014 A* conf
Consistency analysis of decision-making programs.
POPL
Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
2014 J jnl
Generating effective tests for concurrent programs via AI automated planning techniques.
Int. J. Softw. Tools Technol. Transf.
Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith
2014 A* conf
Proofs that count.
POPL
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2013 J jnl
An Algebraic Framework for Compositional Program Analysis.
CoRR
Azadeh Farzan, Zachary Kincaid
2013 — conf
Con2colic testing.
ESEC/SIGSOFT FSE
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
2013 A* conf
Duet: Static Analysis for Unbounded Parallelism.
CAV
Azadeh Farzan, Zachary Kincaid
2013 A* conf
Inductive data flow graphs.
POPL
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2012 — conf
Bounded-Interference Sequentialization for Testing Concurrent Programs.
ISoLA (1)
Niloofar Razavi, Azadeh Farzan, Andreas Holzer
2012 — conf
Predicting null-pointer dereferences in concurrent programs.
SIGSOFT FSE
Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
2012 A* conf
Verification of parameterized concurrent programs by modular reasoning about data and control.
POPL
Azadeh Farzan, Zachary Kincaid
2010 A* conf
Automated Assume-Guarantee Reasoning through Implicit Learning.
CAV
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
2010 — conf
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
ISoLA (1)
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu
2010 B conf
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.
SAS
Azadeh Farzan, Zachary Kincaid
2010 — conf
PENELOPE: weaving threads to expose atomicity violations.
SIGSOFT FSE
Francesco Sorrentino, Azadeh Farzan, P. Madhusudan
2009 A conf
Learning Minimal Separating DFA's for Compositional Verification.
TACAS
Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2009 A* conf
Meta-analysis for Atomicity Violations under Nested Locking.
CAV
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
2009 A conf
The Complexity of Predicting Atomicity Violations.
TACAS
Azadeh Farzan, P. Madhusudan
2008 A conf
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.
TACAS
Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
2008 A* conf
Monitoring Atomicity in Concurrent Programs.
CAV
Azadeh Farzan, P. Madhusudan
2007 A conf
Causal Dataflow Analysis for Concurrent Programs.
TACAS
Azadeh Farzan, P. Madhusudan
2007 — ch.
Some Tools.
All About Maude
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007 — —
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Azadeh Farzan
2006 A* conf
Causal Atomicity.
CAV
Azadeh Farzan, P. Madhusudan
2006 — conf
Partial Order Reduction for Rewriting Semantics of Programming Languages.
WRLA
Azadeh Farzan, José Meseguer
2006 — conf
State Space Reduction of Rewrite Theories Using Invisible Transitions.
AMAST
Azadeh Farzan, José Meseguer
2004 A* conf
Formal Analysis of Java Programs in JavaFAN.
CAV
Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
2004 — conf
Formal JVM Code Analysis in JavaFAN.
AMAST
Azadeh Farzan, José Meseguer, Grigore Rosu