{"id":"https://openalex.org/W4411266296","doi":"https://doi.org/10.1145/3735544.3735581","title":"Beyond Affine Loops: A Geometric Approach to Program Synthesis","display_name":"Beyond Affine Loops: A Geometric Approach to Program Synthesis","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411266296","doi":"https://doi.org/10.1145/3735544.3735581"},"language":"en","primary_location":{"id":"doi:10.1145/3735544.3735581","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735544.3735581","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735544.3735581","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3735544.3735581","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098795062","display_name":"Erdenebayar Bayarmagnai","orcid":"https://orcid.org/0009-0008-1153-6405"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Erdenebayar Bayarmagnai","raw_affiliation_strings":["KU Leuven, Leuven, Belgium"],"raw_orcid":"https://orcid.org/0009-0008-1153-6405","affiliations":[{"raw_affiliation_string":"KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041824598","display_name":"Fatemeh Mohammadi","orcid":"https://orcid.org/0000-0001-5187-0995"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Fatemeh Mohammadi","raw_affiliation_strings":["KU Leuven, Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-5187-0995","affiliations":[{"raw_affiliation_string":"KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044814170","display_name":"R\u00e9mi Pr\u00e9bet","orcid":"https://orcid.org/0000-0002-3630-6242"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R\u00e9mi Pr\u00e9bet","raw_affiliation_strings":["Inria, CNRS, ENS de Lyon, Universit\u00e9 Claude Bernard Lyon 1, LIP (UMR 5668), 69342 Lyon Cedex 07, France, Lyon, France"],"raw_orcid":"https://orcid.org/0000-0002-3630-6242","affiliations":[{"raw_affiliation_string":"Inria, CNRS, ENS de Lyon, Universit\u00e9 Claude Bernard Lyon 1, LIP (UMR 5668), 69342 Lyon Cedex 07, France, Lyon, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I1294671590","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5098795062"],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14025138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9986000061035156,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9914000034332275,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6488944888114929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5990550518035889},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3457651138305664},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3314070701599121},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24176499247550964},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.16614264249801636},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16137725114822388}],"concepts":[{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6488944888114929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5990550518035889},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3457651138305664},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3314070701599121},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24176499247550964},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.16614264249801636},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16137725114822388}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3735544.3735581","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735544.3735581","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735544.3735581","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/767931","is_oa":false,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/767931","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"PLDI 2025, South of Korea, 16-20 June 2025","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-05127957v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05127957","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOAP '25: 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, PLDI: Programming Language Design and Implementation, Jun 2025, Seoul, South Korea. pp.1-7, ⟨10.1145/3735544.3735581⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1145/3735544.3735581","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3735544.3735581","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3735544.3735581","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1005089900","display_name":null,"funder_award_id":"G0F5921N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G1415606103","display_name":null,"funder_award_id":"ANR-20-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G451940313","display_name":null,"funder_award_id":"ANR-24-CE48-4035","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4869584417","display_name":null,"funder_award_id":"iBOF/23/064","funder_id":"https://openalex.org/F4320322308","funder_display_name":"KU Leuven"},{"id":"https://openalex.org/G5916652429","display_name":null,"funder_award_id":"G023721N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320322308","display_name":"KU Leuven","ror":"https://ror.org/05f950310"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411266296.pdf","grobid_xml":"https://content.openalex.org/works/W4411266296.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W1480909796","https://openalex.org/W1585981132","https://openalex.org/W1967845657","https://openalex.org/W1971043610","https://openalex.org/W1984047043","https://openalex.org/W2011693299","https://openalex.org/W2031373197","https://openalex.org/W2053005439","https://openalex.org/W2058786070","https://openalex.org/W2069300761","https://openalex.org/W2099629271","https://openalex.org/W2318268489","https://openalex.org/W2549200807","https://openalex.org/W2806263336","https://openalex.org/W2963164018","https://openalex.org/W3037431022","https://openalex.org/W3141384256","https://openalex.org/W4205630623","https://openalex.org/W4226069598","https://openalex.org/W4232006143","https://openalex.org/W4240339708","https://openalex.org/W4240837394","https://openalex.org/W4255213956","https://openalex.org/W4256666875","https://openalex.org/W4256683994","https://openalex.org/W4297624429","https://openalex.org/W4298290503","https://openalex.org/W4300819719","https://openalex.org/W4362659518","https://openalex.org/W4383213547","https://openalex.org/W4383213594","https://openalex.org/W4385665043","https://openalex.org/W4400648752"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Ensuring":[0],"software":[1],"correctness":[2],"remains":[3],"a":[4,26,40,88,100],"fundamental":[5],"challenge":[6],"in":[7,51,104],"formal":[8],"program":[9,27],"verification.":[10],"One":[11],"promising":[12],"approach":[13,58],"relies":[14],"on":[15,65],"finding":[16],"polynomial":[17,37,81,96,109],"invariants":[18,22,38,110],"for":[19,43],"loops.":[20],"Polynomial":[21],"are":[23],"properties":[24],"of":[25,111],"loop":[28],"that":[29],"hold":[30],"before":[31],"and":[32,108],"after":[33],"each":[34],"iteration.":[35],"Generating":[36],"is":[39,47],"crucial":[41],"task":[42],"loops,":[44],"but":[45],"it":[46],"an":[48,56],"undecidable":[49],"problem":[50,61],"the":[52,105],"general":[53,90],"case.":[54],"Recently,":[55],"alternative":[57],"to":[59,94],"this":[60,84],"has":[62],"emerged,":[63],"focusing":[64],"synthesizing":[66],"loops":[67,76,93],"from":[68,80],"invariants.":[69,82],"However,":[70],"existing":[71],"methods":[72],"only":[73],"synthesize":[74],"affine":[75],"without":[77],"guard":[78,106],"conditions":[79],"In":[83],"paper,":[85],"we":[86],"address":[87],"more":[89],"problem,":[91],"allowing":[92],"have":[95],"update":[97],"maps":[98],"with":[99],"given":[101],"structure,":[102],"inequations":[103],"condition,":[107],"arbitrary":[112],"form.":[113]},"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}