conftrace_

operating system

17 papers

Explore in graph

Also known as

OS

Co-occurring keywords

memory management (43) address space (3) state management (3) process isolation (2) virtual memory (5) rust language (2) address space isolation (3) resource allocation (251) performance optimization (47) embedded operating system (2)

Papers

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026
QOS: Quantum Operating System OSDI 2025
OS Agents: A Survey on MLLM-based Agents for Computer, Phone and Browser Use ACL 2025
EMT: An OS Framework for New Memory Translation Architectures OSDI 2025
Making Kernel Bypass Practical for the Cloud with Junction NSDI 2024
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel OSDI 2024
Harvesting Idle Memory for Application-managed Soft State with Midas NSDI 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
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network OSDI 2020
Theseus: an Experiment in Operating System Structure and State Management OSDI 2020
Do OS abstractions make sense on FPGAs? OSDI 2020
RedLeaf: Isolation and Communication in a Safe Operating System 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