{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T20:47:56Z","timestamp":1782247676809,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T00:00:00Z","timestamp":1782172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,23]]},"DOI":"10.1145\/3814885.3816414","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:54:21Z","timestamp":1782244461000},"page":"94-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Stageleft: Multi-stage Programming in Standard Rust"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6658-6548","authenticated-orcid":false,"given":"Shadaj","family":"Laddad","sequence":"first","affiliation":[{"name":"Amazon Web Services, San Francisco, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9873-6266","authenticated-orcid":false,"given":"Mingwei","family":"Samuel","sequence":"additional","affiliation":[{"name":"Amazon Web Services, San Francisco, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7712-4306","authenticated-orcid":false,"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, Berkeley, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: a system for large-scale machine learning. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Savannah, GA, USA) (OSDI'16). USENIX Association, USA, 265\u02d8283."},{"key":"e_1_3_2_1_2_1","unstructured":"Roy Frostig Matthew Johnson and Chris Leary. 2018. Compiling machine learning programs via high-level tracing. https:\/\/mlsys.org\/ Conferences\/doc\/2018\/146.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"Brook Heisler. 2025. Criterion.rs: Statistics-driven Microbenchmarking in Rust. https:\/\/github.com\/bheisler\/criterion.rs"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009880"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319859"},{"key":"e_1_3_2_1_6_1","volume-title":"Programming Models for Correct and Modular Distributed Systems. Ph. D. Dissertation. EECS Department","author":"Laddad Shadaj","year":"2025","unstructured":"Shadaj Laddad. 2025. Programming Models for Correct and Modular Distributed Systems. Ph. D. Dissertation. EECS Department, University of California, Berkeley. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/ 2025\/EECS-2025-85.html"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426953"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.14778\/3213880.3213890"},{"key":"e_1_3_2_1_9_1","volume-title":"PyTorch: an imperative style, high-performance deep learning library","author":"Paszke Adam","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas K\u00f6pf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: an imperative style, high-performance deep learning library. Curran Associates Inc., Red Hook, NY, USA."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183653"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278122.3278139"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Nicolas Alexander Stucki. 2023. Scalable Metaprogramming in Scala 3. Ph. D. Dissertation. EPFL Lausanne. https:\/\/doi.org\/10.5075\/epflthesis-8257 10.5075\/epfl-thesis-8257","DOI":"10.5075\/epflthesis-8257"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Walid Taha. 2004. A Gentle Introduction to Multi-stage Programming.","DOI":"10.1007\/978-3-540-25935-0_3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Springer Berlin Heidelberg Berlin Heidelberg 30-50. https: \/\/doi.org\/10.1007\/978-3-540-25935-0_3 10.1007\/978-3-540-25935-0_3","DOI":"10.1007\/978-3-540-25935-0_3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_3_2_1_17_1","volume-title":"Multistage programming: its theory and applications","author":"Taha Walid Mohamed","unstructured":"Walid Mohamed Taha. 1999. Multistage programming: its theory and applications. Oregon Graduate Institute of Science and Technology."},{"key":"e_1_3_2_1_18_1","volume-title":"Rust Reference: Constant evaluation. https: \/\/doc.rust-lang.org\/reference\/const_eval.html","author":"Team The Rust","year":"2025","unstructured":"The Rust Team. 2025. Rust Reference: Constant evaluation. https: \/\/doc.rust-lang.org\/reference\/const_eval.html"},{"key":"e_1_3_2_1_19_1","unstructured":"David Tolnay. 2025. Pre-RFC: Sandboxed deterministic reproducible efficient Wasm compilation of proc macros. https:\/\/internals.rust-lang.org\/t\/pre-rfc-sandboxed-deterministicreproducible-efficient-wasm-compilation-of-proc-macros\/19359"},{"key":"e_1_3_2_1_20_1","volume-title":"Syn: Parser for Rust source code. https:\/\/github. com\/dtolnay\/syn","author":"Tolnay David","year":"2025","unstructured":"David Tolnay. 2025. Syn: Parser for Rust source code. https:\/\/github. com\/dtolnay\/syn"},{"key":"e_1_3_2_1_21_1","volume-title":"Trybuild: Test harness for ui tests of compiler diagnostics. https:\/\/github.com\/dtolnay\/trybuild","author":"Tolnay David","year":"2025","unstructured":"David Tolnay. 2025. Trybuild: Test harness for ui tests of compiler diagnostics. https:\/\/github.com\/dtolnay\/trybuild"}],"event":{"name":"GPCE '26: 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Brussels Belgium","acronym":"GPCE '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3814885.3816414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:54:30Z","timestamp":1782244470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3814885.3816414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,23]]},"references-count":21,"alternative-id":["10.1145\/3814885.3816414","10.1145\/3814885"],"URL":"https:\/\/doi.org\/10.1145\/3814885.3816414","relation":{},"subject":[],"published":{"date-parts":[[2026,6,23]]},"assertion":[{"value":"2026-06-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}