{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T23:47:39Z","timestamp":1783036059896,"version":"3.54.6"},"reference-count":50,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,27]]},"DOI":"10.1109\/ipdps57955.2024.00059","type":"proceedings-article","created":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T17:25:04Z","timestamp":1720459504000},"page":"595-607","source":"Crossref","is-referenced-by-count":4,"title":["MPI Errors Detection using GNN Embedding and Vector Embedding over LLVM IR"],"prefix":"10.1109","author":[{"given":"Jad","family":"El Karchi","sequence":"first","affiliation":[{"name":"Inria,Bordeaux,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanze","family":"Chen","sequence":"additional","affiliation":[{"name":"Iowa State University,Ames,Iowa,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"TehraniJamsaz","sequence":"additional","affiliation":[{"name":"Iowa State University,Ames,Iowa,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Jannesari","sequence":"additional","affiliation":[{"name":"Iowa State University,Ames,Iowa,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mihail","family":"Popov","sequence":"additional","affiliation":[{"name":"Inria,Bordeaux,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emmanuelle","family":"Saillard","sequence":"additional","affiliation":[{"name":"Inria,Bordeaux,France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Report of the HPC correctness summit, jan 25-26, 2017, washington, DC","volume-title":"CoRR","volume":"abs\/1705.07478","author":"Gopalakrishnan","year":"2017"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3431379.3460652"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2833157.2833159"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3377812.3382144"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_28"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref9","first-page":"213","volume-title":"Dart: Directed automated random testing","author":"Godefroid","year":"2005"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00096"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3302516.3307353"},{"issue":"10","key":"ref12","first-page":"2899","article-title":"Versatile, scalable, and accurate simulation of distributed applications and platforms","volume-title":"Journal of Parallel and Distributed Computing","volume":"74","author":"Casanova","year":"2014"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345258"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2966884.2966906"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2012.123"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.7"},{"key":"ref18","article-title":"Intel trace analyzer and collector"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3236367.3236369"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.46"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11557265_21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30218-6_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/1094342014552204"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/correctness.2018.00013"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness51934.2020.00009"},{"key":"ref26","article-title":"Dynamic Data Race Detection for MPI-RMA Programs","volume-title":"EuroMPI 2021 - European MPI Users\u2019s Group Meeting","author":"Aitkaci"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1109\/Correctness56720.2022.00008","article-title":"Static Local Concurrency Errors Detection in MPI-RMA Programs","volume-title":"Correctness 2022 - Sixth International Workshop on Software Correctness for HPC Applications","author":"Saillard"},{"key":"ref28","author":"Allamanis","year":"2017","journal-title":"Learning to represent programs with graphs"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"ref30","first-page":"27 865","article-title":"Self-supervised bug detection and repair","volume":"34","author":"Allamanis","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref31","article-title":"Hoppity: Learning graph transformations to detect and fix bugs in programs","volume-title":"International Conference on Learning Representations (ICLR)","author":"Dinella"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668043"},{"key":"ref34","first-page":"87","article-title":"Deep learning code fragments for code clone detection","volume-title":"2016 31st IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"White"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10139"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/423"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3418463"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831738"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref40","first-page":"49","article-title":"{Under-Constrained symbolic execution: Correctness checking for real code","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Ramos"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23158"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2942930"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2954088"},{"key":"ref44","first-page":"2244","article-title":"Programl: A graph-based program representation for data flow analysis and compiler optimizations","volume-title":"International Conference on Machine Learning","author":"Cummins"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1201.0490"},{"key":"ref46","article-title":"Pyeasyga"},{"key":"ref47","author":"Fey","year":"2019","journal-title":"Fast graph representation learning with pytorch geometric"},{"key":"ref48","author":"Brody","year":"2021","journal-title":"How attentive are graph attention networks?"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ipdps53621.2022.00120"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510217"}],"event":{"name":"2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)","location":"San Francisco, CA, USA","start":{"date-parts":[[2024,5,27]]},"end":{"date-parts":[[2024,5,31]]}},"container-title":["2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10579076\/10579083\/10579125.pdf?arnumber=10579125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T05:09:36Z","timestamp":1720674576000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10579125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ipdps57955.2024.00059","relation":{},"subject":[],"published":{"date-parts":[[2024,5,27]]}}}