Search dblp for Publications

• > Home > Search

@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}
}