Search dblp for Publications

export results for "toc:db/conf/sc/correctness2017.bht:"

 download as .bib file

@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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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}
}

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.