🛠️ Category

cs.SE

2489 पेपर

💻 computer science

CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler

यह शोध पत्र CLIR प्रस्तुत करता है, जो क्रैनलिफ्ट (Cranelift) कंपाइलर के लिए एक नवीन डिफरेंशियल टेस्टिंग फ्रेमवर्क है जो अद्वितीय SSA और डेंसिटी चुनौतियों से पार पाने के लिए सिंटैक्स-प्रिजर्विंग पदानुक्रमित पीढ़ी (syntax-preserving hierarchical generation), लाइवनेस-गाइडेड इंस्ट्रक्शन रिफाइनमेंट और क्रॉस-आर्किटेक्चर अनुकूलन को जोड़ता है, जो अंततः मौजूदा अत्याधुनिक उपकरणों की तुलना में कई आर्किटेक्चरों में काफी अधिक बग्स का पता लगाता है।

Shangtong Cao, Tianlei Song, Qiuping Yi, Tianyu Chen, Guoai Xu, Ningyu He, Haoyu Wang2026-06-26
💻 computer science

ATGBuilder: Feature-Assisted Graph Learning for Activity Transition Graph Construction with Seed Supervision

ATGBuilder एक फीचर-असिस्टेड ग्राफ लर्निंग फ्रेमवर्क है जो मौजूदा अत्याधुनिक विधियों की तुलना में एंड्रॉइड अनुप्रयोगों के लिए एक्टिविटी ट्रांज़िशन ग्राफ निर्माण की सटीकता में उल्लेखनीय सुधार करने के लिए UI मेटाडेटा को सारांशित करने और विजेट-ट्रिगर जानकारी को स्पष्ट रूप से मॉडल करने के लिए लार्ज लैंग्वेज मॉडल्स का लाभ उठाता है।

Chenhui Cui, Zixiang Xian, Danyu Li, Tao Li, Rubing Huang, Dave Towey, Shikai Guo, Jiakun Liu2026-06-26
💻 computer science

On the Reproducibility of Quantum Software Defect Datasets: A Case Study of Bugs4Q

यह शोध पत्र प्रदर्शित करता है कि डिपेंडेंसी और एपीआई परिवर्तनों के कारण Bugs4Q क्वांटम सॉफ्टवेयर डिफेक्ट डेटासेट की पुनरुत्पादकता (reproducibility) समय के साथ काफी कम हो जाती है, लेकिन क्यूरेटेड Bugs4Q-Robust डेटासेट के निर्माण के माध्यम से इसे 78.4% तक काफी हद तक बहाल किया जा सकता है।

Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto2026-06-26
💻 computer science

Smaller Models, Unexpected Costs: Trade-offs in LLM Quantization for Automated Program Repair

यह शोध पत्र अनुभवजन्य रूप से यह प्रदर्शित करता है कि जबकि LLM क्वांटाइजेशन (quantization) ऑटोमेटेड प्रोग्राम रिपेयर के लिए मेमोरी फुटप्रिंट को काफी कम कर देता है, यह अक्सर अनुमान समय (inference time) और ऊर्जा खपत में अप्रत्याशित वृद्धि भी लाता है, जिसमें प्रभावशीलता और दक्षता के बीच का ट्रेड-ऑफ किसी एक श्रेष्ठ क्वांटाइजेशन पद्धति के पक्ष में होने के बजाय मॉडल आर्किटेक्चर और कार्य जटिलताओं के आधार पर महत्वपूर्ण रूप से भिन्न होता है।

Fernando Vallecillos-Ruiz, Giordano d'Aloisio, Max Hort, Luca Traini, Antinisca Di Marco, Leon Moonen2026-06-26
💻 computer science

Beyond Objects

यह शोध पत्र यह तर्क देता है कि सिस्टम की कार्यक्षमता को सीधे समस्या-डोमेन के व्यक्तियों से जोड़ने का मूल ऑब्जेक्ट-ओरिएंटेड सिद्धांत स्वाभाविक रूप से त्रुटिपूर्ण है और विखंडन की ओर ले जाता है, तथा इसके बजाय डोमेन व्यक्तियों को कार्यात्मक मॉड्यूल से अलग करने वाले एक दृष्टिकोण के पक्ष में ऑब्जेक्ट ओरिएंटेशन को त्यागने का प्रस्ताव देता है।

