Stephen F. Siegel

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 19

Top Topics

Symbolic Execution

Nearest Neighbor

Top Venues

Publications

Ziqing Luo, Stephen F. Siegel
Collective Contracts for Message-Passing Parallel Programs. CAV (2) (2024)
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed. CoRR (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Ziqing Luo, Stephen F. Siegel
Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed. CAV (2) (2023)
Le Chen, Wenhao Wu, Stephen F. Siegel, Pei-Hung Lin, Chunhua Liao
DataRaceBench V1.4.1 and DataRaceBench-ML V0.1: Benchmark Suites for Data Race Detection. CoRR (2023)
Wenhao Wu, Jan Hückelheim, Paul D. Hovland, Stephen F. Siegel
Verifying Fortran Programs with CIVL. TACAS (1) (2022)
Stephen F. Siegel, Yihao Yan
Action-Based Model Checking: Logic, Automata, and Reduction. CAV (2) (2020)
Stephen F. Siegel
What's Wrong with On-the-Fly Partial Order Reduction. CAV (2) (2019)
Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland
Verifying Properties of Differentiable Programs. SAS (2018)
Ziqing Luo, Stephen F. Siegel
Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. ISoLA (2) (2018)
Ziqing Luo, Stephen F. Siegel
Towards Deductive Verification of Message-Passing Parallel Programs. CORRECTNESS@SC (2018)
Markus Schordan, Dirk Beyer, Stephen F. Siegel
Evaluating Tools for Software Verification (Track Introduction). ISoLA (2) (2018)
Ziqing Luo, Manchun Zheng, Stephen F. Siegel
Verification of MPI programs using CIVL. EuroMPI/USA (2017)
Stephen F. Siegel
CIVL solutions to verifythis 2016 challenges. ACM SIGLOG News 4 (2) (2017)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel
The RERS 2017 challenge and workshop (invited paper). SPIN (2017)
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland
Towards Self-Verification in Finite Difference Code Generation. CORRECTNESS@SC (2017)
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR (2017)
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS (2016)
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
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42 (3) (2016)
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
CIVL: the concurrency intermediate verification language. SC (2015)
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs. ASE (2015)
Adam Hammouda, Andrew R. Siegel, Stephen F. Siegel
Noise-Tolerant Explicit Stencil Computations for Nonuniform Process Execution Rates. ACM Trans. Parallel Comput. 2 (1) (2015)
Adam Hammouda, Andrew R. Siegel, Stephen F. Siegel
Overcoming Asynchrony: An Analysis of the Effects of Asynchronous Noise on Nearest Neighbor Synchronizations. EASC (2014)
Timothy K. Zirkel, Stephen F. Siegel, Timothy McClory
Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution. NASA Formal Methods (2013)
Kyle G. Felker, Andrew R. Siegel, Stephen F. Siegel
Optimizing Memory Constrained Environments in Monte Carlo Nuclear Reactor Simulations. Int. J. High Perform. Comput. Appl. 27 (2) (2013)
Stephen F. Siegel, Timothy K. Zirkel
Loop Invariant Symbolic Execution for Parallel Programs. VMCAI (2012)
Stephen F. Siegel
Transparent partial order reduction. Formal Methods Syst. Des. 40 (1) (2012)
Stephen F. Siegel, Ganesh Gopalakrishnan
Formal Analysis of Message Passing - (Invited Talk). VMCAI (2011)
Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
Formal analysis of MPI-based parallel programs. Commun. ACM 54 (12) (2011)
Stephen F. Siegel, Timothy K. Zirkel
TASS: The Toolkit for Accurate Scientific Software. Math. Comput. Sci. 5 (4) (2011)
Stephen F. Siegel, Timothy K. Zirkel
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. Math. Comput. Sci. 5 (4) (2011)
Stephen F. Siegel, Timothy K. Zirkel
Automatic formal verification of MPI-based parallel programs. PPOPP (2011)
Stephen F. Siegel, Timothy K. Zirkel
Collective Assertions. VMCAI (2011)
Stephen F. Siegel, Andrew R. Siegel
Madre: the Memory-Aware Data Redistribution Engine. Int. J. High Perform. Comput. Appl. 24 (1) (2010)
Stephen F. Siegel
Formal Verification for Scientific Computing: Trends and Progress. PVM/MPI (2009)
Stephen F. Siegel, Andrew R. Siegel
A Memory-Efficient Data Redistribution Algorithm. PVM/MPI (2009)
Stephen F. Siegel
Verification of MPI-based Computations. Distributed Verification and Grid Computing (2008)
Stephen F. Siegel, Louis F. Rossi
Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software. PVM/MPI (2008)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Stephen F. Siegel, Andrew R. Siegel
MADRE: The Memory-Aware Data Redistribution Engine. PVM/MPI (2008)
Stephen F. Siegel
Verifying Parallel Programs with MPI-Spin. PVM/MPI (2007)
Stephen F. Siegel
Model Checking Nonblocking MPI Programs. VMCAI (2007)
Stephen F. Siegel, George S. Avrunin
Verification of Halting Properties for MPI Programs Using Nonblocking Operations. PVM/MPI (2007)
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Using model checking with symbolic execution to verify parallel numerical programs. ISSTA (2006)
Stephen F. Siegel
Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives. VMCAI (2005)
Stephen F. Siegel, George S. Avrunin
Modeling wildcard-free MPI programs for verification. PPOPP (2005)
Stephen F. Siegel, George S. Avrunin
Verification of MPI-Based Software for Scientific Computation. SPIN (2004)
Stephen F. Siegel, George S. Avrunin
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. IEEE Trans. Software Eng. 28 (2) (2002)
Stephen F. Siegel, George S. Avrunin
Improving the precision of INCA by preventing spurious cycles. ISSTA (2000)
Marc H. Meyer, Arthur DeTore, Stephen F. Siegel, Kathleen Foley Curley
The Strategic Use of Expert Systems for Risk Management in the Insurance Industry. ACM SIGBDP Conference on Trends and Directions in Expert Systems (1990)