2637 पेपर
यह शोध पत्र एक मल्टीपार्टी सेशन टाइप फ्रेमवर्क प्रस्तुत करता है जो एसिंक्रोनस मिक्स्ड चॉइस (asynchronous mixed choice) का समर्थन करता है जो इवेंटुअल स्टेट कंसिस्टेंसी (eventual state consistency) की गारंटी देता है, जिसे औपचारिक प्रमाणों और एक व्यावहारिक टूलचेन के माध्यम से मान्य किया गया है जिसका उपयोग RabbitMQ Erlang क्लाइंट के कुछ हिस्सों को पुन: कार्यान्वित करने के लिए किया गया है।
यह शोध पत्र एक एंड-टू-एंड फ्रेमवर्क प्रस्तुत करता है जो संस्थागत योगदानों की पहचान करने, ओपन सोर्स प्रथाओं का आकलन करने और अकादमिक सॉफ्टवेयर स्थिरता को मजबूत करने की रणनीतियों के मार्गदर्शन के लिए GitHub के API का उपयोग करके दस विश्वविद्यालयों के 2,00,000 से अधिक ओपन सोर्स रिपॉजिटरीज़ की व्यवस्थित रूप से खोज और विश्लेषण करता है।
यह शोध पत्र रस्ट (Rust) के सुरक्षा डिज़ाइन और वास्तविक दुनिया की परियोजनाओं की समीक्षा करके, रस्ट में असुरक्षित कोड और अनिश्चित व्यवहार (undefined behavior) का विश्लेषण करने के लिए एक व्यवस्थित रूपरेखा प्रस्तुत करता है, जो अंततः ध्वनिपूर्ण एनकैप्सुलेशन (sound encapsulation) प्राप्त करने के लिए ध्वनिपूर्ण मानदंड और कार्रवाई योग्य मार्गदर्शन स्थापित करता है।
यह शोध पत्र EmpiRE-Compass को प्रस्तुत करता है, जो एक ओपन-सोर्स न्यूरो-सिम्बोलिक डैशबोर्ड है जो रिसर्च नॉलेज ग्राफ्स को लार्ज लैंग्वेज मॉडल्स के साथ एकीकृत करके सॉफ्टवेयर और रिक्वायरमेंट्स इंजीनियरिंग में लिटरेचर रिव्यूज की स्थिरता, पारदर्शिता और पुन: प्रयोज्यता को बढ़ाता है ताकि गतिशील डेटा अन्वेषण, संश्लेषण और प्रतिकृति की सुविधा मिल सके।
एक दशक के शैक्षणिक अनुभव का लाभ उठाते हुए, यह शोधपत्र "PEERfect REVIEWer" लोकाचार का प्रस्ताव करता है, जो वैज्ञानिक देखभाल और सहयोगात्मक कल्याण को एकीकृत करता है ताकि सहकर्मी समीक्षा (पीयर रिव्यू) को एक द्वारपाल कार्य से बदलकर एक सहायक साझेदारी में परिवर्तित किया जा सके, जो कठोर गुणवत्ता मानकों के साथ सभी शैक्षणिक हितधारकों के कल्याण और प्रगति के प्रति सहानुभूति का संतुलन बनाए रखता है।
यह शोध पत्र EyeLayer का प्रस्ताव करता है, जो एक हल्का मॉड्यूल है जो मानव नेत्र-दृष्टि (eye-gaze) पैटर्न को LLM-आधारित कोड सारांश में अटेंशन प्रायर्स (attention priors) के रूप में एकीकृत करता है, जो मौजूदा निरूपणों (representations) को बाधित किए बिना सिमेंटिक फोकस को बढ़ाकर विविध मॉडल परिवारों में प्रदर्शन में महत्वपूर्ण सुधार करता है।
यह शोध पत्र कॉन्टेक्स्टुअल मेमोरी वर्चुअलाइजेशन (CMV) का प्रस्ताव करता है, जो एक ऐसा सिस्टम है जो समानांतर सत्रों में स्टेट के पुन: उपयोग को सक्षम करने के लिए LLM सत्र इतिहास को एक वर्जन-कंट्रोल्ड डायरेक्टेड एसाइक्लिक ग्राफ (DAG) के रूप में मॉडल करता है और उपयोगकर्ता एवं असिस्टेंट की सभी सामग्री को यथावत सुरक्षित रखते हुए मैकेनिकल ओवरहेड को संरचनात्मक रूप से लॉसलेस तरीके से कम करने के लिए एक थ्री-पास एल्गोरिदम का उपयोग करता है, जिससे टोकन में महत्वपूर्ण कमी आती है।
यह शोध पत्र LEREDD प्रस्तुत करता है, जो प्राकृतिक भाषा से विविध आवश्यकता निर्भरताओं (requirement dependencies) को स्वचालित रूप से पहचानने के लिए रिट्रीवल-ऑगमेंटेड जनरेशन और इन-कॉन्टेक्स्ट लर्निंग का लाभ उठाने वाला एक नवीन लार्ज लैंग्वेज मॉडल-आधारित दृष्टिकोण है, जो भविष्य के अनुसंधान में सहायता के लिए एक नया एनोटेटेड डेटासेट जारी करते हुए अत्याधुनिक बेसलाइनों की तुलना में बेहतर सटीकता और F1 स्कोर प्रदर्शित करता है।
यह शोध पत्र Rust-SWE-bench प्रस्तुत करता है, जो रिपॉजिटरी-स्तर के Rust समस्या समाधान पर LLM-आधारित एजेंटों के मूल्यांकन के लिए एक बड़े पैमाने का बेंचमार्क है, और RUSTFORGER प्रस्तावित करता है, जो एक नवीन एजेंट है जो कोड संरचना की समझ और सख्त टाइप सेमेंटिक्स की चुनौतियों को दूर करने के लिए डायनेमिक ट्रेसिंग और स्वचालित टेस्ट सेटअप का लाभ उठाकर मौजूदा बेसलाइन से काफी बेहतर प्रदर्शन करता है।
यह शोध पत्र सॉफ्टवेयर इंजीनियरिंग और नैदानिक डोमेन में एजेंटिक एआई (Agentic AI) प्रणालियों की तैनाती-पूर्व अपेक्षाओं और तैनाती-पश्चात वास्तविकताओं के बीच के महत्वपूर्ण अंतर को परिमाणित करता है, जो यह प्रकट करता है कि वर्कफ़्लो घर्षण और सत्यापन संबंधी बोझ अक्सर प्रत्याशित उत्पादकता लाभों को निष्प्रभावी कर देते हैं और यथार्थवादी लाभ अनुमानों के साथ संरचित नियोजन ढाँचों की आवश्यकता को अनिवार्य बनाते हैं।