Automatic formal verification of MPI-based parallel programs. - Stephen F. Siegel; Timothy K. Zirkel (PPoPP, 2011)

Collective Assertions. - Stephen F. Siegel; Timothy K. Zirkel (VMCAI, 2011)

TASS: The Toolkit for Accurate Scientific Software. - Stephen F. Siegel; Timothy K. Zirkel (Math. Comput. Sci., 2011)

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. - Stephen F. Siegel; Timothy K. Zirkel (Math. Comput. Sci., 2011)

Loop Invariant Symbolic Execution for Parallel Programs. - Stephen F. Siegel; Timothy K. Zirkel (VMCAI, 2012)

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution. - Timothy K. Zirkel; Stephen F. Siegel; Timothy McClory (NASA Formal Methods, 2013)

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 (SC, 2015)