default search action

combined dblp search
author search
venue search
publication search

ask others

6th Correctness@SC 2022: Dallas, TX, USA

> Home > Conferences and Workshops > Correctness
> Home > Conferences and Workshops > SC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/correctness/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/2022
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
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/DemmelDGHLLLPRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/DemmelDGHLLLPRR22
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
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/KellisonTJH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/KellisonTJH22
Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette:
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. 10-17
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/SaillardSKB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/SaillardSKB22
Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou:
Static Local Concurrency Errors Detection in MPI-RMA Programs. 18-26
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/SchwitanskiJTTM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/SchwitanskiJTTM22
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
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/JinJPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/JinJPS22
Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar:
MiniKokkos: A Calculus of Portable Parallelism. 37-44
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/ChenVLLE22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/ChenVLLE22
Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani:
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. 45-53
- view
  authority control:
- export record
  dblp key:
  - conf/correctness/YuJPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/correctness/YuJPS22
Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar:
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. 54-62

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.