Daniel Jackson2026-06-26
💻 computer science

Rethinking Technology Stack Selection with AI Coding Proficiency

यह शोध पत्र "एआई कोडिंग दक्षता" (AI coding proficiency) की अवधारणा प्रस्तुत करता है ताकि यह मूल्यांकन किया जा सके कि बड़े भाषा मॉडल विशिष्ट तकनीकों का कितनी प्रभावी ढंग से उपयोग कर सकते हैं, जो एक बड़े पैमाने के अनुभवजन्य अध्ययन को प्रस्तुत करता है जो विभिन्न लाइब्रेरीज़ के बीच प्रदर्शन के महत्वपूर्ण अंतरों को प्रकट करता है और इंजीनियरिंग लागतों को कम करने तथा पारिस्थितिकी तंत्र की विविधता को बनाए रखने के लिए इस मीट्रिक को प्रौद्योगिकी चयन ढांचों में एकीकृत करने का तर्क देता है।

Xiaoyu Zhang, Weipeng Jiang, Shiqing Ma, Qingshuang Bao, Chenhao Lin, Chao Shen, Tianlin Li, Juan Zhai2026-06-25
🤖 AI

Learning to Code with Context: A Study-Based Approach

यह शोध पत्र एक विश्वविद्यालय गेम डेवलपमेंट कोर्स के भीतर एक उपयोगकर्ता अध्ययन प्रस्तुत करता है जो यह जांच करता है कि छात्र सॉफ्टवेयर जीवनचक्र के दौरान जेनेरेटिव एआई टूल्स का उपयोग कैसे करते हैं और संदर्भ-आधारित सहायता प्रदान करने के लिए रिट्रीवल-ऑगमेंटेड जनरेशन का उपयोग करने वाले एक रिपॉजिटरी-अवेयर, स्थानीय रूप से तैनात एलएलएम (LLM) असिस्टेंट की प्रभावशीलता का मूल्यांकन करता है।

Uwe M. Borghoff, Mark Minas, Jannis Schopp2026-06-25
🤖 AI

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?

यह शोध पत्र कोडिंग एजेंटों के लिए रिपॉजिटरी-स्तर की संदर्भ फ़ाइलों (जैसे AGENTS.md) की प्रभावशीलता का मूल्यांकन करता है और पाता है कि, सामान्य अभ्यास के विपरीत, वे आम तौर पर कार्य सफलता दर में सुधार करने में विफल रहते हैं जबकि इनसे इन्फरेंस लागत में 20% से अधिक की वृद्धि होती है।

Thibaud Gloaguen, Niels Mündler, Mark Müller, Veselin Raychev, Martin Vechev2026-06-25
💻 computer science

Fifty Years of Specification Completeness: What Aviation Certification Tells AI Governance About Epoch Limits, Proof Surfaces, and the Structural Gap

यह शोध पत्र तर्क देता है कि एआई (AI) गवर्नेंस फ्रेमवर्क में विमानन प्रमाणन (aviation certification) द्वारा लागू की जाने वाली संरचनात्मक पूर्णता आवश्यकताओं—विशेष रूप से एपोक सीमाएं (epoch limits), प्रूफ़ सतहें (proof surfaces), और वस्तुनिष्ठ साक्ष्य आर्किटेक्चर (objective evidence architectures)—का अभाव है, और यह स्टोकेस्टिक एआई प्रणालियों के शासन के लिए इन हस्तांतरणीय दस्तावेज़-स्तरीय गुणों को संचालित करने हेतु प्रॉम्प्टक्यू (PromptQ) के सात-सिद्धांतों वाले फ्रेमवर्क का प्रस्ताव करता है।

Christo Zietsman2026-06-25
💻 computer science

Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks

यह शोध पत्र डीप न्यूरल नेटवर्क के लिए एक टेंसर-आधारित बैच फज़िंग फ्रेमवर्क पेश करता है जो पारंपरिक अनुक्रमिक दृष्टिकोणों की तुलना में काफी उच्च थ्रूपुट और उल्लंघन पहचान दर प्राप्त करने के लिए अनुकूली, विनिर्देश-जागरूक विक्षेपण स्केलिंग (adaptive, specification-aware perturbation scaling) और बैचबद्ध बाधा एम्बेडिंग (batched constraint embedding) का लाभ उठाता है।

Guanqin Zhang, Yulei Sui2026-06-25