{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:02:46Z","timestamp":1776304966672,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T00:00:00Z","timestamp":1647561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,19]]},"DOI":"10.1145\/3497776.3517779","type":"proceedings-article","created":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T17:28:13Z","timestamp":1647624493000},"page":"77-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Seamless deductive inference via macros"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3657-093X","authenticated-orcid":false,"given":"Arash","family":"Sahebolamri","sequence":"first","affiliation":[{"name":"Syracuse University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Gilray","sequence":"additional","affiliation":[{"name":"University of Alabama at Birmingham, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8650-0991","authenticated-orcid":false,"given":"Kristopher","family":"Micinski","sequence":"additional","affiliation":[{"name":"Syracuse University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951948"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428209"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020579"},{"key":"e_1_3_2_1_7_1","unstructured":"The Serde Developers. 2021. serde-rs\/serde: Serialization framework for Rust. https:\/\/github.com\/serde-rs\/serde  The Serde Developers. 2021. serde-rs\/serde: Serialization framework for Rust. https:\/\/github.com\/serde-rs\/serde"},{"key":"e_1_3_2_1_8_1","unstructured":"R. Kent Dybvig. 1992. Writing Hygienic Macros in Scheme with Syntax-Case.  R. Kent Dybvig. 1992. Writing Hygienic Macros in Scheme with Syntax-Case."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951936"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_12_1","unstructured":"Bryan Klimt and Yiming Yang. 2004. Introducing the Enron corpus.. In CEAS.  Bryan Klimt and Yiming Yang. 2004. Introducing the Enron corpus.. In CEAS."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753532"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217299.1217301"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428193"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_17_1","unstructured":"Nicholas Matsakis. 2018. An alias-based formulation of the borrow checker. http:\/\/smallcultfollowing.com\/babysteps\/blog\/2018\/04\/27\/an-alias-based-formulation-of-the-borrow-checker  Nicholas Matsakis. 2018. An alias-based formulation of the borrow checker. http:\/\/smallcultfollowing.com\/babysteps\/blog\/2018\/04\/27\/an-alias-based-formulation-of-the-borrow-checker"},{"key":"e_1_3_2_1_18_1","unstructured":"Nicholas Matsakis and The Rust Developers. 2021. Rust-Lang\/polonius: Defines the Rust borrow checker. https:\/\/github.com\/rust-lang\/polonius  Nicholas Matsakis and The Rust Developers. 2021. Rust-Lang\/polonius: Defines the Rust borrow checker. https:\/\/github.com\/rust-lang\/polonius"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"key":"e_1_3_2_1_20_1","first-page":"548","article-title":"Learning to discover social circles in ego networks","volume":"2012","author":"McAuley Julian J","year":"2012","unstructured":"Julian J McAuley and Jure Leskovec . 2012 . Learning to discover social circles in ego networks .. In NIPS. 2012 , 548 \u2013 556 . Julian J McAuley and Jure Leskovec. 2012. Learning to discover social circles in ego networks.. In NIPS. 2012, 548\u201356.","journal-title":"NIPS."},{"key":"e_1_3_2_1_21_1","unstructured":"Frank McSherry and The Rust Developers. 2021. Rust-Lang\/datafrog: A Lightweight Datalog engine in rust. https:\/\/github.com\/rust-lang\/datafrog  Frank McSherry and The Rust Developers. 2021. Rust-Lang\/datafrog: A Lightweight Datalog engine in rust. https:\/\/github.com\/rust-lang\/datafrog"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806631"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180143"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556572"},{"key":"e_1_3_2_1_26_1","volume-title":"Control-Flow Analysis of Higher-Order Languages. Ph. D. Dissertation","author":"Shivers Olin","unstructured":"Olin Shivers . 1991. Control-Flow Analysis of Higher-Order Languages. Ph. D. Dissertation . Carnegie-Mellon University . Pittsburgh, PA. Olin Shivers. 1991. Control-Flow Analysis of Higher-Order Languages. Ph. D. Dissertation. Carnegie-Mellon University. Pittsburgh, PA."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282500"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411203.1411243"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863553"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201918)","author":"Wang Kai","year":"2018","unstructured":"Kai Wang , Zhiqiang Zuo , John Thorpe , Tien Quang Nguyen , and Guoqing Harry Xu . 2018 . RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on a Single Machine . In Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201918) . USENIX Association, USA. 763\u2013782. isbn:978 1931971478 Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, and Guoqing Harry Xu. 2018. RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on a Single Machine. In Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201918). USENIX Association, USA. 763\u2013782. isbn:9781931971478"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1038\/30918"},{"key":"e_1_3_2_1_33_1","volume-title":"Oxide: The essence of rust. arXiv preprint arXiv:1903.00982, https:\/\/doi.org\/10.48550\/arXiv.1903.00982","author":"Weiss Aaron","year":"2019","unstructured":"Aaron Weiss , Olek Gierczak , Daniel Patterson , Nicholas D Matsakis , and Amal Ahmed . 2019 . Oxide: The essence of rust. arXiv preprint arXiv:1903.00982, https:\/\/doi.org\/10.48550\/arXiv.1903.00982 10.48550\/arXiv.1903.00982 Aaron Weiss, Olek Gierczak, Daniel Patterson, Nicholas D Matsakis, and Amal Ahmed. 2019. Oxide: The essence of rust. arXiv preprint arXiv:1903.00982, https:\/\/doi.org\/10.48550\/arXiv.1903.00982"}],"event":{"name":"CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction","location":"Seoul South Korea","acronym":"CC '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3497776.3517779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:26Z","timestamp":1750193366000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,18]]},"references-count":33,"alternative-id":["10.1145\/3497776.3517779","10.1145\/3497776"],"URL":"https:\/\/doi.org\/10.1145\/3497776.3517779","relation":{},"subject":[],"published":{"date-parts":[[2022,3,18]]},"assertion":[{"value":"2022-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}