{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:09:02Z","timestamp":1770289742123,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454088","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:49Z","timestamp":1624553929000},"page":"960-973","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Hashing modulo alpha-equivalence"],"prefix":"10.1145","author":[{"given":"Krzysztof","family":"Maziarz","sequence":"first","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Tom","family":"Ellis","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Alan","family":"Lawrence","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Andrew","family":"Fitzgibbon","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Simon","family":"Peyton Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.71.1"},{"key":"e_1_3_2_1_2_1","unstructured":"Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2017. Learning to represent programs with graphs. arXiv preprint arXiv:1711.00740.  Miltiadis Allamanis Marc Brockschmidt and Mahmoud Khademi. 2017. Learning to represent programs with graphs. arXiv preprint arXiv:1711.00740."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of ICLR\u201917","author":"Balog Matej","year":"2017","unstructured":"Matej Balog , Alexander Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . DeepCoder: Learning to Write Programs . In Proceedings of ICLR\u201917 . https:\/\/www.microsoft.com\/en-us\/research\/publication\/deepcoder-learning-write-programs\/ Matej Balog, Alexander Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. In Proceedings of ICLR\u201917. https:\/\/www.microsoft.com\/en-us\/research\/publication\/deepcoder-learning-write-programs\/"},{"key":"e_1_3_2_1_4_1","unstructured":"Marc Brockschmidt Miltiadis Allamanis Alexander L Gaunt and Oleksandr Polozov. 2018. Generative code modeling with graphs. arXiv preprint arXiv:1805.08490.  Marc Brockschmidt Miltiadis Allamanis Alexander L Gaunt and Oleksandr Polozov. 2018. Generative code modeling with graphs. arXiv preprint arXiv:1805.08490."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9225-2"},{"key":"e_1_3_2_1_6_1","volume-title":"Amy P. Felty and Aart Middeldorp (Eds.) (Lecture Notes in Computer Science","volume":"388","author":"de Moura Leonardo Mendon\u00e7a","year":"2015","unstructured":"Leonardo Mendon\u00e7a de Moura , Soonho Kong , Jeremy Avigad , Floris van Doorn , and Jakob von Raumer . 2015 . The Lean Theorem Prover (System Description).. In CADE , Amy P. Felty and Aart Middeldorp (Eds.) (Lecture Notes in Computer Science , Vol. 9195). Springer, 378\u2013 388 . isbn:978-3-319-21400-9 http:\/\/dblp.uni-trier.de\/db\/conf\/cade\/cade2015.html##MouraKADR15 Leonardo Mendon\u00e7a de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. 2015. The Lean Theorem Prover (System Description).. In CADE, Amy P. Felty and Aart Middeldorp (Eds.) (Lecture Notes in Computer Science, Vol. 9195). Springer, 378\u2013388. isbn:978-3-319-21400-9 http:\/\/dblp.uni-trier.de\/db\/conf\/cade\/cade2015.html##MouraKADR15"},{"key":"e_1_3_2_1_7_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805.","author":"Devlin Jacob","year":"2018","unstructured":"Jacob Devlin , Ming-Wei Chang , Kenton Lee , and Kristina Toutanova . 2018 . Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805. Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2018. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805."},{"key":"e_1_3_2_1_8_1","volume-title":"2017 USENIX Annual Technical Conference (USENIX 17)","author":"Dietrich Christian","year":"2017","unstructured":"Christian Dietrich , Valentin Rothberg , Ludwig F\u00fcracker , Andreas Ziegler , and Daniel Lohmann . 2017 . cHash: Detection of Redundant Compilations via $AST$ Hashing . In 2017 USENIX Annual Technical Conference (USENIX 17) . 527\u2013538. Christian Dietrich, Valentin Rothberg, Ludwig F\u00fcracker, Andreas Ziegler, and Daniel Lohmann. 2017. cHash: Detection of Redundant Compilations via $AST$ Hashing. In 2017 USENIX Annual Technical Conference (USENIX 17). 527\u2013538."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159880"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90161-X"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2nd International Conference on Neural Information Processing Systems. 396\u2013404","author":"Cun Yann Le","year":"1989","unstructured":"Yann Le Cun , Bernhard Boser , John S Denker , Donnie Henderson , Richard E Howard , Wayne Hubbard , and Lawrence D Jackel . 1989 . Handwritten digit recognition with a back-propagation network . In Proceedings of the 2nd International Conference on Neural Information Processing Systems. 396\u2013404 . Yann Le Cun, Bernhard Boser, John S Denker, Donnie Henderson, Richard E Howard, Wayne Hubbard, and Lawrence D Jackel. 1989. Handwritten digit recognition with a back-propagation network. In Proceedings of the 2nd International Conference on Neural Information Processing Systems. 396\u2013404."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.275.6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017477"},{"key":"e_1_3_2_1_14_1","volume-title":"The Wizard of TILT: Efficient?, Convenient, and Abstract Type Representations. Dept. Computer Science","author":"Murphy Tom","unstructured":"Tom Murphy . 2002. The Wizard of TILT: Efficient?, Convenient, and Abstract Type Representations. Dept. Computer Science , Carnegie-Mellon Univ , Pittsburgh, PA . Tom Murphy. 2002. The Wizard of TILT: Efficient?, Convenient, and Abstract Type Representations. Dept. Computer Science, Carnegie-Mellon Univ, Pittsburgh, PA."},{"key":"e_1_3_2_1_15_1","volume-title":"PyTorch: An Imperative Style","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 Kopf , Edward Yang , Zachary 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 . In Advances in Neural Information Processing Systems 32, H. Wallach, H. Larochelle, A. Beygelzimer, F. d' Alch\u00e9-Buc, E. Fox, and R. Garnett (Eds.). Curran Associates, Inc., 8024\u20138035. http:\/\/papers.neurips.cc\/paper\/9015-pytorch-an-imperative-style-high-performance-deep-learning-library.pdf Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary 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. In Advances in Neural Information Processing Systems 32, H. Wallach, H. Larochelle, A. Beygelzimer, F. d' Alch\u00e9-Buc, E. Fox, and R. Garnett (Eds.). Curran Associates, Inc., 8024\u20138035. http:\/\/papers.neurips.cc\/paper\/9015-pytorch-an-imperative-style-high-performance-deep-learning-library.pdf"},{"key":"e_1_3_2_1_16_1","volume-title":"Gaussian Mixture Models.. Encyclopedia of biometrics, 741","author":"Reynolds Douglas A","year":"2009","unstructured":"Douglas A Reynolds . 2009. Gaussian Mixture Models.. Encyclopedia of biometrics, 741 ( 2009 ), 659\u2013663. Douglas A Reynolds. 2009. Gaussian Mixture Models.. Encyclopedia of biometrics, 741 (2009), 659\u2013663."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289460"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/10556788.2018.1435651"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWSC.2012.6227862"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034818"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/BWCCA.2015.52"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454088","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":22,"alternative-id":["10.1145\/3453483.3454088","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454088","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}