@inproceedings{DBLP:conf/iwomp/SaillardCB14,
  author       = {Emmanuelle Saillard and
                  Patrick Carribault and
                  Denis Barthou},
  editor       = {Luiz DeRose and
                  Bronis R. de Supinski and
                  Stephen L. Olivier and
                  Barbara M. Chapman and
                  Matthias S. M{\"{u}}ller},
  title        = {Static Validation of Barriers and Worksharing Constructs in OpenMP
                  Applications},
  booktitle    = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International
                  Workshop on OpenMP, {IWOMP} 2014, Salvador, Brazil, September 28-30,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8766},
  pages        = {73--86},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11454-5\_6},
  doi          = {10.1007/978-3-319-11454-5\_6},
  timestamp    = {Wed, 25 Sep 2019 18:20:10 +0200},
  biburl       = {https://dblp.org/rec/conf/iwomp/SaillardCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hr2fW9sWHJNHWnqNc","bibbaseid":"saillard-carribault-barthou-staticvalidationofbarriersandworksharingconstructsinopenmpapplications-2014","authorIDs":["gH8cyowDfvmpgEymM"],"author_short":["Saillard, E.","Carribault, P.","Barthou, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Emmanuelle"],"propositions":[],"lastnames":["Saillard"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Carribault"],"suffixes":[]},{"firstnames":["Denis"],"propositions":[],"lastnames":["Barthou"],"suffixes":[]}],"editor":[{"firstnames":["Luiz"],"propositions":[],"lastnames":["DeRose"],"suffixes":[]},{"firstnames":["Bronis","R."],"propositions":["de"],"lastnames":["Supinski"],"suffixes":[]},{"firstnames":["Stephen","L."],"propositions":[],"lastnames":["Olivier"],"suffixes":[]},{"firstnames":["Barbara","M."],"propositions":[],"lastnames":["Chapman"],"suffixes":[]},{"firstnames":["Matthias","S."],"propositions":[],"lastnames":["Müller"],"suffixes":[]}],"title":"Static Validation of Barriers and Worksharing Constructs in OpenMP Applications","booktitle":"Using and Improving OpenMP for Devices, Tasks, and More - 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8766","pages":"73–86","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-11454-5\\_6","doi":"10.1007/978-3-319-11454-5_6","timestamp":"Wed, 25 Sep 2019 18:20:10 +0200","biburl":"https://dblp.org/rec/conf/iwomp/SaillardCB14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iwomp/SaillardCB14,\n author = {Emmanuelle Saillard and\n Patrick Carribault and\n Denis Barthou},\n editor = {Luiz DeRose and\n Bronis R. de Supinski and\n Stephen L. Olivier and\n Barbara M. Chapman and\n Matthias S. M{\\\"{u}}ller},\n title = {Static Validation of Barriers and Worksharing Constructs in OpenMP\n Applications},\n booktitle = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International\n Workshop on OpenMP, {IWOMP} 2014, Salvador, Brazil, September 28-30,\n 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8766},\n pages = {73--86},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-11454-5\\_6},\n doi = {10.1007/978-3-319-11454-5\\_6},\n timestamp = {Wed, 25 Sep 2019 18:20:10 +0200},\n biburl = {https://dblp.org/rec/conf/iwomp/SaillardCB14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Saillard, E.","Carribault, P.","Barthou, D."],"editor_short":["DeRose, L.","de Supinski, B. R.","Olivier, S. L.","Chapman, B. M.","Müller, M. S."],"key":"DBLP:conf/iwomp/SaillardCB14","id":"DBLP:conf/iwomp/SaillardCB14","bibbaseid":"saillard-carribault-barthou-staticvalidationofbarriersandworksharingconstructsinopenmpapplications-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-11454-5\\_6"},"metadata":{"authorlinks":{"barthou, d":"https://bibbase.org/show?bib=https://dblp.org/pid/66/2364.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/66/2364.bib","creationDate":"2020-09-28T15:09:27.145Z","downloads":0,"keywords":[],"search_terms":["static","validation","barriers","worksharing","constructs","openmp","applications","saillard","carribault","barthou"],"title":"Static Validation of Barriers and Worksharing Constructs in OpenMP Applications","year":2014,"dataSources":["QzYnA59epiHCud8Xh"]}