{"id":"https://openalex.org/W7127172214","doi":"https://doi.org/10.1109/trustcom66490.2025.00258","title":"ORThrus: Detecting Deep Learning Compiler Bugs via Optimization Resistance Transformations","display_name":"ORThrus: Detecting Deep Learning Compiler Bugs via Optimization Resistance Transformations","publication_year":2025,"publication_date":"2025-11-14","ids":{"openalex":"https://openalex.org/W7127172214","doi":"https://doi.org/10.1109/trustcom66490.2025.00258"},"language":null,"primary_location":{"id":"doi:10.1109/trustcom66490.2025.00258","is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom66490.2025.00258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","raw_type":"proceedings-article"},"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/A5124783225","display_name":"Tongwei Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tongwei Zhang","raw_affiliation_strings":["University of Science and Technology of China,School of Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Software Engineering","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5124830143","display_name":"Baojian Hua","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baojian Hua","raw_affiliation_strings":["University of Science and Technology of China,School of Software Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China,School of Software Engineering","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.66826729,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2214","last_page":"2223"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.4065999984741211,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.4065999984741211,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.14810000360012054,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.10589999705553055,"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/deep-learning","display_name":"Deep learning","score":0.8895999789237976},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8561000227928162},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6556000113487244},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4860999882221222},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4438999891281128},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.3889000117778778},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.38760000467300415}],"concepts":[{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.8895999789237976},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8561000227928162},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8327999711036682},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6881999969482422},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6556000113487244},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4860999882221222},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4636000096797943},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44749999046325684},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4438999891281128},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.3889000117778778},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.38760000467300415},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3862999975681305},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.37299999594688416},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C29331672","wikidata":"https://www.wikidata.org/wiki/Q3354468","display_name":"Loop optimization","level":4,"score":0.3472000062465668},{"id":"https://openalex.org/C2778827112","wikidata":"https://www.wikidata.org/wiki/Q22245680","display_name":"Feature engineering","level":3,"score":0.32820001244544983},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2996000051498413},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.29260000586509705},{"id":"https://openalex.org/C111564260","wikidata":"https://www.wikidata.org/wiki/Q4288856","display_name":"Interprocedural optimization","level":5,"score":0.2734000086784363},{"id":"https://openalex.org/C189474733","wikidata":"https://www.wikidata.org/wiki/Q917912","display_name":"Model building","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2614000141620636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/trustcom66490.2025.00258","is_oa":false,"landing_page_url":"https://doi.org/10.1109/trustcom66490.2025.00258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2981758446","https://openalex.org/W2997653900","https://openalex.org/W3004659153","https://openalex.org/W3104745751","https://openalex.org/W3122286897","https://openalex.org/W3173358825","https://openalex.org/W4214589259","https://openalex.org/W4221144766","https://openalex.org/W4238083723","https://openalex.org/W4313442384","https://openalex.org/W4378465442","https://openalex.org/W4384026546","https://openalex.org/W4384155658","https://openalex.org/W4389544329","https://openalex.org/W4390188166","https://openalex.org/W4403223181","https://openalex.org/W4404952938","https://openalex.org/W4405703944","https://openalex.org/W4411552405"],"related_works":[],"abstract_inverted_index":{"Deep":[0],"learning":[1,8,51,68,106,129,142,170],"compilers":[2,107,171],"are":[3,182],"essential":[4,42],"for":[5,155],"deploying":[6],"deep":[7,50,67,105,128,141,169],"applications":[9],"across":[10],"heterogeneous":[11],"hardware":[12],"platforms.":[13],"To":[14],"improve":[15],"execution":[16,206],"efficiency,":[17],"they":[18],"employ":[19],"sophisticated":[20],"optimizations,":[21],"which":[22,180],"inevitably":[23],"introduce":[24],"bugs":[25,40,65,86,185],"due":[26],"to":[27,43,61,78,83,135],"their":[28],"considerably":[29],"large":[30],"code":[31],"size":[32],"and":[33,47,158,173,186],"complex":[34],"logic.":[35],"Therefore,":[36],"effectively":[37,62],"detecting":[38],"optimization":[39,64,85,120,184],"is":[41,101,188],"guarantee":[44],"the":[45,89,92,140,148,191],"correctness":[46],"trustworthiness":[48],"of":[49,179],"compilers.In":[52],"this":[53],"paper,":[54],"we":[55],"present":[56],"ORThrus,":[57],"an":[58,79,126,132,136,162],"automatic":[59],"approach":[60,72,118,157],"detect":[63,84],"in":[66,91,161],"compilers.":[69],"Conceptually,":[70],"our":[71,156],"develops":[73],"a":[74,97,116,153],"non-optimizing":[75,98],"reference":[76,99,199],"compiler":[77,100,143],"optimizing":[80],"compiler,":[81],"then":[82],"by":[87,190],"comparing":[88],"discrepancies":[90],"two":[93,167],"compilers\u2019":[94],"outputs.":[95],"Obtaining":[96],"challenging,":[102],"because":[103],"existing":[104],"provide":[108],"limited":[109],"control":[110],"over":[111],"optimizations.":[112,150],"We":[113,151],"thus":[114],"propose":[115],"novel":[117],"dubbed":[119],"resistance":[121],"transformation":[122],"that":[123,139],"structurally":[124],"transforms":[125],"input":[127],"model":[130],"from":[131],"optimizable":[133],"form":[134,138],"unoptimizable":[137],"can":[144],"no":[145],"longer":[146],"perform":[147],"potential":[149],"build":[152],"prototype":[154],"evaluate":[159],"it":[160],"extensive":[163],"testing":[164],"campaign":[165],"on":[166],"widely-used":[168],"TVM":[172],"ONNXRuntime.":[174],"ORThrus":[175,203],"detects":[176],"21":[177],"bugs,":[178],"9":[181],"non-crash":[183],"1":[187],"missed":[189],"state-of-the-art":[192],"tool":[193],"NNSmith":[194],"even":[195],"with":[196],"its":[197],"cross":[198],"feature":[200],"enabled.":[201],"Meanwhile,":[202],"introduces":[204],"negligible":[205],"overhead.":[207]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-02-03T00:00:00"}