![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th Correctness@SC 2022: Dallas, TX, USA
- Ignacio Laguna, Cindy Rubio-González:
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. IEEE 2022, ISBN 978-1-6654-6335-5 - James Demmel, Jack J. Dongarra, Mark Gates
, Greg Henry, Julien Langou
, Xiaoye S. Li, Piotr Luszczek, Weslley S. Pereira, E. Jason Riedy, Cindy Rubio-González:
Proposed Consistent Exception Handling for the BLAS and LAPACK. 1-9 - Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette:
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. 10-17 - Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou:
Static Local Concurrency Errors Detection in MPI-RMA Programs. 18-26 - Simon Schwitanski
, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias S. Müller:
On-the-Fly Data Race Detection for MPI RMA Programs with MUST. 27-36 - Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar:
MiniKokkos: A Calculus of Portable Parallelism. 37-44 - Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani:
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. 45-53 - Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar:
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. 54-62
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.