{"id":"https://openalex.org/W7165633829","doi":"https://doi.org/10.1145/3814885.3816414","title":"Stageleft: Multi-stage Programming in Standard Rust","display_name":"Stageleft: Multi-stage Programming in Standard Rust","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165633829","doi":"https://doi.org/10.1145/3814885.3816414"},"language":null,"primary_location":{"id":"doi:10.1145/3814885.3816414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814885.3816414","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3814885.3816414","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018127900","display_name":"Shadaj Laddad","orcid":"https://orcid.org/0000-0002-6658-6548"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shadaj Laddad","raw_affiliation_strings":["Amazon Web Services, San Francisco, USA"],"raw_orcid":"https://orcid.org/0000-0002-6658-6548","affiliations":[{"raw_affiliation_string":"Amazon Web Services, San Francisco, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063639896","display_name":"Mingwei Samuel","orcid":"https://orcid.org/0009-0004-9873-6266"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mingwei Samuel","raw_affiliation_strings":["Amazon Web Services, San Francisco, USA"],"raw_orcid":"https://orcid.org/0009-0004-9873-6266","affiliations":[{"raw_affiliation_string":"Amazon Web Services, San Francisco, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043626252","display_name":"Joseph M. Hellerstein","orcid":"https://orcid.org/0000-0002-7712-4306"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph M. Hellerstein","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA"],"raw_orcid":"https://orcid.org/0000-0002-7712-4306","affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.77281262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"94","last_page":"106"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.07020000368356705,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.07020000368356705,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0608999989926815,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.037700001150369644,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/rust","display_name":"Rust (programming language)","score":0.34549999237060547},{"id":"https://openalex.org/keywords/interchangeability","display_name":"Interchangeability","score":0.26249998807907104},{"id":"https://openalex.org/keywords/cultivar","display_name":"Cultivar","score":0.2298000007867813}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40700000524520874},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.34549999237060547},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31459999084472656},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.3116999864578247},{"id":"https://openalex.org/C88463610","wikidata":"https://www.wikidata.org/wiki/Q194118","display_name":"Agricultural engineering","level":1,"score":0.2782999873161316},{"id":"https://openalex.org/C2779606619","wikidata":"https://www.wikidata.org/wiki/Q17092524","display_name":"Interchangeability","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.2515000104904175},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24169999361038208},{"id":"https://openalex.org/C39432304","wikidata":"https://www.wikidata.org/wiki/Q188847","display_name":"Environmental science","level":0,"score":0.2303999960422516},{"id":"https://openalex.org/C197321923","wikidata":"https://www.wikidata.org/wiki/Q4886","display_name":"Cultivar","level":2,"score":0.2298000007867813}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3814885.3816414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814885.3816414","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3814885.3816414","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3814885.3816414","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1650987719","https://openalex.org/W2029786195","https://openalex.org/W2096314727","https://openalex.org/W2154697693","https://openalex.org/W2562640456","https://openalex.org/W2797202077","https://openalex.org/W2807799957","https://openalex.org/W2898037052","https://openalex.org/W3108745470"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-06-24T00:00:00"}