Stephen F. Siegel

According to our database, Stephen F. Siegel authored at least 48 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Collective Contracts for Message-Passing Parallel Programs.

Ziqing Luo, Stephen F. Siegel

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL.

Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel

CoRR, 2023

DataRaceBench V1.4.1 and DataRaceBench-ML V0.1: Benchmark Suites for Data Race Detection.

Le Chen, Wenhao Wu, Stephen F. Siegel, Pei-Hung Lin, Chunhua Liao

CoRR, 2023

Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed.

Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Verifying Fortran Programs with CIVL.

Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Stephen F. Siegel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

Action-Based Model Checking: Logic, Automata, and Reduction.

Stephen F. Siegel, Yihao Yan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

What's Wrong with On-the-Fly Partial Order Reduction.

Stephen F. Siegel

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Towards Deductive Verification of Message-Passing Parallel Programs.

Ziqing Luo, Stephen F. Siegel

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Verifying Properties of Differentiable Programs.

Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland

Proceedings of the Static Analysis - 25th International Symposium, 2018

Evaluating Tools for Software Verification (Track Introduction).

Markus Schordan, Dirk Beyer, Stephen F. Siegel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.

Ziqing Luo, Stephen F. Siegel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

CIVL solutions to verifythis 2016 challenges.

Stephen F. Siegel

ACM SIGLOG News, 2017

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

Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama

CoRR, 2017

The RERS 2017 challenge and workshop (invited paper).

Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Towards Self-Verification in Finite Difference Code Generation.

Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland

Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

Verification of MPI programs using CIVL.

Ziqing Luo, Manchun Zheng, Stephen F. Siegel

Proceedings of the 24th European MPI Users' Group Meeting, 2017

2016

Connecting and Serving the Software Engineering Community.

Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang

IEEE Trans. Software Eng., 2016

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).

Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel

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.

Adam Hammouda, Andrew R. Siegel, Stephen F. Siegel

ACM Trans. Parallel Comput., 2015

CIVL: the concurrency intermediate verification language.

Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers

Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.

Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel

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.

Adam Hammouda, Andrew R. Siegel, Stephen F. Siegel

Proceedings of the Solving Software Challenges for Exascale, 2014

2013

Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations.

Kyle Gerard Felker, Andrew R. Siegel, Stephen F. Siegel

Int. J. High Perform. Comput. Appl., 2013

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution.

Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory

Proceedings of the NASA Formal Methods, 2013

2012

Transparent partial order reduction.

Stephen F. Siegel

Formal Methods Syst. Des., 2012

Loop Invariant Symbolic Execution for Parallel Programs.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing.

Stephen F. Siegel, Timothy K. Zirkel

Math. Comput. Sci., 2011

TASS: The Toolkit for Accurate Scientific Software.

Stephen F. Siegel, Timothy K. Zirkel

Math. Comput. Sci., 2011

Formal analysis of MPI-based parallel programs.

Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky

Commun. ACM, 2011

Collective Assertions.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Formal Analysis of Message Passing - (Invited Talk).

Stephen F. Siegel, Ganesh Gopalakrishnan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Automatic formal verification of MPI-based parallel programs.

Stephen F. Siegel, Timothy K. Zirkel

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010

Madre: the Memory-Aware Data Redistribution Engine.

Stephen F. Siegel, Andrew R. Siegel

Int. J. High Perform. Comput. Appl., 2010

2009

A Memory-Efficient Data Redistribution Algorithm.

Stephen F. Siegel, Andrew R. Siegel

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Formal Verification for Scientific Computing: Trends and Progress.

Stephen F. Siegel

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.

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke

ACM Trans. Softw. Eng. Methodol., 2008

Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software.

Stephen F. Siegel, Louis F. Rossi

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Verification of MPI-based Computations.

Stephen F. Siegel

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

2007

Model Checking Nonblocking MPI Programs.

Stephen F. Siegel

Proceedings of the Verification, 2007

Verification of Halting Properties for MPI Programs Using Nonblocking Operations.

Stephen F. Siegel, George S. Avrunin

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.

Stephen F. Siegel

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.

Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke

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.

Stephen F. Siegel

Proceedings of the Verification, 2005

Modeling wildcard-free MPI programs for verification.

Stephen F. Siegel, George S. Avrunin

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

2004

Verification of MPI-Based Software for Scientific Computation.

Stephen F. Siegel, George S. Avrunin

Proceedings of the Model Checking Software, 2004

2002

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.

Stephen F. Siegel, George S. Avrunin

IEEE Trans. Software Eng., 2002

2000

Improving the precision of INCA by preventing spurious cycles.

Stephen F. Siegel, George S. Avrunin

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.

Marc H. Meyer, Arthur DeTore, Stephen F. Siegel, Kathleen Foley Curley

Proceedings of the 1990 ACM SIGBDP Conference on Trends and Directions in Expert Systems, October 31, 1990