🤖 AI

CNnotator: LLM-Guided Memory Safety Annotation Synthesis

यह शोध पत्र CNnotator को प्रस्तुत करता है, जो लेगेसी C कोड के लिए मेमोरी सुरक्षा एनोटेशन (CN विनिर्देशों) को स्वचालित रूप से संश्लेषित और सत्यापित करने के लिए लार्ज लैंग्वेज मॉडल्स का लाभ उठाता है, यह प्रदर्शित करते हुए कि वर्तमान AI मॉडल सुरक्षित भाषाओं में माइग्रेशन को सुगम बनाने के लिए मेमोरी उपयोग पैटर्न की पहचान करने में उच्च सफलता दर प्राप्त कर सकते हैं।

Twain Byrnes, Mike Dodds2026-06-23
🤖 AI

Skills for the future software profession: beyond agentic AI!

2026 में शोधकर्ताओं और उद्योग विशेषज्ञों के साथ की गई गोलमेज चर्चाओं के आधार पर, यह शोध पत्र भविष्य के सॉफ्टवेयर इंजीनियरों के लिए विकसित हो रहे मुख्य कौशल की पहचान करता है, जो कोडिंग एजेंटों द्वारा कार्यान्वयन कार्यों को संभालने के साथ सत्यापन (verification) और पुष्टिकरण (validation) के बढ़ते महत्व पर जोर देता है।

Sungmin Kang, Baishakhi Ray, Abhik Roychoudhury2026-06-23
💻 computer science

Bringing Managed Language Support to WebAssembly with External Library Linking

यह शोधपत्र WALL-E को प्रस्तुत करता है, जो एक नवीन फ्रेमवर्क है जो एक बाहरी क्लाइंट-सर्वर लिंकिंग रणनीति के माध्यम से WebAssembly को Python और Java जैसी प्रबंधित भाषाओं को एकीकृत करने में सक्षम बनाता है, जिससे पारंपरिक रनटाइम नेस्टिंग के ओवरहेड को समाप्त करते हुए लगभग मूल-स्तर (near-native) का प्रदर्शन और व्यापक भाषा समर्थन प्राप्त होता है।

Shuyao Jiang, Ruiying Zeng, Yangfan Zhou, Michael R. Lyu2026-06-23
💻 computer science

A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair

यह शोध पत्र A11YRepair प्रस्तुत करता है, जो एक LLM-आधारित फ्रेमवर्क है जो संबंधित मुद्दों को क्लस्टर करने और समन्वित, WCAG-अनुपालन पैच उत्पन्न करने के लिए ज्ञान-संवर्धित डिवाइड-एंड-कॉन्कर रणनीति का उपयोग करके जटिल, बहु-दोष वाली वेब एक्सेसिबिलिटी उल्लंघनों को संभालने में मौजूदा स्वचालित मरम्मत उपकरणों की सीमाओं को संबोधित करता है, एक समाधान जिसे नए A11YBench बेंचमार्क द्वारा मान्य किया गया है और प्रमुख ओपन-सोर्स परियोजनाओं में सफल एकीकरण द्वारा सिद्ध किया गया है।

Kai Huang, Ling Zhu, Jian Zhang, Xiaofei Xie, Chunyang Chen2026-06-23
💻 computer science

Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale

होम्स (Holmes) एक मल्टी-एजेंट सिस्टम है जो मल्टीमॉडल रनटाइम सिग्नल्स को संश्लेषित करके पुनरुत्पादन (reproduction) के बिना विफलता संदर्भों को पुनर्गठित करता है, जिससे अल्ट्रा-लार्ज-स्केल एप्लिकेशन्स में मिश्रित-भाषा वाले मोबाइल क्रैश के लिए रूट कॉज़ एनालिसिस को स्वचालित किया जाता है, और वास्तविक दुनिया के वीचैट (WeChat) डेटा पर 87.6% फॉल्ट लोकलाइजेशन सटीकता प्राप्त करते हुए जांच के समय को 98% से अधिक कम करता है।

Jia Li, Wenyuan Ma, Ting Peng, Haibin Zheng, Yuetang Deng2026-06-23
💻 computer science

CodeTeam: An LLM-Powered Multi-Agent Framework for Repository-Level Code Generation

