Copertina

Combining Type Checking and Formal Verification for Lightweight OS Correctness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ijaz, Ramla, Boos, Kevin, Zhong, Lin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Operating Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SSV: Sparse Speculative Verification for Efficient LLM Inference
di: Wang, Zhibin, et al.
Pubblicazione: (2026)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
di: Zhao, Xinkui, et al.
Pubblicazione: (2025)

Vmem: A Lightweight Hot-Upgradable Memory Management for In-production Cloud Environment
di: Zheng, Hao, et al.
Pubblicazione: (2025)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
di: Xiao, Yao, et al.
Pubblicazione: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
di: Zheng, Wenxin, et al.
Pubblicazione: (2025)

ParaCell: Paravirtualized Secure Containers with Lightweight Intra-Container Isolation and Intent-Driven Memory Management
di: Wu, Yiyang, et al.
Pubblicazione: (2026)

gpu_ext: Extensible OS Policies for GPUs via eBPF
di: Zheng, Yusheng, et al.
Pubblicazione: (2025)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
di: She, Jianshu
Pubblicazione: (2026)

Ringmaster: How to juggle high-throughput host OS system calls from TrustZone TEEs
di: Habeeb, Richard, et al.
Pubblicazione: (2026)

μFork: Supporting POSIX fork Within a Single-Address-Space OS
di: Kressel, John Alistair, et al.
Pubblicazione: (2025)

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
di: Frank, Elena, et al.
Pubblicazione: (2025)

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

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
di: Thapa, Bipin, et al.
Pubblicazione: (2026)

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
di: Peng, Yuke, et al.
Pubblicazione: (2025)

HybridTier: an Adaptive and Lightweight CXL-Memory Tiering System
di: Song, Kevin, et al.
Pubblicazione: (2023)

ZeroOS: A Universal Modular Library OS for zkVMs
di: Zou, Guangxian, et al.
Pubblicazione: (2025)

Analysis of Security in OS-Level Virtualization
di: Ketha, Krishna Sai, et al.
Pubblicazione: (2025)

Blindfold: Confidential Memory Management by Untrusted Operating System
di: Li, Caihua, et al.
Pubblicazione: (2024)

Composable OS Kernel Architectures for Autonomous Intelligence
di: Singh, Rajpreet, et al.
Pubblicazione: (2025)

Delegation with Trust<T>: A Scalable, Type- and Memory-Safe Alternative to Locks
di: Ahmad, Noaman, et al.
Pubblicazione: (2024)

Herding LLaMaS: Using LLMs as an OS Module
di: Kamath, Aditya K, et al.
Pubblicazione: (2024)

Dirigent: Lightweight Serverless Orchestration
di: Cvetković, Lazar, et al.
Pubblicazione: (2024)

RUISA Operational Ecosystem Architecture
di: AL Mohtar, Mouayad
Pubblicazione: (2026)

Crash-Consistent Checkpointing for AI Training on macOS/APFS
di: Jeon, Juha
Pubblicazione: (2025)

AgentCgroup: Understanding and Controlling OS Resources of AI Agents
di: Zheng, Yusheng, et al.
Pubblicazione: (2026)

LithOS: An Operating System for Efficient Machine Learning on GPUs
di: Coppock, Patrick H., et al.
Pubblicazione: (2025)

Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
di: Zheng, Yusheng, et al.
Pubblicazione: (2025)

My CXL Pool Obviates Your PCIe Switch
di: Zhong, Yuhong, et al.
Pubblicazione: (2025)

Characterizations of Type-III Bernoulli Scheme
di: Zhou, Tianyi
Pubblicazione: (2025)

Don't Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy
di: Zhong, Shawn Wanxiang, et al.
Pubblicazione: (2026)

Data-driven Software-based Power Estimation for Embedded Devices
di: Wang, Haoyu, et al.
Pubblicazione: (2024)

MaLV-OS: Rethinking the Operating System Architecture for Machine Learning in Virtualized Clouds
di: Bitchebe, Stella, et al.
Pubblicazione: (2025)

GoCkpt: Gradient-Assisted Multi-Step overlapped Checkpointing for Efficient LLM Training
di: Zhang, Keyao, et al.
Pubblicazione: (2025)

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration
di: Xiang, Lingfeng, et al.
Pubblicazione: (2024)

Unital shift equivalence
di: Brix, Kevin Aguyar, et al.
Pubblicazione: (2025)

On strong shift equivalence for row-finite graphs and C*-algebras
di: Brix, Kevin Aguyar, et al.
Pubblicazione: (2022)

PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
di: Wei, Xingda, et al.
Pubblicazione: (2024)

RTP-LLM: High-Performance Alibaba LLM Inference Engine
di: Tan, Boyu, et al.
Pubblicazione: (2026)

Demystifying Serverless Costs on Public Platforms: Bridging Billing, Architecture, and OS Scheduling
di: Lin, Changyuan, et al.
Pubblicazione: (2025)

Formal Definitions and Performance Comparison of Consistency Models for Parallel File Systems
di: Wang, Chen, et al.
Pubblicazione: (2024)