yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, TRIOS@SOSP 2013, Farmington, PA, USA, November 3, 2013
Using concurrent relational logic with helpers for verifying the AtomFS file system
Automatic and General Solution to the Adaption of Programs in a Paging Environment
Automated Verification of an In-Production DNS Authoritative Engine
Thoth, a Portable Real-Time Operating System (Extended Abstract)
IronFleet: proving practical distributed systems correct
Backtracking intrusions
Demeter: A Scalable and Elastic Tiered Memory Solution for Virtualized Cloud via Guest Delegation
Transparent driver-kernel isolation with VMM intervention
Dynamic Supervisors - their design and construction
Coordinate page allocation and thread group for improving main memory power efficiency
Untrusted Hosts and Confidentiality: Secure Program Partitioning
Service placement in shared wide-area platforms
Annotations in Operating Systems with Custom AspectC++ Attributes
Replication in the Harp File System
Generating Complex, Realistic Cloud Workloads using Recurrent Neural Networks
Towards better CPU power management on multicore smartphones
Caching in the Sprite Network File System (Extended Abstract)
What the protocol stack missed: the transfer service
Do not blame users for misconfigurations
Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks
The interactive performance of SLIM: a stateless, thin-client architecture
Cells: a virtual mobile smartphone architecture
Anemone: adaptive network memory engine
Holistic configuration management at Facebook
Taiji: managing global user traffic for large-scale internet services at the edge
Sailor: Automating Distributed Training over Dynamic, Heterogeneous, and Geo-distributed Clusters
The HP AutoRAID Hierarchical Storage System
Semantic File Systems
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling
Flexible Update Propagation for Weakly Consistent Replication
Mitigating Application Resource Overload with Targeted Task Cancellation
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
Lightweight capability domains: towards decomposing the Linux kernel
Agile Application-Aware Adaptation for Mobility
Proceedings of the 17th ACM Symposium on Operating System Principles, SOSP 1999, Kiawah Island Resort, near Charleston, South Carolina, USA, December 12-15, 1999
VAXclusters: A Closely-Coupled Distributed System (Abstract)
Building a Robust Software-Based Router Using Network Processors
Your server as a function
Propagating trusted execution through mutual attestation
Tiered Memory Management: Access Latency is the Key!
VPRI: Efficient I/O Page Fault Handling via Software-Hardware Co-Design for IaaS Clouds
Simultaneous multithreading on x86_64 systems: an energy efficiency evaluation
A measurement study of GPU DVFS on energy conservation
SOSP History Day 2015, Monterey, California, USA, October 4, 2015
801 Storage: Architecture and Programming (Extended Abstract)
The Performance of µKernel-Based Systems
On the Structure and Control of Commands
OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
The design and implementation of an intentional naming system
Partial Failure Resilient Memory Management System for (CXL-based) Distributed Shared Memory
Trials and Tribulations in Synthesizing Operating Systems
A Low-Bandwidth Network File System
The Case for Capability-Based Computers
GradSec: a TEE-based Scheme Against Federated Learning Inference Attacks
iGUARD: In-GPU Advanced Race Detection
Aegaeon: Effective GPU Pooling for Concurrent LLM Serving on the Market
gSampler: General and Efficient GPU-based Graph Sampling for Graph Learning
FAWN: a fast array of wimpy nodes
Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015
Protection Traps and Alternatives for Memory Management of an Object-Oriented Language
TwinVisor: Hardware-isolated Confidential Virtual Machines for ARM
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013
Random Arrival and the MTPT Drum Scheduling Discipline
Protection in an information processing utility
A study of the effect of user program optimization in a paging system
Automatically patching errors in deployed software
Read-log-update: a lightweight synchronization mechanism for concurrent programming
PRISM: Rethinking the RDMA Interface for Distributed Systems
Adaptable Actors: Just What The World Needs
Bouncer: securing software by blocking bad input
Dynamic Linking and Environment Initialization in a Multi-Domain Process
Tai Chi: A General High-Efficiency Scheduling Framework for SmartNICs in Hyperscale Clouds
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017
CatchAndRetry: extending exceptions to handle distributed system failures and recovery
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Exploring storage class memory with key value stores
The Cogent Case for Property-Based Testing
Modeling NICs with Unicorn
The Logical Disk: A New Approach to Improving File Systems
BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems
RaceMob: crowdsourced data race detection
Versatile, portable, and efficient OS profiling via latency analysis
Improving the energy efficiency of high-performance server systems
The Architecture of the Eden System
The DEMOS File System
The inflection point hypothesis: a principled debugging approach for locating the root cause of a failure
HeMem: Scalable Tiered Memory Management for Big Data Applications and Real NVM
Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data
Scalable and practical locking with shuffling
Scalable Address Spaces using Concurrent Interval Skiplist
The Impact of Operating System Structure on Memory System Performance
vCFI: Visible Control Flow Integrity for Cloud Tenants
Proceedings of the First Symposium on Operating Systems Principles, SOSP 1967, Gatlinburg, Tennesse, USA, 1967
X-Stream: edge-centric graph processing using streaming partitions
A virtual machine monitor for utilizing non-dedicated clusters
Implementing Remote Procedure Calls (Abstract)
Vuvuzela: scalable private messaging resistant to traffic analysis
TASO: optimizing deep learning computation with automatic generation of graph substitutions
Analyzing and Enhancing ArckFS: An Anecdotal Example of Benefits of Artifact Evaluation
Practical software model checking via dynamic interface reduction
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
On Protection in Operating System
Drizzle: Fast and Adaptable Stream Processing at Scale
Sudden drop in the battery level?: understanding smartphone state of charge anomaly
Effect of Program Localities on Memory Management Strategies
Handling Difficult Faults in Operating Systems
Fine-Grained Mobility in the Emerald System (Extended Abstract)
Proceedings of the Fifth Symposium on Operating System Principles, SOSP 1975, The University of Texas at Austin, Austin, Texas, USA, November 19-21, 1975
WSClock - A Simple and Effective Algorithm for Virtual Memory Management
TrEnv: Transparently Share Serverless Execution Environments Across Different Functions and Nodes
Automatically Repairing Network Control Planes Using an Abstract Representation
The Costs and Limits of Availability for Replicated Services
Storage Reallocation in Hierarchical Associative Memories
Efficient file storage using content-based indexing
Process Backup in Producer-Consumer Systems
Sleeping with One Eye Open: Fast, Sustainable Storage with Sandman
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Strategies for structuring two level memories in a paging environment
Three criteria for designing computing systems to facilitate debugging
Parrot: a practical runtime for deterministic, stable, and reliable threads
AutoMine: harmonizing high-level abstraction and high performance for graph mining
On micro-Kernel Construction
Paella: Low-latency Model Serving with Software-defined GPU Scheduling
Exploiting Nil-Externality for Fast Replicated Storage
Device-Assisted Live Migration of RDMA Devices
A Mechanism for Information Control in Parallel Systems
Scaling Databases through Trusted Hardware Proxies
Towards scalable and simple software-DSM systems
TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
Gerenuk: thin computation over big native data using speculative program transformation
Distributed aggregation for data-parallel computing: interfaces and implementations
Connections: using context to enhance file search
The Packet Filter: An Efficient Mechanism for User-level Network Code
NEVE: Nested Virtualization Extensions for ARM
Active network vision and reality: lessions form a capsule-based system
CobWeb: a proactive analysis-driven approach to content distribution
MUTT: a watchdog for OSN applications
Random Walks on Huge Graphs at Cache Efficiency
Deciding when to forget in the Elephant file system
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
Towards optimization-safe systems: analyzing the impact of undefined behavior
The TRIPOS Filing Machine, a Front End to a File Server
Crash Consistent Non-Volatile Memory Express
Strata: A Cross Media File System
Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection
Scalable querying and tracking of sensor networks from mobile platforms
Tolerating hardware device failures in software
Resource management aspects for sensor network software
Proving Real-Time Properties of Programs with Temporal Logic
Design implications for enterprise storage systems via multi-dimensional trace analysis
Analysis of Transaction Management Performance
Managing Stored Voice in the Etherphone System (Extended Abstract)
Serverless Network File Systems
cache_ext: Customizing the Page Cache with eBPF
Is achieving security a hopeless quest?
Hierarchical Take-Grant Protection Systems
Sensor networks for high-resolution monitoring of volcanic activity
The PDP-11 Virtual Machine Architecture: A Case Study
Log-structured Protocols in Delos
Atmosphere: Practical Verified Kernels with Rust and Verus
Perspectives on protection and security
An analysis of performance evolution of Linux's core operations
Bankshot: caching slow storage in fast non-volatile memory
Efficient deterministic multithreading through schedule relaxation
SGX-Bomb: Locking Down the Processor via Rowhammer Attack
Distributed operating system for resource discovery and allocation in federated clusters
SVE: Distributed Video Processing at Facebook Scale
Accent: A Communication Oriented Network Operating System Kernel
LOCUS - A Network Transparent, High Reliability Distributed System
How much energy can we save from prefetching ads?: energy drain analysis of top 100 apps
ShortCut: accelerating mostly-deterministic code regions
Virtual memory, processes, and sharing in Multics
A microkernel API for fine-grained decomposition
A New Page Table for 64-bit Address Spaces
Model-carrying code: a practical approach for safe execution of untrusted applications
PeerReview: practical accountability for distributed systems
Upright cluster services
Software defined batteries
U-Net: A User-Level Network Interface for Parallel and Distributed Computing
Dirigent: Lightweight Serverless Orchestration
Application Performance and Flexibility on Exokernel Systems
Synchronization of Communicating Processes (Abstract)
Oobleck: Resilient Distributed Training of Large Models Using Pipeline Templates
Coz: finding code that counts with causal profiling
Understanding the genetic makeup of Linux device drivers
Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors
A Decentralized Model for Information Flow Control
Opportunistic storage maintenance
TickTock: Verified Isolation in a Production Embedded OS
Androtrace: framework for tracing and analyzing IOs on Android
Energy-efficient soft real-time CPU scheduling for mobile multimedia systems
VirtualPower: coordinated power management in virtualized enterprise systems
IRON file systems
NetCache: Balancing Key-Value Stores with Fast In-Network Caching
Indeterminancy, Monitors, and Dataflow
The modeling and comparison of wireless network denial of service attacks
Robust LLM Training Infrastructure at ByteDance
Experience with Grapevine: The Growth of a Distributed System (Summary)
QuePaxa: Escaping the tyranny of timeouts in consensus
An Open Operating System for a Single-User Machine
Scaling Deep Learning Computation over the Inter-Core Connected Intelligence Processor with T10
Fast & Safe IO Memory Protection
Better I/O through byte-addressable, persistent memory
Consistency-based service level agreements for cloud storage
The Transfer of Information and Authority in a Protection System
Practical Verification of System-Software Components Written in Standard C
Evaluating Synchronization Mechanisms
Design and implementation of a distributed virtual machine for networked computers
Why application errors drain battery easily?: a study of memory leaks in smartphone apps
Spritely NFS: Experiments with Cache-Consistency Protocols
Using Threads in Interactive Systems: A Case Study
The rise of cloud computing systems
Transaction chains: achieving serializability with low latency in geo-distributed storage systems
ffwd: delegation is (much) faster than you think
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, SOSP 2011, Cascais, Portugal, October 23-26, 2011
A Multiprogramming System for Control
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications
Programmable Elasticity for Actor-based Cloud Applications
Properties of the Working Set Model (Abstract)
UGACHE: A Unified GPU Cache for Embedding-based Deep Learning
The founding of the SOSP conferences
FlexGuard: Fast Mutual Exclusion Independent of Subscription
ROOT: replaying multithreaded traces with resource-oriented ordering
The instrumentation of multics
Nexus: a new operating system for trustworthy computing
Reducing Risks from Poorly Chosen Keys
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005
Utilizing green energy prediction to schedule mixed batch and service jobs in data centers
Distributed Schedule Management in the Tiger Video Fileserver
Building consistent transactions with inconsistent replication
Resilient Overlay Networks
Dthreads: efficient deterministic multithreading
Proceedings of the Fourth Symposium on Operating System Principles, SOSP 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA, October 15-17, 1973
Object and Native Code Thread Mobility Among Heterogeneous Computers
Proceedings of the Workshop on Power-Aware Computing and Systems, HotPower 2015, Monterey, California, USA, October 4, 2015
First-Class User-Level Theads
Separation of Powers in Federated Learning (Poster Paper)
Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors
Transforming policies into mechanisms with infokernel
Optimizing Big-Data Queries Using Program Synthesis
Pilot: An Operating System for a Personal Computer (Summary)
DDVS: distributed dynamic voltage scaling
Optimal segmentation points for programs
User-level internet path diagnosis
Sharing Data and Services in a Virtual Machine System
FBDetect: Catching Tiny Performance Regressions at Hyperscale through In-Production Monitoring
Fast Core Scheduling with Userspace Process Abstraction
Revisiting hash table design for phase change memory
LLSS: toward system support for plugging privacy leaks
The Google file system
Proceedings of the Second Symposium on Operating Systems Principles, SOSP 1969, Princeton, NJ, USA, October 20-22, 1969
Breaking up is hard to do: security and functionality in a commodity hypervisor
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
There is more consensus in Egalitarian parliaments
Analysis of Demand Paging Policies with Swapped Working Sets
Enveloping Implicit Assumptions of Intrusive Data Structures within Ownership Type System
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
Log-structured cache: trading hit-rate for storage performance (and winning) in mobile devices
HELPER: an interactive extensible debugging system
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis
SAND: A New Programming Abstraction for Video-based Deep Learning
Cookie Monster: Efficient On-Device Budgeting for Differentially-Private Ad-Measurement Systems
The Performance of the Container Shipping I/O System
Parallelizing user-defined aggregations using symbolic execution
Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville, ON, Canada, October 27-30, 2019
Error Resynchronization in Producer-Consumer Systems
Proceedings of the Third Symposium on Operating System Principles, SOSP 1971, Stanford University, Palo Alto, California, USA, October 18-20, 1971
Integrating concurrency control and energy management in device drivers
Lightweight Remote Procedure Call
Reducing Energy Bloat in Large Model Training
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs
On Reference String Generation Processes
The taser intrusion recovery system
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011
Hyperkernel: Push-Button Verification of an OS Kernel
Zyzzyva: speculative byzantine fault tolerance
MIND: In-Network Memory Management for Disaggregated Data Centers
RacerX: effective, static detection of race conditions and deadlocks
The LOCUS Distributed Operating System
Orthrus: Efficient and Timely Detection of Silent User Data Corruption in the Cloud with Resource-Adaptive Computation Validation
Modeling communication costs in blade servers
NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System
Toward scaling hardware security module for emerging cloud services
Verifying concurrent, crash-safe systems with Perennial
Exploring Rust for Unikernel Development
PersiFS: a versioned file system with an efficient representation
The Swiss Army smartphone: cloud-based delivery of USB services
Surviving sensor network software faults
BIZA: Design of Self-Governing Block-Interface ZNS AFA for Endurance and Performance
Existential consistency: measuring and understanding consistency at Facebook
A High Performance Multi-Structured File System Design
Process Selection in an Hierarchical Operating System
A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment
Coyote v2: Raising the Level of Abstraction for Data Center FPGAs
Experiences with Pip: finding unexpected behavior in distributed systems
JouleGuard: energy guarantees for approximate applications
A philosophy for computer sharing
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007
Moirai: Optimizing Placement of Data and Compute in Hybrid Clouds
DNS Congestion Control in Adversarial Settings
Bullet: high bandwidth data dissemination using an overlay mesh
Private Web Search with Tiptoe
Transactions and Synchronization in a Distributed Operating System
Improving application security with data flow assertions
Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands
Privacy accounting and quality control in the sage differentially private ML platform
On the scale and performance of cooperative Web proxy caching
Sequencing Computation Steps in a Network
Proceedings of the 18th ACM Symposium on Operating System Principles, SOSP 2001, Chateau Lake Louise, Banff, Alberta, Canada, October 21-24, 2001
TEEMo: trusted peripheral monitoring for optical networks and beyond
DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction
Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor
A Highly Available, Scalable ITV System
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control
Windows Azure Storage: a highly available cloud storage service with strong consistency
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web
Triage: diagnosing production run failures at the user's site
The S/Net's Linda Kernel (extended abstract)
MetaData persistence using storage class memory: experiences with flash-backed DRAM
The Design and Implementation of a Virtual Firmware Monitor
Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold
Secure virtual architecture: a safe execution environment for commodity operating systems
Improving performance and lifetime of the SSD RAID-based host cache through a log-structured approach
Building reliable, high-performance communication systems from components
Skyloft: A General High-Efficient Scheduling Framework in User Space
Filet-o-Fish: practical and dependable domain-specific languages for OS development
SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems
Kairos: a macro-programming system for wireless sensor networks
Continuous Profiling: Where Have All the Cycles Gone?
Asynchronous intrusion recovery for interconnected web services
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency
Multiple computer networks and intercomputer communication
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust
Interprocess Communication in Real-Time Systems
Autonomous Replication Across Wide-Area Internetworks
Bladerunner: Stream Processing at Scale for a Live View of Backend Data Mutations at the Edge
Fast Fits
Preemptable Remote Execution Facilities for the V-System
Rounding pointers: type safe capabilities with C++ meta programming
INSIGHT: a distributed monitoring system for tracking continuous queries
Towards Correct-by-Construction Interrupt Routing on Real Hardware
Replication and Fault-Tolerance in the ISIS System
PyMM: Heterogeneous Memory Programming for Python Data Science
The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors
ODR: output-deterministic replay for multicore debugging
Process management and resource sharing in the multiaccess system "ESOPE"
Racing and pacing to idle: an evaluation of heuristics for energy-aware resource allocation
seL4: formal verification of an OS kernel
Optimistic Incremental Specialization: Streamlining a Commercial Operating System
Generating correct initial page tables from formal hardware descriptions
Reliable Object Storage to Support Atomic Actions
Uncovering Nested Data Parallelism and Data Reuse in DNN Computation with FractalTensor
Architecture of a Real-Time Operating System
Handling Audio and Video Streams in a Distributed Environment
A Persistent Problem: Managing Pointers in NVM
A high-performance operating system for structured concurrent programs
A Message System Supporting Fault Tolerance
A Real-time Upcall Facility for Protocol Processing with QoS Guarantees
Machine independent software
An Algorithm for Drum Storage Management in Time-Sharing Systems
The Click modular router