{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:25Z","timestamp":1754144905039,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100004040","name":"KU Leuven grant","doi-asserted-by":"publisher","award":["iBOF\/23\/064"],"award-info":[{"award-number":["iBOF\/23\/064"]}],"id":[{"id":"10.13039\/501100004040","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FWO grants","award":["G0F5921N, G023721N"],"award-info":[{"award-number":["G0F5921N, G023721N"]}]},{"name":"ANR grants","award":["ANR-20-CE48-0014, ANR-24-CE48-4035"],"award-info":[{"award-number":["ANR-20-CE48-0014, ANR-24-CE48-4035"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3735544.3735581","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T17:54:44Z","timestamp":1749837284000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Beyond Affine Loops: A Geometric Approach to Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1153-6405","authenticated-orcid":false,"given":"Erdenebayar","family":"Bayarmagnai","sequence":"first","affiliation":[{"name":"KU Leuven, Leuven, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5187-0995","authenticated-orcid":false,"given":"Fatemeh","family":"Mohammadi","sequence":"additional","affiliation":[{"name":"KU Leuven, Leuven, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3630-6242","authenticated-orcid":false,"given":"R\u00e9mi","family":"Pr\u00e9bet","sequence":"additional","affiliation":[{"name":"Inria, CNRS, ENS de Lyon, Universit\u00e9 Claude Bernard Lyon 1, LIP (UMR 5668), 69342 Lyon Cedex 07, France, Lyon, France"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_2_1_1","DOI":"10.1007\/3-540-33099-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_2_1","DOI":"10.1145\/3666000.3669710"},{"doi-asserted-by":"crossref","unstructured":"Erdenebayar Bayarmagnai Fatemeh Mohammadi and R\u00e9mi Pr\u00e9bet. 2024. Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version). arXiv preprint arXiv:2412.14043.","key":"e_1_3_2_2_3_1","DOI":"10.1145\/3666000.3669710"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_4_1","DOI":"10.1145\/3452143.3465545"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_5_1","DOI":"10.1007\/978-3-319-96418-8_54"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1145\/1916461.1916463"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_7_1","DOI":"10.1007\/978-3-319-16721-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_8_1","DOI":"10.1007\/978-3-540-78800-3_24"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_9_1","DOI":"10.1007\/978-3-319-68167-2_22"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_10_1","DOI":"10.1016\/j.exmath.2007.07.001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_11_1","DOI":"10.1007\/978-94-011-1793-7_4"},{"doi-asserted-by":"crossref","unstructured":"Amir Goharshady S. Hitarth Fatemeh Mohammadi and Harshit Motwani. 2023. Algebro-geometric Algorithms for Template-based Synthesis of Polynomial Programs (Full Version including Appendices). https:\/\/hal.science\/hal-04012686","key":"e_1_3_2_2_12_1","DOI":"10.1145\/3586052"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_13_1","DOI":"10.1145\/3586052"},{"unstructured":"Daniel R Grayson and Michael E Stillman. 2002. Macaulay2 a software system for research in algebraic geometry.","key":"e_1_3_2_2_14_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_15_1","DOI":"10.1007\/BF01444162"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_16_1","DOI":"10.4230\/LIPIcs.STACS.2024.41"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_17_1","DOI":"10.1145\/3209108.3209142"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_18_1","DOI":"10.1145\/3614319"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_19_1","DOI":"10.1145\/3527458"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_20_1","DOI":"10.1007\/BF00268497"},{"doi-asserted-by":"publisher","unstructured":"G. Kempf. 1993. Algebraic Varieties. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9781107359956 10.1017\/CBO9781107359956","key":"e_1_3_2_2_21_1","DOI":"10.1017\/CBO9781107359956"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_22_1","DOI":"10.1145\/3597066.3597109"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_23_1","DOI":"10.1007\/978-3-540-78800-3_18"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_24_1","DOI":"10.1145\/3597066.3597150"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_25_1","DOI":"10.1137\/0212017"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_26_1","DOI":"10.1007\/978-1-4612-4222-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_27_1","DOI":"10.1145\/1005285.1005324"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_28_1","DOI":"10.1016\/j.scico.2006.03.003"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_29_1","DOI":"10.1016\/j.jsc.2007.01.002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_30_1","DOI":"10.1007\/s002000050114"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_31_1","DOI":"10.2307\/1969640"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_32_1","DOI":"10.1007\/978-3-642-37956-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_33_1","DOI":"10.2178\/bsl\/1305810912"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_34_1","DOI":"10.1145\/1707801.1706337"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_35_1","DOI":"10.1525\/9780520348097"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_36_1","DOI":"10.1017\/CBO9781139856065"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SOAP '25","name":"SOAP '25: 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","location":"Seoul Republic of Korea"},"container-title":["Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735544.3735581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T07:06:06Z","timestamp":1752649566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735544.3735581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":36,"alternative-id":["10.1145\/3735544.3735581","10.1145\/3735544"],"URL":"https:\/\/doi.org\/10.1145\/3735544.3735581","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}