default search action

combined dblp search
author search
venue search
publication search

ask others

Correctness@SC 2017: Denver, CO, 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/sc/2017correctness
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/2017correctness
Ignacio Laguna, Cindy Rubio-González:
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. ACM 2017, ISBN 978-1-4503-5127-0

Workshop Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sc/AltuntasB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/AltuntasB17
Alper Altuntas, John W. Baugh Jr.:
Verifying Concurrency in an Adaptive Ocean Circulation Model. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/sc/BakerMHX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/BakerMHX17
Allison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu:
Quality Assurance and Error Identification for the Community Earth System Model. 8-13
- view
  authority control:
- export record
  dblp key:
  - conf/sc/LeeL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/LeeL17
Matthew Lee, Tze Meng Low:
A Family of Provably Correct Algorithms for Exact Triangle Counting. 14-20
- view
  authority control:
- export record
  dblp key:
  - conf/sc/ProtzeTMPEMB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/ProtzeTMPEMB17
Joachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku:
Runtime Correctness Checking for Emerging Programming Paradigms. 21-27
- view
  authority control:
- export record
  dblp key:
  - conf/sc/PhamJQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/PhamJQ17
The Anh Pham, Thierry Jéron, Martin Quinson:
Verifying MPI Applications with SimGridMC. 28-33
- view
  authority control:
- export record
  dblp key:
  - conf/sc/SchordanHLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/SchordanHLM17
Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon:
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. 34-41
- view
  authority control:
- export record
  dblp key:
  - conf/sc/HuckelheimLLKLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/HuckelheimLLKLG17
Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland:
Towards Self-Verification in Finite Difference Code Generation. 42-49

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.