Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/correctness:"
download as .bib file
@inproceedings{DBLP:conf/correctness/ChenVLLE22,
author = {Winson Chen and
Tristan Vanderbruggen and
Pei{-}Hung Lin and
Chunhua Liao and
Murali Emani},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Early Experience with Transformer-Based Similarity Analysis for DataRaceBench},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {45--53},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00011},
doi = {10.1109/CORRECTNESS56720.2022.00011},
timestamp = {Thu, 09 Feb 2023 11:33:25 +0100},
biburl = {https://dblp.org/rec/conf/correctness/ChenVLLE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/DemmelDGHLLLPRR22,
author = {James Demmel and
Jack J. Dongarra and
Mark Gates and
Greg Henry and
Julien Langou and
Xiaoye S. Li and
Piotr Luszczek and
Weslley S. Pereira and
E. Jason Riedy and
Cindy Rubio{-}Gonz{\'{a}}lez},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Proposed Consistent Exception Handling for the {BLAS} and {LAPACK}},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {1--9},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00006},
doi = {10.1109/CORRECTNESS56720.2022.00006},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/DemmelDGHLLLPRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/JinJPS22,
author = {Feiyang Jin and
John Jacobson and
Samuel D. Pollard and
Vivek Sarkar},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {MiniKokkos: {A} Calculus of Portable Parallelism},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {37--44},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00010},
doi = {10.1109/CORRECTNESS56720.2022.00010},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/JinJPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/KellisonTJH22,
author = {Ariel Kellison and
Mohit Tekriwal and
Jean{-}Baptiste Jeannin and
Geoffrey C. Hulette},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards Verified Rounding Error Analysis for Stationary Iterative
Methods},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {10--17},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00007},
doi = {10.1109/CORRECTNESS56720.2022.00007},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/KellisonTJH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/SaillardSKB22,
author = {Emmanuelle Saillard and
Marc Sergent and
C{\'{e}}lia Tassadit Ait Kaci and
Denis Barthou},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Static Local Concurrency Errors Detection in {MPI-RMA} Programs},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {18--26},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00008},
doi = {10.1109/CORRECTNESS56720.2022.00008},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/SaillardSKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/SchwitanskiJTTM22,
author = {Simon Schwitanski and
Joachim Jenke and
Felix Tomski and
Christian Terboven and
Matthias S. M{\"{u}}ller},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {On-the-Fly Data Race Detection for {MPI} {RMA} Programs with {MUST}},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {27--36},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00009},
doi = {10.1109/CORRECTNESS56720.2022.00009},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/correctness/SchwitanskiJTTM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/YuJPS22,
author = {Lechen Yu and
Feiyang Jin and
Joachim Protze and
Vivek Sarkar},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Leveraging the Dynamic Program Structure Tree to Detect Data Races
in OpenMP Programs},
booktitle = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
pages = {54--62},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022.00012},
doi = {10.1109/CORRECTNESS56720.2022.00012},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/YuJPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/correctness/2022,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Sixth {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2022, Dallas, TX, USA, November
13-18, 2022},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/Correctness56720.2022},
doi = {10.1109/CORRECTNESS56720.2022},
isbn = {978-1-6654-6335-5},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/Bailey21,
author = {David H. Bailey},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Finding large Poisson polynomials using four-level variable precision},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00006},
doi = {10.1109/CORRECTNESS54621.2021.00006},
timestamp = {Wed, 29 Dec 2021 08:25:47 +0100},
biburl = {https://dblp.org/rec/conf/correctness/Bailey21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/GopalakrishnanL21,
author = {Ganesh Gopalakrishnan and
Ignacio Laguna and
Ang Li and
Pavel Panchekha and
Cindy Rubio{-}Gonz{\'{a}}lez and
Zachary Tatlock},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Guarding Numerics Amidst Rising Heterogeneity},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {9--15},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00007},
doi = {10.1109/CORRECTNESS54621.2021.00007},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/GopalakrishnanL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/LaurentSQ21,
author = {Mathieu Laurent and
Emmanuelle Saillard and
Martin Quinson},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {The {MPI} Bugs Initiative: a Framework for {MPI} Verification Tools
Evaluation},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00008},
doi = {10.1109/CORRECTNESS54621.2021.00008},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/LaurentSQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/LinL21,
author = {Pei{-}Hung Lin and
Chunhua Liao},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00011},
doi = {10.1109/CORRECTNESS54621.2021.00011},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/correctness/LinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/ProtzeTW21,
author = {Joachim Protze and
Isabel Th{\"{a}}rigen and
Jonas Wahle},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Understanding the Performance of Dynamic Data Race Detection},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {33--40},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00010},
doi = {10.1109/CORRECTNESS54621.2021.00010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/ProtzeTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/correctness/SwainLLLCKH21,
author = {Bradley Swain and
Bozhen Liu and
Peiming Liu and
Yanze Li and
Addison Crump and
Rohan Khera and
Jeff Huang},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {OpenRace: An Open Source Framework for Statically Detecting Data Races},
booktitle = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
pages = {25--32},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021.00009},
doi = {10.1109/CORRECTNESS54621.2021.00009},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/SwainLLLCKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/correctness/2021,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {5th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2021, St. Louis, MO, USA, November
19, 2021},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Correctness54621.2021},
doi = {10.1109/CORRECTNESS54621.2021},
isbn = {978-1-6654-2061-7},
timestamp = {Wed, 29 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/correctness/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HuckPLTBM20,
author = {Alexander H{\"{u}}ck and
Joachim Protze and
Jan{-}Patrick Lehr and
Christian Terboven and
Christian H. Bischof and
Matthias S. M{\"{u}}ller},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards compiler-aided correctness checking of adjoint {MPI} applications},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {40--48},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00010},
doi = {10.1109/CORRECTNESS51934.2020.00010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/HuckPLTBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/JobGFMNMR20,
author = {Vanessa Job and
Terry Grov{\'{e}} and
Shane Fogerty and
Christopher Mauney and
Brett Neuman and
Laura Monroe and
Robert W. Robey},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Order Matters: {A} Case Study on Reducing Floating Point Error in
Sums Via Ordering and Grouping},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {10--19},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00007},
doi = {10.1109/CORRECTNESS51934.2020.00007},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/JobGFMNMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/JosephCBGPZ20,
author = {Vinu Joseph and
Nithin Chalapathi and
Aditya Bhaskara and
Ganesh Gopalakrishnan and
Pavel Panchekha and
Mu Zhang},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Correctness-preserving Compression of Datasets and Neural Network
Models},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {1--9},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00006},
doi = {10.1109/CORRECTNESS51934.2020.00006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/JosephCBGPZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/NguyenSJBC20,
author = {Van Man Nguyen and
Emmanuelle Saillard and
Julien Jaeger and
Denis Barthou and
Patrick Carribault},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {{PARCOACH} Extension for Static {MPI} Nonblocking and Persistent Communication
Validation},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {31--39},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00009},
doi = {10.1109/CORRECTNESS51934.2020.00009},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/NguyenSJBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/PollardN20,
author = {Samuel D. Pollard and
Boyana Norris},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {A Statistical Analysis of Error in {MPI} Reduction Operations},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {49--57},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00011},
doi = {10.1109/CORRECTNESS51934.2020.00011},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/PollardN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/VermaSLC020,
author = {Gaurav Verma and
Yaying Shi and
Chunhua Liao and
Barbara M. Chapman and
Yonghong Yan},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Enhancing DataRaceBench for Evaluating Data Race Detection Tools},
booktitle = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
pages = {20--30},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020.00008},
doi = {10.1109/CORRECTNESS51934.2020.00008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/VermaSLC020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sc/2020correctness,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {4th {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, Correctness@SC 2020, Atlanta, GA, USA, November
11, 2020},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Correctness51934.2020},
doi = {10.1109/CORRECTNESS51934.2020},
isbn = {978-0-7381-1044-8},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/2020correctness.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/DyerAB19,
author = {Tristan Dyer and
Alper Altuntas and
John W. Baugh Jr.},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Bounded Verification of Sparse Matrix Computations},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {36--43},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00010},
doi = {10.1109/CORRECTNESS49594.2019.00010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/DyerAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/FevotteL19,
author = {Fran{\c{c}}ois F{\'{e}}votte and
Bruno Lathuili{\`{e}}re},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Debugging and Optimization of {HPC} Programs with the Verrou Tool},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00006},
doi = {10.1109/CORRECTNESS49594.2019.00006},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/FevotteL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LamVMS19,
author = {Michael O. Lam and
Tristan Vanderbruggen and
Harshitha Menon and
Markus Schordan},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Tool Integration for Source-Level Mixed Precision},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {27--35},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00009},
doi = {10.1109/CORRECTNESS49594.2019.00009},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LamVMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LinLSK19,
author = {Pei{-}Hung Lin and
Chunhua Liao and
Markus Schordan and
Ian Karlin},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Exploring Regression of Data Race Detection Tools Using DataRaceBench},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {11--18},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00007},
doi = {10.1109/CORRECTNESS49594.2019.00007},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LinLSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/MilroyBDG19,
author = {Daniel J. Milroy and
Allison H. Baker and
John M. Dennis and
Andrew Gettelman},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Investigating the Impact of Mixed Precision on Correctness for a Large
Climate Code},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {44--51},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00011},
doi = {10.1109/CORRECTNESS49594.2019.00011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/MilroyBDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/ThienZPT19,
author = {David Thien and
Bill Zorn and
Pavel Panchekha and
Zachary Tatlock},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Toward Multi-Precision, Multi-Format Numerics},
booktitle = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
pages = {19--26},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/Correctness49594.2019.00008},
doi = {10.1109/CORRECTNESS49594.2019.00008},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/ThienZPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sc/2019correctness,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {2019 {IEEE/ACM} 3rd International Workshop on Software Correctness
for {HPC} Applications (Correctness), Denver, CO, USA, November 18,
2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8949332/proceeding},
isbn = {978-1-7281-6015-3},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/2019correctness.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/AltuntasB18,
author = {Alper Altuntas and
John W. Baugh Jr.},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical
Software},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00005},
doi = {10.1109/CORRECTNESS.2018.00005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/AltuntasB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/Evans18,
author = {Noah Evans},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Verifying Qthreads: Is Model Checking Viable for User Level Tasking
Runtimes?},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {25--32},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00008},
doi = {10.1109/CORRECTNESS.2018.00008},
timestamp = {Mon, 18 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/Evans18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HuchantSBBC18,
author = {Pierre Huchant and
Emmanuelle Saillard and
Denis Barthou and
Hugo Brunie and
Patrick Carribault},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {{PARCOACH} Extension for a Full-Interprocedural Collectives Verification},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {69--76},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00013},
doi = {10.1109/CORRECTNESS.2018.00013},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/HuchantSBBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HuckLKPTBM18,
author = {Alexander H{\"{u}}ck and
Jan{-}Patrick Lehr and
Sebastian Kreutzer and
Joachim Protze and
Christian Terboven and
Christian H. Bischof and
Matthias S. M{\"{u}}ller},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Compiler-aided Type Tracking for Correctness Checking of {MPI} Applications},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {51--58},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00011},
doi = {10.1109/CORRECTNESS.2018.00011},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/HuckLKPTBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LeeSMA18,
author = {Wonchan Lee and
George Stelle and
Patrick S. McCormick and
Alex Aiken},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Correctness of Dynamic Dependence Analysis for Implicitly Parallel
Tasking Systems},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {17--24},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00007},
doi = {10.1109/CORRECTNESS.2018.00007},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/LeeSMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LuoS18,
author = {Ziqing Luo and
Stephen F. Siegel},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards Deductive Verification of Message-Passing Parallel Programs},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {59--68},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00012},
doi = {10.1109/CORRECTNESS.2018.00012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LuoS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/MutluPK18,
author = {Erdal Mutlu and
Ajay Panyala and
Sriram Krishnamoorthy},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {{HPC} Software Verification in Action: {A} Case Study with Tensor
Transposition},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {9--16},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00006},
doi = {10.1109/CORRECTNESS.2018.00006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/MutluPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SwainH18,
author = {Bradley Swain and
Jeff Huang},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards Incremental Static Race Detection in OpenMP Programs},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {33--41},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00009},
doi = {10.1109/CORRECTNESS.2018.00009},
timestamp = {Wed, 20 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/SwainH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/YeSLLKS18,
author = {Fangke Ye and
Markus Schordan and
Chunhua Liao and
Pei{-}Hung Lin and
Ian Karlin and
Vivek Sarkar},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Using Polyhedral Analysis to Verify OpenMP Applications are Data Race
Free},
booktitle = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
pages = {42--50},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Correctness.2018.00010},
doi = {10.1109/CORRECTNESS.2018.00010},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/YeSLLKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sc/2018correctness,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {2nd {IEEE/ACM} International Workshop on Software Correctness for
{HPC} Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November
12, 2018},
publisher = {{IEEE}},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8630755/proceeding},
isbn = {978-1-7281-0226-9},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/2018correctness.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/AltuntasB17,
author = {Alper Altuntas and
John W. Baugh Jr.},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Verifying Concurrency in an Adaptive Ocean Circulation Model},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {1--7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145346},
doi = {10.1145/3145344.3145346},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/AltuntasB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/BakerMHX17,
author = {Allison H. Baker and
Daniel J. Milroy and
Dorit M. Hammerling and
Haiying Xu},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Quality Assurance and Error Identification for the Community Earth
System Model},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {8--13},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145491},
doi = {10.1145/3145344.3145491},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/BakerMHX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HuckelheimLLKLG17,
author = {Jan H{\"{u}}ckelheim and
Ziqing Luo and
Fabio Luporini and
Navjot Kukreja and
Michael Lange and
Gerard Gorman and
Stephen F. Siegel and
Matthew B. Dwyer and
Paul D. Hovland},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Towards Self-Verification in Finite Difference Code Generation},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {42--49},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145488},
doi = {10.1145/3145344.3145488},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/HuckelheimLLKLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/LeeL17,
author = {Matthew Lee and
Tze Meng Low},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {A Family of Provably Correct Algorithms for Exact Triangle Counting},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {14--20},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145484},
doi = {10.1145/3145344.3145484},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/LeeL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/PhamJQ17,
author = {The Anh Pham and
Thierry J{\'{e}}ron and
Martin Quinson},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Verifying {MPI} Applications with SimGridMC},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {28--33},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145345},
doi = {10.1145/3145344.3145345},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/PhamJQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/ProtzeTMPEMB17,
author = {Joachim Protze and
Christian Terboven and
Matthias S. M{\"{u}}ller and
Serge G. Petiton and
Nahid Emad and
Hitoshi Murai and
Taisuke Boku},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Runtime Correctness Checking for Emerging Programming Paradigms},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {21--27},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145490},
doi = {10.1145/3145344.3145490},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/ProtzeTMPEMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SchordanHLM17,
author = {Markus Schordan and
Jan H{\"{u}}ckelheim and
Pei{-}Hung Lin and
Harshitha Menon},
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Verifying the Floating-Point Computation Equivalence of Manually and
Automatically Differentiated Code},
booktitle = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
pages = {34--41},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344.3145489},
doi = {10.1145/3145344.3145489},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/SchordanHLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sc/2017correctness,
editor = {Ignacio Laguna and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Proceedings of the First International Workshop on Software Correctness
for {HPC} Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November
12, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3145344},
doi = {10.1145/3145344},
isbn = {978-1-4503-5127-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/2017correctness.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-08-29 18:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
