Travelled to:3 × USA
Collaborated with:S.F.Siegel
Talks about:parallel (2) program (2) collect (1) automat (1) symbol (1) invari (1) formal (1) execut (1) assert (1) verif (1)
Person: Timothy K. Zirkel
DBLP: Zirkel:Timothy_K=
Contributed to:
2012
20112011Wrote 3 papers:
- VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation
- Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
- PPoPP-2011-SiegelZ #automation #parallel #source code #verification
- Automatic formal verification of MPI-based parallel programs (SFS, TKZ), pp. 309–310.
- VMCAI-2011-SiegelZ
- Collective Assertions (SFS, TKZ), pp. 387–402.