Expertini Research Research

Browse Research Papers

16,353+ open-access research outputs.

โœ• Clear
๐Ÿ” memory ๐Ÿ“‚ Computer Science
Showing 16353 results for "memory" in Computer Science
Computer Science Preprint PDF DOI

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)

Omer Sakar, Soham Chakraborty, Marieke Huisman, Anton Wijs ยท 2026

Concurrent programming under weak memory concurrency faces substantial challenges to ensure correctness due to program behaviors that cannot be explained by thread interleaving, a.k.a. sequential consโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Behavioral Consistency and Transparency Analysis on Large Language Model API Gateways

Guanjie Lin, Yinxin Wan, Shichao Pei, Ting Xu, Kuai Xu, Guoliang Xue ยท 2026

Third-party Large Language Model (LLM) API gateways are rapidly emerging as unified access points to models offered by multiple vendors. However, the internal routing, caching, and billing policies ofโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Residual Risk Analysis in Benign Code: How Far Are We? A Multi-Model Semantic and Structural Similarity Approach

Mohammad Farhad, Shuvalaxmi Dass ยท 2026

Software security relies on effective vulnerability detection and patching, yet determining whether a patch fully eliminates risk remains an underexplored challenge. Existing vulnerability benchmarks โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

VRSafe: A Secure Virtual Keyboard to Mitigate Keystroke Inference in Virtual Reality

Yijun Yuan, Na Du, Adam J. Lee, Balaji Palanisamy ยท 2026

Password-based authentication is one of the most commonly used methods for verifying user identities, and its widespread usage continues in virtual reality (VR) applications. As a result, various formโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Can Virtual Agents Care? Designing an Empathetic and Personalized LLM-Driven Conversational Agent

Truong Le Minh Toan, Dieu Bang Mach, Tan Duy Le, Nguyen Tan Viet Tuyen ยท 2026

Mental health challenges are rising globally, while traditional support services face limited availability and high costs. Large language models offer potential for conversational support, but often lโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Realistic Virtual Flood Experience System Using 360{\deg} Videos and 3D City Models Constructed from Building Footprints

Tatsuro Banno, Koki Kawada, Mizuki Takenawa, Masatoshi Denda, Kiyoharu Aizawa ยท 2026

Virtual flood experience systems, which enable users to vividly experience flooding, are attracting increasing attention as effective tools for communicating flood risks. However, existing systems typโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Self-Aware Vector Embeddings for Retrieval-Augmented Generation: A Neuroscience-Inspired Framework for Temporal, Confidence-Weighted, and Relational Knowledge

Naizhong Xu ยท 2026

Modern retrieval-augmented generation (RAG) systems treat vector embeddings as static, context-free artifacts: an embedding has no notion of when it was created, how trustworthy its source is, or whicโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Extending Contract Verification for Parallel Programming Models to Fortran

Yussur Mustafa Oraji, Christian Bischof ยท 2026

High-performance computing often relies on parallel programming models such as MPI for distributed-memory systems. While powerful, these models are prone to subtle programming errors, leading to develโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

TLSCheck 2.0: An Enhanced Memory Forensics Approach to Efficiently Detect TLS Callbacks

Kartik N. Iyer, Parag H. Rughani ยท 2026

Memory analysis is a crucial technique in digital forensics that enables investigators to examine the runtime state of a system through physical memory dumps. While significant advances have been madeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Seeing Further and Wider: Joint Spatio-Temporal Enlargement for Micro-Video Popularity Prediction

Dali Wang, Yunyao Zhang, Junqing Yu, Yi-Ping Phoebe Chen, Chen Xu, Zikai Song ยท 2026

Micro-video popularity prediction (MVPP) aims to forecast the future popularity of videos on online media, which is essential for applications such as content recommendation and traffic allocation. Inโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Novel Low-Power Cache Architecture Based on 6-Transistor SRAM Cells

Naser Khatti Dizabadi, Ceyda Elcin Kaya ยท 2026

This paper presents a low-power cache architecture based on the series interconnection of conventional 6-transistor static random-access memory (6T SRAM) cells. The proposed approach aims to reduce leโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A GPU-Accelerated Framework for Multi-Attribute Range Filtered Approximate Nearest Neighbor Search

Zhonggen Li, Haoran Yu, Zixuan Xu, Yifan Zhu, Yunjun Gao ยท 2026

Range-filtered approximate nearest neighbor search (RFANNS) is increasingly critical for modern vector databases. However, existing solutions suffer from severe index inflation and construction overheโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

EnergAIzer: Fast and Accurate GPU Power Estimation Framework for AI Workloads

Kyungmi Lee, Zhiye Song, Eun Kyung Lee, Xin Zhang, Tamar Eilam, Anantha P. Chandrakasan ยท 2026

As AI workloads drive increases in datacenter power consumption, accurate GPU power estimation is critical for proactive power management. However, existing power models face a scalability bottleneck โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Scaling Worst-Case Optimal Datalog to GPUs

Yihao Sun, Kunting Qi, Thomas Gilray, Sidharth Kumar, Kristopher Micinski ยท 2026

Datalog is a declarative logic-programming language used for complex analytic reasoning workloads such as program analysis and graph analytics. Datalog's popularity is due to its unique price-point, mโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

From Hidden Profiles to Governable Personalization: Recommender Systems in the Age of LLM Agents

Jiahao Liu, Mingzhe Han, Guanming Liu, Weihang Wang, Dongsheng Li, Hansu Gu, Peng Zhang, Tun Lu, Ning Gu ยท 2026

Personalization has traditionally depended on platform-specific user models that are optimized for prediction but remain largely inaccessible to the people they describe. As LLM-based assistants increโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

3DPipe: A Pipelined GPU Framework for Scalable Generalized Spatial Join over Polyhedral Objects

Lyuheng Yuan, Da Yan, Akhlaque Ahmad, Fusheng Wang ยท 2026

Spatial join is a fundamental operation in spatial databases. With the rapid growth of 3D data in applications such as LiDAR-based object detection and 3D digital pathology, there is an increasing neeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Efficient Page Migration in Hybrid Memory Systems

Upasna, Venkata Kalyan Tavva ยท 2026

Heterogeneous Memory Architecture (HMA) aims to optimize memory usage by leveraging a combination of memory types, such as high-bandwidth memory (HBM), commodity DRAM, and non-volatile memory (NVM), wโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Adding Compilation Metadata To Binaries To Make Disassembly Decidable

Daniel Engel, Freek Verbeek, Pranav Kumar, Binoy Ravindran ยท 2026

The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format were augmented with โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Cyber Defense Benchmark: Agentic Threat Hunting Evaluation for LLMs in SecOps

Alankrit Chona, Igor Kozlov, Ambuj Kumar ยท 2026

We introduce the Cyber Defense Benchmark, a benchmark for measuring how well large language model (LLM) agents perform the core SOC analyst task of threat hunting: given a database of raw Windows evenโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

ReaLB: Real-Time Load Balancing for Multimodal MoE Inference

Yingping Wang, Yi Wu, Xiangyu Wu, Junwei Cui, Weilin Cai, Zhijiang Guo, Jiayi Huang ยท 2026

Mixture-of-Experts (MoE) architectures are widely used in modern large language models and multimodal models. However, inference efficiency is often limited by highly dynamic and skewed expert workloaโ€ฆ

Read Paper โ†’
โ† Prev Page 5 of 818 Next โ†’