Timothy K. Zirkel

According to our database, Timothy K. Zirkel authored at least 7 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

CIVL: the concurrency intermediate verification language.

Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers

Proceedings of the International Conference for High Performance Computing, 2015

2013

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution.

Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory

Proceedings of the NASA Formal Methods, 2013

2012

Loop Invariant Symbolic Execution for Parallel Programs.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing.

Stephen F. Siegel, Timothy K. Zirkel

Math. Comput. Sci., 2011

TASS: The Toolkit for Accurate Scientific Software.

Stephen F. Siegel, Timothy K. Zirkel

Math. Comput. Sci., 2011

Collective Assertions.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Automatic formal verification of MPI-based parallel programs.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011