@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix schema: <https://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@base <https://aogavrilov.com/publications/inspectable-control/> .

<https://doi.org/10.1145/3803437.3807386>
  a schema:ScholarlyArticle ;
  schema:name "Inspectable Control for Structure-Preserving Software Regeneration"@en ;
  schema:alternateName "面向结构保持软件再生成的可检查控制方法"@zh-Hans ;
  schema:abstract "Software-engineering workflows such as constrained repair, staged refinement, and structure-preserving modification require control over what changes and what remains fixed. Token-level generation is a weak control surface for these operations because it constrains local surface text rather than the coarse structural invariants that software engineering often aims to preserve. We study hierarchical discrete latents as an inspectable intermediate representation for software artifacts: a hierarchical VQ-VAE compresses a 64-token Python function into coarse and fine discrete codes, and masked discrete generation regenerates only selected positions under partial constraints. On 2,000 preprocessed Python functions, locking four top-level codes improves parse rate from 0.453 to 0.591 while preserving substantial change in unlocked positions (edit freedom, 0.936) and near-maximal sample uniqueness (diversity, 0.998). Under fixed coarse context, lower-level refinement is weaker but remains monotonic, supporting a coarse-to-fine reading of the hierarchy. Overall, these results provide early evidence for a practical control layer that supports bounded, structure-preserving software-artifact regeneration above the token level."@en ;
  schema:datePublished "2026-07-05"^^xsd:date ;
  schema:identifier "10.1145/3803437.3807386" ;
  schema:url <https://doi.org/10.1145/3803437.3807386> ;
  schema:mainEntityOfPage <https://aogavrilov.com/publications/inspectable-control/> ;
  schema:author ( <https://orcid.org/0009-0006-3147-5430> <https://orcid.org/0009-0000-0334-312X> <https://orcid.org/0000-0003-0594-867X> <https://orcid.org/0000-0002-3308-8825> <https://orcid.org/0000-0002-4251-1744> ) ;
  schema:publisher <https://aogavrilov.com/publications/inspectable-control/#publisher> ;
  schema:isPartOf <https://aogavrilov.com/publications/inspectable-control/#venue> ;
  schema:pageStart "1406" ;
  schema:pageEnd "1407" ;
  schema:pagination "1406-1407" ;
  schema:keywords "software artifact control"@en, "hierarchical discrete latents"@en, "structure-preserving regeneration"@en, "partial code regeneration"@en, "masked discrete generation"@en, "software engineering"@en ;
  schema:inLanguage "en" ;
  schema:encoding <https://aogavrilov.com/publications/inspectable-control/paper.pdf> ;
  dcterms:title "Inspectable Control for Structure-Preserving Software Regeneration"@en ;
  dcterms:abstract "Software-engineering workflows such as constrained repair, staged refinement, and structure-preserving modification require control over what changes and what remains fixed. Token-level generation is a weak control surface for these operations because it constrains local surface text rather than the coarse structural invariants that software engineering often aims to preserve. We study hierarchical discrete latents as an inspectable intermediate representation for software artifacts: a hierarchical VQ-VAE compresses a 64-token Python function into coarse and fine discrete codes, and masked discrete generation regenerates only selected positions under partial constraints. On 2,000 preprocessed Python functions, locking four top-level codes improves parse rate from 0.453 to 0.591 while preserving substantial change in unlocked positions (edit freedom, 0.936) and near-maximal sample uniqueness (diversity, 0.998). Under fixed coarse context, lower-level refinement is weaker but remains monotonic, supporting a coarse-to-fine reading of the hierarchy. Overall, these results provide early evidence for a practical control layer that supports bounded, structure-preserving software-artifact regeneration above the token level."@en ;
  dcterms:issued "2026-07-05"^^xsd:date ;
  dcterms:identifier "10.1145/3803437.3807386" ;
  dcterms:language "en" ;
  dcterms:subject "software artifact control"@en, "hierarchical discrete latents"@en, "structure-preserving regeneration"@en, "partial code regeneration"@en, "masked discrete generation"@en, "software engineering"@en ;
  dcterms:hasFormat <https://aogavrilov.com/publications/inspectable-control/paper.pdf> ;
  dcterms:rights "CC BY 4.0 author manuscript; the ACM DOI page remains the version of record."@en ;
  dcterms:rights <https://creativecommons.org/licenses/by/4.0/> ;
  schema:license <https://creativecommons.org/licenses/by/4.0/> .

<https://aogavrilov.com/publications/inspectable-control/>
  a schema:WebPage ;
  schema:name "Inspectable Control for Structure-Preserving Software Regeneration"@en ;
  schema:mainEntity <https://doi.org/10.1145/3803437.3807386> ;
  schema:inLanguage "en" ;
  schema:workTranslation <https://aogavrilov.com/ru/publications/inspectable-control/> ;
  schema:workTranslation <https://aogavrilov.com/zh/publications/inspectable-control/> ;
  schema:subjectOf <https://aogavrilov.com/publications/inspectable-control/metadata.ttl> ;
  dcterms:modified "2026-07-29"^^xsd:date .

<https://aogavrilov.com/publications/inspectable-control/metadata.ttl>
  a schema:CreativeWork ;
  schema:name "Inspectable Control for Structure-Preserving Software Regeneration - RDF bibliographic graph"@en ;
  schema:about <https://doi.org/10.1145/3803437.3807386> ;
  schema:encodingFormat "text/turtle" ;
  schema:isPartOf <https://aogavrilov.com/publications/inspectable-control/> ;
  dcterms:conformsTo <https://www.w3.org/TR/turtle/> ;
  dcterms:format <http://www.w3.org/ns/formats/Turtle> ;
  dcterms:modified "2026-07-29"^^xsd:date .

<https://aogavrilov.com/publications/inspectable-control/paper.pdf>
  a schema:DigitalDocument ;
  schema:name "Inspectable Control for Structure-Preserving Software Regeneration - author-posted PDF"@en ;
  schema:about <https://doi.org/10.1145/3803437.3807386> ;
  schema:encodingFormat "application/pdf" ;
  schema:inLanguage "en" ;
  schema:conditionsOfAccess "CC BY 4.0 author manuscript; the ACM DOI page remains the version of record."@en ;
  schema:license <https://creativecommons.org/licenses/by/4.0/> .

<https://aogavrilov.com/publications/inspectable-control/#publisher>
  a schema:Organization ;
  schema:name "ACM" .

<https://aogavrilov.com/publications/inspectable-control/#venue>
  a schema:CreativeWork ;
  schema:name "Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering" ;
  schema:publisher <https://aogavrilov.com/publications/inspectable-control/#publisher> ;
  schema:isbn "979-8-4007-2636-1" .

<https://aogavrilov.com/ru/publications/inspectable-control/>
  a schema:WebPage ;
  schema:inLanguage "ru" ;
  schema:translationOfWork <https://aogavrilov.com/publications/inspectable-control/> ;
  schema:mainEntity <https://doi.org/10.1145/3803437.3807386> .

<https://aogavrilov.com/zh/publications/inspectable-control/>
  a schema:WebPage ;
  schema:name "面向结构保持软件再生成的可检查控制方法"@zh-Hans ;
  schema:inLanguage "zh-Hans" ;
  schema:translationOfWork <https://aogavrilov.com/publications/inspectable-control/> ;
  schema:mainEntity <https://doi.org/10.1145/3803437.3807386> .

<https://orcid.org/0009-0006-3147-5430>
  a schema:Person ;
  schema:name "Alexey Gavrilov" ;
  schema:givenName "Alexey" ;
  schema:familyName "Gavrilov" ;
  schema:identifier "https://orcid.org/0009-0006-3147-5430" ;
  schema:affiliation <https://ror.org/04txgxn49> .

<https://orcid.org/0009-0000-0334-312X>
  a schema:Person ;
  schema:name "Alan-Barsag Gazzaev" ;
  schema:givenName "Alan-Barsag" ;
  schema:familyName "Gazzaev" ;
  schema:identifier "https://orcid.org/0009-0000-0334-312X" ;
  schema:affiliation <https://ror.org/04txgxn49> .

<https://orcid.org/0000-0003-0594-867X>
  a schema:Person ;
  schema:name "Mikhail Mozikov" ;
  schema:givenName "Mikhail" ;
  schema:familyName "Mozikov" ;
  schema:identifier "https://orcid.org/0000-0003-0594-867X" ;
  schema:affiliation <https://axxx.tech/> .

<https://orcid.org/0000-0002-3308-8825>
  a schema:Person ;
  schema:name "Ilya Makarov" ;
  schema:givenName "Ilya" ;
  schema:familyName "Makarov" ;
  schema:identifier "https://orcid.org/0000-0002-3308-8825" ;
  schema:affiliation <https://axxx.tech/> .

<https://orcid.org/0000-0002-4251-1744>
  a schema:Person ;
  schema:name "Sergey Muravyov" ;
  schema:givenName "Sergey" ;
  schema:familyName "Muravyov" ;
  schema:identifier "https://orcid.org/0000-0002-4251-1744" ;
  schema:affiliation <https://ror.org/04txgxn49> .

<https://ror.org/04txgxn49>
  a schema:Organization ;
  schema:name "ITMO University, Saint Petersburg, Russian Federation" ;
  schema:url <https://en.itmo.ru/> .

<https://axxx.tech/>
  a schema:Organization ;
  schema:name "AXXX, Moscow, Russian Federation" .