Inspectable Control for Structure-Preserving Software Regeneration
संरचना-संरक्षी सॉफ़्टवेयर पुनर्जनन के लिए निरीक्षणीय नियंत्रण
पदानुक्रमित विविक्त अव्यक्त निरूपणों द्वारा नियंत्रणीय आंशिक कोड पुनर्जनन।
पूरा शोधपत्र HTML में पढ़ेंसूत्रों, सारणियों, चित्रों और संदर्भों सहित खोज-योग्य पाठ।
अंतिम लेखक-सूची और DOI सहित लेखक का camera-ready manuscript। CC BY 4.0 author manuscript; the ACM DOI page remains the version of record. प्रकाशन और पुनः उपयोग की शर्तें.
30 सेकंड में शोधपत्र
शोध प्रश्नकोई जनरेटिव मॉडल किसी प्रोग्राम की स्थूल संरचना के चुने हुए तत्वों का संरक्षण करते हुए उसके चयनित भागों को कैसे संशोधित कर सकता है?
समस्या
AI-सहायित कोड संशोधन में प्रायः एक परिसीमित परिवर्तन करना होता है, जबकि प्रोग्राम की चुनी हुई संरचना स्थिर रहनी चाहिए। पूरे प्रोग्राम का पुनर्जनन असंबंधित क्षेत्रों को प्रभावित कर सकता है, और टोकन-स्तरीय बाधाएँ स्थूल नियंत्रण-अंतरापृष्ठ उपलब्ध नहीं करातीं।
पद्धति
अध्ययन 64-टोकन Python फ़ंक्शनों को पदानुक्रमित VQ-VAE से एन्कोड करता है, चुने हुए स्थूल विविक्त कोड लॉक करता है और शेष अव्यक्त स्थितियों में स्थानीय कोड-पुनर्जनन के लिए मुखौटित विविक्त जनन का उपयोग करता है।
प्रमुख निष्कर्ष
चार शीर्ष-स्तरीय कोड लॉक करने पर पार्स दर 0.453 से बढ़कर 0.591 होती है, जबकि अनलॉक स्थितियाँ अब भी 0.936 की दर से बदलती हैं और सशर्त नमूने 0.998 अद्वितीय रहते हैं।
यह महत्त्वपूर्ण क्यों है
परिणाम नियंत्रित कोड संपादन और आंशिक प्रोग्राम पुनर्जनन के लिए मापनीय स्थिरता–स्वतंत्रता संतुलन दिखाते हैं। वे निरीक्षणीय अव्यक्त नियंत्रण परत के पक्ष में आरंभिक साक्ष्य देते हैं, अर्थगत समतुल्यता या कार्यात्मक शुद्धता का प्रमाण नहीं।
सार
बाधा-नियंत्रित मरम्मत, चरणबद्ध परिष्करण और संरचना-संरक्षक संशोधन जैसे सॉफ़्टवेयर-अभियांत्रिकी कार्यप्रवाहों में इस पर नियंत्रण आवश्यक है कि क्या बदले और क्या स्थिर रहे। इन कार्यों के लिए टोकन-स्तरीय जनन एक कमजोर नियंत्रण-अंतरापृष्ठ है, क्योंकि यह उन स्थूल संरचनात्मक अपरिवर्त्यों के बजाय सतही पाठ को नियंत्रित करता है जिन्हें सॉफ़्टवेयर अभियांत्रिकी में प्रायः संरक्षित रखना होता है। हम सॉफ़्टवेयर कलाकृतियों के लिए पदानुक्रमित विविक्त अव्यक्त निरूपणों का निरीक्षणीय मध्यवर्ती निरूपण के रूप में अध्ययन करते हैं: एक पदानुक्रमित VQ-VAE, 64-टोकन Python फ़ंक्शन को स्थूल और सूक्ष्म विविक्त कोडों में संपीड़ित करता है, और मास्कित विविक्त जनन आंशिक बाधाओं के अधीन केवल चुनी हुई स्थितियों का पुनर्जनन करता है। 2,000 पूर्वप्रक्रमित Python फ़ंक्शनों पर चार शीर्ष-स्तरीय कोड लॉक करने से पार्स दर 0.453 से बढ़कर 0.591 हुई, जबकि अनलॉक स्थितियों में पर्याप्त परिवर्तन (संपादन-स्वतंत्रता, 0.936) और लगभग अधिकतम नमूना-अद्वितीयता (विविधता, 0.998) बनी रही। स्थिर स्थूल संदर्भ में निम्न-स्तरीय परिष्करण कमजोर, किंतु एकदिश रहता है; यह पदानुक्रम की स्थूल-से-सूक्ष्म व्याख्या का समर्थन करता है। समग्रतः ये परिणाम ऐसी व्यावहारिक नियंत्रण परत के पक्ष में आरंभिक साक्ष्य देते हैं, जो टोकन स्तर से ऊपर परिसीमित, संरचना-संरक्षक सॉफ़्टवेयर-कलाकृति पुनर्जनन को संभव बनाती है।
प्रकाशन स्थल Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering
योगदान का प्रकार अव्यक्त-स्थान नियंत्रण विधि
पृ. 1406–1407सहवर्ती पोस्टर
मुख्य परिणाम
| विन्यास | पार्स दर | ढाँचा | हस्ताक्षर | अनलॉक परिवर्तन |
|---|---|---|---|---|
| इनपुट (संक्षिप्त) | 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 | रिपोर्ट नहीं किया गया |
मुख्य परिणाम। स्थूल अव्यक्त स्थितियों को लॉक करने से संपादनयोग्य क्षेत्र में परिवर्तन को संकुचित किए बिना वाक्य-विन्यास संबंधी स्थिरता बढ़ती है; यह परिणाम संरचनात्मक नियंत्रण दर्शाता है, प्रकार्यात्मक समतुल्यता की गारंटी नहीं।
- डेटासेट
- CodeParrot Clean के एक subset से 2,000 पूर्व-संसाधित Python functions
- नमूना आकार
- 2,000 पूर्व-संसाधित Python functions; conditional sample uniqueness 0.998 है।
- मापन-सूचक
- पार्स दर; कंकाल और सिग्नेचर संरक्षण के प्रतिनिधि-माप; अनलॉक-स्थिति परिवर्तन दर; नमूना-अद्वितीयता और एंट्रॉपी
- अनिश्चितता
- दो पृष्ठों का यह अध्ययन विश्वास-अंतराल या बहु-सीड सांख्यिकीय विश्लेषण के बिना बिंदु अनुमान प्रस्तुत करता है।
- शर्तें
- 64-token functions, argmax decoding, 16 शीर्ष-स्तरीय codes और 32 निम्न-स्तरीय codes; पूर्ण locking कोडेक पुनर्निर्माण को हूबहू पुनः प्राप्त करती है।
परिणाम डाउनलोड करें:CSVJSONMarkdownबाहरी मिरर:Hugging Face डेटासेट कार्ड
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},
}
Gavrilov, A., Gazzaev, A.-B., Mozikov, M., Makarov, I., and Muravyov, S. (2026). Inspectable Control for Structure-Preserving Software Regeneration. In Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering (pp. 1406–1407). ACM. https://doi.org/10.1145/3803437.3807386A. Gavrilov, A.-B. Gazzaev, M. Mozikov, I. Makarov, and S. Muravyov, “Inspectable Control for Structure-Preserving Software Regeneration,” in Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering, 2026, pp. 1406–1407, doi: 10.1145/3803437.3807386.TY - CPAPER
TI - Inspectable Control for Structure-Preserving Software Regeneration
AU - Gavrilov, Alexey
AU - Gazzaev, Alan-Barsag
AU - Mozikov, Mikhail
AU - Makarov, Ilya
AU - Muravyov, Sergey
PY - 2026
DA - 2026-07-05
T2 - Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering
SP - 1406
EP - 1407
PB - ACM
DO - 10.1145/3803437.3807386
UR - https://doi.org/10.1145/3803437.3807386
SN - 979-8-4007-2636-1
ER -
उद्धरण फ़ाइलें:APA पाठIEEE पाठRISCSL-JSONSchema.org JSON-LDOAI-DC XMLOpenAIRE v4 XMLMODS XMLJATS 1.4 मेटाडेटा XMLपूर्ण-पाठ JATS 1.4 XMLRDF Turtleलिंक समुच्चय (JSON)लिंक समुच्चय (HTTP)RO-Crate
संपूर्ण मार्गदर्शिका
संपूर्ण शोध मार्गदर्शिका
पद्धति
यह विधि एक लघु Python फ़ंक्शन को विविक्त कोडों के दो स्तरों में संपीड़ित करती है, चयनित स्थूल स्थानों को स्थिर करती है और पुनः कोड में डिकोड करने से पहले शेष स्थानों का पुनर्जनन करती है।
एनकोड करें
एक 64-token Python फ़ंक्शन को पदानुक्रमित VQ-VAE द्वारा 16 उच्च-स्तरीय और 32 निम्न-स्तरीय कोडों में संपीडित करें।
लॉक करें
ऐसी स्थूल कोड स्थितियाँ चुनें जो संरक्षित की जाने वाली संरचना का निरूपण करें—जैसे फ़ंक्शन-सिग्नेचर विस्तार को समेटने वाला उपसर्ग।
पुनः जनित करें
मास्कित विविक्त जनन केवल अनलॉक किए गए स्थानों पर चलाएँ और पूर्ण पदानुक्रम को पुनः स्रोत कोड में डिकोड करें।
निरीक्षण करें
पुनर्जनन स्वीकार करने से पहले पार्स दर, संरचनात्मक प्रतिनिधि-मापों, अनलॉक स्थितियों में परिवर्तन और नमूना-अद्वितीयता का मापन करें।
मुख्य विचार
नियंत्रण टोकनों से ऊपर के अधिगमित निरूपण पर लागू होता है: स्थूल अव्यक्त स्थितियाँ वे स्पष्ट स्थान निर्धारित करती हैं जहाँ संरचना को स्थिर रखा जा सकता है, जबकि निकटवर्ती कार्यान्वयन विवरण संपादनयोग्य रहते हैं।
निकटवर्ती दृष्टिकोणों से अंतर
प्रॉम्प्ट-स्तरीय अथवा टोकन-स्तरीय बाधाएँ सतही पाठ पर काम करती हैं। प्रस्तावित इंटरफ़ेस स्थूल और सूक्ष्म विविक्त नियंत्रण-बिंदुओं को सुलभ बनाता है तथा उनसे उत्पन्न स्थिरता–स्वतंत्रता संतुलन का मापन करता है।
नवीनता क्या है
यह कार्य सीमाबद्ध सॉफ़्टवेयर-कलाकृति पुनर्जनन हेतु एक निरीक्षणीय पदानुक्रमित अव्यक्त नियंत्रण परत प्रस्तुत करता और उसका मूल्यांकन करता है।
वे प्रश्न जिनके उत्तर में यह शोधपत्र सहायक है
शोधपत्र पर आधारित संक्षिप्त उत्तर के लिए कोई प्रश्न चुनें। साक्ष्य की विस्तृत सीमाएँ ‘सीमाएँ’ अनुभाग में दी गई हैं।
AI सब कुछ दोबारा लिखे बिना कोड का संपादन कैसे कर सकता है?
शोधपत्र टोकन स्तर से ऊपर आंशिक कोड पुनर्जनन का अध्ययन करता है। एक पदानुक्रमित VQ-VAE लघु Python फ़ंक्शन को स्थूल और सूक्ष्म विविक्त कोडों में प्रतिचित्रित करता है; चयनित स्थूल स्थान लॉक किए जाते हैं और मास्कित विविक्त जनन, डिकोडिंग से पहले केवल शेष अव्यक्त स्थानों को बदलता है। इस प्रकार पूरे फ़ंक्शन का पुनर्जनन करने के बजाय एक स्पष्ट संरक्षण-सीमा मिलती है।
कोड जनन के दौरान कौन-सी विधियाँ प्रोग्राम संरचना संरक्षित रखती हैं?
यह कार्य पदानुक्रमित विविक्त अव्यक्त नियंत्रण का परीक्षण करता है। स्थूल अव्यक्त स्थितियों को स्थिर रखा जा सकता है और अनलॉक स्थितियों का पुनर्जनन किया जा सकता है; इसके बाद पार्स दर और संरचनात्मक प्रॉक्सी मापे जाते हैं। साक्ष्य छोटे Python फ़ंक्शनों पर संभाव्य संरचनात्मक स्थिरता से संबंधित है; यह सटीक AST संरक्षण, अर्थगत समतुल्यता या कार्यात्मक शुद्धता स्थापित नहीं करता।
क्या पदानुक्रमित विविक्त अव्यक्त निरूपण कोड पर स्थानीयकृत नियंत्रण दे सकते हैं?
रिपोर्ट किए गए 2,000-फ़ंक्शन प्रयोग में चार शीर्ष-स्तरीय कोड लॉक करने से पार्स दर 0.453 से बढ़कर 0.591 हुई। साथ ही, अनलॉक स्थितियों में से 0.936 बदलीं और सशर्त नमूने 0.998 अद्वितीय रहे। ये परिणाम आरंभिक साक्ष्य हैं कि स्थूल गुप्त बाधाएँ स्थानीय संपादन की स्वतंत्रता या नमूना-विविधता समाप्त किए बिना कुछ संरचना संरक्षित कर सकती हैं।
कोड जनन में संरचनात्मक स्थिरता और विविधता का संतुलन कैसे बनाया जा सकता है?
शोधपत्र केवल वैधता को अनुकूलित करने के बजाय स्थिरता और स्वतंत्रता का संयुक्त मूल्यांकन करता है। स्थूल कोड लॉक करने से वाक्यविन्यासिक वैधता बढ़ती है, जबकि अनलॉक स्थानों में परिवर्तन उच्च रहता है और सशर्त नमूने लगभग पूर्णतः अद्वितीय बने रहते हैं। परिणाम परीक्षित विन्यास में मापनीय स्थिरता–स्वतंत्रता संतुलन दर्शाता है, न कि कोई सार्वभौमिक इष्टतम।
यह कार्य LLM-सहायित कोड संपादन से किस प्रकार संबंधित है?
परीक्षित मॉडल मुखौटित विविक्त जनन वाला पदानुक्रमित VQ-VAE है, कोई वृहद् भाषा मॉडल नहीं। फिर भी नियंत्रण की समस्या LLM-सहायित संपादन के लिए प्रासंगिक है, क्योंकि अनुरोधित क्षेत्र के बाहर अनावश्यक परिवर्तन व्यावहारिक चिंता हैं। शोधपत्र एक पूरक अव्यक्त-स्थान तंत्र और मूल्यांकन रूपरेखा देता है, LLM संपादन बेंचमार्क नहीं।
निकटवर्ती दृष्टिकोणों से तुलना
| क्षमता | टोकन-स्तरीय नियंत्रण | पदानुक्रमित लेटेंट नियंत्रण |
|---|---|---|
| स्थूल संरचना को स्थिर रखें | सीमित | मूल स्थूल-कोड लॉकिंग |
| आंशिक पुनर्जनन | नाज़ुक सतही बाधाएँ | चयनित कोडों का मुखौटित पुनःप्रतिचयन |
| निरीक्षणीय नियंत्रण-बिंदु | कोई स्पष्ट मध्यवर्ती परत नहीं | स्थूल और सूक्ष्म विविक्त स्थितियाँ |
| इस शोधपत्र में उपलब्ध साक्ष्य | पूर्ण आधाररेखा के रूप में मूल्यांकित नहीं | वाक्यविन्यासिक स्थिरता और संपादन-स्वतंत्रता निदान |
तालिका इंटरफ़ेस और अध्ययन में मापे गए साक्ष्य का वर्णन करती है; यह कार्यात्मक शुद्धता या सार्वभौमिक श्रेष्ठता का दावा नहीं करती।
प्रासंगिकता और दायरा
यह शोधपत्र उन कार्यों के लिए सर्वाधिक प्रासंगिक है जिनमें इस पर स्पष्ट नियंत्रण चाहिए कि AI-सहायित कोड रूपांतरण क्या बदल सकता है और प्रोग्राम के कौन-से भाग स्थिर रहने चाहिए।
नियंत्रणीय और संरचना-संरक्षक कोड-जनन
स्थानीयकृत प्रोग्राम मरम्मत और परिसीमित रीफ़ैक्टरिंग
स्रोत कोड के लिए पदानुक्रमित डिस्क्रीट निरूपण
स्रोत कोड के लिए मुखौटित विविक्त जनन
सॉफ़्टवेयर कलाकृतियों के लिए गुप्त नियंत्रण
सीमाएँ
- अध्ययन 64 टोकन पर काटे गए छोटे Python फ़ंक्शनों तक सीमित है।
- मूल्यांकन में कार्यात्मक समतुल्यता के परीक्षणों के बजाय argmax डिकोडिंग और वाक्य-विन्यासगत या संरचनात्मक प्रतिनिधि संकेतकों का उपयोग किया गया है।
- सिग्नेचर का हूबहू संरक्षण अभी भी कमजोर है।
- निम्न-स्तरीय नियंत्रण, शीर्ष-स्तरीय नियंत्रण से कमजोर है।
- अव्यक्त स्थितियाँ अभी AST अंशों, सिग्नेचरों या नियंत्रण-प्रवाह संरचना जैसे अर्थगत क्षेत्रों से संरेखित नहीं हैं।
- परिणाम व्यावहारिक मरम्मत, रीफ़ैक्टरिंग अथवा रिपॉज़िटरी-स्तरीय परिवर्तनों की शुद्धता स्थापित नहीं करते।
शोधपत्र में उद्धृत संदर्भ
ये प्रविष्टियाँ शोधपत्र के PDF में क्रमांकित References खंड के अनुरूप हैं।
- Ali Razavi, Aaron van den Oord, Oriol Vinyals. . Generating Diverse High-Fidelity Images with VQ-VAE-2. Advances in Neural Information Processing Systems.
- Jacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow, Rianne van den Berg. . Structured Denoising Diffusion Models in Discrete State-Spaces. Advances in Neural Information Processing Systems.
- Subham Sekhar Sahoo, Marianne Arriola, Yair Schiff, Aaron Gokaslan, Edgar Marroquin, Justin T Chiu, Alexander Rush, Volodymyr Kuleshov. . Simple and Effective Masked Diffusion Language Models. Advances in Neural Information Processing Systems.
- Shraddha Barke, Michael B. James, Nadia Polikarpova. . Grounded Copilot: How Programmers Interact with Code-Generating Models. Proceedings of the ACM on Programming Languages.
- Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen. . RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing.
संसाधन और पुनरुत्पादकता
- प्रकाशक
- ACM
- स्थानीय पाठ PDF
- अंतिम लेखक-सूची और DOI सहित लेखक का camera-ready manuscript
- प्रकाशन संसाधन
- सार्वजनिक पांडुलिपि, परिणाम सारणियाँ, व्याख्यात्मक चित्र और उद्धरण फ़ाइलें यहाँ उपलब्ध हैं। कार्यान्वयन कोड और जाँच-बिंदु सार्वजनिक रूप से जारी नहीं किए गए हैं।
डेटा-विवरण
- स्रोत
- CodeParrot Clean का पूर्व-संसाधित subset, जिसमें 2,000 Python functions हैं।
- लाइसेंस
- यह साइट किसी डेटासेट फ़ाइल का पुनर्वितरण नहीं करती; पुनः उपयोग पर मूल CodeParrot डेटासेट और स्रोत-कोड लाइसेंसों की शर्तें लागू रहेंगी।
- पूर्वप्रसंस्करण
- पदानुक्रमित एन्कोडिंग से पहले Python फ़ंक्शनों का टोकनीकरण कर उन्हें काटकर अथवा पैडिंग द्वारा 64 टोकन का बनाया जाता है।
- विभाजन
- पोस्टर में 2,000-फ़ंक्शन वाला मूल्यांकन समुच्चय बताया गया है; सार्वजनिक शोधपत्र में अपरिवर्तनीय train/validation विभाजन मैनिफ़ेस्ट शामिल नहीं है।
- प्रारूप
- Python स्रोत फ़ंक्शन, GPT-शैली की टोकन शृंखलाएँ, 16 लंबाई वाली उच्च-स्तरीय कोड शृंखलाएँ और 32 लंबाई वाली निम्न-स्तरीय शृंखलाएँ।
- संस्करण / चेकसम
- दो-पृष्ठीय paper में dataset checksum और अपरिवर्तनीय snapshot identifier की सूचना नहीं दी गई है।
- अधिग्रहण
- प्रकाशन page के साथ कोई सार्वजनिक acquisition script जारी नहीं की गई है।
- उपयोग की सीमाएँ
- यह नमूना रिपॉज़िटरी-स्तरीय सॉफ़्टवेयर, अनेक प्रोग्रामिंग भाषाओं अथवा व्यवहारतः सत्यापित मरम्मत कार्यों का प्रतिनिधि नहीं है।
संस्करण
- प्रकाशित संस्करणACM FSE Companion, 2026
- लेखक की पांडुलिपिअंतिम लेखक सूची और DOI सहित पाठ-सुलभ कैमरा-रेडी पांडुलिपि
- बाहरी पूर्ण-पाठ मिररHugging Face पर CC BY 4.0 लेखक-पांडुलिपि
- रिपॉज़िटरी अभिलेख खोलेंOpenAIRE द्वारा अनुक्रमित Zenodo रिकॉर्ड
- रिपॉज़िटरी में पूर्ण पाठ खोलेंZenodo CC BY 4.0 लेखक पांडुलिपि; स्थानीय पांडुलिपि के पाठ के समतुल्य
- लेखक-संसाधनपोस्टर और स्लाइड डेक
- ग्रंथसूची recordDBLP
- अकादमिक अभिलेख खोलेंOpenAlex
- उद्धरण-ग्राफ़ अभिलेखSemantic Scholar
- लेखक द्वारा साझा पूर्ण पाठResearchGate
- सरल भाषा में सारांशKudos
प्रकाशित DOI प्राथमिक ग्रंथसूची पहचानकर्ता है। यह पृष्ठ सभी संस्करणों में परियोजना का एकमात्र प्रामाणिक URL बना रहता है।