Search dblp for Publications

• > Home > Search

@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    = {Sun, 06 Oct 2024 01:00:00 +0200},
  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}
}