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 |
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 |
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 |
Loop invariant symbolic execution for parallel programs SF Siegel, TK Zirkel International Workshop on Verification, Model Checking, and Abstract …, 2012 | 26 | 2012 |
Collective assertions SF Siegel, TK Zirkel International Workshop on Verification, Model Checking, and Abstract …, 2011 | 23 | 2011 |
Automated verification of Chapel programs using model checking and symbolic execution TK Zirkel, SF Siegel, T McClory NASA Formal Methods Symposium, 198-212, 2013 | 17 | 2013 |
A Functional Equivalence Verification Suite SF Siegel, TK Zirkel | 5 | 2015 |
Using symbolic execution to verify the order of accuracy of numerical approximations TK Zirkel, SF Siegel, LF Rossi Technical Report UD-CIS-2014/002. Department of Computer and Information …, 2014 | 5 | 2014 |
The Concurrency Intermediate Verification Language Reference Manual v0. 17 MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, M Rogers, SF Siegel, ... | 1 | 2015 |
A functional equivalence verification suite for high-performance scientific computing SF Siegel, TK Zirkel, Y Wei Technical Report UDEL-CIS-2011/02, Department of Computer and Information …, 2011 | 1 | 2011 |
Symbolic execution for sequential and multi-process programs with unbounded loops SF Siegel, TK Zirkel Tech. Rep. UD-CIS-2011/03, Univ. Delaware, 2011 | 1 | 2011 |
CIVL SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ... Proceedings of the International Conference for High Performance Computing …, 2015 | | 2015 |
Formally verifying the accuracy of numerical approximations in scientific software TK Zirkel University of Delaware, 2014 | | 2014 |
Comparative Symbolic Execution for Unbounded Loops Using Loop Co-Invariants SF Siegel, Y Wei, TK Zirkel | | |
Technical Report UD-CIS-2011/03 SF Siegel, TK Zirkel | | |