{"id":"https://openalex.org/W4409311131","doi":"https://doi.org/10.1145/3720420","title":"Inductive Synthesis of Inductive Heap Predicates","display_name":"Inductive Synthesis of Inductive Heap Predicates","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409311131","doi":"https://doi.org/10.1145/3720420"},"language":"en","primary_location":{"id":"doi:10.1145/3720420","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720420","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720420","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3720420","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101256306","display_name":"Ziyi Yang","orcid":"https://orcid.org/0000-0002-8015-7846"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ziyi Yang","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-8015-7846","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009639508","display_name":"Ilya Sergey","orcid":"https://orcid.org/0000-0003-4250-5392"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ilya Sergey","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0003-4250-5392","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02299857,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"169","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965999722480774,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9950000047683716,"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/heap","display_name":"Heap (data structure)","score":0.8378326892852783},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6073534488677979},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5561305284500122}],"concepts":[{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.8378326892852783},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6073534488677979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5561305284500122}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720420","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720420","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720420","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3720420","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720420","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720420","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3952734959","display_name":null,"funder_award_id":"MOE-MOET32021-0001","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"},{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409311131.pdf","grobid_xml":"https://content.openalex.org/works/W4409311131.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W29857596","https://openalex.org/W145069693","https://openalex.org/W228104253","https://openalex.org/W564852913","https://openalex.org/W1431464475","https://openalex.org/W1495368328","https://openalex.org/W1530558387","https://openalex.org/W1565541828","https://openalex.org/W1582587605","https://openalex.org/W1672891595","https://openalex.org/W1905591175","https://openalex.org/W1990216234","https://openalex.org/W1992012690","https://openalex.org/W2091092523","https://openalex.org/W2094878426","https://openalex.org/W2119831128","https://openalex.org/W2129021396","https://openalex.org/W2135163511","https://openalex.org/W2148193377","https://openalex.org/W2151502664","https://openalex.org/W2170612356","https://openalex.org/W2237679549","https://openalex.org/W2397043727","https://openalex.org/W2397054552","https://openalex.org/W2414616261","https://openalex.org/W2520858206","https://openalex.org/W2748853711","https://openalex.org/W2795338679","https://openalex.org/W2883187296","https://openalex.org/W2899376621","https://openalex.org/W2929347481","https://openalex.org/W2954455540","https://openalex.org/W2955879452","https://openalex.org/W2959263575","https://openalex.org/W2963234253","https://openalex.org/W2963268497","https://openalex.org/W2978858456","https://openalex.org/W2997844570","https://openalex.org/W3032090618","https://openalex.org/W3065734471","https://openalex.org/W3117975267","https://openalex.org/W3119757231","https://openalex.org/W3130268038","https://openalex.org/W3160282589","https://openalex.org/W3174531561","https://openalex.org/W3196111424","https://openalex.org/W3205352458","https://openalex.org/W3205423569","https://openalex.org/W3212891530","https://openalex.org/W4206908526","https://openalex.org/W4211177236","https://openalex.org/W4225134668","https://openalex.org/W4229675450","https://openalex.org/W4283811211","https://openalex.org/W4313190988","https://openalex.org/W4315606148","https://openalex.org/W4387667035","https://openalex.org/W4387673994","https://openalex.org/W4387674062","https://openalex.org/W4391012954","https://openalex.org/W4400939349","https://openalex.org/W6910039297","https://openalex.org/W6949565226"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3158777280","https://openalex.org/W2949158926","https://openalex.org/W2093687902","https://openalex.org/W4301885003","https://openalex.org/W4387561287","https://openalex.org/W1996981508","https://openalex.org/W1989205740"],"abstract_inverted_index":{"We":[0,93,138,177],"present":[1],"an":[2,54,122],"approach":[3,184,202],"to":[4,27,48,59],"automatically":[5],"synthesise":[6,147],"recursive":[7],"predicates":[8,128,149],"in":[9,43,53],"Separation":[10],"Logic":[11,20],"(SL)":[12],"from":[13,129,195],"concrete":[14,130],"data":[15,83],"structure":[16],"instances":[17],"using":[18,117],"Inductive":[19],"Programming":[21],"(ILP)":[22],"techniques.":[23],"The":[24,103],"main":[25],"challenges":[26,96],"make":[28],"such":[29],"synthesis":[30,207],"effective":[31],"are":[32,41,46,109],"(1)":[33],"making":[34],"it":[35,72,84,87],"work":[36,108],"without":[37],"negative":[38],"examples":[39,119,194],"that":[40,124,140,152,190],"required":[42],"ILP":[44],"but":[45,77],"difficult":[47],"construct":[49],"for":[50,150],"heap-based":[51],"structures":[52,151],"automated":[55],"fashion,":[56],"and":[57,120,145,171,206],"(2)":[58],"be":[60],"capable":[61],"of":[62,68,81,106,113,157,182,208],"summarising":[63],"not":[64],"just":[65],"the":[66,79,82,111,135,155,158,180],"shape":[67],"a":[69,74,89,98,186],"heap":[70,193],"(e.g.,":[71,86,167,174],"is":[73,88],"linked":[75,91],"list),":[76],"also":[78],"properties":[80],"stores":[85],"sorted":[90],"list).":[92],"tackle":[94],"these":[95],"with":[97],"new":[99],"predicate":[100],"learning":[101,115],"algorithm.":[102],"key":[104],"contributions":[105],"our":[107,141,183,201],"(a)":[110],"formulation":[112],"ILP-based":[114],"only":[116],"positive":[118,192],"(b)":[121],"algorithm":[123],"synthesises":[125],"property-rich":[126],"SL":[127,148],"memory":[131,187],"graphs":[132],"based":[133],"on":[134],"positive-only":[136],"learning.":[137],"show":[139,199],"framework":[142],"can":[143],"efficiently":[144],"correctly":[146],"were":[153],"beyond":[154],"reach":[156],"state-of-the-art":[159],"tools,":[160],"including":[161],"those":[162],"featuring":[163],"non-trivial":[164],"payload":[165],"constraints":[166],"binary":[168],"search":[169],"trees)":[170],"nested":[172],"recursion":[173],"n-ary":[175],"trees).":[176],"further":[178],"extend":[179],"usability":[181],"by":[185],"graph":[188],"generator":[189],"produces":[191],"programs.":[196],"Finally,":[197],"we":[198],"how":[200],"facilitates":[203],"deductive":[204],"verification":[205],"correct-by-construction":[209],"code.":[210]},"counts_by_year":[],"updated_date":"2026-08-24T07:32:12.397491","created_date":"2025-10-10T00:00:00"}