conftrace_

operating system

18 papers

Explore in graph

Also known as

OS

Co-occurring keywords · papers mentioning both

memory management (3) address space (3) state management (2) process isolation (2) virtual memory (2) rust language (2) address space isolation (2) resource allocation (2) performance optimization (2) failure handling (1)

Papers

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026 EMT: An OS Framework for New Memory Translation Architectures OSDI 2025 OS Agents: A Survey on MLLM-based Agents for Computer, Phone and Browser Use ACL 2025 OSCAR: Operating System Control via State-Aware Reasoning and Re-Planning ICLR 2025 QOS: Quantum Operating System OSDI 2025 Harvesting Idle Memory for Application-managed Soft State with Midas NSDI 2024 Making Kernel Bypass Practical for the Cloud with Junction NSDI 2024 Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel OSDI 2024 ExoPlane: An Operating System for On-Rack Switch Resource Augmentation NSDI 2023 From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation OSDI 2022 Operating System Support for Safe and Efficient Auxiliary Execution OSDI 2022 Do OS abstractions make sense on FPGAs? OSDI 2020 LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network OSDI 2020 RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020 Theseus: an Experiment in Operating System Structure and State Management OSDI 2020 Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency NSDI 2019 LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation OSDI 2018 Light-Weight Contexts: An OS Abstraction for Safety and Performance OSDI 2016