Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou. Static Local Concurrency Errors Detection in MPI-RMA Programs. In Ignacio Laguna, Cindy Rubio-González, editors, Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. pages 18-26, IEEE, 2022. [doi]
Abstract is missing.