CodeTeam एक LLM-संचालित मल्टी-एजेंट फ्रेमवर्क है जो योजना (planning), निर्णय लेने (decision-making) और कार्यान्वयन (implementation) को समन्वित चरणों में विभाजित करके प्राकृतिक-भाषा-से-रिपॉजिटरी जनरेशन की चुनौतियों का समाधान करता है, जिससे बेंचमार्क परीक्षणों में डिज़ाइन गुणवत्ता और कार्यात्मक शुद्धता दोनों में अत्याधुनिक प्रदर्शन प्राप्त होता है।

Yifei Wang, Ruiyin Li, Peng Liang, Qiong Feng, Zengyang Li, Mojtaba Shahin, Arif Ali Khan2026-06-23
💻 computer science

TraceView: Interactive Visualization of Agentic Program Repair Trajectories

यह शोध पत्र TraceView को प्रस्तुत करता है, जो एक इंटरैक्टिव विज़ुअलाइज़ेशन टूल है जिसे डेवलपर्स को लेबल किए गए ग्राफ व्यूज़ के साथ फ़िल्टरिंग और साक्ष्य क्षमताओं के माध्यम से व्यवस्थित करके, LLM-आधारित स्वचालित प्रोग्राम रिपेयर ट्रेजेक्टरीज के भीतर तर्क, कार्यों और फीडबैक लूप्स को निदान करने और समझने में मदद करने के लिए डिज़ाइन किया गया है।

Amirali Sajadi, Tu Nguyen, Kimmie Huynh, Esteban Parra, Preetha Chatterjee2026-06-23
💻 computer science

Failure Analysis in Transition: An Industry Survey of Challenges, Priorities, and Standardization Needs in Advanced Packaging and Heterogeneous Integration

यह शोध पत्र लगभग एक सौ प्रतिक्रियाओं के एक उद्योग सर्वेक्षण को प्रस्तुत करता है जो यह प्रकट करता है कि विषम एकीकरण (हेटरोजीनियस इंटीग्रेशन) और हाइब्रिड बॉन्डिंग के उदय से विफलता विश्लेषण (फेलियर एनालिसिस) गंभीर रूप से चुनौतीपूर्ण हो गया है, जिसमें विशेषज्ञ इन विकसित होती जटिलताओं को संबोधित करने के लिए उच्च-रिज़ॉल्यूशन वाले गैर-विनाशकारी इमेजिंग और औपचारिक डेटा मानकीकरण को प्राथमिकता दे रहे हैं।

Himanandhan Reddy Kottur, Nusra Akter Takia, Mahamudul Hassan Fuad, Istiaq Firoz Shiam, Matthew Walsh, Navid Asadizanjan (…)2026-06-23
⚛️ quantum physics

StableShots: Online Shot Stopping for Quantum Circuit Execution

StableShots एक ब्लैक-बॉक्स ऑनलाइन स्टॉपिंग रूल है जो वितरण स्थिरता (distribution stability) की निगरानी करके स्थिर क्वांटम सर्किट के लिए इष्टतम मापों की संख्या को गतिशील रूप से निर्धारित करता है, जिससे यह विविध सर्किट परिवारों और शोर वाले बैकएंड्स में सटीकता और शॉट दक्षता में फिक्स्ड-शॉट बेसलाइन से बेहतर प्रदर्शन करता है।

Giuseppe Bisicchia, Alessandro Bocci, Ernesto Pimentel, Antonio Brogi2026-06-23
💻 computer science

Natural Language-Focused Software Engineering via Code-Documentation Equivalence

यह शोध पत्र "डॉक्यूमेंटरी" (Documentary) को प्रस्तुत करता है, जो एक नया दृष्टिकोण है जो डॉक्यूमेंटेशन-टू-कोड समकक्ष विवरण उत्पन्न करता है, यह प्रदर्शित करते हुए कि ऐसा उच्च-गुणवत्ता वाला, सटीक डॉक्यूमेंटेशन कोड समझ और संपादन कार्यों में लार्ज लैंग्वेज मॉडल के प्रदर्शन में महत्वपूर्ण रूप से सुधार करता है और साथ ही मौजूदा डॉक्यूमेंटेशन की तुलना में मानव डेवलपर्स द्वारा अधिक उपयोगी माना जाता है।

Aryaz Eghbali, Zhongxin Liu, Michael Pradel2026-06-23