{"id":"https://openalex.org/W2953452248","doi":"https://doi.org/10.1145/3338906.3338907","title":"Understanding GCC builtins to develop better tools","display_name":"Understanding GCC builtins to develop better tools","publication_year":2019,"publication_date":"2019-08-09","ids":{"openalex":"https://openalex.org/W2953452248","doi":"https://doi.org/10.1145/3338906.3338907","mag":"2953452248"},"language":"en","primary_location":{"id":"doi:10.1145/3338906.3338907","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338906.3338907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1907.00863","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066738024","display_name":"Manuel Rigger","orcid":"https://orcid.org/0000-0001-8303-2099"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Manuel Rigger","raw_affiliation_strings":["JKU Linz, Austria","JOHANNES KEPLER UNIVERSITY LINZ"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]},{"raw_affiliation_string":"JOHANNES KEPLER UNIVERSITY LINZ","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015543736","display_name":"Stefan Marr","orcid":"https://orcid.org/0000-0001-9059-5180"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stefan Marr","raw_affiliation_strings":["University of Kent, UK","University of Kent:"],"affiliations":[{"raw_affiliation_string":"University of Kent, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent:","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058164381","display_name":"Bram Adams","orcid":"https://orcid.org/0000-0001-7213-4006"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bram Adams","raw_affiliation_strings":["Polytechnique Montr\u00e9al, Canada","Ecole Polytechnique de Montr\u00e9al,"],"affiliations":[{"raw_affiliation_string":"Polytechnique Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Ecole Polytechnique de Montr\u00e9al,","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011678778","display_name":"Hanspeter M\u00f6ssenb\u00f6ck","orcid":"https://orcid.org/0000-0001-7706-7308"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Hanspeter M\u00f6ssenb\u00f6ck","raw_affiliation_strings":["JKU Linz, Austria","JOHANNES KEPLER UNIVERSITY LINZ"],"affiliations":[{"raw_affiliation_string":"JKU Linz, Austria","institution_ids":[]},{"raw_affiliation_string":"JOHANNES KEPLER UNIVERSITY LINZ","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066738024"],"corresponding_institution_ids":["https://openalex.org/I121883995"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0641418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"74","last_page":"85"},"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.9994000196456909,"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.9994000196456909,"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/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9980000257492065,"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/compiler","display_name":"Compiler","score":0.8767768144607544},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7286514043807983},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7282297611236572},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5761505365371704},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.37897002696990967},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30761897563934326},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1541804075241089}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8767768144607544},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7286514043807983},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7282297611236572},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5761505365371704},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.37897002696990967},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30761897563934326},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1541804075241089}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3338906.3338907","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338906.3338907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:kar.kent.ac.uk:75258","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338906.3338907>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:1907.00863","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.00863","pdf_url":"https://arxiv.org/pdf/1907.00863","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2953452248","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1907.00863","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:publications.polymtl.ca:44286","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/44286/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication de conf\u00e9rence"},{"id":"doi:10.48550/arxiv.1907.00863","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1907.00863","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1907.00863","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.00863","pdf_url":"https://arxiv.org/pdf/1907.00863","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1584401549","https://openalex.org/W1598215108","https://openalex.org/W1710734607","https://openalex.org/W1878544538","https://openalex.org/W1969064066","https://openalex.org/W1980165883","https://openalex.org/W1981425990","https://openalex.org/W1993255342","https://openalex.org/W2000343544","https://openalex.org/W2015018654","https://openalex.org/W2023035194","https://openalex.org/W2032557572","https://openalex.org/W2068810256","https://openalex.org/W2069661885","https://openalex.org/W2070869623","https://openalex.org/W2076990583","https://openalex.org/W2077337386","https://openalex.org/W2097697841","https://openalex.org/W2107089133","https://openalex.org/W2122757982","https://openalex.org/W2126421682","https://openalex.org/W2133675710","https://openalex.org/W2140952846","https://openalex.org/W2146455667","https://openalex.org/W2148662736","https://openalex.org/W2153185479","https://openalex.org/W2155851497","https://openalex.org/W2160375265","https://openalex.org/W2162604396","https://openalex.org/W2167244221","https://openalex.org/W2169090130","https://openalex.org/W2216905672","https://openalex.org/W2243423430","https://openalex.org/W2344269077","https://openalex.org/W2396685351","https://openalex.org/W2403069999","https://openalex.org/W2404093817","https://openalex.org/W2407299292","https://openalex.org/W2414762192","https://openalex.org/W2440056063","https://openalex.org/W2532041240","https://openalex.org/W2533740594","https://openalex.org/W2538571883","https://openalex.org/W2559885217","https://openalex.org/W2762844179","https://openalex.org/W2764146461","https://openalex.org/W2767231363","https://openalex.org/W2789289170","https://openalex.org/W2792743585","https://openalex.org/W2811384401","https://openalex.org/W2998678832","https://openalex.org/W3099379383","https://openalex.org/W3105701676","https://openalex.org/W3142903977","https://openalex.org/W4235569987","https://openalex.org/W4239437589","https://openalex.org/W4240590466","https://openalex.org/W4255006224"],"related_works":["https://openalex.org/W2967701984","https://openalex.org/W2809362563","https://openalex.org/W2973530015","https://openalex.org/W175076625","https://openalex.org/W2993704126","https://openalex.org/W3005890508","https://openalex.org/W3174243517","https://openalex.org/W2753606202","https://openalex.org/W2900769871","https://openalex.org/W1980454294","https://openalex.org/W2982371246","https://openalex.org/W3199348584","https://openalex.org/W3173903393","https://openalex.org/W2120981580","https://openalex.org/W264619039","https://openalex.org/W2990676673","https://openalex.org/W2958753275","https://openalex.org/W1719863104","https://openalex.org/W3121596715","https://openalex.org/W2901157366"],"abstract_inverted_index":{"C":[0,11,69],"programs":[1],"can":[2],"use":[3,66,151],"compiler":[4],"builtins":[5,21,45,105,118,138,167,194],"to":[6,49,59,127,139],"provide":[7],"functionality":[8],"that":[9,22,75,116,156,166,189],"the":[10,111,124,131,147,157,208],"language":[12],"lacks.":[13],"On":[14],"Linux,":[15],"GCC":[16,61],"provides":[17],"several":[18],"thousands":[19],"of":[20,36,77,90,94,99,110,130,149,159,182],"are":[23,168],"also":[24,200],"supported":[25,176],"by":[26],"other":[27,37],"mature":[28],"compilers,":[29],"such":[30],"as":[31],"Clang":[32],"and":[33,43,154,173],"ICC.":[34],"Maintainers":[35],"tools":[38,187],"lack":[39],"guidance":[40],"on":[41,81],"whether":[42],"which":[44],"should":[46],"be":[47,140,175],"implemented":[48],"support":[50,60,93,128,184,192],"popular":[51],"projects.":[52,112],"To":[53],"assist":[54],"tool":[55],"developers":[56],"who":[57],"want":[58],"builtins,":[62],"we":[63,114,145,199],"analyzed":[64,146],"builtin":[65,150,183],"in":[67,119,177,185,204],"4,913":[68],"projects":[70,79,91,132,160],"from":[71],"GitHub.":[72],"We":[73],"found":[74,115,155],"37%":[76],"these":[78],"relied":[80],"at":[82],"least":[83],"one":[84],"builtin.":[85],"Supporting":[86],"an":[87,95],"increasing":[88,97],"proportion":[89],"requires":[92],"exponentially":[96],"number":[98],"builtins;":[100],"however,":[101],"implementing":[102],"only":[103],"10":[104],"already":[106],"covers":[107],"over":[108,152],"30%":[109],"Since":[113],"many":[117,190],"our":[120],"corpus":[121],"remained":[122],"unused,":[123],"effort":[125],"needed":[126],"90%":[129],"is":[133],"moderate,":[134],"requiring":[135],"about":[136],"110":[137],"implemented.":[141],"For":[142],"each":[143],"project,":[144],"evolution":[148],"time":[153],"majority":[158],"mostly":[161],"added":[162],"builtins.":[163],"This":[164],"suggests":[165],"not":[169],"a":[170],"legacy":[171],"feature":[172],"must":[174],"future":[178],"tools.":[179],"Systematic":[180],"testing":[181],"existing":[186],"revealed":[188],"lacked":[191],"for":[193],"either":[195],"partially":[196],"or":[197],"completely;":[198],"discovered":[201],"incorrect":[202],"implementations":[203],"various":[205],"tools,":[206],"including":[207],"formally":[209],"verified":[210],"CompCert":[211],"compiler.":[212]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}