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: Siegel:Stephen_F=
Contributed to:
2012
201120112007
2006200520052000
2015
2019Wrote 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.