Stephen F. Siegel

54 papers A* 1A 4B 8Journal 15Unranked 25

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