{"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","doi":"https://doi.org/10.1109/cgo51591.2021.9370322","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370322","pdf_url":null,"source":{"id":"https://openalex.org/S4393918247","display_name":"Proceedings of the CGO/Proceedings of the ... CGO","issn_l":"2164-2397","issn":["2164-2397"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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"},"volume":null,"type":"conference-paper","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","observed_orcids":["https://orcid.org/0000-0002-8588-8197"]},"institutions":[{"id":"https://openalex.org/I123443094","display_name":"Universidade Estadual de Maring\u00e1","ror":"https://ror.org/04bqqa360","country_code":"BR","type":"education","lineage":["https://openalex.org/I123443094"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Anderson Faustino da Silva","raw_affiliation_strings":["UEM, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UEM, Brazil","institution_ids":["https://openalex.org/I123443094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029187381","display_name":"Bruno Conde Kind","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"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/I110200422"]}]},{"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","observed_orcids":["https://orcid.org/0000-0003-2767-1130"]},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"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/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085648449","display_name":"Jeronimo N. Rocha","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"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/I110200422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033228498","display_name":"Breno Campos Ferreira Guimar\u00e3es","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"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/I110200422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078149140","display_name":"Fernando Magno Quint\u00e3o Pereira","orcid":"https://orcid.org/0000-0002-0375-1657","observed_orcids":["https://orcid.org/0000-0002-0375-1657"]},"institutions":[{"id":"https://openalex.org/I110200422","display_name":"Universidade Federal de Minas Gerais","ror":"https://ror.org/0176yjw32","country_code":"BR","type":"education","lineage":["https://openalex.org/I110200422"]}],"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/I110200422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.2081,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.97364164,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"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/T10260","display_name":"Software Engineering Research","score":0.43869999051094055,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.43869999051094055,"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/T10126","display_name":"Logic, programming, and type systems","score":0.3467000126838684,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.11919999867677689,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/c-programming-language","display_name":"C programming language","score":0.6510000228881836},{"id":"https://openalex.org/keywords/code-size-reduction","display_name":"code size reduction","score":0.621999979019165},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.531000018119812},{"id":"https://openalex.org/keywords/web-crawling","display_name":"web crawling","score":0.8610000014305115},{"id":"https://openalex.org/keywords/llvm","display_name":"LLVM","score":0.8999999761581421},{"id":"https://openalex.org/keywords/benchmark-generation","display_name":"benchmark generation","score":0.33000001311302185}],"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","doi":"https://doi.org/10.1109/cgo51591.2021.9370322","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cgo51591.2021.9370322","pdf_url":null,"source":{"id":"https://openalex.org/S4393918247","display_name":"Proceedings of the CGO/Proceedings of the ... CGO","issn_l":"2164-2397","issn":["2164-2397"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"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":[],"study_designs":[],"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":75,"referenced_works":["https://openalex.org/W174199113","https://openalex.org/W1527148394","https://openalex.org/W1552624537","https://openalex.org/W1583055368","https://openalex.org/W1592306499","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/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/W2756283368","https://openalex.org/W2761620348","https://openalex.org/W2780762329","https://openalex.org/W2783614532","https://openalex.org/W2788197406","https://openalex.org/W2794527728","https://openalex.org/W2795143051","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/W2954977039","https://openalex.org/W2962724414","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/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"],"related_works":["https://openalex.org/W2971707596","https://openalex.org/W4200377280","https://openalex.org/W4214583996","https://openalex.org/W4297101798","https://openalex.org/W3130095569","https://openalex.org/W4407942483","https://openalex.org/W4318256786","https://openalex.org/W4406498850","https://openalex.org/W4400375367","https://openalex.org/W4306145873"],"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":12},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":4}],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2021-01-05T00:00:00"}