Stephen F. Siegel

According to our database1, Stephen F. Siegel authored at least 39 papers between 1990 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Verifying Properties of Differentiable Programs.
Proceedings of the Static Analysis - 25th International Symposium, 2018

2017
CIVL solutions to verifythis 2016 challenges.
SIGLOG News, 2017

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC.
CoRR, 2017

The RERS 2017 challenge and workshop (invited paper).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Towards Self-Verification in Finite Difference Code Generation.
Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

Verification of MPI programs using CIVL.
Proceedings of the 24th European MPI Users' Group Meeting, 2017

2016
Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Noise-Tolerant Explicit Stencil Computations for Nonuniform Process Execution Rates.
TOPC, 2015

CIVL: the concurrency intermediate verification language.
Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014
Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations.
Proceedings of the Solving Software Challenges for Exascale, 2014

2013
Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations.
IJHPCA, 2013

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution.
Proceedings of the NASA Formal Methods, 2013

2012
Transparent partial order reduction.
Formal Methods in System Design, 2012

Loop Invariant Symbolic Execution for Parallel Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing.
Mathematics in Computer Science, 2011

TASS: The Toolkit for Accurate Scientific Software.
Mathematics in Computer Science, 2011

Formal analysis of MPI-based parallel programs.
Commun. ACM, 2011

Collective Assertions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Formal Analysis of Message Passing - (Invited Talk).
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Automatic formal verification of MPI-based parallel programs.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010
Madre: the Memory-Aware Data Redistribution Engine.
IJHPCA, 2010

2009
A Memory-Efficient Data Redistribution Algorithm.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Formal Verification for Scientific Computing: Trends and Progress.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

2008
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol., 2008

MADRE: The Memory-Aware Data Redistribution Engine.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Verification of MPI-based Computations.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

2007
Model Checking Nonblocking MPI Programs.
Proceedings of the Verification, 2007

Verification of Halting Properties for MPI Programs Using Nonblocking Operations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Verifying Parallel Programs with MPI-Spin.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

2006
Using model checking with symbolic execution to verify parallel numerical programs.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.
Proceedings of the Verification, 2005

Modeling wildcard-free MPI programs for verification.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

2004
Verification of MPI-Based Software for Scientific Computation.
Proceedings of the Model Checking Software, 2004

2002
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
IEEE Trans. Software Eng., 2002

2000
Improving the precision of INCA by preventing spurious cycles.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

1990
The Strategic Use of Expert Systems for Risk Management in the Insurance Industry.
Proceedings of the 1990 ACM SIGBDP Conference on Trends and Directions in Expert Systems, October 31, 1990


  Loading...