{"id":"https://openalex.org/W2767127551","doi":"https://doi.org/10.1145/3145344.3145490","title":"Runtime Correctness Checking for Emerging Programming Paradigms","display_name":"Runtime Correctness Checking for Emerging Programming Paradigms","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W2767127551","doi":"https://doi.org/10.1145/3145344.3145490","mag":"2767127551"},"language":"en","primary_location":{"id":"doi:10.1145/3145344.3145490","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145490","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145490&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3145490&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109841789","display_name":"Joachim Protze","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Joachim Protze","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023057979","display_name":"Christian Terboven","orcid":"https://orcid.org/0000-0003-2284-2957"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Terboven","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108339675","display_name":"Matthias M\u00fcller","orcid":"https://orcid.org/0009-0005-8772-7775"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias S. M\u00fcller","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108528905","display_name":"Serge G. Petiton","orcid":"https://orcid.org/0000-0002-8423-3682"},"institutions":[{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I4210125654","display_name":"Maison de la Simulation","ror":"https://ror.org/03jv6w209","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I195731000","https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210113668","https://openalex.org/I4210125654","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Serge Petiton","raw_affiliation_strings":["Maison de la Simulation, Saclay, France, University of Lille, Lille, France","Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189"],"affiliations":[{"raw_affiliation_string":"Maison de la Simulation, Saclay, France, University of Lille, Lille, France","institution_ids":["https://openalex.org/I4210125654","https://openalex.org/I2279609970"]},{"raw_affiliation_string":"Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I4387153239"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076176506","display_name":"Nahid Emad","orcid":"https://orcid.org/0000-0002-4228-0069"},"institutions":[{"id":"https://openalex.org/I4210125654","display_name":"Maison de la Simulation","ror":"https://ror.org/03jv6w209","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I195731000","https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210113668","https://openalex.org/I4210125654","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nahid Emad","raw_affiliation_strings":["Maison de la Simulation, Saclay, France, University of Versailles, Versailles, France"],"affiliations":[{"raw_affiliation_string":"Maison de la Simulation, Saclay, France, University of Versailles, Versailles, France","institution_ids":["https://openalex.org/I4210125654"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103277015","display_name":"Hitoshi Murai","orcid":"https://orcid.org/0000-0002-6239-3968"},"institutions":[{"id":"https://openalex.org/I4210129730","display_name":"RIKEN Center for Computational Science","ror":"https://ror.org/03r519674","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210110652","https://openalex.org/I4210129730"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hitoshi Murai","raw_affiliation_strings":["RIKEN AICS, Kobe, Japan","RIKEN Center for Computational Science [Kobe]"],"affiliations":[{"raw_affiliation_string":"RIKEN AICS, Kobe, Japan","institution_ids":["https://openalex.org/I4210129730"]},{"raw_affiliation_string":"RIKEN Center for Computational Science [Kobe]","institution_ids":["https://openalex.org/I4210129730"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020716792","display_name":"Taisuke Boku","orcid":"https://orcid.org/0000-0001-8730-2228"},"institutions":[{"id":"https://openalex.org/I146399215","display_name":"University of Tsukuba","ror":"https://ror.org/02956yf07","country_code":"JP","type":"education","lineage":["https://openalex.org/I146399215"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Taisuke Boku","raw_affiliation_strings":["University of Tsukuba, Tsukuba, Japan","Graduate School of Systems and Information Engineering [Tsukuba]"],"affiliations":[{"raw_affiliation_string":"University of Tsukuba, Tsukuba, Japan","institution_ids":["https://openalex.org/I146399215"]},{"raw_affiliation_string":"Graduate School of Systems and Information Engineering [Tsukuba]","institution_ids":["https://openalex.org/I146399215"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5109841789"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.9264,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76287591,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8918516635894775},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8665858507156372},{"id":"https://openalex.org/keywords/partitioned-global-address-space","display_name":"Partitioned global address space","score":0.7514768838882446},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.6486715078353882},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6478262543678284},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6341831684112549},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.5295534729957581},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5104511976242065},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40780502557754517},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18701547384262085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8918516635894775},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8665858507156372},{"id":"https://openalex.org/C60832428","wikidata":"https://www.wikidata.org/wiki/Q945818","display_name":"Partitioned global address space","level":3,"score":0.7514768838882446},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.6486715078353882},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6478262543678284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6341831684112549},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.5295534729957581},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5104511976242065},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40780502557754517},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18701547384262085}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3145344.3145490","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145490","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145490&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01704205v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01704205","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://people.irisa.fr/Martin.Quinson/blog/2017/1112/Correctness2017/","raw_type":"Conference papers"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/23586","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:publications.rwth-aachen.de:720751","is_oa":false,"landing_page_url":"http://publications.rwth-aachen.de/record/720751","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"21-27 (2017). doi:10.1145/3145344.3145490","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3145344.3145490","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3145344.3145490","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3145490&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the First International Workshop on Software Correctness for HPC Applications","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G4611969921","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G4864544293","display_name":null,"funder_award_id":"Japan","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7485138276","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2767127551.pdf","grobid_xml":"https://content.openalex.org/works/W2767127551.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1543808021","https://openalex.org/W1990128020","https://openalex.org/W1992135271","https://openalex.org/W2145843807","https://openalex.org/W2151515678","https://openalex.org/W2488548811","https://openalex.org/W2537919172","https://openalex.org/W4253460352"],"related_works":["https://openalex.org/W2761464920","https://openalex.org/W2166185777","https://openalex.org/W2494227547","https://openalex.org/W2913497647","https://openalex.org/W2913919777","https://openalex.org/W2043059266","https://openalex.org/W2072270916","https://openalex.org/W2171525159","https://openalex.org/W2018988446","https://openalex.org/W2236289510"],"abstract_inverted_index":{"With":[0],"rapidly":[1],"increasing":[2],"concurrency,":[3],"the":[4,24,29,34,57,99,110,117,122],"HPC":[5,31],"community":[6],"is":[7,54],"looking":[8],"for":[9,49,56],"new":[10,64],"parallel":[11,76,96],"programming":[12,36,65,97],"paradigms":[13],"to":[14,83,91,120],"make":[15],"best":[16],"use":[17],"of":[18,62,74,112,124],"current":[19],"and":[20,51,59,86,127],"up-coming":[21],"machines.":[22],"Under":[23],"Japanese":[25],"CREST":[26],"funding":[27],"program,":[28],"post-petascale":[30],"project":[32],"developed":[33],"XMP":[35],"paradigm,":[37],"a":[38,63,75],"pragma-based":[39],"partitioned":[40],"global":[41],"address":[42],"space":[43],"(PGAS)":[44],"approach.":[45],"Good":[46],"tool":[47],"support":[48],"debugging":[50],"performance":[52,87,128],"analysis":[53,129],"crucial":[55],"productivity":[58],"therefore":[60],"acceptance":[61],"paradigm.":[66],"In":[67,102],"this":[68,103],"work":[69],"we":[70,105],"investigate":[71,116],"which":[72],"properties":[73],"programing":[77],"language":[78],"specification":[79],"may":[80],"help":[81,90],"tools":[82],"highlight":[84],"correctness":[85,126],"issues":[88,94],"or":[89],"avoid":[92],"common":[93],"in":[95,98],"first":[100],"place.":[101],"paper":[104],"exercise":[106],"these":[107],"investigations":[108],"on":[109],"example":[111],"XMP.":[113],"We":[114],"also":[115],"question":[118],"how":[119],"improve":[121],"reusability":[123],"existing":[125],"tools.":[130]},"counts_by_year":[{"year":2020,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}