Takip et
Azadeh Farzan
Azadeh Farzan
Associate Professor, University of Toronto
cs.toronto.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
16282007
Formal analysis of Java programs in JavaFAN
A Farzan, F Chen, J Meseguer, G Roşu
International Conference on Computer Aided Verification, 501-505, 2004
1612004
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1492010
Monitoring atomicity in concurrent programs
A Farzan, P Madhusudan
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
952008
Causal atomicity
A Farzan, P Madhusudan
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
932006
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
912009
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
882008
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
872013
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
832015
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
722013
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
672010
Meta-analysis for atomicity violations under nested locking
A Farzan, P Madhusudan, F Sorrentino
International Conference on Computer Aided Verification, 248-262, 2009
582009
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
Automated hypersafety verification
A Farzan, A Vandikas
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
532019
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
532012
Formal JVM code analysis in JavaFAN
A Farzan, J Meseguer, G Roşu
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
512004
The complexity of predicting atomicity violations
A Farzan, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2009
482009
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
472017
Synthesis of divide and conquer parallelism for loops
A Farzan, V Nicolet
ACM SIGPLAN Notices 52 (6), 540-555, 2017
462017
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
452014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20