{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:03:30Z","timestamp":1750309410529,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3685558","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1917-1919","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Search-Based Translations for Tensor Operations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-8874-7314","authenticated-orcid":false,"given":"Jie","family":"Qiu","sequence":"first","affiliation":[{"name":"Duolingo, Pittsburgh, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Barbosa Haniel","key":"e_1_3_2_1_1_1","unstructured":"Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres N\u00f6tzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, and Yoni Zohar. 2022. cvc5: A Versatile and Industrial-Strength SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham. 415\u2013442. isbn:978-3-030-99524-9"},{"key":"e_1_3_2_1_2_1","unstructured":"2024. https:\/\/github.com\/uwplse\/dexter\/blob\/master\/test\/basic\/blend.cpp. Blending functions"},{"key":"e_1_3_2_1_3_1","unstructured":"2024. https:\/\/habana.ai\/products\/gaudi\/. Intel Gaudi processor"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586216"},{"key":"e_1_3_2_1_5_1","unstructured":"2024. NVIDIA L4 Tensor Core GPU. https:\/\/www.nvidia.com\/en-us\/data-center\/l4\/."},{"key":"e_1_3_2_1_6_1","volume-title":"MLIR: A Compiler Infrastructure for the End of Moore\u2019s Law. arxiv:2002.11054.","author":"Lattner Chris","year":"2020","unstructured":"Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, and Oleksandr Zinenko. 2020. MLIR: A Compiler Infrastructure for the End of Moore\u2019s Law. arxiv:2002.11054."},{"key":"e_1_3_2_1_7_1","unstructured":"2024. Apple MLX. https:\/\/ml-explore.github.io\/mlx\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2024. https:\/\/www.modular.com\/max\/mojo. Mojo"},{"key":"e_1_3_2_1_9_1","unstructured":"2024. https:\/\/github.com\/UK-MAC\/CloverLeaf_Serial. Stencil Kernels"},{"key":"e_1_3_2_1_10_1","volume-title":"Brian Lester, Nan Du, Andrew M Dai, and Quoc V Le.","author":"Wei Jason","year":"2021","unstructured":"Jason Wei, Maarten Bosma, Vincent Y Zhao, Kelvin Guu, Adams Wei Yu, Brian Lester, Nan Du, Andrew M Dai, and Quoc V Le. 2021. Finetuned language models are zero-shot learners. arXiv preprint arXiv:2109.01652."},{"key":"e_1_3_2_1_11_1","unstructured":"2024. TensorFLow XLA. https:\/\/www.tensorflow.org\/xla\/architecture"},{"key":"e_1_3_2_1_12_1","unstructured":"Kaiyu Yang Aidan Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil Ryan Prenger and Anima Anandkumar. 2023. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. In Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_13_1","unstructured":"2017. The Z3 Theorem Prover. https:\/\/github.com\/Z3Prover\/z3"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"ISSTA '24"},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3685558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3685558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":13,"alternative-id":["10.1145\/3650212.3685558","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3685558","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}