:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zakaria, Farid, Chen, Zheyuan, Quinn, Andrew, Scogland, Thomas R. W.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Databases Operating Systems
Online Access:	https://arxiv.org/abs/2405.03883
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbol Resolution MatRs: Make it Fast and Observable with Stable Linking
by: Zakaria, Farid, et al.
Published: (2025)

AgentSight: System-Level Observability for AI Agents Using eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
by: Gu, Yile, et al.
Published: (2025)

Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
by: Liu, Qingyuan, et al.
Published: (2025)

Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework
by: Denzinger, Tobias, et al.
Published: (2026)

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
by: Lin, Hongyu, et al.
Published: (2025)

Playing in the Sandbox: A Study on the Usability of Seccomp
by: Alhindi, Maysara, et al.
Published: (2025)

DeLog: An Efficient Log Compression Framework with Pattern Signature Synthesis
by: Yu, Siyu, et al.
Published: (2026)

Proto: A Guided Journey through Modern OS Construction
by: Choe, Wonkyo, et al.
Published: (2025)

Towards Online Code Specialization of Systems
by: Anand, Vaastav, et al.
Published: (2025)

Empowering WebAssembly with Thin Kernel Interfaces
by: Ramesh, Arjun, et al.
Published: (2023)

Scaling Inter-procedural Dataflow Analysis on the Cloud
by: Sun, Zewen, et al.
Published: (2024)

A Practical-Driven Framework for Transitioning Drive-by-Wire to Autonomous Driving Systems: A Case Study with a Chrysler Pacifica Hybrid Vehicle
by: Zhang, Dada, et al.
Published: (2024)

A Survey of Fuzzing Open-Source Operating Systems
by: Hu, Kun, et al.
Published: (2025)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
by: Dang, Pucheng, et al.
Published: (2025)

Configuration Validation with Large Language Models
by: Lian, Xinyu, et al.
Published: (2023)

AIOps Solutions for Incident Management: Technical Guidelines and A Comprehensive Literature Review
by: Remil, Youcef, et al.
Published: (2024)

SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
by: Bursey, Joseph, et al.
Published: (2024)

It's Not the Size: Harness Design Determines Operational Stability in Small Language Models
by: Cho, Yong-eun
Published: (2026)

Compiling Away the Overhead of Race Detection
by: Paznikov, Alexey, et al.
Published: (2025)

Designing Robust API Monitoring Solutions
by: D'Elia, Daniele Cono, et al.
Published: (2020)

Testing Access-Control Configuration Changes for Web Applications
by: Xiang, Chengcheng, et al.
Published: (2025)

The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
by: Mason, Tony
Published: (2026)

Threadbox: Sandboxing for Modular Security
by: Alhindi, Maysara, et al.
Published: (2025)

Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
by: Srinivasan, Naveen, et al.
Published: (2025)

CrashFixer: A crash resolution agent for the Linux kernel
by: Mathai, Alex, et al.
Published: (2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
by: Yang, Chenyuan, et al.
Published: (2025)

MNN-AECS: Energy Optimization for LLM Decoding on Mobile Devices via Adaptive Core Selection
by: Huang, Zhengxiang, et al.
Published: (2025)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
by: Ceravola, Antonello, et al.
Published: (2024)

Recover as It is Designed to Be: Recovering from Compatibility Mobile App Crashes by Reusing User Flows
by: Kim, Donghwi, et al.
Published: (2024)

Terminal Lucidity: Envisioning the Future of the Terminal
by: MacInnis, Michael, et al.
Published: (2025)

Object as a Service: Simplifying Cloud-Native Development through Serverless Object Abstraction
by: Lertpongrujikorn, Pawissanutt, et al.
Published: (2024)

Interferences within a certifiable design methodology for high-performance multi-core platforms
by: Khelassi, Mohamed Amine, et al.
Published: (2026)

Proxics: an efficient programming model for far memory accelerators
by: Liu, Zikai, et al.
Published: (2026)

Quine: Realizing LLM Agents as Native POSIX Processes
by: Ke, Hao
Published: (2026)

Who is in Charge here? Understanding How Runtime Configuration Affects Software along with Variables&Constants
by: Luo, Chaopeng, et al.
Published: (2025)

Fixed-Priority and EDF Schedules for ROS2 Graphs on Uniprocessor
by: Bell, Oren, et al.
Published: (2025)

AI-Assisted SQL Authoring at Industry Scale
by: Maddila, Chandra, et al.
Published: (2024)

Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
by: An, Junwen, et al.
Published: (2026)