yusuke1997/dblp-id-title huggingface dataset:
The Seven Deadly Sins of Distributed Systems
HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems
Optimizing Dynamic Neural Networks with Brainstorm
ROSS: A Design of Read-Oriented STT-MRAM Storage for Energy-Efficient Non-Uniform Cache Architecture
Chop Chop: Byzantine Atomic Broadcast to the Network Limit
Efficient System-Enforced Deterministic Parallelism
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels
CRAMM: Virtual Memory Support for Garbage-Collected Applications
The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services
Alpa: Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning
Experiences with Content Addressable Storage and Virtual Disks
RESIN: A Holistic Service for Dealing with Memory Leaks in Production Cloud Infrastructure
11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014
Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale
Using Latency to Evaluate Interactive System Performance
Digging for Data Structures
K9db: Privacy-Compliant Storage For Web Applications By Construction
μSlope: High Compression and Fast Search on Semi-Structured Logs
Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management
Large-scale Incremental Processing Using Distributed Transactions and Notifications
Tolerating Slowdowns in Replicated State Machines using Copilots
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine
Automatic Misconfiguration Troubleshooting with PeerPressure
The Design of a Multicast-Based Distributed File System
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access
Coordinated and Efficient Huge Page Management with Ingens
Interface and Execution Models in the Fluke Kernel
HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees
Enabling Configuration-Independent Automation by Non-Expert Users
KungFu: Making Training in Distributed Machine Learning Adaptive
Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control
Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
ROLLER: Fast and Efficient Tensor Compilation for Deep Learning
Performance-Optimal Read-Only Transactions
A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous GPU/CPU Clusters
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes
A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References
Fine-Grained Network Time Synchronization Using Reference Broadcasts
Empirical Comparison of Techniques for Automated Failure Diagnosis
Gemini: A Computation-Centric Distributed Graph Processing System
All about Eve: Execute-Verify Replication for Multi-Core Servers
Pocket: Elastic Ephemeral Storage for Serverless Analytics
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors
DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs
Making Information Flow Explicit in HiStar
KSplit: Automating Device Driver Isolation
The FuzzyLog: A Partially Ordered Shared Log
Caladan: Mitigating Interference at Microsecond Timescales
Sundial: Fault-tolerant Clock Synchronization for Datacenters
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code
Performance Interfaces for Hardware Accelerators
Resource Containers: A New Facility for Resource Management in Server Systems
Addra: Metadata-private voice communication over fully untrusted infrastructure
Implementing the Emulab-PlanetLab Portal: Experience and Lessons Learned
Efficient and Scalable Graph Pattern Mining on GPUs
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures
SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory
Arrakis: The Operating System is the Control Plane
Standardized But Flexible I/O for Self-Virtualizing Devices
ShRing: Networking with Shared Receive Rings
Taming Aggressive Replication in the Pangaea Wide-Area File System
Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences
Tiger: Disk-Adaptive Redundancy Without Placement Restrictions
Flock: A Framework for Deploying On-Demand Distributed Trust
Optimizing Storage Performance with Calibrated Interrupts
Willow: A User-Programmable SSD
Nectar: Automatic Management of Data and Computation in Datacenters
Gandiva: Introspective Cluster Scheduling for Deep Learning
Run-time Energy Consumption Estimation Based on Workload in Server Systems
Microsecond Consensus for Microsecond Applications
Trade & Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
Karma: Resource Allocation for Dynamic Demands
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
The Coign Automatic Distributed Partitioning System
Integrated Resource Management for Cluster-based Internet Services
Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware
Do OS abstractions make sense on FPGAs?
Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE
Personalized Diapause: Reducing Radio Energy Consumption of Smartphones by Network-Context Aware Dormancy Predictions
The True Cost of Accurate Time
Light-Weight Contexts: An OS Abstraction for Safety and Performance
Secure Routing for Structured Peer-to-Peer Overlay Networks
BAR Gossip
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
Jawa: Web Archival in the Era of JavaScript
Parrot: Efficient Serving of LLM-based Applications with Semantic Variable
A Simpler and Faster NIC Driver Model for Network Functions
4th Workshop on Interactions of NVM/Flash with Operating Systems and Workloads, INFLOW@OSDI 2016, Savannah, GA, USA, November 1, 2016
Enabling NVM for Data-Intensive Scientific Services
SquirrelFS: using the Rust compiler to check file-system crash consistency
DSig: Breaking the Barrier of Signatures in Data Centers
Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors
Hunting for Problems with Artemis
High-Performance Microkernel Systems (Panel Statement)
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!)
Quantitative Estimation of the Performance Delay with Propagation Effects in Disk Power Savings
Nap: A Black-Box Approach to NUMA-Aware Persistent Memory Indexes
NrOS: Effective Replication and Sharing in an Operating System
MLB: A Memory-aware Load Balancing for Mitigating Memory Contention
Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks
Trading Capacity for Performance in a Disk Array
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
Graviton: Trusted Execution Environments on GPUs
Towards Virtual Passthrough I/O on Commodity Devices
Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently
FIRM: An Intelligent Fine-grained Resource Management Framework for SLO-Oriented Microservices
Disk Drive Workload Captured in Logs Collected During the Field Return Incoming Test
Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning
Piccolo: Building Fast, Distributed Programs with Partitioned Tables
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Tigon: A Distributed Database for a CXL Pod
Efficient Cooperative Caching Using Hints
The Design and Evaluation of a Shared Object System for Distributed Memory Machines
Microkernels Meet Recursive Virtual Machines
Fast and Scalable In-network Lock Management Using Lock Fission
On the Impact of Garbage Collection on Flash-Based SSD Endurance
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Persistent State Machines for Recoverable In-memory Storage Systems with NVRam
Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Scout: A Communications-Oriented Operating System (Abstract)
Error Log Processing for Accurate Failure Prediction
7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6-8, Seattle, WA, USA
Accountable Virtual Machines
No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing
Taming Heterogeneous NIC Capabilities for I/O Virtualization
Operating System Support for Safe and Efficient Auxiliary Execution
Correlated Crash Vulnerabilities
Detecting Covert Timing Channels with Time-Deterministic Replay
Can the Production Network Be the Testbed?
Proactive Energy-Aware Programming with PEEK
Content Pricing in Peer-to-Peer Networks
Avoiding File System Micromanagement with Range Writes
Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications
A Comparison of High-Level Full-System Power Models
Secret Key Recovery in a Global-Scale End-to-End Encryption System
Integrating Coherency and Recoverability in Distributed Systems
The Chubby Lock Service for Loosely-Coupled Distributed Systems
Identifying Information Disclosure in Web Applications with Retroactive Auditing
ExoFlow: A Universal Workflow System for Exactly-Once DAGs
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
Nail: A Practical Tool for Parsing and Generating Data Formats
Honeycomb: Secure and Efficient GPU Executions via Static Validation
Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta
Message-Driven Relaxed Consistency in a Software Distributed Shared Memory
Rammer: Enabling Holistic Deep Learning Compiler Optimizations with rTasks
Protean: VM Allocation Service at Scale
Compression and SSDs: Where and How?
IronSpec: Increasing the Reliability of Formal Specifications
8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery
Cobra: Making Transactional Key-Value Stores Verifiably Serializable
Customizable and Extensible Deployment for Mobile/Cloud Applications
ListDB: Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory
Spoq: Scaling Machine-Checkable Systems Verification in Coq
The Turtles Project: Design and Implementation of Nested Virtualization
CLARINET: WAN-Aware Optimization for Analytics Queries
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory
Automated Verification of Idempotence for Stateful Serverless Applications
CleanOS: Limiting Mobile Data Exposure with Idle Eviction
Incremental Consistency Guarantees for Replicated Objects
Geolocalization on the Internet through Constraint Satisfaction
End-to-end Performance Isolation Through Virtual Datacenters
Userspace Bypass: Accelerating Syscall-intensive Applications
SIP CLF: A Common Log Format (CLF) for the Session Initiation Protocol (SIP)
On the Impact of Disk Scrubbing on Energy Savings
SR-IOV Networking in Xen: Architecture, Design and Implementation
Innovations and Upgrades in Virtualized Network Architectures
Performance-Driven Processor Allocation
Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators
Persistent Personal Names for Globally Connected Mobile Devices
Liquidity in Credit Networks: A Little Trust Goes a Long Way
ZNS+: Advanced Zoned Namespace Interface for Supporting In-Storage Zone Compaction
Optimizing Resource Allocation in Hyperscale Datacenters: Scalability, Usability, and Experiences
Empirical Analysis on Energy Efficiency of Flash-based SSDs
CPU Inheritance Scheduling
Luna: A Flexible Java Protection System
µTune: Auto-Tuned Threading for OLDI Microservices
NanoFlow: Towards Optimal Large Language Model Serving Throughput
Don't Stack Your Log On My Log
Compass: Encrypted Semantic Search with High Accuracy
A Modular Network Layer for Sensornets
Blockene: A High-throughput Blockchain Over Mobile Devices
BrowserShield: Vulnerability-Driven Filtering of Dynamic HTML
Retiarii: A Deep Learning Exploratory-Training Framework
Policies for Dynamic Clock Scheduling
Enabling Efficient GPU Communication over Multiple NICs with FuseLink
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract
Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data
Arachne: Core-Aware Thread Management
Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning
Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation
Virtualize Everything but Time
Fault-tolerant and transactional stateful serverless workflows
Boxwood: Abstractions as the Foundation for Storage Infrastructure
Testing Configuration Changes in Context to Prevent Production Failures
AGAMOTTO: How Persistent is your Persistent Memory Application?
Sledgehammer: Cluster-Fueled Debugging
Redline: First Class Support for Interactivity in Commodity Operating Systems
ORION and the Three Rights: Sizing, Bundling, and Prewarming for Serverless DAGs
Extending Applications Safely and Efficiently
What if the Energy Grid Were Designed Like the Internet?
Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth from Busy Disk Drives
Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS
Dealing with Disaster: Surviving Misbehaved Kernel Extensions
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
How Could a Flash Cache Degrade Database Performance Rather Than Improve It? Lessons to be Learnt from Multi-Tiered Storage
Decoupling Cores, Kernels, and Operating Systems
Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle
Scaling Distributed Machine Learning with the Parameter Server
Accurate Characterization of the Variability in Power Consumption in Modern Mobile Processors
Hardware Enforcement of Application Security Policies Using Tagged Memory
Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate
Vertigo: Automatic Performance-Setting for Linux
ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems
Carnegie Mellon's CyDAT: Harnessing a Wide Array of Telemetry Data to Enhance Distributed System Diagnostics
SALSA: Analyzing Logs as StAte Machines
Eidetic Systems
A Comparison of Windows Driver Model Latency Performance on Windows NT and Windows 98
Capturing and Enhancing In Situ System Observability for Failure Detection
Shuffler: Fast and Deployable Continuous Code Re-Randomization
An Implementation of the Hamlyn Sender-Managed Interface Architecture
Working Set Model for Multithreaded Programs
Subscription Dynamics and Competition in Communications Markets
Hyrax: Fail-in-Place Server Operation in Cloud Platforms
The Effectiveness of Request Redirection on CDN Robustness
To PRI or Not To PRI, That's the question
Big Data Analytics over Encrypted Datasets with Seabed
Lucky Scheduling for Energy-Efficient Heterogeneous Multi-Core Systems
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning
Towards Fingerpointing in the Emulab Dynamic Distributed System
Automating Configuration Troubleshooting with Dynamic Information Flow Analysis
Reining in the Outliers in Map-Reduce Clusters using Mantri
Memory-aware Scheduling for Energy Efficiency on Multicore Processors
AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving
Memory Performance at Reduced CPU Clock Speeds: An Analysis of Current x86_64 Processors
Automated Concurrency-Bug Fixing
Hot Data Centers vs. Cool Peers
ElCached: Elastic Multi-Level Key-Value Cache
A Distributed File System for a Wide-Area High Performance Computing Infrastructure
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network
Recovering Device Drivers (Awarded Best Paper!)
Power and Performance Analysis of GPU-Accelerated Systems
Understanding Stragglers in Large Model Training Using What-if Analysis
Performance Isolation and Fairness for Multi-Tenant Cloud Storage
3rd USENIX Workshop on Real, Large Distributed Systems, WORLDS'06, Seattle, WA, USA, November 5, 2006
Automatic Reliability Testing For Cluster Management Controllers
Fault-Tolerance, Fast and Slow: Exploiting Failure Asynchrony in Distributed Systems
ScaleDB: A Scalable, Asynchronous In-Memory Database
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
2010 Workshop on the Economics of Networks, Systems, and Computation, NetEcon@OSDI 2010, Vancouver, BC, Canada, October 3, 2010
PlanetSeer: Internet Path Failure Monitoring and Characterization in Wide-Area Services
P3: Distributed Deep Graph Learning at Scale
Physical Disentanglement in a Container-Based File System
Some Issues in the Design of an Extensible Operating System (Panel Statement)
Intrusion Recovery Using Selective Re-execution
Online Data-Race Detection via Coherency Guarantees
WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training
Machine-Aware Atomic Broadcast Trees for Multicores
Harvesting Memory-bound CPU Stall Cycles in Software with MSH
Overload Control for µs-scale RPCs with Breakwater
CAP-VMs: Capability-Based Isolation and Sharing in the Cloud
Delivering Energy Proportionality with Non Energy-Proportional Systems - Optimizing the Ensemble
HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance
DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling
Pastiche: Making Backup Cheap and Easy
Orchard: Differentially Private Analytics at Scale
Enhancing Server Availability and Security Through Failure-Oblivious Computing
SQCK: A Declarative File System Checker
Virtual Log Based File Systems for a Programmable Disk
AntMan: Dynamic Scaling on GPU Clusters for Deep Learning
FFPF: Fairly Fast Packet Filters
ODINFS: Scaling PM Performance with Opportunistic Delegation
Tiered Incentives for Integrity Based Queuing
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent
Data Management for Internet-Scale Single-Sign-On
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization
SafetyPin: Encrypted Backups with Human-Memorable Secrets
Everest: Scaling Down Peak Loads Through I/O Off-Loading
DISC: A System for Distributed Data Intensive Scientific Computing
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding
GraphChi: Large-Scale Graph Computation on Just a PC
FVM: FPGA-assisted Virtual Device Emulation for Fast, Scalable, and Flexible Storage Virtualization
SparTA: Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute
Proving the correct execution of concurrent services in zero-knowledge
Life or Death at Block-Level
An Internet Protocol Address Clustering Algorithm
First USENIX Workshop on the Analysis of System Logs, WASL 2008, San Diego, CA, USA, December 7, 2008, Proceedings
Differential Energy Profiling: Energy Optimization via Diffing Similar Apps
Aragog: Scalable Runtime Verification of Shardable Networked Systems
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications
Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!)
PipeThreader: Software-Defined Pipelining for Efficient DNN Execution
Consolidating Concurrency Control and Consensus for Commits under Conflicts
Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads
From Feast to Famine: Managing Mobile Network Resources Across Environments and Preferences
GPUnet: Networking Abstractions for GPU Programs
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer
QOS: Quantum Operating System
Microreboot - A Technique for Cheap Recovery
Security and Performance in the Delegated User-level Virtualization
KRR: Efficient and Scalable Kernel Record Replay
Exploring the Hidden Dimension in Graph Processing
Principled Schedulability Analysis for Distributed Storage Systems using Thread Architecture Models
Performance Issues in Parallelized Network Protocols
TensorFlow: A System for Large-Scale Machine Learning
Creating the Knowledge about IT Events
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
Deployment of a Large-scale Peer-to-Peer Social Network
Automatic I/O Hint Generation Through Speculative Execution
System Support for Bandwidth Management and Content Adaptation in Internet Applications
Bridging the Gaps: Joining Information Sources with Splunk
Global Capacity Management With Flux
Distributed Directory Service in the Farsite File System
10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012
2012 Workshop on Power-Aware Computing Systems, HotPower'12, Hollywood, CA, USA, October 7, 2012
Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing
Couture: Tailoring STT-MRAM for Persistent Main Memory
Torturing Databases for Fun and Profit
Towards a Data Analysis Recommendation System
Noria: dynamic, partially-stateful data-flow for high-performance web applications
Leveraging Legacy Code to Deploy Desktop Applications on the Web
Operating System Profiling via Latency Analysis
Nickel: A Framework for Design and Verification of Information Flow Control Systems
Objective Software Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995, Proceedings
Benefits of Using Model-based Testing Tools
Objective Quality, 1995
Practical Guidelines for Ada Reuse in an Industrial Environment
Software Quality of Use: Evaluation by MUSiC
Quantifying the Benefits of Software Testing: an Experience Report from the GSM Application Domain
The Impact of Software Quality
Quality Estimation of Software Applications for Banking
The Impact of Reuse on Software Quality
Quantitative Approach to Software Process Improvement
Development of a Model for Reusability Assessment
Process Quality Problems from the Point of View of the User and of the Purchaser of Software
Quality Measurement of Software Products: an Experience about a Large Automation System
Validating Software Requirements Using Operational Models
Recent Industrial Experiences with Software Product Metrics
The SPICE Project: An International Standard for Software Process Assessment, Improvement and Capability Determination
BOOTSTRAP: A Software Process Assessment and Improvement Methodology
Software Testing for Dependability Assessment
Object-Oriented Design of the UPT Service: Evaluation of the Design Quality and Experience Learned
Similarity Function Learning with Data Uncertainty
LAST: Utilizing Synthetic Image Style Transfer to Tackle Domain Shift in Aerial Image Segmentation
Detection of Hasty State by Means of using Psychosomatic Information
Towards a Neuro-Symbolic Framework for Multimodal Human-AI Interaction
Sparse Least Squares Twin Support Vector Machines with Manifold-preserving Graph Reduction
Simultaneous Flexible Keyword Detection and Text-dependent Speaker Recognition for Low-resource Devices
Utilization of Multiple Sequence Analyzers for Bibliographic Information Extraction
Multimodal Sentiment Analysis: A Multitask Learning Approach
Movement Control with Vehicle-to-Vehicle Communication by using End-to-End Deep Learning for Autonomous Driving