| 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 | 1618 | 2007 |
| 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 | 161 | 2004 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 152 | 2010 |
| Monitoring atomicity in concurrent programs A Farzan, P Madhusudan Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 95 | 2008 |
| Causal atomicity A Farzan, P Madhusudan Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 94 | 2006 |
| 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 | 91 | 2009 |
| Con2colic testing A Farzan, A Holzer, N Razavi, H Veith Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 88 | 2013 |
| 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 | 83 | 2008 |
| Compositional recurrence analysis A Farzan, Z Kincaid 2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015 | 80 | 2015 |
| Inductive data flow graphs A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 48 (1), 129-142, 2013 | 72 | 2013 |
| 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 | 63 | 2010 |
| Meta-analysis for atomicity violations under nested locking A Farzan, P Madhusudan, F Sorrentino Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 58 | 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 | 57 | 2012 |
| 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 | 53 | 2012 |
| Automated hypersafety verification A Farzan, A Vandikas Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 52 | 2019 |
| Formal JVM code analysis in JavaFAN A Farzan, J Meseguer, G Roşu Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 49 | 2004 |
| The complexity of predicting atomicity violations A Farzan, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2009 | 48 | 2009 |
| Strategy synthesis for linear arithmetic games A Farzan, Z Kincaid Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 46 | 2017 |
| Synthesis of divide and conquer parallelism for loops A Farzan, V Nicolet ACM SIGPLAN Notices 52 (6), 540-555, 2017 | 44 | 2017 |
| Proofs that count A Farzan, Z Kincaid, A Podelski Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 44 | 2014 |
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
