- Noah Evans:
Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? CORRECTNESS@SC 2018: 25-32 - Pierre Huchant, Emmanuelle Saillard, Denis Barthou
, Hugo Brunie, Patrick Carribault:
PARCOACH Extension for a Full-Interprocedural Collectives Verification. CORRECTNESS@SC 2018: 69-76 - 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. CORRECTNESS@SC 2018: 51-58 - Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken:
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. CORRECTNESS@SC 2018: 17-24 - Ziqing Luo, Stephen F. Siegel:
Towards Deductive Verification of Message-Passing Parallel Programs. CORRECTNESS@SC 2018: 59-68 - Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy:
HPC Software Verification in Action: A Case Study with Tensor Transposition. CORRECTNESS@SC 2018: 9-16 - Bradley Swain, Jeff Huang:
Towards Incremental Static Race Detection in OpenMP Programs. CORRECTNESS@SC 2018: 33-41 - Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar:
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. CORRECTNESS@SC 2018: 42-50 - 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 [contents] - 2017
- Alper Altuntas, John W. Baugh Jr.:
Verifying Concurrency in an Adaptive Ocean Circulation Model. CORRECTNESS@SC 2017: 1-7 - Allison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu:
Quality Assurance and Error Identification for the Community Earth System Model. CORRECTNESS@SC 2017: 8-13 - 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. CORRECTNESS@SC 2017: 42-49 - Matthew Lee, Tze Meng Low:
A Family of Provably Correct Algorithms for Exact Triangle Counting. CORRECTNESS@SC 2017: 14-20 - The Anh Pham, Thierry Jéron, Martin Quinson:
Verifying MPI Applications with SimGridMC. CORRECTNESS@SC 2017: 28-33 - Joachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku:
Runtime Correctness Checking for Emerging Programming Paradigms. CORRECTNESS@SC 2017: 21-27 - Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon:
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. CORRECTNESS@SC 2017: 34-41 - 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 [contents]
