BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
6 × USA
Collaborated with:
T.K.Zirkel G.S.Avrunin G.Gopalakrishnan A.Mironova L.A.Clarke M.Zheng M.S.Rogers Z.Luo M.B.Dwyer
Talks about:
program (7) parallel (4) verif (4) mpi (4) formal (3) model (3) wildcard (2) symbol (2) execut (2) check (2)

Person: Stephen F. Siegel

DBLP DBLP: Siegel:Stephen_F=

Contributed to:

VMCAI 20122012
PPoPP 20112011
VMCAI 20112011
VMCAI 20072007
ISSTA 20062006
PPoPP 20052005
VMCAI 20052005
ISSTA 20002000
ASE 20152015
CAV (2) 20192019

Wrote 11 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-SiegelG #analysis #formal method #message passing
Formal Analysis of Message Passing — (SFS, GG), pp. 2–18.
VMCAI-2011-SiegelZ
Collective Assertions (SFS, TKZ), pp. 387–402.
VMCAI-2007-Siegel #model checking #source code
Model Checking Nonblocking MPI Programs (SFS), pp. 44–58.
ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification
Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
PPoPP-2005-SiegelA #modelling #source code #verification
Modeling wildcard-free MPI programs for verification (SFS, GSA), pp. 95–106.
VMCAI-2005-Siegel #performance #source code #verification
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives (SFS), pp. 413–429.
ISSTA-2000-SiegelA #precise
Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.
ASE-2015-ZhengRLDS #named #parallel #source code #verification
CIVL: Formal Verification of Parallel Programs (MZ, MSR, ZL, MBD, SFS), pp. 830–835.
CAV-2019-Siegel #on the fly #partial order #reduction #what
What's Wrong with On-the-Fly Partial Order Reduction (SFS), pp. 478–495.

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.