{"id":"https://openalex.org/W7169573479","doi":"https://doi.org/10.1145/3803437.3807386","title":"Inspectable Control for Structure-Preserving Software Regeneration","display_name":"Inspectable Control for Structure-Preserving Software Regeneration","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7169573479","doi":"https://doi.org/10.1145/3803437.3807386"},"language":null,"primary_location":{"id":"doi:10.1145/3803437.3807386","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3807386","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3803437.3807386","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135991487","display_name":"Alexey Gavrilov","orcid":null},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexey Gavrilov","raw_affiliation_strings":["ITMO University, Saint-Petersburg, Russian Federation"],"raw_orcid":"https://orcid.org/0009-0006-3147-5430","affiliations":[{"raw_affiliation_string":"ITMO University, Saint-Petersburg, Russian Federation","institution_ids":["https://openalex.org/I173089394"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135965738","display_name":"Alan-Barsag Gazzaev","orcid":null},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alan-Barsag Gazzaev","raw_affiliation_strings":["ITMO University, Saint-Petersburg, Russian Federation"],"raw_orcid":"https://orcid.org/0009-0000-0334-312X","affiliations":[{"raw_affiliation_string":"ITMO University, Saint-Petersburg, Russian Federation","institution_ids":["https://openalex.org/I173089394"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054795443","display_name":"Mikhail Mozikov","orcid":"https://orcid.org/0000-0003-0594-867X"},"institutions":[{"id":"https://openalex.org/I4210120041","display_name":"Coletex (Russia)","ror":"https://ror.org/02j6dqk07","country_code":"RU","type":"company","lineage":["https://openalex.org/I4210120041"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Mikhail Mozikov","raw_affiliation_strings":["AXXX, Moscow, Russian Federation"],"raw_orcid":"https://orcid.org/0000-0003-0594-867X","affiliations":[{"raw_affiliation_string":"AXXX, Moscow, Russian Federation","institution_ids":["https://openalex.org/I4210120041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074238659","display_name":"Ilya Makarov","orcid":"https://orcid.org/0000-0002-3308-8825"},"institutions":[{"id":"https://openalex.org/I4210120041","display_name":"Coletex (Russia)","ror":"https://ror.org/02j6dqk07","country_code":"RU","type":"company","lineage":["https://openalex.org/I4210120041"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Ilya Makarov","raw_affiliation_strings":["AXXX, Moscow, Russian Federation"],"raw_orcid":"https://orcid.org/0000-0002-3308-8825","affiliations":[{"raw_affiliation_string":"AXXX, Moscow, Russian Federation","institution_ids":["https://openalex.org/I4210120041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048360368","display_name":"Sergey Muravyov","orcid":"https://orcid.org/0000-0002-4251-1744"},"institutions":[{"id":"https://openalex.org/I173089394","display_name":"ITMO University","ror":"https://ror.org/04txgxn49","country_code":"RU","type":"education","lineage":["https://openalex.org/I173089394"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Sergey Muravyov","raw_affiliation_strings":["ITMO University, Saint-Petersburg, Russian Federation"],"raw_orcid":"https://orcid.org/0000-0002-4251-1744","affiliations":[{"raw_affiliation_string":"ITMO University, Saint-Petersburg, Russian Federation","institution_ids":["https://openalex.org/I173089394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1406","last_page":"1407"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.7660999894142151},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6496999859809875},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6096000075340271},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.5037000179290771},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.3813999891281128},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.3463999927043915},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3248000144958496},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3174000084400177}],"concepts":[{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.7660999894142151},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6496999859809875},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6096000075340271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.590499997138977},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.5037000179290771},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4187999963760376},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3813999891281128},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.3463999927043915},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3296000063419342},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3248000144958496},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3228999972343445},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3174000084400177},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2930999994277954},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.27399998903274536},{"id":"https://openalex.org/C2988765172","wikidata":"https://www.wikidata.org/wiki/Q22349898","display_name":"Control software","level":3,"score":0.2646999955177307},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.25699999928474426},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3803437.3807386","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3807386","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3803437.3807386","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3803437.3807386","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W4362659486","https://openalex.org/W4389519225"],"related_works":[],"abstract_inverted_index":{"Software-engineering":[0],"workflows":[1],"such":[2],"as":[3,54],"constrained":[4],"repair,":[5],"staged":[6],"refinement,":[7],"and":[8,16,72,76,113],"structure-preserving":[9,151],"modification":[10],"require":[11],"control":[12,25,146],"over":[13],"what":[14,17],"changes":[15],"remains":[18,128],"fixed.":[19],"Token-level":[20],"generation":[21,79],"is":[22,125],"a":[23,62,66,131,144],"weak":[24],"surface":[26,34],"for":[27,59,143],"these":[28,138],"operations":[29],"because":[30],"it":[31],"constrains":[32],"local":[33],"text":[35],"rather":[36],"than":[37],"the":[38,135,155],"coarse":[39,71,121],"structural":[40],"invariants":[41],"that":[42,148],"software":[43,60],"engineering":[44],"often":[45],"aims":[46],"to":[47,101],"preserve.":[48],"We":[49],"study":[50],"hierarchical":[51,63],"discrete":[52,74,78],"latents":[53],"an":[55],"inspectable":[56],"intermediate":[57],"representation":[58],"artifacts:":[61],"VQ-VAE":[64],"compresses":[65],"64-token":[67],"Python":[68,90],"function":[69],"into":[70],"fine":[73],"codes,":[75],"masked":[77],"regenerates":[80],"only":[81],"selected":[82],"positions":[83,109],"under":[84],"partial":[85],"constraints.":[86],"On":[87],"2,000":[88],"preprocessed":[89],"functions,":[91],"locking":[92],"four":[93],"top-level":[94],"codes":[95],"improves":[96],"parse":[97],"rate":[98],"from":[99],"0.453":[100],"0.591":[102],"while":[103],"preserving":[104],"substantial":[105],"change":[106],"in":[107],"unlocked":[108],"(edit":[110],"freedom,":[111],"0.936)":[112],"near-maximal":[114],"sample":[115],"uniqueness":[116],"(diversity,":[117],"0.998).":[118],"Under":[119],"fixed":[120],"context,":[122],"lower-level":[123],"refinement":[124],"weaker":[126],"but":[127],"monotonic,":[129],"supporting":[130],"coarse-to-fine":[132],"reading":[133],"of":[134],"hierarchy.":[136],"Overall,":[137],"results":[139],"provide":[140],"early":[141],"evidence":[142],"practical":[145],"layer":[147],"supports":[149],"bounded,":[150],"software-artifact":[152],"regeneration":[153],"above":[154],"token":[156],"level.":[157]},"counts_by_year":[],"updated_date":"2026-07-18T05:58:53.570196","created_date":"2026-07-18T00:00:00"}