BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
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 DBLP: Zirkel:Timothy_K=

Contributed to:

VMCAI 20122012
PPoPP 20112011
VMCAI 20112011

Wrote 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.
Collective Assertions (SFS, TKZ), pp. 387–402.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.