Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sc/correctness2018.bht:"
@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} }
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.