Azadeh Farzan
Azadeh Farzan
Associate Professor, University of Toronto
Verified email at cs.toronto.edu - Homepage
Title
Cited by
Cited by
Year
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
1552004
PENELOPE: weaving threads to expose atomicity violations
F Sorrentino, A Farzan, P Madhusudan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1232010
Causal atomicity
A Farzan, P Madhusudan
International Conference on Computer Aided Verification, 315-328, 2006
832006
Monitoring atomicity in concurrent programs
A Farzan, P Madhusudan
International Conference on Computer Aided Verification, 52-65, 2008
792008
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
682009
Con2colic testing
A Farzan, A Holzer, N Razavi, H Veith
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
672013
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
632008
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
612013
Formal JVM code analysis in JavaFAN
A Farzan, J Meseguer, G Roşu
International Conference on Algebraic Methodology and Software Technology …, 2004
502004
Meta-analysis for atomicity violations under nested locking
A Farzan, P Madhusudan, F Sorrentino
International Conference on Computer Aided Verification, 248-262, 2009
492009
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
482012
Automated assume-guarantee reasoning through implicit learning
YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang
International Conference on Computer Aided Verification, 511-526, 2010
432010
The complexity of predicting atomicity violations
A Farzan, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2009
382009
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
322015
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
322012
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
312014
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
302015
State space reduction of rewrite theories using invisible transitions
A Farzan, J Meseguer
International Conference on Algebraic Methodology and Software Technology …, 2006
302006
Partial order reduction for rewriting semantics of programming languages
A Farzan, J Meseguer
Electronic Notes in Theoretical Computer Science 176 (4), 61-78, 2007
262007
Causal dataflow analysis for concurrent programs
A Farzan, P Madhusudan
International Conference on Tools and Algorithms for the Construction and …, 2007
222007
The system can't perform the operation now. Try again later.
Articles 1–20