| 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 | 163 | 2004 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 145 | 2010 |
| Causal atomicity A Farzan, P Madhusudan Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 89 | 2006 |
| Monitoring atomicity in concurrent programs A Farzan, P Madhusudan Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 85 | 2008 |
| Con2colic testing A Farzan, A Holzer, N Razavi, H Veith Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 84 | 2013 |
| Learning minimal separating DFA’s for compositional verification YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 80 | 2009 |
| Extending automated compositional verification to the full class of omega-regular languages A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 72 | 2008 |
| Inductive data flow graphs A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 48 (1), 129-142, 2013 | 68 | 2013 |
| Compositional recurrence analysis A Farzan, Z Kincaid 2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015 | 57 | 2015 |
| 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 | 56 | 2010 |
| Meta-analysis for atomicity violations under nested locking A Farzan, P Madhusudan, F Sorrentino Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 55 | 2009 |
| Verification of parameterized concurrent programs by modular reasoning about data and control A Farzan, Z Kincaid ACM SIGPLAN Notices 47 (1), 297-308, 2012 | 53 | 2012 |
| Formal JVM code analysis in JavaFAN A Farzan, J Meseguer, G Roşu Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 50 | 2004 |
| 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 | 46 | 2012 |
| The complexity of predicting atomicity violations A Farzan, P Madhusudan Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 46 | 2009 |
| Proof spaces for unbounded parallelism A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 50 (1), 407-420, 2015 | 38 | 2015 |
| Proofs that count A Farzan, Z Kincaid, A Podelski Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 37 | 2014 |
| Automated hypersafety verification A Farzan, A Vandikas Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 35 | 2019 |
| State space reduction of rewrite theories using invisible transitions A Farzan, J Meseguer AMAST 6, 142-157, 2006 | 35 | 2006 |
| Synthesis of divide and conquer parallelism for loops A Farzan, V Nicolet ACM SIGPLAN Notices 52 (6), 540-555, 2017 | 34 | 2017 |
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
