{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:51:29Z","timestamp":1757631089076,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,8,6]]},"DOI":"10.1145\/3676642.3736118","type":"proceedings-article","created":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T22:19:59Z","timestamp":1754518799000},"page":"212-229","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Syno: Structured Synthesis for Neural Operators"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-2229-2750","authenticated-orcid":false,"given":"Yongqi","family":"Zhuo","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0121-2128","authenticated-orcid":false,"given":"Zhengyuan","family":"Su","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2297-0790","authenticated-orcid":false,"given":"Chenggang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8433-7281","authenticated-orcid":false,"given":"Mingyu","family":"Gao","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China, Shanghai Artificial Intelligence Lab, Shanghai, China, and Shanghai Qi Zhi Institute, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Zero-Cost Proxies for Lightweight NAS. In 9th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=0cmMMy8J5q","author":"Abdelfattah Mohamed S.","year":"2021","unstructured":"Mohamed S. Abdelfattah, Abhinav Mehrotra, Lukasz Dudziak, and Nicholas Donald Lane. 2021. Zero-Cost Proxies for Lightweight NAS. In 9th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=0cmMMy8J5q"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640366"},{"key":"e_1_3_2_1_3_1","volume-title":"Hamza Ouarnoughi, Smail Niar, Martin Wistuba, and Naigang Wang.","author":"Benmeziane Hadjer","year":"2021","unstructured":"Hadjer Benmeziane, Kaoutar El Maghraoui, Hamza Ouarnoughi, Smail Niar, Martin Wistuba, and Naigang Wang. 2021. A Comprehensive Survey on Hardware-Aware Neural Architecture Search. arXiv preprint arXiv:2101.09336, (2021)."},{"volume-title":"7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=HylVB3AqYm","author":"Cai Han","key":"e_1_3_2_1_4_1","unstructured":"Han Cai, Ligeng Zhu, and Song Han. 2019. ProxylessNAS: Direct Neural Architecture Search on Target Task and Hardware. In 7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=HylVB3AqYm"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.21437\/INTERSPEECH.2014-564"},{"key":"e_1_3_2_1_6_1","first-page":"579","volume-title":"Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Meghan Cowan, Haichen Shen, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation (OSDI), (Carlsbad, CA, USA). USENIX Association, USA, 579-594."},{"key":"e_1_3_2_1_7_1","unstructured":"PyTorch community members. 2023. Investigate Strictness of torch.compile is_big_gpu. https:\/\/github.com\/pytorch\/pytorch\/issues\/109489."},{"volume-title":"Computers and Games","author":"Coulom R\u00e9mi","key":"e_1_3_2_1_8_1","unstructured":"R\u00e9mi Coulom. 2007. Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search. In Computers and Games. Springer, Berlin, Heidelberg, 72-83."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"Neural Architecture Search: A Survey","volume":"20","author":"Elsken Thomas","year":"2019","unstructured":"Thomas Elsken, Jan Hendrik Metzen, and Frank Hutter. 2019. Neural Architecture Search: A Survey. The Journal of Machine Learning Research, Vol. 20, 1 (Jan. 2019), 1997-2017.","journal-title":"The Journal of Machine Learning Research"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3104322.3104369"},{"key":"e_1_3_2_1_12_1","unstructured":"W.H. Greub. 2012. Multilinear Algebra. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"volume-title":"Joint Proceedings of the AIIDE 2020 Workshops co-located with 16th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE), (CEUR Workshop Proceedings","author":"Hsu Yu-Jhen","key":"e_1_3_2_1_15_1","unstructured":"Yu-Jhen Hsu and Diego Perez Liebana. 2020. MCTS Pruning in Turn-Based Strategy Games. In Joint Proceedings of the AIIDE 2020 Workshops co-located with 16th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE), (CEUR Workshop Proceedings, Vol. 2862). CEUR-WS.org. https:\/\/ceur-ws.org\/Vol-2862\/paper27.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-020-3097-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3355089.3356506"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.243"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563329"},{"key":"e_1_3_2_1_20_1","unstructured":"Alex Krizhevsky and Geoffrey Hinton. 2009. Learning Multiple Layers of Features from Tiny Images. (2009)."},{"volume-title":"7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=B1VZqjAcYX","author":"Lee Namhoon","key":"e_1_3_2_1_21_1","unstructured":"Namhoon Lee, Thalaiyasingam Ajanthan, and Philip H. S. Torr. 2019. Snip: Single-Shot Network Pruning based on Connection Sensitivity. In 7th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=B1VZqjAcYX"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01246-5_2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3508461"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428234"},{"key":"e_1_3_2_1_25_1","unstructured":"Alec Radford Jeff Wu Rewon Child David Luan Dario Amodei and Ilya Sutskever. 2019. Language Models are Unsupervised Multitask Learners. (2019)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_27_1","volume-title":"Einops: Clear and Reliable Tensor Manipulations with Einstein-like Notation. In International Conference on Learning Representations (ICLR).","author":"Rogozhnikov Alex","year":"2021","unstructured":"Alex Rogozhnikov. 2021. Einops: Clear and Reliable Tensor Manipulations with Einstein-like Notation. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3600270.3602863"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3517034"},{"volume-title":"Proceedings of the 35th International Conference on Neural Information Processing Systems (NeurIPS). Curran Associates Inc.","author":"So David R.","key":"e_1_3_2_1_30_1","unstructured":"David R. So, Wojciech Ma\u0144ke, Hanxiao Liu, Zihang Dai, Noam Shazeer, and Quoc V. Le. 2021. Primer: Searching for Efficient Transformers for Language Modeling. In Proceedings of the 35th International Conference on Neural Information Processing Systems (NeurIPS). Curran Associates Inc., Red Hook, NY, USA, Article 460, 13 pages."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00293"},{"key":"e_1_3_2_1_32_1","first-page":"6105","volume-title":"Proceedings of the 36th International Conference on Machine Learning, (ICML)","volume":"97","author":"Tan Mingxing","unstructured":"Mingxing Tan and Quoc V. Le. 2019. EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks. In Proceedings of the 36th International Conference on Machine Learning, (ICML),, Vol. 97. PMLR,, 6105-6114. http:\/\/proceedings.mlr.press\/v97\/tan19a.html"},{"key":"e_1_3_2_1_33_1","first-page":"10096","volume-title":"Proceedings of the 38th International Conference on Machine Learning (ICML)","volume":"139","author":"Tan Mingxing","unstructured":"Mingxing Tan and Quoc V. Le. 2021. EfficientNetV2: Smaller Models and Faster Training. In Proceedings of the 38th International Conference on Machine Learning (ICML),, Vol. 139. PMLR,, 10096-10106. http:\/\/proceedings.mlr.press\/v139\/tan21a.html"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523448"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3315508.3329973"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446753"},{"key":"e_1_3_2_1_38_1","volume-title":"8th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=SklkDkSFPB","author":"Turner Jack","year":"2020","unstructured":"Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, and Gavin Gray. 2020. BlockSwap: Fisher-Guided Block Substitution for Network Compression on a Budget. In 8th International Conference on Learning Representations (ICLR). OpenReview.net. https:\/\/openreview.net\/forum?id=SklkDkSFPB"},{"key":"e_1_3_2_1_39_1","volume-title":"PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Wang Haojie","year":"2021","unstructured":"Haojie Wang, Jidong Zhai, Mingyu Gao, Zixuan Ma, Shizhi Tang, Liyan Zheng, Yuanzhi Li, Kaiyuan Rong, Yuanyong Chen, and Zhihao Jia. 2021. PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI). USENIX Association, 37-54. https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/wang"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.01099"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00951"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.634"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454106"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI). USENIX Association, USA, Article 49","author":"Zheng Lianmin","year":"2020","unstructured":"Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, and Ion Stoica. 2020. Ansor: Generating High-Performance Tensor Programs for Deep Learning. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI). USENIX Association, USA, Article 49, 17 pages."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01141"},{"volume-title":"Neural Architecture Search with Reinforcement Learning. In International Conference on Learning Representations (ICLR). https:\/\/openreview.net\/forum?id=r1Ue8Hcxg","author":"Zoph Barret","key":"e_1_3_2_1_46_1","unstructured":"Barret Zoph and Quoc V. Le. 2017. Neural Architecture Search with Reinforcement Learning. In International Conference on Learning Representations (ICLR). https:\/\/openreview.net\/forum?id=r1Ue8Hcxg"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00907"}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Rotterdam Netherlands","acronym":"ASPLOS '25"},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3676642.3736118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:24:28Z","timestamp":1757543068000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3676642.3736118"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"references-count":47,"alternative-id":["10.1145\/3676642.3736118","10.1145\/3676642"],"URL":"https:\/\/doi.org\/10.1145\/3676642.3736118","relation":{},"subject":[],"published":{"date-parts":[[2025,8,6]]},"assertion":[{"value":"2025-08-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}