# Inspectable Control for Structure-Preserving Software Regeneration

Canonical HTML: https://aogavrilov.com/sr/publications/inspectable-control/

Document language: sr

Проверљиво управљање регенерисањем софтвера уз очување структуре

Управљиво делимично поновно генерисање кода помоћу хијерархијских дискретних латентних репрезентација.

[Alexey Gavrilov](https://orcid.org/0009-0006-3147-5430) 1 [Alan-Barsag Gazzaev](https://orcid.org/0009-0000-0334-312X) 1 [Mikhail Mozikov](https://orcid.org/0000-0003-0594-867X) 2 [Ilya Makarov](https://orcid.org/0000-0002-3308-8825) 2 [Sergey Muravyov](https://orcid.org/0000-0002-4251-1744) 1

1. [ITMO University, Saint Petersburg, Russian Federation](https://en.itmo.ru/)
2. [AXXX, Moscow, Russian Federation](https://axxx.tech/)

[Прочитајте цео рад у HTML формату](https://aogavrilov.com/publications/inspectable-control/full-text/) Претражив текст с формулама, табелама, сликама и референцама.

Коначни рукопис аутора са завршним списком аутора и DOI-јем. CC BY 4.0 author manuscript; the ACM DOI page remains the version of record. [Услови објављивања и поновне употребе](https://creativecommons.org/licenses/by/4.0/) .

## Рад за 30 секунди

**Истраживачко питање** Како генеративни модел може да измени изабране делове програма, а да притом очува одабране елементе његове грубе структуре?

### Проблем

Измена кода уз помоћ вештачке интелигенције често мора бити ограниченог обима, док одабрани делови структуре програма остају непромењени. Поновно генерисање целог програма може нарушити неповезане области, а ограничења на нивоу токена не пружају механизам за управљање грубом структуром.

### Приступ

Студија хијерархијским моделом VQ-VAE кодира Python функције од 64 токена, закључава изабране грубе дискретне кодове и користи маскирано дискретно генерисање за локализовано поновно генерисање кода на преосталим латентним позицијама.

### Главни резултат

Закључавање четири кода највишег нивоа повећава стопу успешног рашчлањивања са 0.453 на 0.591, док се откључане позиције и даље мењају по стопи од 0.936, а удео јединствених условних узорака остаје 0.998.

### Зашто је то важно

Резултати показују мерљив компромис између стабилности и слободе при управљивом уређивању кода и делимичном поновном генерисању програма. Они пружају прелиминарне доказе за проверљив латентни управљачки слој, а не доказ семантичке еквивалентности или функционалне исправности.

## Сажетак

Токови рада у софтверском инжењерству, попут поправке уз ограничења, етапног усавршавања и измена уз очување структуре, захтевају управљање оним што се мења и оним што остаје непромењено. Генерисање на нивоу токена пружа слаб механизам управљања за те операције јер ограничава локални текст на површинском нивоу, а не грубе структурне инваријанте које се у софтверском инжењерству често настоје очувати. Хијерархијске дискретне латентне репрезентације проучавамо као проверљиву посредну репрезентацију софтверских артефаката: хијерархијски VQ-VAE компримује Python функцију од 64 токена у грубе и фине дискретне кодове, а маскирано дискретно генерисање поново генерише само одабране позиције под делимичним ограничењима. На 2,000 претходно обрађених Python функција, закључавање четири кода највишег нивоа повећава стопу успешног рашчлањивања са 0.453 на 0.591, уз знатне промене на откључаним позицијама (слобода измене, 0.936) и готово потпуну јединственост узорака (разноврсност, 0.998). При непромењеном грубом контексту, усавршавање на нижем нивоу јесте слабије, али остаје монотоно, што подржава тумачење хијерархије од грубог ка фином. У целини, ови резултати пружају прелиминарне доказе о практичном управљачком слоју који омогућава ограничено регенерисање софтверских артефаката уз очување структуре, изнад нивоа токена.

Објављено у Зборник радова 34th ACM International Conference on the Foundations of Software Engineering

Врста доприноса Метод управљања у латентном простору

5. јул 2026. стр. 1406–1407 Пратећи постер

DOI [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

## Садржај На овој страници

## Кључни резултати

| Поставка | Стопа успешног рашчлањивања | Скелет | Потпис | Откључана измена |
| --- | --- | --- | --- | --- |
| Улаз (скраћен) | 0.994 | 0.994 | 0.994 | — |
| Реконструкција кодеком | 0.857 | 0.848 | 0.493 | 0 |
| Безусловно генерисање | 0.453 | 0.08 | 0 | 0.995 |
| Условно, префикс k=4 | 0.591 | 0.295 | 0.061 | 0.936 |
| Условно, распон потписа | 0.6 | 0.302 | 0.063 | није наведено |

**Кључни резултат.** Закључавање грубих латентних репрезентација побољшава синтаксичку стабилност без потискивања измена у области која се може уређивати; резултат показује управљање структуром, а не гарантовану функционалну еквивалентност.

Преузмите резултате: [CSV](https://aogavrilov.com/publications/inspectable-control/results.csv) [JSON](https://aogavrilov.com/publications/inspectable-control/results.json) [Markdown](https://aogavrilov.com/publications/inspectable-control/results.md) Спољно огледало: [Картица скупа података на платформи Hugging Face](https://huggingface.co/datasets/aogavrilov/inspectable-control-results)

## PDF и библиографски навод

**Како цитирати овај рад** BibTeX је препоручени формат. Свака варијанта у наставку генерисана је из истог записа о публикацији.

```
@inproceedings{Gavrilov2026InspectableControl,
  title      = {Inspectable Control for Structure-Preserving Software Regeneration},
  author     = {Gavrilov, Alexey and Gazzaev, Alan-Barsag and Mozikov, Mikhail and Makarov, Ilya and Muravyov, Sergey},
  booktitle  = {Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering},
  publisher  = {ACM},
  year       = {2026},
  pages      = {1406--1407},
  doi        = {10.1145/3803437.3807386},
  url        = {https://doi.org/10.1145/3803437.3807386},
  isbn       = {979-8-4007-2636-1},
}
```

Датотеке библиографских навода: [Текст у формату APA](https://aogavrilov.com/publications/inspectable-control/citation-apa.txt) [Текст у формату IEEE](https://aogavrilov.com/publications/inspectable-control/citation-ieee.txt) [RIS](https://aogavrilov.com/publications/inspectable-control/citation.ris) [CSL-JSON](https://aogavrilov.com/publications/inspectable-control/citation.json) [Schema.org JSON-LD](https://aogavrilov.com/publications/inspectable-control/metadata.jsonld) [OAI-DC XML](https://aogavrilov.com/publications/inspectable-control/oai-dc.xml) [OpenAIRE v4 XML](https://aogavrilov.com/publications/inspectable-control/openaire.xml) [MODS XML](https://aogavrilov.com/publications/inspectable-control/mods.xml) [XML метаподаци према стандарду JATS 1.4](https://aogavrilov.com/publications/inspectable-control/metadata.jats.xml) [Цео текст у формату JATS 1.4 XML](https://aogavrilov.com/publications/inspectable-control/full-text/article.jats.xml) [RDF Turtle](https://aogavrilov.com/publications/inspectable-control/metadata.ttl) [Скуп веза (JSON)](https://aogavrilov.com/publications/inspectable-control/linkset.json) [Скуп веза (HTTP)](https://aogavrilov.com/publications/inspectable-control/linkset) [RO-Crate](https://aogavrilov.com/publications/inspectable-control/ro-crate-metadata.json)

DOI: [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

Цео водич

## Цео истраживачки водич

## Метод

## 

Метод компримује кратку Python функцију у два нивоа дискретних кодова, замрзава изабране грубе позиције и поново генерише преостале позиције пре декодирања назад у код.

1. Кодирајте Компримујте Python функцију од 64 токена у 16 кодова вишег нивоа и 32 кода нижег нивоа помоћу хијерархијског VQ-VAE модела.
2. Закључајте Изаберите грубе позиције кодова које представљају структуру коју треба очувати, попут префикса који обухвата распон потписа функције.
3. Поново генеришите Спровести маскирано дискретно генерисање само над откључаним позицијама и декодирати довршену хијерархију назад у изворни код.
4. Проверите Пре прихватања регенерисаног резултата измерити стопу успешног рашчлањивања, структурне посредне показатеље, промену на откључаним позицијама и јединственост узорака.

![Одабрани груби кодови програма остају непромењени, док се маскирани фини дискретни кодови поново генеришу и декодирају у измењену Python функцију.](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg)

**Уређивањем хијерархијских дискретних латентних кодова очувава се одабрана груба структура програма, док се фини кодови у области предвиђеној за уређивање поново генеришу.* Извор: [Објашњавајући дијаграм који је израдио аутор на основу објављеног метода и резултата.](https://doi.org/10.1145/3803437.3807386) . Услови поновне употребе: [CC BY 4.0](https://creativecommons.org/licenses/by/4.0/) . Предложено навођење: Gavrilov et al. (2026), Inspectable Control for Structure-Preserving Software Regeneration. [Преузмите SVG](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg) .*

### Кључна идеја

Управљање се примењује на научену репрезентацију изнад нивоа токена: грубе латентне позиције одређују експлицитна места на којима се структура може замрзнути, док оближњи детаљи имплементације остају подложни уређивању.

### Разлика у односу на сродне приступе

Ограничења на нивоу упита или токена делују на текст на површинском нивоу. Предложени интерфејс пружа грубе и фине дискретне тачке управљања и мери проистекли компромис између стабилности и слободе.

### Шта је ново

У раду се уводи и оцењује проверљив хијерархијски слој латентног управљања за ограничено поновно генерисање софтверских артефаката.

## Питања на која овај рад помаже да се одговори

## 

Отворите питање да бисте добили сажет одговор заснован на раду. Детаљне границе расположивих доказа наведене су у одељку Ограничења.

1. Како вештачка интелигенција може да измени код а да не препише све? Рад проучава делимично поновно генерисање кода изнад нивоа токена. Хијерархијски VQ-VAE пресликава кратку Python функцију у грубе и фине дискретне кодове; изабране грубе позиције се закључавају, а маскирано дискретно генерисање пре декодирања мења само преостале латентне позиције. Тиме се, уместо поновног генерисања целе функције, успоставља изричита граница очувања.
2. Који методи очувавају структуру програма током генерисања кода? Овај рад испитује хијерархијско дискретно латентно управљање. Грубе латентне позиције могу се фиксирати док се откључане позиције поново генеришу, након чега се мере стопа успешног рашчлањивања и структурни посредни показатељи. Докази се односе на вероватносну структурну стабилност кратких Python функција; њима се не утврђују тачно очување AST-а, семантичка еквивалентност ни функционална исправност.
3. Могу ли хијерархијске дискретне латентне репрезентације омогућити локализовано управљање кодом? У приказаном експерименту са 2,000 функција, закључавање четири кода највишег нивоа повећало је стопу успешног рашчлањивања са 0.453 на 0.591. Истовремено се променило 0.936 откључаних позиција, а удео јединствених условних узорака износио је 0.998. Ови резултати представљају прелиминарни показатељ да груба ограничења у латентном простору могу очувати део структуре без укидања слободе локалног уређивања или разноврсности узорака.
4. Како се при генерисању кода могу уравнотежити структурна стабилност и разноврсност? Рад заједнички вреднује стабилност и слободу, уместо да оптимизује само ваљаност. Закључавање грубих кодова повећава синтаксичку ваљаност, док промена на откључаним позицијама остаје велика, а условни узорци готово потпуно јединствени. Резултат показује мерљив компромис између стабилности и слободе у испитаној конфигурацији, а не универзални оптимум.
5. Како је овај рад повезан са уређивањем кода уз подршку великих језичких модела? Испитани модел је хијерархијски VQ-VAE са маскираним дискретним генерисањем, а не велики језички модел. Проблем управљања ипак је значајан за уређивање уз помоћ LLM-а, јер непотребне измене изван захтеване области представљају практичан проблем. Допринос рада је комплементарни механизам у латентном простору и оквир за евалуацију, а не референтно мерило за уређивање помоћу LLM-а.

## Поређење са сродним приступима

## 

| Могућност | Управљање на нивоу токена | Хијерархијско латентно управљање |
| --- | --- | --- |
| Замрзните грубу структуру | Ограничено | Изворно закључавање грубих кодова |
| Делимично регенерисање | Крхка површинска ограничења | Маскирано поновно узорковање изабраних кодова |
| Контролне тачке подложне провери | Без експлицитног међуслоја | Грубе и фине дискретне позиције |
| Докази у овом раду | Није оцењено као потпуна полазна основа | Дијагностика синтаксичке стабилности и слободе измена |

Табела описује интерфејсе и измерене доказе из студије; њоме се не тврди функционална исправност нити универзална надмоћ.

## Релевантност и обухват

## 

Рад је најрелевантнији за истраживања којима је потребно изричито управљање тиме шта трансформација кода потпомогнута вештачком интелигенцијом сме да промени, а који делови програма треба да остану стабилни.

1. Управљиво генерисање кода уз очување структуре
2. Локализована поправка програма и ограничено рефакторисање
3. Хијерархијске дискретне репрезентације изворног кода
4. Маскирано дискретно генерисање изворног кода
5. Управљање софтверским артефактима у латентном простору

## Ограничења

## 

- Студија је ограничена на кратке Python функције скраћене на 64 токена.
- Евалуација користи argmax декодирање и синтаксичке или структурне посредне мере уместо тестова функционалне еквивалентности.
- Тачно очување потписа и даље је слабо.
- Управљање на нижем нивоу слабије је од управљања на највишем нивоу.
- Латентне позиције још нису поравнате са семантичким областима као што су распони AST-а, сигнатуре или структура тока управљања.
- Резултати не утврђују исправност за практичне поправке, рефакторисање или измене на нивоу репозиторијума.

## Референце цитиране у раду

## 

Ове ставке одговарају нумерисаном одељку References у PDF верзији рада.

1. Ali Razavi, Aaron van den Oord, Oriol Vinyals. 2019 . [Generating Diverse High-Fidelity Images with VQ-VAE-2](https://arxiv.org/abs/1906.00446) . Advances in Neural Information Processing Systems .
2. Jacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow, Rianne van den Berg. 2021 . [Structured Denoising Diffusion Models in Discrete State-Spaces](https://arxiv.org/abs/2107.03006) . Advances in Neural Information Processing Systems .
3. Subham Sekhar Sahoo, Marianne Arriola, Yair Schiff, Aaron Gokaslan, Edgar Marroquin, Justin T Chiu, Alexander Rush, Volodymyr Kuleshov. 2024 . [Simple and Effective Masked Diffusion Language Models](https://arxiv.org/abs/2406.07524) . Advances in Neural Information Processing Systems .
4. Shraddha Barke, Michael B. James, Nadia Polikarpova. 2023 . [Grounded Copilot: How Programmers Interact with Code-Generating Models](https://doi.org/10.1145/3586030) . Proceedings of the ACM on Programming Languages .
5. Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen. 2023 . [RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation](https://doi.org/10.18653/v1/2023.emnlp-main.151) . Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing .

## Ресурси и репродуктивност

## 

### Изјава о подацима

## Верзије

## 

1. **Објављена верзија** [ACM FSE Companion, 2026](https://doi.org/10.1145/3803437.3807386)
2. **Рукопис аутора** [Текстуално доступан коначни рукопис са завршним списком аутора и DOI вредношћу](https://aogavrilov.com/publications/inspectable-control/paper.pdf)
3. **Спољно огледало целог текста** [Ауторски рукопис под лиценцом CC BY 4.0 на Hugging Face](https://huggingface.co/datasets/aogavrilov/inspectable-control-results/resolve/main/paper.pdf)
4. **Отвори запис у репозиторијуму** [Запис на Zenodo-у индексиран у OpenAIRE-у](https://zenodo.org/records/21605395)
5. **Отвори цео текст у репозиторијуму** [Ауторски рукопис на Zenodo-у под лиценцом CC BY 4.0; текстуално еквивалентан локалном рукопису](https://zenodo.org/records/21605395/files/fse2026-posters-final11%20%284%29.pdf?download=1)
6. **Ресурси аутора** [Постер и слајдови](https://aogavrilov.com/publications/inspectable-control/media/)
7. **Библиографски запис** [DBLP](https://dblp.org/rec/conf/sigsoft/GavrilovGMMM26)
8. **Отвори научни запис** [OpenAlex](https://openalex.org/W7169573479)
9. **Запис у графу цитата** [Semantic Scholar](https://www.semanticscholar.org/paper/93c3de037596ce177d9d882d214ccad5c5405b00)
10. **Пун текст који је аутор поделио** [ResearchGate](https://www.researchgate.net/publication/410435483_Inspectable_Control_for_Structure-Preserving_Software_Regeneration)
11. **Сажетак разумљив широј публици** [Похвале](https://www.growkudos.com/publications/10.1145%252F3803437.3807386/reader)

Објављени DOI је примарни библиографски идентификатор. Ова страница остаје једини канонски URL пројекта у свим верзијама.

## Повезана публикација

- [Where Quality Breaks in Compressed Short-Text Generation: Staged Bottleneck Localization](https://aogavrilov.com/sr/publications/where-quality-breaks/)

Прочитајте [Управљиво уређивање кода](https://aogavrilov.com/sr/projects/discrete-latent-generation/) истраживачки водич. [О аутору](https://aogavrilov.com/about/) .

### Циљане истраживачке белешке

Одговори прилагођени намери упита, са јасним границама доказне поткрепљености и везама ка овом раду.

- [Локализована измена кода помоћу генеративних модела](https://aogavrilov.com/sr/research-notes/localized-code-modification-generative-models/)
- [Ограничено генерисање кода за софтверско инжењерство](https://aogavrilov.com/sr/research-notes/constrained-code-generation-software-engineering/)
- [Рефакторисање уз помоћ вештачке интелигенције: методи и докази](https://aogavrilov.com/sr/research-notes/ai-assisted-refactoring-evidence/)
- [Предвидљиво генерисање кода захтева уговор о очувању](https://aogavrilov.com/sr/research-notes/predictable-code-generation-preservation-contract/)