| The Hochschild cohomology ring of a group algebra SF Siegel, SJ Witherspoon Proceedings of the London Mathematical Society 79 (1), 131-157, 1999 | 123 | 1999 |
| Combining symbolic execution with model checking to verify parallel numerical programs SF Siegel, A Mironova, GS Avrunin, LA Clarke ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-34, 2008 | 110 | 2008 |
| Model checking nonblocking MPI programs SF Siegel International Workshop on Verification, Model Checking, and Abstract …, 2007 | 104 | 2007 |
| Formal analysis of MPI-based parallel programs G Gopalakrishnan, RM Kirby, S Siegel, R Thakur, W Gropp, E Lusk, ... Communications of the ACM 54 (12), 82-91, 2011 | 98 | 2011 |
| CIVL: the concurrency intermediate verification language SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ... Proceedings of the International Conference for High Performance Computing …, 2015 | 90 | 2015 |
| Using model checking with symbolic execution to verify parallel numerical programs SF Siegel, A Mironova, GS Avrunin, LA Clarke Proceedings of the 2006 international symposium on Software testing and …, 2006 | 85 | 2006 |
| Verifying parallel programs with MPI-Spin SF Siegel European Parallel Virtual Machine/Message Passing Interface Users’ Group …, 2007 | 70 | 2007 |
| Verification of MPI-based software for scientific computation SF Siegel, GS Avrunin International SPIN Workshop on Model Checking of Software, 286-303, 2004 | 67 | 2004 |
| Modeling wildcard-free MPI programs for verification SF Siegel, GS Avrunin Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005 | 59 | 2005 |
| TASS: The toolkit for accurate scientific software SF Siegel, TK Zirkel Mathematics in Computer Science 5 (4), 395-426, 2011 | 57 | 2011 |
| Automatic formal verification of MPI-based parallel programs SF Siegel, TK Zirkel ACM Sigplan Notices 46 (8), 309-310, 2011 | 56 | 2011 |
| Efficient verification of halting properties for MPI programs with wildcard receives SF Siegel International Workshop on Verification, Model Checking, and Abstract …, 2005 | 53 | 2005 |
| Formal Analysis of Message Passing: (Invited Talk) SF Siegel, G Gopalakrishnan International Workshop on Verification, Model Checking, and Abstract …, 2011 | 45 | 2011 |
| CIVL: formal verification of parallel programs M Zheng, MS Rogers, Z Luo, MB Dwyer, SF Siegel 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 43 | 2015 |
| Comparing finite-state verification techniques for concurrent software GS Avrunin, JC Corbett, MB Dwyer, CS Pasareanu, SF Siegel University of Massachusetts, Amherst, MA, 1999 | 39 | 1999 |
| Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC G Gopalakrishnan, PD Hovland, C Iancu, S Krishnamoorthy, I Laguna, ... arXiv preprint arXiv:1705.07478, 2017 | 35 | 2017 |
| FEVS: A functional equivalence verification suite for high-performance scientific computing SF Siegel, TK Zirkel Mathematics in Computer Science 5 (4), 427-435, 2011 | 32 | 2011 |
| Verification of halting properties for MPI programs using nonblocking operations SF Siegel, GS Avrunin European Parallel Virtual Machine/Message Passing Interface Users’ Group …, 2007 | 31 | 2007 |
| Verification of MPI programs using CIVL Z Luo, M Zheng, SF Siegel Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017 | 26 | 2017 |
| Loop invariant symbolic execution for parallel programs SF Siegel, TK Zirkel International Workshop on Verification, Model Checking, and Abstract …, 2012 | 26 | 2012 |
