Cover Image

Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Qingyuan, Zou, Mo, Zhang, Hengbin, Du, Dong, Xia, Yubin, Chen, Haibo
Format:	Preprint
Published:	2025
Subjects:	Operating Systems Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
by: Lin, Hongyu, 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)

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

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

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

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

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

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

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

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

sqlelf: a SQL-centric Approach to ELF Analysis
by: Zakaria, Farid, et al.
Published: (2024)

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)

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

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
by: Ceravola, Antonello, 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)

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

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

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)

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

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

HeteroPod: XPU-Accelerated Infrastructure Offloading for Commodity Cloud-Native Applications
by: Yang, Bicheng, et al.
Published: (2025)

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

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

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
by: Li, Shangyu, et al.
Published: (2025)

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

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

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

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

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)

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