Expertini Research Research

Browse Research Papers

112+ open-access research outputs.

✕ Clear
🔍 michael crabb 📂 Computer Science
Showing 112 results for "michael crabb" in Computer Science
Computer Science Preprint PDF DOI

Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes

Tianyuan Wu, Chaokun Chang, Lunxi Cao, Wei Gao, Wei Wang · 2026

Autonomous agents act through sandboxed containers and microVMs whose state spans filesystems, processes, and runtime artifacts. Checkpoint and restore (C/R) of this state is needed for fault toleranc…

Read Paper →
Computer Science Preprint PDF DOI

Slice Agent: Identifying and Isolating Slices in Shared Open Radio Unit

Felipe Arnholda, Flavio Rocha, Lucio Prade, Cristiano Bonato Both · 2026

Network Slice as a Service (NSaaS) is a key enabler of Beyond Fifth Generation (5G) and Sixth Generation (6G) networks, supporting next-generation applications such as extended reality (XR), immersive…

Read Paper →
Computer Science Preprint PDF DOI

LITE: Lightweight Channel Gain Estimation with Reduced X-Haul CSI Signaling in O-RAN

David Goez, Marco Piazzola, Giulia Costa, Achiel Colpaert, Rodney Martinez Alonso, Esra Aycan Beyazit, Nina Slamnik-Krijestorac, Johann M. Marquez-Barja, Miguel Camelo Botero · 2026

Cell-Free Massive Multiple-Input Multiple-Output (CF-MaMIMO) in Open Radio Access Network (O-RAN) promises high spectral efficiency but is limited by frequent Channel State Information (CSI) exchanges…

Read Paper →
Computer Science Preprint PDF DOI

CRAB: Codebook Rebalancing for Bias Mitigation in Generative Recommendation

Zezhong Fan, Ziheng Chen, Luyi Ma, Jin Huang, Lalitesh Morishetti, Kaushiki Nag, Sushant Kumar, Kannan Achan · 2026

Generative recommendation (GeneRec) has introduced a new paradigm that represents items as discrete semantic tokens and predicts items in a generative manner. Despite its strong performance across mul…

Read Paper →
Computer Science Preprint PDF DOI

Code Review Agent Benchmark

Yuntong Zhang, Zhiyuan Pan, Imam Nur Bani Yusuf, Haifeng Ruan, Ridwan Shariffdeen, Abhik Roychoudhury · 2026

Software engineering agents have shown significant promise in writing code. As AI agents permeate code writing, and generate huge volumes of code automatically -- the matter of code quality comes fron…

Read Paper →
Computer Science Preprint PDF DOI

Temporal Panel Selection in Ongoing Citizens' Assemblies

Yusuf Hakan Kalayci, Evi Micha · 2026

Permanent citizens' assemblies are ongoing deliberative bodies composed of randomly selected citizens, organized into panels that rotate over time. Unlike one-off panels, which represent the populatio…

Read Paper →
Computer Science Preprint PDF DOI

Solving the Post-Quantum Control Plane Bottleneck: Energy-Aware Cryptographic Scheduling in Open RAN

Neha Gupta, Hamed Alimohammadi, Mohammad Shojafar, De Mi, Muhammad N.M. Bhutta · 2026

The Open Radio Access Network (O-RAN) offers flexibility and innovation but introduces unique security vulnerabilities, particularly from cryptographically relevant quantum computers. While Post-Quant…

Read Paper →
Computer Science Preprint PDF DOI

Labor, Capital, and Machine: Toward a Labor Process Theory for HCI

Yigang Qin, EunJeong Cheon · 2026

The HCI community has called for renewed attention to labor issues and the political economy of computing. Yet much work remains in engaging with labor theory to better understand modern work and work…

Read Paper →
Computer Science Preprint PDF DOI

A $5$-Approximation Analysis for the Cover Small Cuts Problem

Miles Simmons, Ishan Bansal, Joe Cheriyan · 2026

In the Cover Small Cuts problem, we are given a capacitated (undirected) graph $G=(V,E,u)$ and a threshold value $\lambda$, as well as a set of links $L$ with end-nodes in $V$ and a non-negative cost …

