Azadeh Farzan
University of Toronto
H-index: 25
North America-Canada
Top articles of Azadeh Farzan
Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
arXiv preprint arXiv:2402.18708
2024/2/28
Emanuele D'Osualdo
H-Index: 4
Azadeh Farzan
H-Index: 16
Coarser Equivalences for Causal Concurrency
Proceedings of the ACM on Programming Languages
2024/1/5
Azadeh Farzan
H-Index: 16
Umang Mathur
H-Index: 6
Commutativity Simplifies Proofs of Parameterized Programs
Proceedings of the ACM on Programming Languages
2024/1/5
Commutativity for Concurrent Program Termination Proofs
2023/7/17
Azadeh Farzan
H-Index: 16
Commutativity in Automated Verification
2023/6/26
Azadeh Farzan
H-Index: 16
Partial bounding for recursive function synthesis
Formal Methods in System Design
2023/5/16
Azadeh Farzan
H-Index: 16
A pragmatic approach to stateful partial order reduction
2023/1/16
Azadeh Farzan
H-Index: 16
Stratified commutativity in verification algorithms for concurrent programs
Proceedings of the ACM on Programming Languages
2023/1/9
Proving hypersafety compositionally
Proceedings of the ACM on Programming Languages
2022/10/31
Azadeh Farzan
H-Index: 16
Coarser Equivalences for Concurrent Program Runs
arXiv preprint arXiv:2208.12117
2022/8/25
Azadeh Farzan
H-Index: 16
Umang Mathur
H-Index: 6
Recursion synthesis with unrealizability witnesses
2022/6/9
Azadeh Farzan
H-Index: 16
Sound sequentialization for concurrent program verification
2022/6/9
Ultimate GemCutter and the Axes of Generalization: (Competition Contribution)
2022/3/30
Dominik Klumpp
H-Index: 3
Daniel Dietsch
H-Index: 12
Azadeh Farzan
H-Index: 16
Andreas Podelski
H-Index: 27
Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk)
2022
TaDA Live: Compositional reasoning for termination of fine-grained concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
2021/11/10
Phased synthesis of divide and conquer programs
2021/6/19
Azadeh Farzan
H-Index: 16
Counterexample-Guided Partial Bounding for Recursive Function Synthesis
2021
Azadeh Farzan
H-Index: 16
From Iterative Implementations to Single-Pass Functions
2021
Azadeh Farzan
H-Index: 16
Root causing linearizability violations
2020/7/14
Azadeh Farzan
H-Index: 16
Co-Authors
