default search action

combined dblp search
author search
venue search
publication search

ask others

2nd Correctness@SC 2018: 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
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/sc/2018correctness
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/2018correctness
Ignacio Laguna, Cindy Rubio-González:
2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018. IEEE 2018, ISBN 978-1-7281-0226-9

Applications Correctness

- view
  authority control:
- export record
  dblp key:
  - conf/sc/AltuntasB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/AltuntasB18
Alper Altuntas, John W. Baugh Jr.:
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/sc/MutluPK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/MutluPK18
Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy:
HPC Software Verification in Action: A Case Study with Tensor Transposition. 9-16

Parallel Tasking

- view
  authority control:
- export record
  dblp key:
  - conf/sc/LeeSMA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/LeeSMA18
Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken:
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. 17-24
- view
  authority control:
- export record
  dblp key:
  - conf/sc/Evans18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/Evans18
Noah Evans:
Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? 25-32

OpenMP Data Race Detection

- view
  authority control:
- export record
  dblp key:
  - conf/sc/SwainH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/SwainH18
Bradley Swain, Jeff Huang:
Towards Incremental Static Race Detection in OpenMP Programs. 33-41
- view
  authority control:
- export record
  dblp key:
  - conf/sc/YeSLLKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/YeSLLKS18
Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar:
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. 42-50

Message-Passing Correctness

- view
  authority control:
- export record
  dblp key:
  - conf/sc/HuckLKPTBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/HuckLKPTBM18
Alexander Hück, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Müller:
Compiler-aided Type Tracking for Correctness Checking of MPI Applications. 51-58
- view
  authority control:
- export record
  dblp key:
  - conf/sc/LuoS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/LuoS18
Ziqing Luo, Stephen F. Siegel:
Towards Deductive Verification of Message-Passing Parallel Programs. 59-68
- view
  authority control:
- export record
  dblp key:
  - conf/sc/HuchantSBBC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/HuchantSBBC18
Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault:
PARCOACH Extension for a Full-Interprocedural Collectives Verification. 69-76

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.