Expertini Research Research

Browse Research Papers

48,784+ open-access research outputs.

โœ• Clear
๐Ÿ” software
Showing 48784 results for "software"
Neuroscience Preprint PDF DOI

Goxpyriment: A Go Framework for Behavioral and Cognitive Experiments

Christophe Pallier, Julie Bonnaire, Marie-France Fourcade ยท 2026

We introduce `Goxpyriment', a new open-source software framework for programming behavioral and cognitive experiments using the Go programming language. The library is designed to address some limitatโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

ARGUS: Agentic GPU Optimization Guided by Data-Flow Invariants

Haohui Mai, Xiaoyan Guo, Xiangyun Ding, Daifeng Li, Qiuchu Yu, Chenzhun Guo, Cong Wang, Jiacheng Zhao, Christos Kozyrakis, Binhang Yuan ยท 2026

LLM-based coding agents can generate functionally correct GPU kernels, yet their performance remains far below hand-optimized libraries on critical computations such as matrix multiplication, attentioโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SCENIC: Stream Computation-Enhanced SmartNIC

Benjamin Ramhorst, Maximilian Jakob Heer, Luhao Liu, Heejae Kim, Jonas Dann, Jin-Soo Kim, Gustavo Alonso ยท 2026

Although modern, AI-centric datacenters heavily rely on SmartNICs, existing devices impose a hard trade-off. Commercial SmartNICs provide high bandwidth and easy software integration, but offer limiteโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

QLLVM: A Scalable Quantum-Classical Co-Compilation Framework based on LLVM

Yu Zhu, Qiming Du, Yuqiong Jin, Woji He, Hang Lian, Xin Zhou, Jinchen Xu, Zheng Shan ยท 2026

To address the urgent need in the NISQ era for high-performance, scalable quantum compilers and to advance the integration of classical and quantum computing, we present QLLVM, an advanced Quantum-Claโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Atropos: Improving Cost-Benefit Trade-off of LLM-based Agents under Self-Consistency with Early Termination and Model Hotswap

Naryeong Kim, Shin Yoo ยท 2026

Open-weight Small Language Models(SLMs) can provide faster local inference at lower financial cost, but may not achieve the same performance level as commercial Large Language Models (LLMs) that are oโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Emulation-based System-on-Chip Security Verification: Challenges and Opportunities

Tanvir Rahman, Shuvagata Saha, Ahmed Y. Alhurubi, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor ยท 2026

Increasing system-on-chip (SoC) heterogeneity, deep hardware/software integration, and the proliferation of third-party intellectual property (IP) have brought security validation to the forefront of โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization

Hanyun Jiang, Peisen Yao, Kaiyue Li, Tingting Lin, Chengpeng Wang, Kui Ren ยท 2026

Code optimization remains a core objective in software development, yet modern compilers struggle to navigate the enormous optimization spaces. While recent research has looked into employing large laโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Applying SHAPR in AI-Assisted Research Software Development: Lessons Learnt from Building a Share Trading System

Ka Ching Chan ยท 2026

Generative AI is changing how research software is developed, but rapid AI-assisted development can weaken continuity, traceability, and methodological clarity. SHAPR (Solo, Human-centred, AI-assistedโ€ฆ

Read Paper โ†’
Engineering Preprint PDF DOI

DEX-Mouse: A Low-cost Portable and Universal Interface with Force Feedback for Data Collection of Dexterous Robotic Hands

Joonho Koh, Haechan Jung, Nayoung Kim, Wook Ko, Changjoo Nam ยท 2026

Data-driven dexterous hand manipulation requires large-scale, physically consistent demonstration data. Simulation and video-based methods suffer from sim-to-real gaps and retargeting problems, while โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

MLDAS: Machine Learning Dynamic Algorithm Selection for Software-Defined Networking Security

Pablo Benlloch, Oscar Romero, Antonio Leon, Jaime Lloret ยท 2026

Network security is a critical concern in the digital landscape of today, with users demanding secure browsing experiences and protection of their personal data. This study explores the dynamic integrโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Three ways to share a QPU: Scheduling strategies for hybrid Quantum-HPC applications

Marco Cipollini, Simone Rizzo, Sergio Iserte, Paolo Viviani, Giacomo Vitali, Matteo Barbieri, Gabriella Bettonte, Elisabetta Boella, Fulvio Ganz, Roberto Rocco, Orazio Spina, Antonio J. Pena, Petter Sand{aa}s, Iacopo Colonnelli, Alberto Scionti, Chiara Vercellino, Emanuele Dri, Jonathan Frassineti, Sara Marzella, Andrea Muratori, Daniele Ottaviani, Olivier Terzo, Bartolomeo Montrucchio, Daniele Gregori ยท 2026

As quantum computing (QC) technologies mature, their integration into established high-performance computing (HPC) infrastructures is becoming a central objective for next-generation computing systemsโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

Text2Arch: A Dataset for Generating Scientific Architecture Diagrams from Natural Language Descriptions

Shivank Garg, Sankalp Mittal, Manish Gupta ยท 2026

Communicating complex system designs or scientific processes through text alone is inefficient and prone to ambiguity. A system that automatically generates scientific architecture diagrams from text โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study

Michal Topfer, Frantisek Plasil, Tomas Bures, Petr Hnetynka ยท 2026

Vibe coding inherently assumes iterative refinement of LLM-generated code through feedback loops. While effective for conventional software tasks, its reliability in runtime-adaptive systems is uncleaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SWE-TRACE: Optimizing Long-Horizon SWE Agents Through Rubric Process Reward Models and Heuristic Test-Time Scaling

Hao Han, Jin Xie, Xuehao Ma, Weiquan Zhu, Ziyao Zhang, ZhiLiang Long, Hongkai Chen, Qingwen Ye ยท 2026

Resolving real-world software engineering (SWE) issues with autonomous agents requires complex, long-horizon reasoning. Current pipelines are bottlenecked by unoptimized demonstration data, sparse exeโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Anderson Acceleration for Linearly Converging SQP-Type Methods

Jonathan Frey, David Kiessling, Katrin Baumgartner, Moritz Diehl ยท 2026

Although Anderson acceleration (AA) is known to speed up fixed-point iterations, it is rarely applied in constrained optimization, in particular sequential quadratic programming (SQP). We show that thโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Bounded Autonomy for Enterprise AI: Typed Action Contracts and Consumer-Side Execution

Sarmad Sohail, Ghufran Haider ยท 2026

Large language models are increasingly used as natural-language interfaces to enterprise software, but their direct use as system operators remains unsafe. Model errors can propagate into unauthorizedโ€ฆ

Read Paper โ†’
AI & Data Science Preprint PDF DOI

HWE-Bench: Benchmarking LLM Agents on Real-World Hardware Bug Repair Tasks

Fan Cui, Hongyuan Hou, Zizhang Luo, Chenyun Yin, Yun Liang ยท 2026

Existing benchmarks for hardware design primarily evaluate Large Language Models (LLMs) on isolated, component-level tasks such as generating HDL modules from specifications, leaving repository-scale โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

PlanB: Efficient Software IPv6 Lookup with Linearized $B^+$-Tree

Zhihao Zhang, Lanzheng Liu, Chen Chen, Huiba Li, Jiwu Shu, Windsor Hsu, Yiming Zhang ยท 2026

IP lookup via Longest Prefix Match (LPM) is critical for packet forwarding. Unfortunately, conventional lookup algorithms are inefficient for IPv6 Forwarding Information Bases (FIBs), which are characโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Asking What Matters: Reward-Driven Clarification for Software Engineering Tasks

Sanidhya Vijayvargiya, Vijay Viswanathan, Graham Neubig ยท 2026

Humans often specify tasks incompletely, so assistants must know when and how to ask clarifying questions. However, effective clarification remains challenging in software engineering tasks as not allโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Prompt-Driven Code Summarization: A Systematic Literature Review

Afia Farjana, Zaiyu Cheng, Antonio Mastropaolo ยท 2026

Software documentation is essential for program comprehension, developer onboarding, code review, and long-term maintenance. Yet producing quality documentation manually is time-consuming and frequentโ€ฆ

Read Paper โ†’
โ† Prev Page 19 of 2440 Next โ†’