💻 computer science

Analyzing the Evolution of Structural Communities within Microservice Architecture

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

Alexander Bakhtin, Matteo Esposito, Valentina Lenarduzzi, Davide Taibi2026-06-04
💻 computer science

Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study

यह शोध पत्र 63 LLM-एजेंट टोकन बजट ओवररन का एक अनुभवजन्य कैटलॉग प्रस्तुत करता है और "token-budgets" पेश करता है, जो एक टाइप-सेफ रस्ट (Rust) क्रेट है जो एफ़ाइन ओनरशिप (affine ownership) का लाभ उठाकर कंपाइल टाइम पर गैर-बायपास करने योग्य खर्च की सीमाओं को लागू करता है, जो प्रभावी रूप से उन डेलीगेशन-संबंधित लागत विस्फोटों को रोकता है जो एड-हॉक रनटाइम समाधानों को प्रभावित करते हैं।

Sajjad Khan2026-06-04
💻 computer science

The Invisible Lottery: How Subtle Cues Steer Algorithm Choice in LLM Code Generation

यह शोध पत्र प्रदर्शित करता है कि आकस्मिक प्रॉम्प्ट संकेत (incidental prompt cues) कोड जनरेशन कार्यों में बड़े भाषा मॉडलों को विशिष्ट एल्गोरिद्मिक कार्यान्वयन की ओर व्यवस्थित और महत्वपूर्ण रूप से मोड़ सकते हैं—भले ही सभी आउटपुट कार्यात्मक रूप से सही हों—जो एक "अदृश्य लॉटरी" (invisible lottery) निर्मित करता है जो प्रदर्शन, सुरक्षा और रखरखाव क्षमता को प्रभावित करता है।

Akanksha Narula, Mofasshara Binte Rafique, Laurent Bindschaedler2026-06-04
💻 computer science

HighTide: An Agent-Curated Open-Source VLSI Benchmark Suite

यह शोध पत्र HighTide को प्रस्तुत करता है, जो विविध डिज़ाइन भाषाओं, बेज़ल (Bazel) आधारित वृद्धिशील संकलन (incremental compilation), और ओपन-सोर्स हार्डवेयर इकोसिस्टम को समर्थन देने के लिए एजेंट कौशल के माध्यम से एआई-सहायता प्राप्त क्यूरेशन के साथ दीर्घकालिक निर्णय लॉग बनाए रखने वाले एक विकसित, ओपन-सोर्स VLSI बेंचमार्क सूट की विशेषता रखता है।

Benjamin Goldblatt, Paolo Pedroso, Farhad Modaresi, Ethan Sifferman, Matthew R. Guthaus2026-06-04
🤖 machine learning

Latent Anchor-Driven Test Generation for Deep Neural Networks

यह शोध पत्र Latte प्रस्तुत करता है, जो एक ब्लैक-बॉक्स परीक्षण ढांचा है जो विविध, अर्थपूर्ण रूप से निकटवर्ती और दोष-प्रकट करने वाले टेस्ट केस उत्पन्न करने के लिए एक प्री-ट्रेंड VQ-VAE और एंकर-ड्रिवन लेटेंट स्पेस म्यूटेशन का लाभ उठाता है, जो प्रभावी रूप से एक्सप्लोरेशन कंट्रोलेबिलिटी, फेलियर डाइवर्सिटी और सिमेंटिक ड्रिफ्ट के बीच मौजूदा समझौतों पर विजय प्राप्त करता है।

Bin Duan, Matthew B. Dwyer, Guowei Yang2026-06-04
🤖 machine learning

Testing Neural Networks via Bayesian-Guided Exploration of Decision Landscapes

यह शोध पत्र BayesWarp का परिचय देता है, जो एक नवीन परीक्षण ढांचा (framework) है जो व्याख्या योग्य सैलिएंसी तकनीकों (saliency techniques) को अनिश्चितता-जागरूक बेयस अनुकूलन (uncertainty-aware Bayesian Optimization) के साथ जोड़ता है ताकि विविध और अर्थपूर्ण रूप से प्रशंसनीय न्यूरल नेटवर्क विफलताओं को कुशलतापूर्वक खोजा जा सके, जिससे लक्षित फाइन-ट्यूनिंग के माध्यम से मॉडल की विश्वसनीयता और प्रदर्शन को बढ़ाया जा सके।

Bin Duan, Meiru Che, Guowei Yang2026-06-04
💻 computer science

Toward a Generalized Defense Across Sparse, Continuous, and Structured Parameter Attacks

यह शोध पत्र ParDef पेश करता है, जो एक सामान्यीकृत रक्षा ढांचा (generalized defense framework) है जो कीड चैनल रीपैरामीट्राइजेशन (keyed channel reparameterization), QC-LDPC क्वांटाइजेशन और एडेप्टिव रोबस्ट इन्फरेंस को जोड़ता है ताकि उच्च मॉडल प्रदर्शन और मध्यम परिनियोजन ओवरहेड बनाए रखते हुए विविध, अप्रत्याशित पैरामीटर हमलों के विरुद्ध डीप न्यूरल नेटवर्क को प्रभावी ढंग से सुरक्षित किया जा सके।

Bin Duan, Zeyu Bai, Guowei Yang2026-06-04
💻 computer science

Towards Process Mining Use Case Map Models with PM4Py-UCM

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

Daniel Amyot2026-06-04
💻 computer science

Context-as-a-Service: Surfacing Cross-File Dependency Chains for LLM-Generated Developer Documentation

यह शोध पत्र कॉन्टेक्स्ट-एज़-ए-सर्विस (CaaS) को प्रस्तुत करता है, जो एक रिट्रीवल लेयर है जो LLM एजेंटों को स्पष्ट रूप से दिखाई न देने वाली क्रॉस-फाइल डिपेंडेंसी चेन को कुशलतापूर्वक ट्रेस करने में सक्षम बनाता है, जिससे बेसलाइन रिपॉजिटरी टूल्स की तुलना में डेवलपर डॉक्यूमेंटेशन को जेनरेट और वैलिडेट करने की सटीकता और दक्षता में सुधार होता है।

Ameya Gawde, Vyzantinos Repantis, Harshvardhan Singh, Lucy Moys2026-06-04
💻 computer science

SoK: Post-Quantum Cryptography (PQC) Implementation in Software Systems

यह ज्ञान का प्रणालीकरण (SoK) शोध पत्र मानव, संगठन और प्रौद्योगिकी (HOT) ढांचे के माध्यम से पोस्ट-क्वांटम क्रिप्टोग्राफी (PQC) कार्यान्वयन की चुनौतियों का विश्लेषण करता है, जो एक महत्वपूर्ण असंतुलन को प्रकट करता है जहाँ मानवीय और संगठनात्मक कारकों को कम खोजा गया है, और सफल एकीकरण के लिए एक समन्वित सामाजिक-तकनीकी परिवर्तन का मार्गदर्शन करने हेतु PQC-HOT मॉडल का प्रस्ताव करता है।

R. D. N. Shakya, C. P. Wijesiriwardana, S. M. Vidanagamachchi, Nalin A. G. Arachchilage2026-06-04✓ Author reviewed