{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:15:00Z","timestamp":1770138900066,"version":"3.49.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,14]]},"DOI":"10.1109\/trustcom66490.2025.00258","type":"proceedings-article","created":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:42:41Z","timestamp":1770064961000},"page":"2214-2223","source":"Crossref","is-referenced-by-count":0,"title":["ORThrus: Detecting Deep Learning Compiler Bugs via Optimization Resistance Transformations"],"prefix":"10.1109","author":[{"given":"Tongwei","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Science and Technology of China,School of Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baojian","family":"Hua","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,School of Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Xla: Optimizing compiler for machine learning","year":"2017"},{"key":"ref2","article-title":"Nvidia tensorrt: High performance deep learning inference","year":"2023"},{"key":"ref3","article-title":"Onnx runtime: Accelerating machine learning inference","year":"2023"},{"key":"ref4","first-page":"578","article-title":"Tvm: An automated end-to-end optimizing compiler for deep learning","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI18)","author":"Chen"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2020.3030548"},{"key":"ref6","article-title":"[bug] alteroplayout failed on conv->transpose->conv \u2022 issue #10109\u2022apache\/tvm"},{"key":"ref7","article-title":"[bug] layout error when putting \u2018argmin\u2019 after \u2018conv2d\u2018 \u2022 issue #9813\u2022apache\/tvm"},{"key":"ref8","article-title":"[bug] wrong results of \u2018cast<int32>( cast<bool>(-1i64) )\u2019 \u2022 issue #13048\u2022apache\/tvm"},{"key":"ref9","article-title":"[arith][bugfix] fix a bug of iter map floormod(x,2) simplify by tqchen \u2022 pull request #14571 \u2022 apache\/tvm\u2022github"},{"key":"ref10","article-title":"Relay: A high-level compiler for deep learning","author":"Roesch","year":"2019"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME58846.2023.00054"},{"key":"ref15","article-title":"Analyzing quantization in tvm","author":"Guo","year":"2023"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3508035"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3527317"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575707"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598053"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/QRS60937.2023.00066"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3689757"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3705308"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MSR59073.2023.00018"},{"key":"ref24","article-title":"Github - onnx\/onnx: Open standard for machine learning interoperability"},{"key":"ref25","article-title":"Pytorch: An imperative style, high-performance deep learning library","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Paszke","year":"2019"},{"key":"ref26","first-page":"265","article-title":"{TensorFlow}: A system for {Large-Scale} machine learning","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359630"},{"key":"ref28","first-page":"37","article-title":"Pet: Optimizing tensor programs with partially equivalent transformations and automated corrections","volume-title":"15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)","author":"Wang"},{"key":"ref29","first-page":"255","article-title":"Equality saturation for tensor graph superoptimization","volume-title":"Proceedings of Machine Learning and Systems","volume":"3","author":"Yang"},{"key":"ref30","first-page":"27","article-title":"Optimizing dnn computation with relaxed graph substitutions","volume-title":"Proceedings of Machine Learning and Systems","volume":"1","author":"Jia"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00044"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454038"},{"key":"ref33","first-page":"863","article-title":"Ansor: Generating high-performance tensor programs for deep learning","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Zheng"},{"key":"ref34","first-page":"233","article-title":"Roller: Fast and efficient tensor compilation for deep learning","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Zhu"},{"key":"ref35","first-page":"559","article-title":"Alpa: Automating inter-and intra-operator parallelism for distributed deep learning","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Zheng"},{"key":"ref36","first-page":"681","article-title":"Cocktailer: Analyzing and optimizing dynamic control flow in deep learning","volume-title":"17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)","author":"Zhang"},{"key":"ref37","volume-title":"Github - microsoft\/onnxscript"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598105"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3527317"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00025"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE62328.2024.00018"}],"event":{"name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","location":"Guiyang, China","start":{"date-parts":[[2025,11,14]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11354467\/11354567\/11354700.pdf?arnumber=11354700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T05:55:47Z","timestamp":1770098147000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11354700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/trustcom66490.2025.00258","relation":{},"subject":[],"published":{"date-parts":[[2025,11,14]]}}}