{"id":"https://openalex.org/W3033154127","doi":"https://doi.org/10.1145/3385412.3386030","title":"Effective function merging in the SSA form","display_name":"Effective function merging in the SSA form","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3033154127","doi":"https://doi.org/10.1145/3385412.3386030","mag":"3033154127"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3386030","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386030","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.manchester.ac.uk/en/publications/90df1bdc-9903-420c-9ea3-5fdee8f48257","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068417005","display_name":"Rodrigo C. O. Rocha","orcid":"https://orcid.org/0000-0002-6317-3908"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Rodrigo C. O. Rocha","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074058311","display_name":"Pavlos Petoumenos","orcid":"https://orcid.org/0000-0002-1497-6536"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pavlos Petoumenos","raw_affiliation_strings":["University of Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100401045","display_name":"Zheng Wang","orcid":"https://orcid.org/0000-0001-6157-0662"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zheng Wang","raw_affiliation_strings":["University of Leeds, UK"],"affiliations":[{"raw_affiliation_string":"University of Leeds, UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032376930","display_name":"Murray Cole","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Murray Cole","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053757097","display_name":"Hugh Leather","orcid":"https://orcid.org/0000-0003-0664-4176"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hugh Leather","raw_affiliation_strings":["University of Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5068417005"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":4.243,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94910475,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"854","last_page":"868"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9958000183105469,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/workaround","display_name":"Workaround","score":0.7781362533569336},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7767431735992432},{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.6857371926307678},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5819122791290283},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5518697500228882},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.551701545715332},{"id":"https://openalex.org/keywords/demotion","display_name":"Demotion","score":0.4820038378238678},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4761352837085724},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.46609652042388916},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4605078101158142},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41645753383636475},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3626978397369385},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3100726008415222},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1186041533946991},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.08273527026176453}],"concepts":[{"id":"https://openalex.org/C194541083","wikidata":"https://www.wikidata.org/wiki/Q457174","display_name":"Workaround","level":2,"score":0.7781362533569336},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7767431735992432},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.6857371926307678},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5819122791290283},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5518697500228882},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.551701545715332},{"id":"https://openalex.org/C104545631","wikidata":"https://www.wikidata.org/wiki/Q464858","display_name":"Demotion","level":3,"score":0.4820038378238678},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4761352837085724},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.46609652042388916},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4605078101158142},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41645753383636475},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3626978397369385},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3100726008415222},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1186041533946991},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.08273527026176453},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3385412.3386030","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3386030","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/90df1bdc-9903-420c-9ea3-5fdee8f48257","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/90df1bdc-9903-420c-9ea3-5fdee8f48257","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rocha, R, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form. in A F Donaldson & E Torlak (eds), Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 854-868, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation , lO, 15/06/20. https://doi.org/10.1145/3385412.3386030","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:eprints.whiterose.ac.uk:159238","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Proceedings Paper"},{"id":"pmh:oai:pure.atira.dk:publications/90df1bdc-9903-420c-9ea3-5fdee8f48257","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/effective-function-merging-in-the-ssa-form(90df1bdc-9903-420c-9ea3-5fdee8f48257).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:publications/160a9307-684e-4726-a8ba-ab97b636d076","is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/160a9307-684e-4726-a8ba-ab97b636d076","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/90df1bdc-9903-420c-9ea3-5fdee8f48257","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/90df1bdc-9903-420c-9ea3-5fdee8f48257","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rocha, R, Petoumenos, P, Wang, Z, Cole, M & Leather, H 2020, Effective Function Merging in the SSA Form. in A F Donaldson & E Torlak (eds), Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 854-868, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation , lO, 15/06/20. https://doi.org/10.1145/3385412.3386030","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1934935867","display_name":null,"funder_award_id":"Engineering and Physical Sciences R","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3056170115","display_name":null,"funder_award_id":"EP/M01567X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3276400090","display_name":"EPSRC Centre for Doctoral Training in Pervasive Parallelism","funder_award_id":"EP/L01503X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3591871707","display_name":"SchedUling on heterogeneous Mobile Multicores based on quality of ExpeRience","funder_award_id":"EP/P003915/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G369688390","display_name":null,"funder_award_id":"EP/M015793/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5811753289","display_name":null,"funder_award_id":"EP/M507258/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6777845502","display_name":null,"funder_award_id":"EP/P003915/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8719353587","display_name":null,"funder_award_id":"EP/P0","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8912387079","display_name":"SANDeRS: Smart, Adaptive Compilation for Dark Silicon","funder_award_id":"EP/M01567X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1529111398","https://openalex.org/W1534839574","https://openalex.org/W1969031936","https://openalex.org/W1982205631","https://openalex.org/W1994316441","https://openalex.org/W2005985523","https://openalex.org/W2021487990","https://openalex.org/W2068219251","https://openalex.org/W2074231493","https://openalex.org/W2076090418","https://openalex.org/W2100087302","https://openalex.org/W2107581073","https://openalex.org/W2128939969","https://openalex.org/W2139668402","https://openalex.org/W2149640383","https://openalex.org/W2150082535","https://openalex.org/W2191186815","https://openalex.org/W2286236884","https://openalex.org/W2294934420","https://openalex.org/W2329415855","https://openalex.org/W2600258283","https://openalex.org/W2791658442","https://openalex.org/W2911733618","https://openalex.org/W2921329069","https://openalex.org/W2921888067","https://openalex.org/W4235002328","https://openalex.org/W4241202945","https://openalex.org/W4243851150","https://openalex.org/W4245767887","https://openalex.org/W4247445868","https://openalex.org/W4248255691","https://openalex.org/W4250691433","https://openalex.org/W4252737723","https://openalex.org/W4301666354"],"related_works":["https://openalex.org/W2371266106","https://openalex.org/W2117382851","https://openalex.org/W3006505070","https://openalex.org/W2382449560","https://openalex.org/W2767298477","https://openalex.org/W2110432562","https://openalex.org/W2025344","https://openalex.org/W2117864619","https://openalex.org/W2090337950","https://openalex.org/W2104121286"],"abstract_inverted_index":{"Function":[0],"merging":[1,18,40],"is":[2],"an":[3],"important":[4],"optimization":[5],"for":[6],"reducing":[7],"code":[8,14],"size.":[9],"This":[10],"technique":[11],"eliminates":[12],"redundant":[13],"across":[15],"functions":[16,113],"by":[17,91],"them":[19,74],"into":[20],"a":[21,51,81,87,109],"single":[22],"function.":[23],"While":[24,80],"initially":[25],"limited":[26],"to":[27,72,97],"identical":[28],"or":[29],"trivially":[30],"similar":[31],"functions,":[32],"the":[33,67,94,102],"most":[34],"recent":[35],"approach":[36,49],"can":[37],"identify":[38],"all":[39],"opportunities":[41],"in":[42,123],"arbitrary":[43],"pairs":[44],"of":[45,104,112,125],"functions.":[46],"However,":[47],"this":[48,85],"has":[50,86],"serious":[52],"limitation":[53],"which":[54],"prevents":[55,108],"it":[56,63,100,107,118],"from":[57,114],"reaching":[58],"its":[59,77],"full":[60],"potential.":[61],"Because":[62],"cannot":[64],"handle":[65],"phi-nodes,":[66],"state-of-the-art":[68],"applies":[69],"register":[70],"demotion":[71],"eliminate":[73],"before":[75],"applying":[76],"core":[78],"algorithm.":[79],"superficially":[82],"minor":[83],"workaround,":[84],"three-fold":[88],"negative":[89],"effect:":[90],"artificially":[92],"lengthening":[93],"instruction":[95],"sequences":[96],"be":[98],"aligned,":[99],"hinders":[101],"identification":[103],"mergeable":[105],"instruction;":[106],"vast":[110],"number":[111],"being":[115],"profitably":[116],"merged;":[117],"increases":[119],"compilation":[120],"overheads,":[121],"both":[122],"terms":[124],"compile-time":[126],"and":[127],"memory":[128],"usage.":[129]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":7}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}