{"id":"https://openalex.org/W2030405312","doi":"https://doi.org/10.1145/2771783.2771785","title":"Randomized stress-testing of link-time optimizers","display_name":"Randomized stress-testing of link-time optimizers","publication_year":2015,"publication_date":"2015-07-10","ids":{"openalex":"https://openalex.org/W2030405312","doi":"https://doi.org/10.1145/2771783.2771785","mag":"2030405312"},"language":"en","primary_location":{"id":"doi:10.1145/2771783.2771785","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771785","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","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/A5051355395","display_name":"Vu Le","orcid":"https://orcid.org/0000-0003-3727-3291"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vu Le","raw_affiliation_strings":["University of California at Davis, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chengnian Sun","raw_affiliation_strings":["University of California at Davis, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["University of California at Davis, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Davis, USA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I84218800"],"apc_list":null,"apc_paid":null,"fwci":11.1178,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.98550278,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"327","last_page":"337"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9979000091552734,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6024585962295532},{"id":"https://openalex.org/keywords/stress-testing","display_name":"Stress testing (software)","score":0.4944894313812256},{"id":"https://openalex.org/keywords/stress","display_name":"Stress (linguistics)","score":0.4438210129737854},{"id":"https://openalex.org/keywords/link","display_name":"Link (geometry)","score":0.4301251471042633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07214200496673584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6024585962295532},{"id":"https://openalex.org/C7515471","wikidata":"https://www.wikidata.org/wiki/Q1936882","display_name":"Stress testing (software)","level":2,"score":0.4944894313812256},{"id":"https://openalex.org/C21036866","wikidata":"https://www.wikidata.org/wiki/Q181767","display_name":"Stress (linguistics)","level":2,"score":0.4438210129737854},{"id":"https://openalex.org/C2778753846","wikidata":"https://www.wikidata.org/wiki/Q6554239","display_name":"Link (geometry)","level":2,"score":0.4301251471042633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07214200496673584},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2771783.2771785","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771785","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G5288953374","display_name":null,"funder_award_id":"1117603,1319187,1349528.","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/F4320310050","display_name":"University of Utah","ror":"https://ror.org/03r0ha626"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1573867619","https://openalex.org/W1575174358","https://openalex.org/W1981899763","https://openalex.org/W2028800816","https://openalex.org/W2040856861","https://openalex.org/W2071952624","https://openalex.org/W2085050643","https://openalex.org/W2098456636","https://openalex.org/W2108174561","https://openalex.org/W2129695855","https://openalex.org/W2138474070","https://openalex.org/W2148662736","https://openalex.org/W2152397470","https://openalex.org/W2155877593","https://openalex.org/W2170737051","https://openalex.org/W2187646468","https://openalex.org/W2295658119","https://openalex.org/W2313783443","https://openalex.org/W2911450990","https://openalex.org/W4206368310","https://openalex.org/W4238083723","https://openalex.org/W6604335577"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1518185400","https://openalex.org/W3200586296","https://openalex.org/W2390279801","https://openalex.org/W4230332972","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W1998033311"],"abstract_inverted_index":{"Link-time":[0],"optimization":[1,10,162],"(LTO)":[2],"is":[3,13,33,37,110],"an":[4,161],"increasingly":[5],"important":[6,136],"and":[7,23,50,70,85,102,113,126,133,157],"adopted":[8],"modern":[9],"technology.":[11],"It":[12],"currently":[14],"supported":[15],"by":[16],"many":[17],"production":[18,76],"compilers,":[19],"including":[20],"GCC,":[21],"LLVM,":[22,71],"Microsoft":[24],"Visual":[25],"C/C++.":[26],"Despite":[27],"its":[28],"complexity,":[29],"but":[30],"because":[31],"it":[32],"more":[34,44],"recent,":[35],"LTO":[36,66,140,176],"relatively":[38],"less":[39],"tested":[40],"compared":[41],"to":[42,63,128,143,174,189],"the":[43,53,59,65,72,116],"mature,":[45],"traditional":[46],"optimizations.":[47],"To":[48],"evaluate":[49],"help":[51],"improve":[52],"quality":[54],"of":[55,68,99,105],"LTO,":[56,146],"we":[57,82,169,187],"present":[58],"first":[60],"extensive":[61],"effort":[62,194],"stress-test":[64],"components":[67],"GCC":[69],"two":[73,135],"most":[74],"widely-used":[75],"C":[77],"compilers.":[78],"In":[79],"11":[80,104],"months,":[81],"have":[83,96],"discovered":[84],"reported":[86],"37":[87],"bugs":[88,177],"(12":[89],"in":[90,93,115,195],"GCC;":[91],"25":[92],"LLVM).":[94],"Developers":[95],"confirmed":[97],"21":[98],"our":[100],"bugs,":[101],"fixed":[103],"them.":[106],"Our":[107,181],"core":[108],"technique":[109],"differential":[111],"testing":[112,123],"realized":[114],"tool":[117],"Proteus.":[118],"We":[119],"leverage":[120],"existing":[121],"compiler":[122],"tools":[124],"(Csmith":[125],"Orion)":[127],"generate":[129],"single-file":[130,151],"test":[131],"programs":[132],"address":[134],"challenges":[137],"specific":[138],"for":[139,165],"testing.":[141],"First,":[142],"thoroughly":[144],"exercise":[145],"Proteus":[147],"automatically":[148],"transforms":[149],"a":[150,171,192],"program":[152],"into":[153],"multiple":[154,179],"compilation":[155],"units":[156],"stochastically":[158],"assigns":[159],"each":[160],"level.":[163],"Second,":[164],"effective":[166],"bug":[167],"reporting,":[168],"develop":[170],"practical":[172],"mechanism":[173],"reduce":[175],"involving":[178],"files.":[180],"results":[182],"clearly":[183],"demonstrate":[184],"Proteus\u2019s":[185],"utility;":[186],"plan":[188],"make":[190],"ours":[191],"continuous":[193],"validating":[196],"link-time":[197],"optimizers.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}