Scholar
Azadeh Farzan
Google Scholar ID: n9Kg_LUAAAAJ
Associate Professor, University of Toronto
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
834
H-index
18
i10-index
30
Publications
20
Co-authors
10
list available
Publications
6 items
Complete Local Reasoning About Parameterized Programs Over Topologies
2026
Cited
0
On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
2026
Cited
0
Parametrizing Reads-From Equivalence for Predictive Monitoring
2026
Cited
0
Symmetric Proofs of Parameterized Programs
2026
Cited
0
Enhanced Data Race Prediction Through Modular Reasoning
2025
Cited
0
Products of Recursive Programs for Hypersafety Verification
2025
Cited
0
Co-authors
6 total
Zachary Kincaid
Princeton University
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Grigore Rosu
University of Illinois at Urbana Champaign
Swarat Chaudhuri
UT Austin, Google DeepMind
Sheila McIlraith
Professor of Computer Science, University of Toronto