Read Paper →
Computer Science Preprint PDF DOI

Exploration on Highly Dynamic Graphs

Ashish Saxena, Kaushik Mondal · 2026

We study the exploration problem by mobile agents in two prominent models of dynamic graphs: $1$-Interval Connectivity and Connectivity Time. The $1$-Interval Connectivity model was introduced by Kuhn…

Read Paper →
Computer Science Preprint PDF DOI

A tight example for approximation ratio 5 for covering small cuts by the primal-dual method

Zeev Nutov · 2025

In the Small Cuts Cover problem we seek to cover by a min-cost edge-set the set family of cuts of size/capacity $<k$ of a graph. Recently, Simmons showed that the primal-dual algorithm of Williamson, …

Read Paper →
Computer Science Preprint PDF DOI

SceneGuard: Training-Time Voice Protection with Scene-Consistent Audible Background Noise

Rui Sang, Yuxuan Liu · 2025

Voice cloning technology poses significant privacy threats by enabling unauthorized speech synthesis from limited audio samples. Existing defenses based on imperceptible adversarial perturbations are …

Read Paper →
Computer Science Preprint PDF DOI

Formal Verification of Isothermal Chemical Reactors

Parivash Feyzishendi, Sophia Hamer, Jinyu Huang, Tyler R. Josephson · 2025

Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whether certain states …

Read Paper →
Computer Science Preprint PDF DOI

Click A, Buy B: Rethinking Conversion Attribution in E- Commerce Recommendations

Xiangyu Zeng, Amit Jaspal, Bin Liu, Goutham Panneeru, Kevin Huang, Nicolas Bievre, Mohit Jaggi, Prathap Maniraju, Ankur Jain · 2025

User journeys in e-commerce routinely violate the one-to-one assumption that a clicked item on an advertising platform is the same item later purchased on the merchant's website/app. For a significant…

Read Paper →
Computer Science Preprint PDF DOI

A Theory of Universal Rate-Distortion-Classification Representations for Lossy Compression

Nam Nguyen, Thinh Nguyen, Bella Bose · 2025

In lossy compression, Blau and Michaeli [5] introduced the information rate-distortion-perception (RDP) function, extending traditional rate-distortion theory by incorporating perceptual quality. More…

Read Paper →
Computer Science Preprint PDF DOI

Fixing Non-blocking Data Structures for Better Compatibility with Memory Reclamation Schemes

Md Amit Hasan Arovi, Ruslan Nikolaev · 2025

We present a new technique, Safe Concurrent Optimistic Traversals (SCOT), to address a well-known problem related to optimistic traversals with classical and more recent safe memory reclamation (SMR) …

Read Paper →
Computer Science Preprint PDF DOI

Tight analysis of the primal-dual method for edge-covering pliable set families

Zeev Nutov · 2025

A classic result of Williamson, Goemans, Mihail, and Vazirani [STOC 1993: 708-717] states that the problem of covering an uncrossable set family by a min-cost edge set admits approximation ratio $2$, …

Read Paper →
Computer Science Preprint PDF DOI

A Never-Ending Story: Revisiting Requirements Major Misunderstandings

Julio Cesar Leite · 2025

A magic medallion is central in Michael Ender novel, and it is depicted as two snakes biting each other, in a loop. Folk tale says that the design of the medallion changed for the Wolfgang Petersen mo…

Read Paper →
Computer Science Preprint PDF DOI

Hades: Hierarchical Adaptable Decoding for Efficient and Elastic vRAN

Jincao Zhu, Kobus Van Der Merwe, Xenofon Foukas, Bozidar Radunovic · 2025

In cellular networks, virtualized Radio Access Networks (vRANs) enable replacing traditional specialized hardware at cell sites with software running on commodity servers distributed across edge and r…

Read Paper →
Computer Science Preprint PDF DOI

From Public Square to Echo Chamber: The Fragmentation of Online Discourse

Abhinav Pratap, Amit Pathak · 2025

This paper examines how social media algorithms and filter bubbles contribute to the fragmentation of online discourse, fostering ideological divides and undermining shared understanding. Drawing on M…

Read Paper →
Page 1 of 6 Next →