🛠️ Category

cs.SE

2549 पेपर

💻 computer science

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation

यह शोध पत्र LLM4C2Rust को प्रस्तुत करता है, जो एक रिट्रीवल-ऑगमेंटेड जनरेशन (Retrieval-Augmented Generation) फ्रेमवर्क है जो लीगेसी C/C++ कोड को स्वचालित रूप से मेमोरी-सेफ Rust में ट्रांसपाइल करने के लिए लार्ज लैंग्वेज मॉडल्स का लाभ उठाता है, जिससे कोड की शुद्धता में काफी सुधार होता है और रॉ पॉइंटर डिरिफरेंसिंग (raw pointer dereferences) और टाइप कास्ट्स (type casts) जैसे असुरक्षित ऑपरेशन्स को समाप्त किया जाता है।

Sarah Bedell, Nazanin Siavash, Armin Moin2026-04-20
💻 computer science

Empirical Investigation of Quantum Computing Toolchains and Algorithms : Mining Stack Overflow Repository

यह अध्ययन 1,404 स्टैक ओवरफ्लो (Stack Overflow) पोस्टों का विश्लेषण करता है ताकि क्वांटम कंप्यूटिंग के साथ डेवलपर जुड़ाव का मानचित्रण किया जा सके, जो यह प्रकट करता है कि हाइब्रिड क्वांटम-क्लासिकल कंप्यूटिंग और क़िसकिट (Qiskit) प्रमुख विषय और उपकरण हैं, जबकि विभिन्न तकनीकों के बीच प्रश्न की कठिनाई और सामुदायिक सहायता में महत्वपूर्ण भिन्नताओं को उजागर करता है।

Maryam Tavassoli Sabzevari, Arif Ali Khan2026-04-20
🤖 machine learning

Verification Modulo Tested Library Contracts

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

Abhishek Uppar, Omar Muhammad, Sumanth Prabhu, Deepak D'Souza, Madhusudan P, Adithya Murali2026-04-20
🤖 AI

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility

यह शोध पत्र यह प्रदर्शित करता है कि सिम्बॉलिक गार्डरेल्स (symbolic guardrails), बेंचमार्क में पाए गए 74% नीतिगत आवश्यकताओं को लागू करके, डोमेन-विशिष्ट एआई एजेंटों के लिए मजबूत सुरक्षा और सुरक्षा गारंटी प्रदान करने हेतु एक व्यावहारिक और प्रभावी दृष्टिकोण प्रदान करते हैं, जिससे एजेंट की उपयोगिता से समझौता किए बिना विश्वसनीयता में सुधार होता है।

Yining Hong, Yining She, Eunsuk Kang, Christopher S. Timperley, Christian Kästner2026-04-20
⚛️ quantum physics

A Game Theoretic Approach for Optimizing Quantum Error Budget Distribution

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

Asif Akhtab Ronggon, Tasnuva Farheen2026-04-20
🤖 AI

CodeMMR: Bridging Natural Language, Code, and Image for Unified Retrieval

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

Jiahui Geng, Qing Li, Fengyu Cai, Fakhri Karray2026-04-20
💻 computer science

QMutBench: A Dataset of Quantum Circuit Mutants

यह शोध पत्र QMutBench को प्रस्तुत करता है, जो अनुकूलन योग्य चयन मानदंडों के साथ 7,00,000 से अधिक क्वांटम सर्किट म्यूटेंट्स वाला एक ऑनलाइन डेटासेट है, जिसे क्वांटम सॉफ्टवेयर परीक्षण तकनीकों के मूल्यांकन और विकास के लिए आवश्यक बेंचमार्क प्रदान करने के लिए डिज़ाइन किया गया है।

Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini, Shaukat Ali2026-04-20
💻 computer science

Feature Toggle Dynamics in Large-Scale Systems: Prevalence, Growth, Lifespan, and Benchmarking

यह शोध पत्र कुबेरनेट्स (Kubernetes) और गिटलैब (GitLab) में 4,000 से अधिक फीचर टॉगल (feature toggle) घटनाओं का एक अनुदैर्ध्य विश्लेषण प्रस्तुत करता है, जो यह प्रकट करता है कि हटाना (removals), जोड़ (additions) की तुलना में पीछे रह जाता है जिससे बढ़ता हुआ तकनीकी ऋण (technical debt) और डी फैक्टो (de facto) स्थायी टॉगल उत्पन्न होते हैं, और एक नए बेंचमार्किंग ढांचे का प्रस्ताव देता है जिसमें अनुभवजन्य रूप से प्राप्त मेट्रिक्स शामिल हैं ताकि अभ्यासकर्ताओं को उनके टॉगल प्रबंधन अभ्यासों का आकलन करने और उनमें सुधार करने में मदद मिल सके।

Xhevahire Tërnava2026-04-20
💻 computer science

Small Yet Configurable: Unveiling Null Variability in Software

यह शोध पत्र पहला अनुभवजन्य अध्ययन प्रस्तुत करता है जो यह प्रदर्शित करता है कि लघु-स्तरीय सॉफ्टवेयर प्रणालियाँ महत्वपूर्ण और बढ़ती हुई कॉन्फ़िगर करने की क्षमता (configurability) प्रदर्शित करती हैं, जो हल्के, अधिक रखरखाव योग्य और पुनरुत्पादनीय सॉफ्टवेयर प्राप्त करने के लिए अनावश्यक परिवर्तनशीलता को कम करने का समर्थन करने हेतु "नल-वेरिएबल" (null-variable) प्रणालियों की अवधारणा पेश करता है।

Xhevahire Tërnava, Georges Aaron Randrianaina, Luc Lesoil, Mathieu Acher2026-04-20
💻 computer science

Supporting the Comprehension of Data Analysis Scripts

यह शोध पत्र flowR को प्रस्तुत करता है, जो Positron और VS Code जैसे R IDEs के लिए एक विस्तार है जो लगभग वास्तविक समय (near real-time), वृद्धिशील डेटाफ्लो विश्लेषण (incremental dataflow analysis), इंटरैक्टिव विज़ुअलाइज़ेशन और लिंटिंग क्षमताओं के माध्यम से स्क्रिप्ट की समझ और रखरखाव क्षमता को बढ़ाता है।

Florian Sihler, Oliver Gerstl, Lars Pfrenger, Julian Schubert, Matthias Tichy2026-04-20