# Inspectable Control for Structure-Preserving Software Regeneration

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

Document language: el

Επιθεωρήσιμος έλεγχος για αναπαραγωγή λογισμικού με διατήρηση της δομής

Ελέγξιμη μερική αναπαραγωγή κώδικα με χρήση ιεραρχικών διακριτών λανθανουσών αναπαραστάσεων.

[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, Αγία Πετρούπολη, Ρωσική Ομοσπονδία](https://en.itmo.ru/)
2. [AXXX, Μόσχα, Ρωσική Ομοσπονδία](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 δευτερόλεπτα

**Ερευνητικό ερώτημα** Πώς μπορεί ένα παραγωγικό μοντέλο να τροποποιεί επιλεγμένα τμήματα ενός προγράμματος, διατηρώντας συγχρόνως επιλεγμένα στοιχεία της αδρής δομής του;

### Πρόβλημα

Η τροποποίηση κώδικα με τη βοήθεια ΤΝ απαιτεί συχνά μία οριοθετημένη αλλαγή, ενώ επιλεγμένα δομικά στοιχεία του προγράμματος παραμένουν σταθερά. Η αναπαραγωγή ολόκληρου του προγράμματος μπορεί να διαταράξει άσχετες περιοχές, ενώ οι περιορισμοί σε επίπεδο διακριτικών δεν παρέχουν μια αδρή επιφάνεια ελέγχου.

### Προσέγγιση

Η μελέτη κωδικοποιεί συναρτήσεις Python 64 διακριτικών με ένα ιεραρχικό VQ-VAE, κλειδώνει επιλεγμένους αδρούς διακριτούς κώδικες και χρησιμοποιεί διακριτή παραγωγή με μάσκα για την τοπική εκ νέου παραγωγή κώδικα στις υπόλοιπες λανθάνουσες θέσεις.

### Κύριο αποτέλεσμα

Το κλείδωμα τεσσάρων κωδίκων ανώτερου επιπέδου αυξάνει το ποσοστό επιτυχούς συντακτικής ανάλυσης από 0.453 σε 0.591, ενώ οι μη κλειδωμένες θέσεις εξακολουθούν να μεταβάλλονται με ρυθμό 0.936 και η μοναδικότητα των υπό συνθήκη δειγμάτων παραμένει 0.998.

### Γιατί έχει σημασία

Τα αποτελέσματα καταδεικνύουν έναν μετρήσιμο συμβιβασμό σταθερότητας–ελευθερίας για ελεγχόμενη επεξεργασία κώδικα και μερική αναπαραγωγή προγραμμάτων. Παρέχουν πρώιμα τεκμήρια για ένα επιθεωρήσιμο επίπεδο ελέγχου στον λανθάνοντα χώρο, όχι απόδειξη σημασιολογικής ισοδυναμίας ή λειτουργικής ορθότητας.

## Περίληψη

Οι ροές εργασίας της μηχανικής λογισμικού, όπως η επισκευή υπό περιορισμούς, η σταδιακή βελτίωση και η τροποποίηση με διατήρηση της δομής, απαιτούν έλεγχο του τι αλλάζει και του τι παραμένει σταθερό. Η παραγωγή σε επίπεδο διακριτικών αποτελεί ασθενή επιφάνεια ελέγχου για αυτές τις διεργασίες, διότι περιορίζει τοπικά το επιφανειακό κείμενο και όχι τις αδρομερείς δομικές αναλλοίωτες ιδιότητες που συχνά επιδιώκει να διατηρήσει η μηχανική λογισμικού. Μελετούμε ιεραρχικές διακριτές λανθάνουσες αναπαραστάσεις ως επιθεωρήσιμη ενδιάμεση αναπαράσταση τεχνουργημάτων λογισμικού: ένα ιεραρχικό VQ-VAE συμπιέζει μια συνάρτηση Python 64 διακριτικών σε αδρομερείς και λεπτομερείς διακριτούς κώδικες, ενώ η διακριτή παραγωγή με μάσκες αναπαράγει μόνο επιλεγμένες θέσεις υπό μερικούς περιορισμούς. Σε 2,000 προεπεξεργασμένες συναρτήσεις Python, το κλείδωμα τεσσάρων κωδίκων ανώτατου επιπέδου βελτιώνει το ποσοστό επιτυχούς συντακτικής ανάλυσης από 0.453 σε 0.591, διατηρώντας παράλληλα ουσιώδη μεταβολή στις μη κλειδωμένες θέσεις (ελευθερία επεξεργασίας, 0.936) και σχεδόν μέγιστη μοναδικότητα δειγμάτων (ποικιλομορφία, 0.998). Με σταθερό αδρομερές συγκείμενο, η βελτίωση κατώτερου επιπέδου είναι ασθενέστερη αλλά παραμένει μονότονη, στοιχείο που υποστηρίζει μια ερμηνεία της ιεραρχίας από το αδρομερές προς το λεπτομερές. Συνολικά, τα αποτελέσματα παρέχουν πρώιμα τεκμήρια για ένα πρακτικό επίπεδο ελέγχου που υποστηρίζει οριοθετημένη αναπαραγωγή τεχνουργημάτων λογισμικού με διατήρηση της δομής, πάνω από το επίπεδο των διακριτικών.

Δημοσιεύτηκε στο Πρακτικά του 34ου 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) [Μεταδεδομένα JATS 1.4 σε XML](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. Πώς σχετίζεται αυτή η εργασία με την υποβοηθούμενη από LLM επεξεργασία κώδικα; Το μοντέλο που δοκιμάστηκε είναι ένα ιεραρχικό VQ-VAE με διακριτή παραγωγή με απόκρυψη και όχι ένα μεγάλο γλωσσικό μοντέλο. Ωστόσο, το πρόβλημα ελέγχου αφορά και την υποβοηθούμενη από LLM επεξεργασία, επειδή οι περιττές αλλαγές εκτός της ζητούμενης περιοχής αποτελούν πρακτικό ζήτημα. Η εργασία συνεισφέρει έναν συμπληρωματικό μηχανισμό λανθάνοντος χώρου και ένα πλαίσιο αξιολόγησης, όχι ένα σύνολο αναφοράς για επεξεργασία με LLM.

## Σύγκριση με συναφείς προσεγγίσεις

## 

| Δυνατότητα | Έλεγχος σε επίπεδο λεκτικών μονάδων | Ιεραρχικός έλεγχος στον λανθάνοντα χώρο |
| --- | --- | --- |
| Παγώστε την αδρή δομή | Περιορισμένο | Εγγενές κλείδωμα αδρομερών κωδίκων |
| Μερική αναπαραγωγή | Εύθραυστοι επιφανειακοί περιορισμοί | Καλυμμένη επαναδειγματοληψία επιλεγμένων κωδίκων |
| Επιθεωρήσιμα σημεία ελέγχου | Χωρίς ρητό ενδιάμεσο επίπεδο | Αδρές και λεπτομερείς διακριτές θέσεις |
| Τεκμηρίωση στην παρούσα εργασία | Δεν αξιολογήθηκε ως πλήρης γραμμή βάσης | Διαγνωστικές μετρήσεις συντακτικής σταθερότητας και ελευθερίας επεξεργασίας |

Ο πίνακας περιγράφει διεπαφές και τα μετρημένα τεκμήρια της μελέτης· δεν διατυπώνει ισχυρισμό περί λειτουργικής ορθότητας ή καθολικής υπεροχής.

## Συνάφεια και πεδίο εφαρμογής

## 

Η εργασία αφορά κυρίως έρευνα που χρειάζεται ρητό έλεγχο του τι επιτρέπεται να αλλάξει ένας υποβοηθούμενος από ΤΝ μετασχηματισμός κώδικα και ποια μέρη ενός προγράμματος πρέπει να παραμείνουν σταθερά.

1. Ελέγξιμη παραγωγή κώδικα με διατήρηση της δομής
2. Εντοπισμένη επιδιόρθωση προγραμμάτων και οριοθετημένη αναδόμηση
3. Ιεραρχικές διακριτές αναπαραστάσεις πηγαίου κώδικα
4. Καλυμμένη διακριτή παραγωγή πηγαίου κώδικα
5. Έλεγχος στον λανθάνοντα χώρο για τεχνουργήματα λογισμικού

## Περιορισμοί

## 

- Η μελέτη περιορίζεται σε σύντομες συναρτήσεις Python, περικομμένες στις 64 λεκτικές μονάδες.
- Η αξιολόγηση χρησιμοποιεί αποκωδικοποίηση argmax και έμμεσους συντακτικούς ή δομικούς δείκτες αντί για δοκιμές λειτουργικής ισοδυναμίας.
- Η ακριβής διατήρηση της υπογραφής παραμένει ανεπαρκής.
- Ο έλεγχος κατώτερου επιπέδου είναι ασθενέστερος από τον έλεγχο ανώτατου επιπέδου.
- Οι λανθάνουσες θέσεις δεν έχουν ακόμη ευθυγραμμιστεί με σημασιολογικές περιοχές, όπως τμήματα AST, υπογραφές ή δομή ροής ελέγχου.
- Τα αποτελέσματα δεν θεμελιώνουν ορθότητα για πρακτική επισκευή, αναδόμηση ή αλλαγές σε επίπεδο αποθετηρίου.

## Βιβλιογραφικές αναφορές της εργασίας

## 

Οι εγγραφές αυτές αντιστοιχούν στην αριθμημένη ενότητα βιβλιογραφικών αναφορών του 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. **Σύνοψη σε απλή γλώσσα** [Kudos](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/el/publications/where-quality-breaks/)

Διαβάστε τον [Ελέγξιμη επεξεργασία κώδικα](https://aogavrilov.com/el/projects/discrete-latent-generation/) ερευνητικό οδηγό. [Σχετικά με τον συγγραφέα](https://aogavrilov.com/about/) .

### Εστιασμένα ερευνητικά σημειώματα

Απαντήσεις προσαρμοσμένες στην εκάστοτε πρόθεση, με σαφή όρια τεκμηρίωσης και συνδέσμους προς το παρόν άρθρο.

- [Εντοπισμένη τροποποίηση κώδικα με παραγωγικά μοντέλα](https://aogavrilov.com/el/research-notes/localized-code-modification-generative-models/)
- [Παραγωγή κώδικα υπό περιορισμούς για τη μηχανική λογισμικού](https://aogavrilov.com/el/research-notes/constrained-code-generation-software-engineering/)
- [Αναδόμηση υποβοηθούμενη από ΤΝ: μέθοδοι και τεκμήρια](https://aogavrilov.com/el/research-notes/ai-assisted-refactoring-evidence/)
- [Η προβλέψιμη παραγωγή κώδικα απαιτεί σύμβαση διατήρησης](https://aogavrilov.com/el/research-notes/predictable-code-generation-preservation-contract/)