3 citations · 4 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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.PL2023
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
Wenhao Wu, Jan Hückelheim, Paul D. Hovland +2
Many parallel programming models guarantee that if all sequentially consistent (SC) executions of a program are free of data races, then all executions of the program will appear t…