Timothy K. Zirkel, Ph.D.
Affiliations: | 2014 | Computer and Information Sciences | University of Delaware, Newark, DE, United States |
Area:
Computer ScienceGoogle:
"Timothy Zirkel"Parents
Sign in to add mentor| Stephen F. Siegel | grad student | 2014 | University of Delaware | |
| (Formally verifying the accuracy of numerical approximations in scientific software.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Siegel SF, Zheng M, Luo Z, et al. (2015) CIVL: The concurrency intermediate verification language International Conference For High Performance Computing, Networking, Storage and Analysis, Sc. 15 |
| Zirkel TK, Siegel SF, McClory T. (2013) Automated verification of chapel programs using model checking and symbolic execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 198-212 |
| Siegel SF, Zirkel TK. (2012) Loop invariant symbolic execution for parallel programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7148: 412-427 |
| Siegel SF, Zirkel TK. (2011) Automatic formal verification of MPI-based parallel programs Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 309-310 |
| Siegel SF, Zirkel TK. (2011) FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing Mathematics in Computer Science. 5: 427-435 |
| Siegel SF, Zirkel TK. (2011) TASS: The Toolkit for Accurate Scientific Software Mathematics in Computer Science. 5: 395-426 |
| Siegel SF, Zirkel TK. (2011) Collective assertions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6538: 387-402 |