{"id":"https://openalex.org/W3114760331","doi":"https://doi.org/10.1109/cgo51591.2021.9370322","title":"ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction","display_name":"ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction","publication_year":2021,"publication_date":"2021-02-27","ids":{"openalex":"https://openalex.org/W3114760331","doi":"https://doi.org/10.1109/cgo51591.2021.9370322","mag":"3114760331"},"language":"en","primary_location":{"id":"doi:10.1109/cgo51591.2021.9370322","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370322","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074854183","display_name":"Anderson Faustino da Silva","orcid":"https://orcid.org/0000-0002-8588-8197"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Anderson Faustino da Silva","raw_affiliation_strings":["UEM, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UEM, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029187381","display_name":"Bruno Conde Kind","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Bruno Conde Kind","raw_affiliation_strings":["UFMG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072335056","display_name":"Jos\u00e9 Wesley de Souza Magalh\u00e3es","orcid":"https://orcid.org/0000-0003-2767-1130"},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jose Wesley de Souza Magalhaes","raw_affiliation_strings":["UFMG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5096853864","display_name":"Jeronimo Nunes Rocha","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jeronimo Nunes Rocha","raw_affiliation_strings":["UFMG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033228498","display_name":"Breno Campos Ferreira Guimar\u00e3es","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Breno Campos Ferreira Guimaraes","raw_affiliation_strings":["UFMG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102382750","display_name":"Fernando Magno Quinao Pereira","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Fernando Magno Quinao Pereira","raw_affiliation_strings":["UFMG, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5074854183"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.5441,"has_fulltext":false,"cited_by_count":49,"citation_normalized_percentile":{"value":0.98129695,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"378","last_page":"390"},"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.9986000061035156,"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.9986000061035156,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8788795471191406},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8421443700790405},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.808021068572998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7032699584960938},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.4898061454296112},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.453539103269577},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45282962918281555},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.4281042814254761},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4169728457927704},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3556560277938843},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.17456838488578796},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.11192002892494202}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8788795471191406},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8421443700790405},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.808021068572998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7032699584960938},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4898061454296112},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.453539103269577},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45282962918281555},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.4281042814254761},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4169728457927704},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3556560277938843},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.17456838488578796},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.11192002892494202},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cgo51591.2021.9370322","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370322","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":83,"referenced_works":["https://openalex.org/W174199113","https://openalex.org/W1552624537","https://openalex.org/W1583055368","https://openalex.org/W1686420892","https://openalex.org/W1744150050","https://openalex.org/W1988659054","https://openalex.org/W1993402810","https://openalex.org/W2005985523","https://openalex.org/W2033139628","https://openalex.org/W2036853599","https://openalex.org/W2068219251","https://openalex.org/W2076290291","https://openalex.org/W2077337386","https://openalex.org/W2080592089","https://openalex.org/W2095629015","https://openalex.org/W2098456636","https://openalex.org/W2100087302","https://openalex.org/W2101924328","https://openalex.org/W2107581073","https://openalex.org/W2112121929","https://openalex.org/W2118819356","https://openalex.org/W2118937112","https://openalex.org/W2119756901","https://openalex.org/W2122111042","https://openalex.org/W2123693663","https://openalex.org/W2128939969","https://openalex.org/W2132984320","https://openalex.org/W2133128124","https://openalex.org/W2150082535","https://openalex.org/W2150650310","https://openalex.org/W2152195021","https://openalex.org/W2153185479","https://openalex.org/W2156560068","https://openalex.org/W2166536280","https://openalex.org/W2168519934","https://openalex.org/W2250787296","https://openalex.org/W2272182352","https://openalex.org/W2294934420","https://openalex.org/W2318697942","https://openalex.org/W2329415855","https://openalex.org/W2330908417","https://openalex.org/W2441512324","https://openalex.org/W2543580944","https://openalex.org/W2555472853","https://openalex.org/W2565684518","https://openalex.org/W2756283368","https://openalex.org/W2761620348","https://openalex.org/W2780762329","https://openalex.org/W2783614532","https://openalex.org/W2788197406","https://openalex.org/W2794527728","https://openalex.org/W2808279976","https://openalex.org/W2890012470","https://openalex.org/W2899107713","https://openalex.org/W2899171197","https://openalex.org/W2900428612","https://openalex.org/W2912195838","https://openalex.org/W2921888067","https://openalex.org/W2954977039","https://openalex.org/W2962724414","https://openalex.org/W2963145229","https://openalex.org/W2964150020","https://openalex.org/W2998249817","https://openalex.org/W2999399510","https://openalex.org/W2999496892","https://openalex.org/W3007855180","https://openalex.org/W3015456328","https://openalex.org/W3033154127","https://openalex.org/W3082811184","https://openalex.org/W3094590294","https://openalex.org/W3122749996","https://openalex.org/W4206504442","https://openalex.org/W4214583996","https://openalex.org/W4232751114","https://openalex.org/W4233894383","https://openalex.org/W4235002328","https://openalex.org/W4238083723","https://openalex.org/W4246166885","https://openalex.org/W4297751151","https://openalex.org/W6634986000","https://openalex.org/W6637655436","https://openalex.org/W6730141170","https://openalex.org/W6744497283"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W2759596553","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1172579163","https://openalex.org/W1488300410","https://openalex.org/W2138790427","https://openalex.org/W2120081482","https://openalex.org/W2508091716"],"abstract_inverted_index":{"A":[0],"predictive":[1,41,171],"compiler":[2,15,172],"uses":[3],"properties":[4],"of":[5,21,33,37,40,51,57,94,125,164,178],"a":[6,19,25,92,111,121,170],"program":[7,85],"to":[8,11,23,45,84,100,118,153,167,201,218],"decide":[9],"how":[10,44],"optimize":[12],"it.":[13],"The":[14,176],"is":[16,43,60,68,81],"trained":[17],"on":[18,115,174],"collection":[20,124],"programs":[22,132,166],"derive":[24],"model":[26],"which":[27],"determines":[28],"its":[29],"actions":[30],"in":[31,209],"face":[32],"unknown":[34],"codes.":[35],"One":[36],"the":[38,52,55,105,186,202],"challenges":[39],"compilation":[42],"find":[46],"good":[47],"training":[48],"sets.":[49],"Regardless":[50],"programming":[53,107],"language,":[54],"availability":[56],"human-made":[58],"benchmarks":[59],"limited.":[61],"Moreover,":[62],"current":[63],"synthesizers":[64],"produce":[65,119],"code":[66,77,157,198],"that":[67],"very":[69],"different":[70],"from":[71,78],"actual":[72],"programs,":[73],"and":[74,97],"mining":[75],"compilable":[76,127],"open":[79],"repositories":[80],"difficult,":[82],"due":[83],"dependencies.":[86],"In":[87],"this":[88],"paper,":[89],"we":[90],"use":[91,110],"combination":[93],"web":[95],"crawling":[96],"type":[98,112],"inference":[99],"overcome":[101],"these":[102],"problems":[103],"for":[104,156,185],"C":[106,128,145],"language.":[108],"We":[109,160],"reconstructor":[113],"based":[114,173],"Hindley-Milner's":[116],"algorithm":[117],"ANGHABENCH,":[120],"virtually":[122],"unlimited":[123],"real-world":[126],"programs.":[129],"Although":[130],"ANGHABENCH":[131,165,182],"are":[133],"not":[134,214],"executable,":[135],"they":[136,149],"can":[137,150],"be":[138,151],"transformed":[139],"into":[140],"object":[141],"files":[142],"by":[143],"any":[144],"compliant":[146],"compiler.":[147],"Therefore,":[148],"used":[152,162],"train":[154,168],"compilers":[155],"size":[158],"reduction.":[159],"have":[161],"thousands":[163],"YACOS,":[169],"LLVM.":[175],"version":[177],"YACOS":[179],"autotuned":[180],"with":[181],"generates":[183],"binaries":[184,217],"LLVM":[187],"test":[188],"suite":[189],"over":[190],"10%":[191],"smaller":[192],"than":[193],"clang":[194],"-Oz.":[195],"It":[196],"compresses":[197],"impervious":[199],"even":[200],"state-of-the-art":[203],"Function":[204],"Sequence":[205],"Alignment":[206],"technique":[207],"published":[208],"2019,":[210],"as":[211],"it":[212],"does":[213],"require":[215],"large":[216],"work":[219],"well.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":4}],"updated_date":"2026-05-13T08:25:38.343686","created_date":"2025-10-10T00:00:00"}