Expertini Research Research

Browse Research Papers

31,669+ open-access research outputs.

✕ Clear
🔍 sven leyffer 📂 Computer Science
Showing 31669 results for "sven leyffer" in Computer Science
Computer Science Preprint PDF DOI

Unsafe and Unused? A History of Utility Code in Mature Open Source Projects

Brandon Keller, Kaitlin Yandik, Angela Ngo, Andy Meneely · 2026

Filenames are a concise means of conveying information about source code to fellow developers. One such convention is util. Commonly understood to stand for "utility", filenames with the letters util …

Read Paper →
Computer Science Preprint PDF DOI

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures

Sigma Jahan, Saurabh Singh Rajput, Tushar Sharma, Mohammad Masudur Rahman · 2026

Transformer models are widely deployed in critical AI applications, yet faults in their attention mechanisms, projections, and other internal components often degrade behavior silently without raising…

Read Paper →
Computer Science Preprint PDF DOI

I hope we don't do to trust what advertising has done to love

Jade Alglave · 2026

Advertising uses love to sell stuff, like nylons. It also uses the word "love" in trivialising ways -- do you "love" your oven? When I hear about trust in the context of AI, especially agentic, I hope…

Read Paper →
Computer Science Preprint PDF DOI

On the Principal Minor Expansion and Complexity of the Symmetrized Determinant

Sanyam Agarwal, Markus Blaser, Mridul Gupta · 2026

Barvinok introduced the symmetrized determinant ($\sdet$) as a \emph{non-commutative} analogue of the determinant. Intuitively, given a square matrix over an associative algebra, we can obtain the sym…

Read Paper →
Computer Science Preprint PDF DOI

Distributed Santa Claus via Global Rounding

Tijn de Vos, Leo Wennmann, Malte Baumecker, Yannic Maus, Florian Schager · 2026

In this paper, we consider the Santa Claus problem in the CONGEST model. This NP-hard problem can be modeled as a bipartite graph of children and gifts where an edge indicates that a child desires a g…

Read Paper →
Computer Science Preprint PDF DOI

From Mirage to Grounding: Towards Reliable Multimodal Circuit-to-Verilog Code Generation

Guang Yang, Xing Hu, Xiang Chen, Xin Xi · 2026

Multimodal large language models (MLLMs) are increasingly used to translate visual artifacts into code, from UI mockups into HTML to scientific plots into Python scripts. A circuit diagram can be view…

Read Paper →
Computer Science Preprint PDF DOI

Affinity Tailor: Dynamic Locality-Aware Scheduling at Scale

Jin Xin Ng, Ori Livneh, Richard O'Grady, Josh Don, Peng Ding, Samuel Grossman, Luis Otero, Chris Kennelly, David Lo, Carlos Villavieja · 2026

Modern large multicore systems often run multiple workloads that share CPUs under schedulers such as Linux CFS. To keep CPUs busy, these schedulers load-balance runnable work, causing each workload to…

Read Paper →
Computer Science Preprint PDF DOI

AI Inference as Relocatable Electricity Demand: A Latency-Constrained Energy-Geography Framework

Xubin Luo, Yang Cheng · 2026

AI inference is becoming a persistent and geographically distributed source of electricity demand. Unlike many traditional electrical loads, inference workloads can sometimes be executed away from the…

Read Paper →
Computer Science Preprint PDF DOI

Maximally Diverse Stable Matchings: Optimizing Arbitrary Institutional Objectives

Gergely Csaji, Zhaohong Sun · 2026

Stable matching theory is the foundation of centralized clearinghouses worldwide, from school choice programs to medical residency allocations. However, incorporating complex distributional goals-such…

Read Paper →
Computer Science Preprint PDF DOI

MASCing: Configurable Mixture-of-Experts Behavior via Activation Steering Masks

Jona te Lintelo, Lichao Wu, Marina Krcek, Sengim Karayalcin, Stjepan Picek · 2026

Mixture-of-Experts (MoE) architectures in Large Language Models (LLMs) have significantly reduced inference costs through sparse activation. However, this sparse activation paradigm also introduces ne…

