yusuke1997/dblp-id-title huggingface dataset:
FedScale: Benchmarking Model and System Performance of Federated Learning
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System
Computation & Communication in R*: A Distributed Database Manager (Extended Abstract)
Scaling a file system to many cores using an operation log
Detecting large-scale system problems by mining console logs
Fault-scalable Byzantine fault-tolerant services
Terra: a virtual machine-based platform for trusted computing
Protocol Service Decomposition for High-Performance Networking
Pivot tracing: dynamic causal monitoring for distributed systems
The CAP Project - An Interim Evaluation
Chaos: scale-out graph processing from secondary storage
How ISO C became unusable for operating systems development
The Amber System: Parallel Programming on a Network of Multiprocessors
File system usage in Windows NT 4.0
The Network Unix System
Avoiding nostril-cam and postage-stamp people in mobile video conferences
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization
The Distributed V Kernel and its Performance for Diskless Workstations
The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM
Proving Multilevel Security of a System Design
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Caribou: Fine-Grained Geospatial Shifting of Serverless Applications for Sustainability
Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs
Integrating segmentation and paging protection for safe, efficient and transparent software extensions
TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Detecting past and present intrusions through vulnerability-specific predicates
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database
Observations on the Development of an Operating System
Understanding and Detecting Software Upgrade Failures in Distributed Systems
Configuration coverage in the analysis of large-scale system software
Proceedings of the 3rd Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, INFLOW 2015, Monterey, California, USA, October 4, 2015
Arboretum: A Planner for Large-Scale Federated Analytics with Differential Privacy
KStruct: preserving consistency through C annotations
Using declarative invariants for protecting file-system integrity
A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory
A Hardware Architecture for Implementing Protection Rings (Abstract)
The Portable Common Runtime Approach to Interoperability
Overview of the day
RPC in the x-Kernel: Evaluating New Design Techniques
Performance Assertion Checking
Building Efficient Wireless Sensor Networks with Low-Level Naming
In Support of Domain Structure for Operating Systems
Running application specific kernel code by a just-in-time compiler
DCP: Addressing Input Dynamism In Long-Context Training via Dynamic Context Parallelism
Towards a verified component platform
A Simple and Efficient Implementation for Small Databases
COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
Beyond Concurrent Pascal
dSpace: Composable Abstractions for Smart Spaces
ReCycle: Resilient Training of Large DNNs using Pipeline Adaptation
Debugging in the (very) large: ten years of implementation and experience
The Integration of Virtual Memory Management and Interprocess Communication in Accent (Abstract)
Extensible Security Architecture for Java
The interplay of software bloat, hardware energy proportionality and system bottlenecks
SEDA: An Architecture for Well-Conditioned, Scalable Internet Services
Daphne: performance debugging using model-driven anomaly characterization
Scalable consistency in Scatter
NVM heaps for accelerating browser-based applications
Pie: A Programmable Serving System for Emerging LLM Applications
Fast End-to-End Performance Simulation of Accelerated Hardware-Software Stacks
Understanding Silent Data Corruptions in a Large Production CPU Population
Performing Remore Operations Efficiently on a Local Computer Network (Summary)
Improving the Performance of Log-Structured File Systems with Adaptive Methods
Morph: Efficient File-Lifetime Redundancy Management for Cluster File Systems
METRIC: A Kernel Instrumentation System for Distributed Environments
t-kernel: a naturalizing OS kernel for low-power cost-effective computers
Separating agreement from execution for byzantine fault tolerant services
Optimistic Recovery for High-Availability Software via Partial Process State Preservation
Autobahn: Seamless high speed BFT
To infinity and beyond: time warped network emulation
Process control and communication
The Structuring of Systems Using Upcalls
Grove: a Separation-Logic Library for Verifying Distributed Systems
VirtuOS: an operating system with kernel virtualization
Towards Fine-grained, Automated Application Compartmentalization
Architectures for Enhancing Authentication Privacy and Security using Trusted Computing
KTransformers: Unleashing the Full Potential of CPU/GPU Hybrid Inference for MoE Models
Consideration in the design of a multiple computer system with extended core storage
Data layout for power efficient archival storage systems
Proceedings of the 1st Workshop on Interactions of NVM/FLASH with Operating Systems and Workloads, INFLOW 2013, Farmington, Pennsylvania, USA, November 3, 2013
Proceedings of the Eleventh ACM Symposium on Operating System Principles, SOSP 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11, 1987
MEMTIS: Efficient Memory Tiering with Dynamic Page Classification and Page Size Determination
Detecting and surviving data races using complementary schedules
Evolution of file and memory management
Idletime scheduling with preemption intervals
Asterope: A Cross-Platform Optimization Method for Fast Memory Copy
Generalized file system dependencies
The Robustness of NUMA Memory Management
The Information Bus - An Architecture for Extensible Distributed Systems
Model-based validation for dealing with operator mistakes
Analysis of malicious abstract sensor faults in adaptive measurement-based overlay networks
WASIT: Deep and Continuous Differential Testing of WebAssembly System Interface Implementations
Achieving Microsecond-Scale Tail Latency Efficiently with Approximate Optimal Scheduling
Some Constraints and Tradeoffs in the Design of Network Communications
SplitStream: high-bandwidth multicast in cooperative environments
Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility
Towards easing the diagnosis of bugs in OS code
A Concurrent Algorithm for Avoiding Deadlocks
Proceedings of the 3rd ACM SOSP Workshop on Networking, Systems, and Applications on Mobile Handhelds, MobiHeld '11, Cascais, Portugal, October 23, 2011
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
BAR fault tolerance for cooperative services
Protection and communication abstractions for web browsers in MashupOS
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, SOSP 2024, Austin, TX, USA, November 4-6, 2024
Perspectives on OS foundations
Peerlessness is next to godlessness
Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979
Stadium: A Distributed Metadata-Private Messaging System
A Distributed File Service Based on Optimistic Concurrency Control
The UNIX Time-Sharing System (Abstract)
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems
Traffic backfilling: subsidizing lunch for delay-tolerant applications in UMTS networks
Perspectives on system languages and abstraction
Logged Virtual Memory
Helios: heterogeneous multiprocessing with satellite kernels
Loom: Efficient Capture and Querying of High-Frequency Telemetry
AnyCall: Fast and Flexible System-Call Aggregation
Secure Page Fusion with VUsion: https: //www.vusec.net/projects/VUsion
Predictive thread-to-core assignment on a heterogeneous multi-core processor
MBrace: cloud computing with monads
Greening the compute cloud's pricing plans
Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007
Exploiting NVM in large-scale graph analytics
SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021
Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor
Implementing declarative overlays
Thialfi: a client notification service for internet-scale applications
Decoupling Application Logic from Persistent Memory Frameworks with AspectC++
Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving
Differentiated storage services
Nexus: a GPU cluster engine for accelerating DNN-based video analysis
Short Term Scheduling in Multiprogramming Systems
Mantle: Efficient Hierarchical Metadata Management for Cloud Object Storage Services
The multikernel: a new OS architecture for scalable multicore systems
Using Idle Workstations in a Shared Computing Environment
Tock: From Research To Securing 10 Million Computers
Information flow control for standard OS abstractions
TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM
A Comment on the Confinement Problem
Evaluating integrated graphics processors for data center workloads
On the Propability of Deadline in Computer Systems
Characterizing Mobile SoC for Accelerating Heterogeneous LLM Inference
SMART: A Processor Scheduler for Multimedia Applications
Wide-Area Cooperative Storage with CFS
Experience with Transactions in QuickSilver
μFork: Supporting POSIX fork Within a Single-Address-Space OS
Risk based planning of network changes in evolving data centers
Birds of a Feather Flock Together: Scaling RDMA RPCs with Flock
Performance of Cache Coherence in Stackable Filing
ZygOS: Achieving Low Tail Latency for Microsecond-scale Networked Tasks
Secure web application via automatic partitioning
Energy-aware writes to non-volatile main memory
The case for judicious resource management
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory
Speculative region-based memory management for big data systems
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes
Modular data storage with Anvil
KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC
Exploiting Read-Mostly Workloads in The FileNet File System
Enabling Parallelism Hot Switching for Efficient Training of Large Language Models
Structure of multiple activity algorithms
Unlocking True Elasticity for the Cloud-Native Era with Dandelion
Scheduling and IPC Mechanisms for Continuous Media
Logical attestation: an authorization architecture for trustworthy computing
Preserving peer replicas by rate-limited sampled voting
Improving the reliability of commodity operating systems
Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility
Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling
GEMINI: Fast Failure Recovery in Distributed Training with In-Memory Checkpoints
A Client-Based Transaction System to Maintain Data Integrity
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009
Mobile multicores: use them or waste them
Designing real-time multimedia applications on mobile devices
SWARM: Replicating Shared Disaggregated-Memory Data in No Time
Proceedings of the Workshop on Power-Aware Computing and Systems, HotPower 2013, Farmington, Pennsylvania, USA, November 3-6, 2013
Extensible File Systems in Spring
A Distributed UNIX System Based on a Virtual Circuit Switch
Fast, Flexible, and Practical Kernel Extensions
AutoBash: improving configuration management with operating system causality analysis
Information Transmission in Computational Systems
Annotation for automation: rapid generation of file system tools
Hosting dynamic data in the cloud with Isis2 and the Ida DHT
Using Crash Hoare logic for certifying the FSCQ file system
Using Coroutines for Multi-core Preemptive Scheduling
High-performance ACID via modular concurrency control
An Operating System for Computer Resource Sharing
Formal Properties of Recursive Virtual Machine Architectures
High performance & low latency in solid-state drives through redundancy
Fbufs: A High-Bandwidth Cross-Domain Transfer Facility
Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach
An infrastructure for the development of kernel network services proof of concept: fast UDP
HedraRAG: Co-Optimizing Generation and Retrieval for Heterogeneous RAG Workflows
Network Objects
METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation
The KudOS architecture for file systems
Semi-automated debugging via binary search through a process lifetime
eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle
An Experimental Implementation on the Kernel/Domain Architecture
Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs
Simple But Effective Techniques for NUMA Memory Management
Redundancy in cost functions for Byzantine fault-tolerant federated learning
inTune: coordinating multicore islands to achieve global policy objectives
Split-level I/O scheduling
WineFS: a hugepage-aware file system for persistent memory that ages gracefully
Complementary replacement: a meta scheduling principle
StarOS, a Multiprocessor Operating System for the Support of Task Forces
Low-overhead byzantine fault-tolerant storage
Sparrow: distributed, low latency scheduling
Measurements of a Distributed File System
Paxos made transparent
The Cambridge CAP Computer and its Protection System
PowerInfer: Fast Large Language Model Serving with a Consumer-grade GPU
Execution integrity without implicit trust of system software
HAC: Hybrid Adaptive Caching for Distributed Storage Systems
Pushing Performance Isolation Boundaries into Application with pBox
PUBLISHING: A Reliable Broadcast Communication Mechanism
Performance of Firefly RPC
Some Deadlock Properties of Computer Systems
NOPE: Strengthening domain authentication with succinct proofs
Verifying software network functions with no verification expertise
Authentication in the Taos Operating System
Configurable memory protection by aspects
Distributed Simulation and the Time Wrap Operating System
Cooperative control architecture of fan-less servers and fresh-air cooling in container servers for low power operation
SHARP: an architecture for secure resource peering
A Reliable Object-Oriented Data Repository for a Distributed Computer System
The multics virtual memory
ResilientFL '21: Proceedings of the First Workshop on Systems Challenges in Reliable and Secure Federated Learning, Virtual Event / Koblenz, Germany, 25 October 2021
MERT - A Multi-Environment Real-Time Operating System
Checking the hardware-software interface in spec#
PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, Virtual Event, Germany, October 25, 2021
Basil: Breaking up BFT with ACID (transactions)
Coeus: A System for Oblivious Document Ranking and Retrieval
Synchronization with Eventcounts and Sequencers (Extended Abstract)
Shard Manager: A Generic Shard Management Framework for Geo-distributed Applications
Optimistic crash consistency
Gradient Compression Supercharged High-Performance Data Parallel DNN Training
Extensibility, Safety and Performance in the SPIN Operating System
Basic I/O handling on burroughs B6500
Quincy: fair scheduling for distributed computing clusters
Soft timers: efficient microsecond software timer support for network processing
Verifying computations with state
The case for an object-based peer-to-peer reputation system
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019
Proceedings of the Ninth ACM Symposium on Operating System Principles, SOSP 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983
Making lock-free data structures verifiable with artificial transactions
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular
The iMAX-432 Object Filing System
A Logic of Authentication
The ROSCOE Distributed Operating System
Recovery oriented programming
Failure sketching: a technique for automated root cause diagnosis of in-production failures
Proceedings of the 4th Workshop on Power-Aware Computing and Systems, HotPower '11, Cascais, Portugal, October 23, 2011
Decentralized user authentication in a global file system
FlashCube: Fast Provisioning of Serverless Functions with Streamlined Container Runtimes
The role of motherhood in the pop art of system programming
Fast in-memory transaction processing using RDMA and HTM
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications
Files-as-Filesystems for POSIX Shell Data Processing
Bagpipe: Accelerating Deep Recommendation Model Training
A Data-Flow Approach to Multitasking ob CRAY X-MP Compputers
Information and Control in Gray-Box Systems
An empirical study on configuration errors in commercial and open source systems
How to Copy Memory? Coordinated Asynchronous Copy as a First-Class OS Service
Pervasive detection of process races in deployed systems
Fast byte-granularity software fault isolation
Authentication in Distributed Systems: Theory and Practice
LITE Kernel RDMA Support for Datacenter Applications
Cornflakes: Zero-Copy Serialization for Microsecond-Scale Networking
LoongServe: Efficiently Serving Long-Context Large Language Models with Elastic Sequence Parallelism
Automatic device driver synthesis with termite
Process Synchronization without Long-Term Interlock
Writing systems software in a functional language: an experience report
Implementation of Argus
KnightKing: a fast distributed graph random walk engine
Towards software defined persistent memory: rethinking software support for heterogenous memory architectures
Better flash access via shape-shifting virtual memory pages
LFGraph: simple and fast distributed graph analytics
Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects
MON: management overlay networks for distributed systems
Measurements of Sharing in Multics
LazyLog: A New Shared Log Abstraction for Low-Latency Applications
The ITC Distributed File System: Principles and Design
Cross-checking semantic correctness: the case of finding file system bugs
Intrusion recovery for database-backed web applications
File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution
PebblesDB: Building Key-Value Stores using Fragmented Log-Structured Merge Trees
Virtual CPU validation
Unifying serverless and microservice workloads with SigmaOS
ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling
Detecting failures in distributed systems with the Falcon spy network
Finding resource-release omission faults in Linux
ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores
Parallel computing and the OS
Mjölnir: collecting trash in a demanding new world
Falcon: Fast OLTP Engine for Persistent Cache and Non-Volatile Memory
BASE: Using Abstraction to Improve Fault Tolerance
Proceedings of the Twelfth ACM Symposium on Operating System Principles, SOSP 1989, The Wigwam, Litchfield Park, Arizona, USA, December 3-6, 1989
ORQ: Complex Analytics on Private Data with Strong Security Guarantees
Scalability, fidelity, and containment in the potemkin virtual honeyfarm
Upgrading transport protocols using untrusted mobile code
PVM: Efficient Shadow Paging for Deploying Secure Containers in Cloud-native Environment
Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures
A Study of File Sizes and Functional Lifetimes
The case for sleep states in servers
Cobweb: Practical Remote Attestation Using Contextual Graphs
The network and the OS
Supporting arbitrary queries in peer-to-peer networks using hybrid routing
The Aurora Single Level Store Operating System
Protection and the Control of Information Sharing in MULTICS
Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms
A Lazy Buddy System Bounded by Two Coalescing Delays per Class
A DSL approach for object memory management of small devices
PACTree: A High Performance Persistent Range Index Using PAC Guidelines
Aegean: replication beyond the client-server model
Multiprogramming a 64kB Computer Safely and Efficiently
Verifying a high-performance crash-safe file system using a tree specification
Staged deployment in mirage, an integrated software upgrade testing and distribution system
An Empirical Study of Operating System Errors
Scalable Far Memory: Balancing Faults and Evictions
Improving IPC by Kernel Design
Tango: distributed data structures over a shared log
On death, taxes, and sleep disorder bugs in smartphones
Operating system construction in Haskell
Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, Shanghai, China, October 28, 2017
Replicated Distributed Programs
Modelling and Analysis of Distributed Software Systems
Everything you always wanted to know about synchronization but were afraid to ask
Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, SOSP 2025, Lotte Hotel World, Seoul, Republic of Korea, October 13-16, 2025
Subcontract: A Flexible Base for Distributed Programming
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
KVell: the design and implementation of a fast persistent key-value store
Labels and event processes in the Asbestos operating system
Performance monitors for multi-programming systems
RaceTrack: efficient detection of data race conditions via adaptive tracking
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
TxLinux: using and managing hardware transactional memory in an operating system
The MULTICS Input/Output System
FS2: dynamic data replication in free disk space for improving disk performance and energy consumption
Predicting handoffs in 3G networks
PRES: probabilistic replay with execution sketching on multiprocessors
P2p: still worthless?
Informed Prefetching and Caching
Notary: a device for secure transaction approval
vSoC: Efficient Virtual System-on-Chip on Heterogeneous Hardware
The Multics Kernel Design Project
Pesto: Cooking up High Performance BFT Queries
SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference
The Behavior of Ethernet-Like Computer Communication Networks
Process Migration in DEMOS/MP
A NonStop Kernel
The Enforcement of Security Policies for Computation
EROS: a fast capability system
Attested append-only memory: making adversaries stick to their word
Parity models: erasure-coded resilience for prediction serving systems
An Approach to System Correctness
A fast and slippery slope for file systems
A need for componentized transport protocols
Proceedings of the 4th Workshop on System Software for Trusted Execution, SysTEX@SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019
Sub-millisecond Stateful Stream Querying over Fast-evolving Linked Data
DejaView: a personal virtual computer recorder
CryptDB: protecting confidentiality with encrypted query processing
Scaling symbolic evaluation for automated verification of systems code with Serval
Exploiting Weak Connectivity for Mobile File Access
A position paper on computing and communications
Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023, Koblenz, Germany, October 23-26, 2023