yusuke1997/dblp-id-title huggingface dataset:
Optimizing the Idle Task and Other MMU Tricks
Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs
Scalable, Distributed Data Structures for Internet Service Construction
Cosh: Clear OS Data Sharing In An Incoherent World
Bringing Decentralized Search to Decentralized Services
NVMOVE: Helping Programmers Move to Byte-Based Persistence
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems
PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems
Be Conservative: Enhancing Failure Diagnosis with Proactive Logging
GPU Virtualization on VMware's Hosted I/O Architecture
Overcast: Reliable Multicasting with an Overlay Network
2012 Workshop on Managing Systems Automatically and Dynamically, MAD'12, Hollywood, CA, USA, October 7, 2012
A Hierarchical CPU Scheduler for Multimedia Operating Systems
Trinity: High-Performance Mobile Emulation through Graphics Projection
DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization
FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Scalable I/O - A Well-Architected Way to Do Scalable, Secure and Virtualized I/O
Towards a Deployable IP Anycast Service
Hubble: Performance Debugging with In-Production, Just-In-Time Method Tracing on Android
SymDrive: Testing Drivers without Devices
X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software
Groove: Flexible Metadata-Private Messaging
Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently
Leo: A Profile-Driven Dynamic Optimization Framework for GPU Applications
GNNAdvisor: An Adaptive and Efficient Runtime System for GNN Acceleration on GPUs
Quake: Adaptive Indexing for Vector Search
DQBarge: Improving Data-Quality Tradeoffs in Large-Scale Internet Services
Application-Informed Kernel Synchronization Primitives
Effects of Buffering Semantics on I/O Performance
NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall
StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications
dLoRA: Dynamically Orchestrating Requests and Adapters for LoRA LLM Serving
Collusion-resilient Credit-based Reputations for Peer-to-Peer Content Distribution
KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities
iPlane: An Information Plane for Distributed Services
Fast and Synchronous Crash Consistency with Metadata Write-Once File System
MonoNN: Enabling a New Monolithic Optimization Space for Neural Network Inference Tasks on Modern GPU-Centric Architectures
Integrating Content-Based Access Mechanisms with Hierarchical File Systems
ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications
Don't Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems
FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs
Kerveros: Efficient and Scalable Cloud Admission Control
VeriSMo: A Verified Security Module for Confidential VMs
LVMT: An Efficient Authenticated Storage for Blockchain
Lottery Scheduling: Flexible Proportional-Share Resource Management
Improving Integer Security for Systems with KINT
Unobservable Communication over Fully Untrusted Infrastructure
Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications
Panel: Radical Operating Systems Structures for Extensibility
Efficient Patch-based Auditing for Web Application Vulnerabilities
Mining Console Logs for Large-Scale System Problem Detection
Where Does the Power Go and What to do About it?
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
MAST: Global Scheduling of ML Training across Geo-Distributed Datacenters at Hyperscale
Network Requirements for Resource Disaggregation
Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS
Deterministic Process Groups in dOS
PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections
XFI: Software Guards for System Address Spaces
Interposed Request Routing for Scalable Network Storage
Sharding the Shards: Managing Datastore Locality at Scale with Akkio
Performance Evaluation of Two Home-Based Lazy Release Consistency Protocols for Shared Virtual Memory Systems
Extracting More Concurrency from Distributed Transactions
An Integrated Experimental Environment for Distributed Systems and Networks
Block Mason
A Network Formation Model for Internet Transit Relations
Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning
Relational Debugging - Pinpointing Root Causes of Performance Problems
FlightPath: Obedience vs. Choice in Cooperative Services
Semeru: A Memory-Disaggregated Managed Runtime
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams
Garbage Collection and DSM Consistency
Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache
Practical, Transparent Operating System Support for Superpages
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control
Yak: A High-Performance Big-Data-Friendly Garbage Collector
Workshop on Power Aware Computing and Systems, HotPower 2008, December 7, 2008, San Diego, CA, USA, Proceedings
Middleboxes No Longer Considered Harmful
FlightTracker: Consistency across Read-Optimized Online Stores at Facebook
The Design and Implementation of Zap: A System for Migrating Computing Environments
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, California, USA, November 14-17, 1994
Zeph: Cryptographic Enforcement of End-to-End Data Privacy
Energy-Efficiency and Storage Flexibility in the Blue File System
DJoin: Differentially Private Join Queries over Distributed Databases
CoDNS: Improving DNS Performance and Reliability via Cooperative Lookups
An Analysis of Linux Scalability to Many Cores
MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms
TriCache: A User-Transparent Block Cache Enabling High-Performance Out-of-Core Processing with In-Memory Programs
Tiered Memory Management Beyond Hotness
Memory Resource Management in VMware ESX Server
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing
Getting Things Done on Computational RFIDs with Energy-Aware Checkpointing and Voltage-Aware Scheduling
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency
EMT: An OS Framework for New Memory Translation Architectures
JavaOS: Back to the Future (Abstract)
GoJournal: a verified, concurrent, crash-safe journaling system
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
PathFinder: A Pattern-Based Packet Classifier
Okapi: Decoupling Data Striping and Redundancy Grouping in Cluster File Systems
Secure Untrusted Data Repository (SUNDR)
Logical vs. Physical File System Backup
Proving confidentiality in a file system using DiskSec
Effective Data-Race Detection for the Kernel
Automated Worm Fingerprinting
Automatically Reasoning About How Systems Code Uses the CPU Cache
Taming Throughput-Latency Tradeoff in LLM Inference with Sarathi-Serve
Oort: Efficient Federated Learning via Guided Participant Selection
REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems
Live Migration of Direct-Access Devices
SPORC: Group Collaboration using Untrusted Cloud Resources
Paravirtualized Paging
EnsemBlue: Integrating Distributed Storage and Consumer Electronics
Ensō: A Streaming Interface for NIC-Application Communication
The Synergy Between Non-Blocking Synchronization and Operating System Structure
hXDP: Efficient Software Packet Processing on FPGA NICs
ConfiDNS: Leveraging Scale and History to Improve DNS Security
End-to-End Authorization
Network Imprecision: A New Consistency Metric for Scalable Monitoring
PipeSwitch: Fast Pipelined Context Switching for Deep Learning Applications
Nimble: Rollback Protection for Confidential Cloud Services
Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings
Walle: An End-to-End, General-Purpose, and Large-Scale Production System for Device-Cloud Collaborative Machine Learning
MultiView and Millipage - Fine-Grain Sharing in Page-Based DSMs
Defending Against Denial of Service Attacks in Scout
Modernizing File System through In-Storage Indexing
Difference Engine: Harnessing Memory Redundancy in Virtual Machines
Blockaid: Data Access Policy Enforcement for Web Applications
Probabilistic Inference in Queueing Networks
Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering
Finding a Needle in Haystack: Facebook's Photo Storage
Deploying Large File Transfer on an HTTP Content Distribution Network
Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System
Synoptic: Summarizing System Logs with Refinement
19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025, Boston, MA, USA, July 7-9, 2025
Encrypted Databases Made Secure Yet Maintainable
Proactive Recovery in a Byzantine-Fault-Tolerant System
CLP: Efficient and Scalable Search on Compressed Text Logs
Carbink: Fault-Tolerant Far Memory
Principles and Methodologies for Serial Performance Optimization
A Shared Global Event Propagation System to Enable Next Generation Distributed Services
Finding and Reproducing Heisenbugs in Concurrent Programs
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
MettEagle: Costs and Benefits of Implementing Containers on Microkernels
5th Symposium on Operating System Design and Implementation (OSDI 2002), Boston, Massachusetts, USA, December 9-11, 2002
USHER: Holistic Interference Avoidance for Resource Optimized ML Inference
Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), Seattle, Washington, USA, October 28-31, 1996
Reducing Data Movement Costs Using Energy-Efficient, Active Computation on SSD
Monitoring the Dynamics of Network Traffic by Recursive Multi-Dimensional Aggregation
FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management
STORM: Refinement Types for Secure Web Applications
Marius: Learning Massive Graph Embeddings on a Single Machine
Scale and Performance in the Denali Isolation Kernel
2nd Workshop on Interactions of NVM/Flash with Operating Systems and Workloads, INFLOW '14, Broomfield, CO, USA, October 5, 2014
Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data
Unearthing inter-job dependencies for better cluster scheduling
Deconstructing RDMA-enabled Distributed Transactions: Hybrid is Better!
Beaver: Practical Partial Snapshots for Distributed Cloud Services
Making Paths Explicit in the Scout Operating System
Assise: Performance and Availability via Client-local NVM in a Distributed File System
BlockFlex: Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms
17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023
EbbRT: A Framework for Building Per-Application Library Operating Systems
A Decision-Analytic Approach for P2P Cooperation Policy Setting
Vayu: Learning to Control the Cloud
eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs
User-Guided Device Driver Synthesis
The nanoPU: A Nanosecond Network Stack for Datacenters
ACCL+: an FPGA-Based Collective Engine for Distributed Applications
Altruistic Scheduling in Multi-Resource Clusters
Fidelity and Yield in a Volcano Monitoring Sensor Network
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
Tapeworm: High-Level Abstractions of Shared Accesses
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
Taming Performance Variability
Ransom Access Memories: Achieving Practical Ransomware Protection in Cloud with DeftPunk
Adaptive Dynamic Checkpointing for Safe Efficient Intermittent Computing
Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java
4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000
Safely Harnessing Wide Area Surrogate Computing or How to Avoid Building the Perfect Platform for Network Attacks
HiPEC: High Performance External Virtual Memory Caching
The CacheLib Caching Engine: Design and Experiences at Scale
FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, Louisiana, USA, February 22-25, 1999
Stripeless Data Placement for Erasure-Coded In-Memory Storage
CMC: A Pragmatic Approach to Model Checking Real Code
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning
Anvil: Verifying Liveness of Cluster Management Controllers
Rethink the Sync (Awarded Best Paper!)
Resource Overbooking and Application Profiling in Shared Hosting Platforms
Shielding Applications from an Untrusted Cloud with Haven
GRAPHENE: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters
A Trace-Driven Comparison of Algorithms for Parallel Prefetching and Caching
Latency Management in Storage Systems
An Analysis of Internet Content Delivery Systems
Experiences with Locking in a NUMA Multiprocessor Operating System Kernel
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
Exploring Failure Transparency and the Limits of Generic Recovery
Project Adam: Building an Efficient and Scalable Deep Learning Training System
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit
Simplifying Datacenter Network Debugging with PathDump
Device Driver Safety Through a Reference Validation Mechanism
Managing NymBoxes for Identity and Tracking Protection
TCP Nice: A Mechanism for Background Transfers
wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events
FAERY: An FPGA-accelerated Embedding-based Retrieval System
Massively Parallel Multi-Versioned Transaction Processing
From Optimization to Regret Minimization and Back Again
AIFM: High-Performance, Application-Integrated Far Memory
Write Dependency Disentanglement with HORAE
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback
XFT: Practical Fault Tolerance beyond Crashes
Accountable authentication with privacy protection: The Larch system for universal login
Phase Reconciliation for Contended In-Memory Transactions
Beyond Availability: Towards a Deeper Understanding of Machine Failure Characteristics in Large Distributed Systems
Transactional Consistency and Automatic Management in an Application Data Cache
Scalability and Accuracy in a Large-Scale Network Emulator
Ad Hoc Synchronization Considered Harmful
Mojave: A Recommendation System for Software Upgrades
High-throughput and Flexible Host Networking for Accelerated Computing
RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks
R2: An Application-Level Kernel for Record and Replay
Studies of Windows NT Performance Using Dynamic Execution Traces
Using Model Checking to Debug Device Firmware
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
Connection Handoff Policies for TCP Offload Network Interfaces
Mathematical Modeling of Competition in Sponsored Search Market
Distributed Resource Discovery on PlanetLab with SWORD
A Graphical Representation for Identifier Structure in Logs
Software Prefetching and Caching for Translation Lookaside Buffers
To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code
Optimizing Data Analysis with a Semi-structured Time Series Database
InfiniGen: Efficient Generative Inference of Large Language Models with Dynamic KV Cache Management
Paralegal: Practical Static Analysis for Privacy Bugs
Intermittent Computation without Hardware Support or Programmer Intervention
Lessons from E-speak
Devil: An IDL for Hardware Programming
Disentangling the Dual Role of NIC Receive Rings
Self-Paging in the Nemesis Operating System
AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models
A Framework for Thermal and Performance Management
Byzantine Ordered Consensus without Byzantine Oligarchy
Improving the Reliability of Internet Paths with One-hop Source Routing
Software Write Detection for a Distributed Shared Memory
Mirage: A Multi-Level Superoptimizer for Tensor Programs
Neural Adaptive Content-aware Internet Video Delivery
A Feedback-driven Proportion Allocator for Real-Rate Scheduling
Operating System Management of MEMS-based Storage Devices
ServerlessLLM: Low-Latency Serverless Inference for Large Language Models
Custos: Increasing Security with Secret Storage as a Service
Supporting Time-Sensitive Applications on a Commodity OS
Triangulating Python Performance Issues with SCALENE
A Tensor Compiler for Unified Machine Learning Prediction Serving
Characterizing Storage Workloads with Counter Stacks
Active Networks (Abstract)
Dynamic Query Re-Planning using QOOP
Theseus: an Experiment in Operating System Structure and State Management
Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems
Splinter: Bare-Metal Extensions for Multi-Tenant Low-Latency Storage
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems
Looking Between the Street Lamps
Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling
Corey: An Operating System for Many Cores
Weave: Efficient and Expressive Oblivious Analytics at Scale
Dynamic Binding for an Extensible System
Sabre: Hardware-Accelerated Snapshot Compression for Serverless MicroVMs
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
When will my ML Job finish? Toward providing Completion Time Estimates through Predictability-Centric Scheduling
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism
Picviz: Finding a Needle in a Haystack
Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software
IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing
14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020
A State-Machine Approach to Disambiguating Supercomputer Event Logs
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
Erasure Coding & Read/Write Separation in Flash Storage
First USENIX Workshop on Real, Large Distributed Systems, WORLDS'04, San Francisco, CA, USA, December 5, 2004
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems
SHILL: A Secure Shell Scripting Language
Scalable Memory Protection in the PENGLAI Enclave
Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory
Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis
12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016
Experience Mining Google's Production Console Logs
Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
Knit: Component Composition for Systems Software
Mencius: Building Efficient Replicated State Machine for WANs
Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator
Skybridge: Bounded Staleness for Distributed Caches
The Implications of Shared Data Synchronization Techniques on Multi-Core Energy Efficiency
Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD
mClock: Handling Throughput Variability for Hypervisor IO Scheduling
Ansor: Generating High-Performance Tensor Programs for Deep Learning
Welder: Scheduling Deep Learning Memory Access via Tile-graph
AppInsight: Mobile App Performance Monitoring in the Wild
IO-Lite: A Unified I/O Buffering and Caching System
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
Fast and Secure Distributed Read-Only File System
From Dynamic Loading to Extensible Transformation: An Infrastructure for Dynamic Library Transformation
Decouple and Decompose: Scaling Resource Allocation with DeDe
13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018
Implementation and Performance of Application-Controlled File Caching
History-Based Harvesting of Spare Cycles and Storage in Large-Scale Datacenters
Comet: An active distributed key-value store
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
Storage Systems are Distributed Systems (So Verify Them That Way!)
Configuration Debugging as Search: Finding the Needle in the Haystack
Mako: Speculative Distributed Transactions with Geo-Replication
Trust and Protection in the Illinois Browser Operating System
Characterizing Off-path SmartNIC for Accelerating Distributed Systems
Occualizer: Optimistic Concurrent Search Trees From Sequential Code
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
Cooperative Caching: Using Remote Client Memory to Improve File System Performance
Transactional Flash
A Caching Model of Operating System Kernel Functionality
Greening the Switch
Disk-directed I/O for MIMD Multiprocessors
A Self-Configurable Geo-Replicated Cloud Storage System
ZebRAM: Comprehensive and Compatible Software Protection Against Rowhammer Attacks
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
Design and Evaluation of a Continuous Consistency Model for Replicated Services
Flat Datacenter Storage
Bypassing Races in Live Applications with Execution Filters
Experiences Building PlanetLab
WaferLLM: Large Language Model Inference at Wafer Scale
Toward a Generic Fault Tolerance Technique for Partial Network Partitioning
Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services
Looking Beyond GPUs for DNN Scheduling on Multi-Tenant Clusters
Validating the eBPF Verifier via State Embedding
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching
Kvell+: Snapshot Isolation without Snapshots
Morpheus: Towards Automated SLOs for Enterprise Clusters
NetBricks: Taking the V out of NFV
Experiences from a Decade of TinyOS Development
First Workshop on I/O Virtualization, WIOV'08, San Diego, CA, USA, December 10-11, 2008, Proceedings
PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
The Power of Choice in Data-Aware Cluster Scheduling
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
An Extensible Orchestration and Protection Framework for Confidential Cloud Computing
PANIC: A High-Performance Programmable NIC for Multi-tenant Networks
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
ZEN: Empowering Distributed Training with Sparsity-driven Data Synchronization