3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Parameterized Verification of Deterministic MPI Programs
Stephen F. Siegel
We consider the problem of verifying a message passing program in which the number of processes is a parameter NP and each process knows its unique ID. Processes communicate using…
cs.LO2026
LAP: Simple Command-line Tools for Teaching Logic, Algorithms, and Proof in Computer Science
Stephen F. Siegel, Yuxin Zhou
The LAP toolset is a set of command line tools for teaching logic in computer science. It provides implementations of standard algorithms for propositional and first order logic, i…
cs.DC2017★ 3 cited
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu +6
Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. In this study, we detail one of the most significant productivity challenges…