🛠️ Category

cs.SE

2518 पेपर

💻 computer science

Can Small GenAI Language Models Rival Large Language Models in Understanding Application Behavior?

यह अध्ययन प्रदर्शित करता है कि जहाँ बड़े भाषा मॉडल (large language models) आम तौर पर एप्लिकेशन व्यवहार विश्लेषण और मैलवेयर डिटेक्शन में उच्च सटीकता प्राप्त करते हैं, वहीं छोटे जेनरेटिव एआई (GenAI) मॉडल काफी अधिक कम्प्यूटेशनल दक्षता और संसाधन-सीमित वातावरण के लिए उपयुक्तता बनाए रखते हुए प्रतिस्पर्धी परिशुद्धता (precision) और रिकॉल (recall) के साथ एक व्यावहारिक विकल्प प्रदान करते हैं।

Mohammad Meymani, Hamed Jelodar, Parisa Hamedi, Roozbeh Razavi-Far, Ali A. Ghorbani2026-06-12
💻 computer science

Reasoning about concurrent loops and recursion with rely-guarantee rules

यह शोध पत्र रिलाय-गारंटी (rely-guarantee) दृष्टिकोण का उपयोग करते हुए, परमाणु अभिव्यक्ति मूल्यांकन (atomic expression evaluation) को माने बिना, समवर्ती प्रणालियों (concurrent systems) में रिकर्सिव प्रोग्रामों और 'while' लूप्स के बारे में तर्क करने के लिए यांत्रिक रूप से सत्यापित, सामान्य परिशोधन नियमों (refinement rules) को प्रस्तुत करता है।

Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones2026-06-12
💻 computer science

The State of the SBOM Tool Ecosystems: A Comparative Analysis of SPDX and CycloneDX

यह शोध पत्र सैकड़ों उपकरणों और हजारों इश्यू रिपोर्टों का विश्लेषण करके SPDX और CycloneDX SBOM टूल पारिस्थितिकी तंत्रों की तुलना करता है, जो यह प्रकट करता है कि जहाँ SPDX के पास एक बड़ा, अधिक परिपक्व टूलसेट और व्यापक प्रसार है, वहीं CycloneDX मजबूत डेवलपर जुड़ाव और विशिष्ट प्रोजेक्ट स्वास्थ्य संकेतकों को प्रदर्शित करता है, जो दोनों प्रारूपों की पूरक शक्तियों को उजागर करता है।

Zhimin Zhao, Abdul Ali Bangash, Tongxu Ge, Arshdeep Singh, Zitao Wang, Bram Adams2026-06-12
💻 computer science

Programmable Property-Based Testing

यह शोध पत्र "डिफर्ड बाइंडिंग एब्स्ट्रैक्ट सिंटैक्स" (deferred binding abstract syntax) को प्रस्तुत करता है, जो प्रॉपर्टी-आधारित परीक्षण के लिए एक नई मिश्रित-एम्बेडिंग भाषा है जो गुणों को डेटा संरचनाओं के रूप में मूर्त रूप देती है ताकि उन्हें निष्पादन से अलग किया जा सके, जिससे कस्टम प्रॉपर्टी रनर्स को डिजाइन करने में अधिक लचीलापन और प्रोग्रामेबिलिटी सक्षम हो सके।

Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos2026-06-12
💻 computer science

Knowing the Rules Is Not Enough: Student Regulatory Awareness and Use of GenAI in Higher Education

जर्मनी के 151 कंप्यूटर विज्ञान के छात्रों का यह अध्ययन प्रकट करता है कि जहाँ अधिकांश सक्रिय रूप से जेनरेटिव एआई (Generative AI) का उपयोग करते हैं, वहीं आधे से अधिक अनुपालन (compliance) को लेकर अनिश्चित हैं, और नियामक जागरूकता उनके वास्तविक उपयोग व्यवहार पर केवल एक कमजोर से मध्यम प्रभाव दिखाती है, जो संस्थागत नीतियों और छात्र प्रथाओं के बीच एक महत्वपूर्ण अंतर को रेखांकित करती है।

Lasse Bischof, Eva-Maria Schön, Maria Rauschenberger, Michael Neumann2026-06-12
💻 computer science

From Real-World Projects to Research-Oriented Learning: Continuous Improvement of a Master-Level Course in Software Engineering Education

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

Michael Neumann, Eva-Maria Schön2026-06-12
💻 computer science

The Rise of AI-Native Software Engineering: Implications for Practice, Education, and the Future Workforce

यह शोध पत्र सॉफ्टवेयर इंजीनियरिंग पर जनरेटिव एआई (generative AI) के परिवर्तनकारी प्रभाव को संश्लेषित करने के लिए 48 सहकर्मी-समीक्षित (peer-reviewed) प्रकाशनों की एक व्यवस्थित समीक्षा प्रस्तुत करता है, जो एक नया वैचारिक ढांचा, सक्षमता मॉडल और पाठ्यक्रम रोडमैप प्रस्तावित करता है और कोड उत्पादन से हटकर निर्णय, सत्यापन और एजेंट ऑर्केस्ट्रेशन (agent orchestration) पर शैक्षिक और व्यावसायिक ध्यान केंद्रित करने की महत्वपूर्ण आवश्यकता को रेखांकित करता है।

Mamdouh Alenezi2026-06-12
💬 NLP

ComAct: Reframing Professional Software Manipulation via COM-as-Action Paradigm

यह शोध पत्र COM-as-Action प्रतिमान और ComActor एजेंट को प्रस्तुत करता है, जो पेशेवर सॉफ़्टवेयर हेरफेर को नाजुक विज़ुअल कंट्रोल से निर्धारित प्रोग्राम सिंथेसिस में बदलने के लिए कंपोनेंट ऑब्जेक्ट मॉडल का लाभ उठाते हैं, जिससे नए ComCADBench पर औद्योगिक CAD कार्यों में अत्याधुनिक प्रदर्शन प्राप्त होता है।

Jiaxin Ai, Tao Hu, Xuemeng Yang, Shu Zou, Hairong Zhang, Daocheng Fu, Yu Yang, Hongbin Zhou, Nianchen Deng, Pinlong Cai (…)2026-06-12
🤖 AI

Understanding the Rejection of Fixes Generated by Agentic Pull Requests -- Insights from the AIDev Dataset

यह शोध पत्र AIDev डेटासेट का विश्लेषण करता है ताकि उन 14 विशिष्ट कारणों की पहचान की जा सके जिनके कारण लगभग आधे AI-जनित पुल रिक्वेस्ट (pull requests) अस्वीकार कर दिए जाते हैं, और एजेंट के प्रदर्शन, कार्य प्राथमिकता और सॉफ्टवेयर विकास वर्कफ़्लो में एकीकरण को बेहतर बनाने के लिए कार्रवाई योग्य मार्गदर्शन प्रदान करने हेतु इन विफलता मोडों को वर्गीकृत करता है।

Mahmoud Abujadallah, Ali Arabat, Mohammed Sayagh2026-06-12
⚡ electrical engineering

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap

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

Ozan Baris Mulayim, Anand Krishnan Prakash, Yuvraj Agarwal, Mario Bergés, Marco Pritoni, Derek Supple, Steve Schaefer, M (…)2026-06-11