{"id":"https://openalex.org/W4403337139","doi":"https://doi.org/10.1145/3656019.3676889","title":"PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model","display_name":"PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model","publication_year":2024,"publication_date":"2024-10-11","ids":{"openalex":"https://openalex.org/W4403337139","doi":"https://doi.org/10.1145/3656019.3676889"},"language":"en","primary_location":{"id":"doi:10.1145/3656019.3676889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656019.3676889","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3656019.3676889","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113430383","display_name":"An Qi Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"An Qi Zhang","raw_affiliation_strings":["University of Utah, United States of America"],"affiliations":[{"raw_affiliation_string":"University of Utah, United States of America","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045703198","display_name":"Andr\u00e9s Goens","orcid":"https://orcid.org/0000-0002-0409-1363"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Andr\u00e9s Goens","raw_affiliation_strings":["University of Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Amsterdam, Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036931296","display_name":"Nicolai Oswald","orcid":"https://orcid.org/0009-0009-9272-0518"},"institutions":[{"id":"https://openalex.org/I4210127875","display_name":"Nvidia (United States)","ror":"https://ror.org/03jdj4y14","country_code":"US","type":"company","lineage":["https://openalex.org/I4210127875"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicolai Oswald","raw_affiliation_strings":["Nvidia, United States of America"],"affiliations":[{"raw_affiliation_string":"Nvidia, United States of America","institution_ids":["https://openalex.org/I4210127875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055618037","display_name":"Tobias Grosser","orcid":"https://orcid.org/0000-0003-3874-6003"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tobias Grosser","raw_affiliation_strings":["University of Cambridge, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072847774","display_name":"Daniel J. Sorin","orcid":"https://orcid.org/0000-0001-7013-8986"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Sorin","raw_affiliation_strings":["Duke University, United States of America"],"affiliations":[{"raw_affiliation_string":"Duke University, United States of America","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056071760","display_name":"Vijay Nagarajan","orcid":"https://orcid.org/0009-0000-5045-4754"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Nagarajan","raw_affiliation_strings":["University of Utah, United States of America"],"affiliations":[{"raw_affiliation_string":"University of Utah, United States of America","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5113430383"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17825112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987999796867371,"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.9987000226974487,"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/pipeline","display_name":"Pipeline (software)","score":0.782014012336731},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7544686794281006},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.7133210301399231},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6345165371894836},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.6063024401664734},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6021986603736877},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5457202792167664},{"id":"https://openalex.org/keywords/out-of-core-algorithm","display_name":"Out-of-core algorithm","score":0.4579677879810333},{"id":"https://openalex.org/keywords/single-core","display_name":"Single-core","score":0.44507843255996704},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19697850942611694},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13694459199905396},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.04987695813179016}],"concepts":[{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.782014012336731},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7544686794281006},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.7133210301399231},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6345165371894836},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.6063024401664734},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6021986603736877},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5457202792167664},{"id":"https://openalex.org/C79470037","wikidata":"https://www.wikidata.org/wiki/Q279748","display_name":"Out-of-core algorithm","level":2,"score":0.4579677879810333},{"id":"https://openalex.org/C2780365336","wikidata":"https://www.wikidata.org/wiki/Q25047934","display_name":"Single-core","level":2,"score":0.44507843255996704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19697850942611694},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13694459199905396},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.04987695813179016},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3656019.3676889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656019.3676889","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"},{"id":"pmh:oai:dare.uva.nl:openaire/e0b97e5b-82ef-415b-8a55-6fd130e3fa37","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/pipegen-automated-transformation-of-a-singlecore-pipeline-into-a-multicore-pipeline-for-a-given-memory-consistency-model(e0b97e5b-82ef-415b-8a55-6fd130e3fa37).html","pdf_url":"https://pure.uva.nl/ws/files/272927621/3656019.3676889.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zhang, A Q, Goens, A, Oswald, N, Grosser, T, Sorin, D & Nagarajan, V 2024, PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model. in PACT '24 : proceedings of the 2024 the International Conference on Parallel Architecture and Compilation Techniques : October 14-16, 2024, Long Beach, CA, USA. Association for Computing Machinery, New York, New York, pp. 1-13, 33rd International Conference on Parallel Architectures and Compilation Techniques, PACT 2024, Long Beach, United States, 13/10/24. https://doi.org/10.1145/3656019.3676889","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/378727","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/378727","pdf_url":"https://www.repository.cam.ac.uk/bitstreams/d2c09abd-751c-4c01-b0f5-3f1d09972df1/download","source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Object"}],"best_oa_location":{"id":"doi:10.1145/3656019.3676889","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656019.3676889","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1540064764","display_name":null,"funder_award_id":"CCF-200-2737","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7037259260","display_name":null,"funder_award_id":"EP/V038699/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7415281536","display_name":"Dijkstra's Pipe: Timing-Secure Processors by Design","funder_award_id":"EP/V038699/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1574967808","https://openalex.org/W1588758388","https://openalex.org/W1594228127","https://openalex.org/W1741528175","https://openalex.org/W1968283843","https://openalex.org/W1983394510","https://openalex.org/W2012471639","https://openalex.org/W2043135347","https://openalex.org/W2086023529","https://openalex.org/W2102580681","https://openalex.org/W2115716046","https://openalex.org/W2124040337","https://openalex.org/W2133088975","https://openalex.org/W2160313031","https://openalex.org/W2168113051","https://openalex.org/W2325421623","https://openalex.org/W2738891045","https://openalex.org/W2802339701","https://openalex.org/W3205578621","https://openalex.org/W4281703854"],"related_works":["https://openalex.org/W2151223307","https://openalex.org/W3041000698","https://openalex.org/W2406856881","https://openalex.org/W2085485158","https://openalex.org/W2276000909","https://openalex.org/W1964594690","https://openalex.org/W2543559046","https://openalex.org/W2022939529","https://openalex.org/W2182270028","https://openalex.org/W2142016460"],"abstract_inverted_index":{"Designing":[0],"a":[1,4,41,56,63],"pipeline":[2,18,44,95],"for":[3],"multicore":[5],"processor":[6],"is":[7,12,62],"difficult.":[8],"One":[9],"major":[10],"challenge":[11],"designing":[13],"it":[14,53],"such":[15],"that":[16,45,68,83],"the":[17,21,30,78,87,101],"correctly":[19,85],"enforces":[20,47,86],"intended":[22],"memory":[23,75],"consistency":[24],"model":[25,103],"(MCM).":[26],"We":[27,80],"have":[28,81],"developed":[29],"PipeGen":[31,84],"design":[32],"automation":[33],"tool":[34],"to":[35,38,54],"allow":[36],"architects":[37],"start":[39],"with":[40,100],"single":[42],"core":[43],"only":[46],"single-threaded":[48],"correctness":[49],"and":[50,89],"automatically":[51],"transform":[52],"enforce":[55],"given":[57],"MCM.":[58],"Our":[59],"key":[60],"innovation":[61],"set":[64],"of":[65,73],"compiler-like":[66],"transformations":[67],"codify":[69],"three":[70,93],"different":[71],"ways":[72],"enforcing":[74],"ordering":[76],"at":[77],"pipeline.":[79],"validated":[82],"ARMv8":[88],"x86TSO":[90],"MCMs":[91],"on":[92],"distinct":[94],"implementations,":[96],"using":[97],"litmus":[98],"tests":[99],"Murphi":[102],"checker.":[104]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}