Follow
Azadeh Farzan
Azadeh Farzan
Associate Professor, University of Toronto
Verified email at cs.toronto.edu - Homepage
Title
Cited by
Cited by
Year
Some tools
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...
All About Maude-A High-Performance Logical Framework: How to Specify …, 2007
15532007
Formal analysis of Java programs in JavaFAN
A Farzan, F Chen, J Meseguer, G Roşu
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1622004
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1462010
Causal atomicity
A Farzan, P Madhusudan
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
922006
Monitoring atomicity in concurrent programs
A Farzan, P Madhusudan
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
902008
Learning minimal separating DFA’s for compositional verification
YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2009
872009
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
822013
Extending automated compositional verification to the full class of omega-regular languages
A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang
International Conference on Tools and Algorithms for the Construction and …, 2008
792008
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
702013
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
642015
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
602010
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
562012
Meta-analysis for atomicity violations under nested locking
A Farzan, P Madhusudan, F Sorrentino
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
552009
Predicting null-pointer dereferences in concurrent programs
A Farzan, P Madhusudan, N Razavi, F Sorrentino
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
502012
Formal JVM code analysis in JavaFAN
A Farzan, J Meseguer, G Roşu
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
482004
The complexity of predicting atomicity violations
A Farzan, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2009
462009
Automated hypersafety verification
A Farzan, A Vandikas
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
422019
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
412015
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
402014
Synthesis of divide and conquer parallelism for loops
A Farzan, V Nicolet
ACM SIGPLAN Notices 52 (6), 540-555, 2017
382017
The system can't perform the operation now. Try again later.
Articles 1–20