Read Paper →
Computer Science Preprint PDF DOI

Temporal Routing in Static Networks: The Schedule Completion Problem

Michelle Doring, Niklas Mohrin, George Skretas · 2026

We introduce the TemporallyEdgeDisjointScheduleCompletion (TEDSC) problem in which we need to cover a set of temporal edge demands $D$ by routing $k$ temporal walks through a directed static graph whi…

Read Paper →
Computer Science Preprint PDF DOI

LZn : Robust LoRa Frame Synchronization Under Frame Collisions and Ultra-Low SNR Conditions

Jose Alamos, Thomas C. Schmidt, Matthias Wahlisch · 2026

LoRa has become a widely adopted wireless modulation scheme in LPWANs due to its low cost, long range, and minimal transmission power. However, collisions between frames of the same spreading factor -…

Read Paper →
Computer Science Preprint PDF DOI

GenAI in Software Engineering: The Role of Technology Acceptance Models

Oscar Johansson, Jurgen Borstler, Nauman bin Ali · 2026

Context: Many organizations are keen to incorporate generative~AI (GenAI) into their software development processes. Technology acceptance models, such as the Unified Theory of Acceptance and Use of T…

Read Paper →
Computer Science Preprint PDF DOI

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks

Samuel Pastva, Van-Giang Trinh · 2026

We present BAss (BDD-based ADF symbolic solver), a novel analysis tool for Abstract Dialectical Frameworks (ADFs) based on Binary Decision Diagrams (BDDs). It supports the fully symbolic computation o…

Read Paper →
Computer Science Preprint PDF DOI

I'm Fine, But My Voice Isn't: Cross-Modal Affective Dissonance Detection for Reflective Journaling

Sumin Lee · 2026

Digital journaling creates an authenticity gap: users consciously translate raw emotions into text, often sanitizing narratives even in private writing. We formalize this as Cross-Modal Affective Diss…

Read Paper →
Computer Science Preprint PDF DOI

Empire Amplifier: Uncovering and Contesting the Prioritization of Colonial Content on Platforms Through Community-Informed Algorithmic Auditing

Nel Escher, Bakyt Yrysov, Ashley McDermott, Daniel Chechelnitsky, Hermela Berehan Benyam, Nikola Banovic · 2026

Though online platforms claim to amplify Indigenous voices, Indigenous communities are worried that these systems are instead eroding their language and culture. We conduct a community-informed algori…

Read Paper →
Computer Science Preprint PDF DOI

SST-Guard: Detecting and Characterizing Server-Side Google Analytics in the Wild

Muhammad Jazlan, Alexander Gamero-Garrido, Zubair Shafiq, Yash Vekaria · 2026

As web browsers increasingly restrict client-side tracking, the web tracking ecosystem is shifting from client-side to server-side tracking (SST). In SST, the browser sends tracking requests to an int…

Read Paper →
Computer Science Preprint PDF DOI

Secure Cross-Silo Synthetic Genomic Data Generation

Daniil Filienko, Martine De Cock, Sikha Pentyala · 2026

Access to genomic data is highly regulated due to its sensitive nature. While safeguards are essential, cumbersome data access processes pose a significant barrier to the development of AI methods for…

Read Paper →
Computer Science Preprint PDF DOI

The Likelihood Ratio Wall: Structural Limits on Accurate Risk Assessment for Rare Violence

Marco Pollanen · 2026

Pretrial risk assessment tools are used on over one million U.S. defendants each year, yet their use for predicting rare violent re-offense faces a basic statistical barrier. We derive a universal pre…

Read Paper →
Computer Science Preprint PDF DOI

Fisher Markets with Approximately Optimal Bundles and the Need for a PCP Theorem for PPAD

Argyrios Deligkas, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos · 2026

We study the problem of computing a competitive equilibrium with approximately optimal bundles in Fisher markets with separable piecewise-linear concave (SPLC) utility functions, meaning that every bu…

Read Paper →
Page 1 of 1584 Next →