yusuke1997/dblp-id-title huggingface dataset:
SnowFlock: Virtual Machine Cloning as a First-Class Cloud Primitive
Distributed Graph Processing System and Processing-in-memory Architecture with Precise Loop-carried Dependency Guarantee
UFO: A Personal Global File System Based on User-Level Extensions to the Operating System
A Digital Multisignature Schema Using Bijective Public-Key Cryptosystems
Introduction to Special Issue APLOS 2011
Symphony: Orchestrating Sparse and Dense Tensors with Hierarchical Heterogeneous Processing
Stateful distributed interposition
An evaluation of speculative instruction execution on simultaneous multithreaded processors
Distributed Process Groups in the V Kernel
Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service
Secure program partitioning
Energy-Oriented Partial Desktop Virtual Machine Migration
Firmato : A novel firewall management toolkit
Reliable Broadcast Protocols
Transient Behavior of Cache Memories
Customized Information Extraction as a Basis for Resource Discovery
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications
Fine-Grained Mobility in the Emerald System
Architectural and compiler support for effective instruction prefetching: a cooperative approach
Accelerating shared virtual memory via general-purpose network interface support
Fast In-Memory Transaction Processing Using RDMA and HTM
Fast and flexible application-level networking on exokernel systems
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol
Sequential Consistency versus Linearizability
Full-Stack Architecting to Achieve a Billion-Requests-Per-Second Throughput on a Single Key-Value Store Server Platform
The Performance of Multiversion Concurrency Control Algorithms
Effective Cache Prefetching on Bus-Based Multiprocessors
Boosting Inter-process Communication with Architectural Support
The MVA Priority Approximation
Delivery of Time-Critical Message Using a Multiple Copy Approach
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others
Optimizing General-Purpose CPUs for Energy-Efficient Mobile Web Computing
The Integration of Virtual Memory Management and Interprocess Communication in Accent
Preface to Special Issue on Operating System Princiles
VAXclusters: A Closely-Coupled Distributed System
Algorithms for Unboundedly Parallel Simulations
ISA Wars: Understanding the Relevance of ISA being RISC or CISC to Performance, Power, and Energy on Modern Architectures
Locking under Pfair scheduling
Inferring Internet denial-of-service activity
Performance Evaluation of the Orca Shared-Object System
On the design of perturbation-resilient atomic commit protocols for mobile transactions
Market mechanisms for managing datacenters with heterogeneous microarchitectures
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
Boki: Towards Data Consistency and Fault Tolerance with Shared Logs in Stateful Serverless Computing
How to Exchange (Secret) Keys
Recovery Management in QuickSilver
Performance Effects of Architectural Complexity in the Intel 432
TraceScaler: A Framework for Scaling Load in Real-World Traces for System Evaluation
An OpenMP Runtime for Transparent Work Sharing across Cache-Incoherent Heterogeneous Nodes
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel
Integrating Security in a Large Distributed System
Informing Memory Operations: Memory Performance Feedback Mechanisms and Their Applications
Venice: An Effective Resource Sharing Architecture for Data Center Servers
Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems
New directions in traffic measurement and accounting: Focusing on the elephants, ignoring the mice
Measuring thin-client performance using slow-motion benchmarking
A High-Speed Network Interface for Distributed-Memory Systems: Architecture and Applications
Analysis of Benchmark Characteristics and Benchmark Performance Prediction
Device Reservation in Audio/Video Editing Systems
Scheduling real-time garbage collection on uniprocessors
Fault-Tolerance in Air Traffic Control Systems
Multicast Routing in Datagram Internetworks and Extended LANs
VirtualClock: A New Traffic Control Algorithm for Packet-Switched Networks
Distributed Snapshots: Determining Global States of Distributed Systems
Sharing and Protection in a Single-Address-Space Operating System
Fault Tolerance Under UNIX
Concurrent programming without locks
Using Multicore Reuse Distance to Study Coherence Directories
Eliminating Receive Livelock in an Interrupt-Driven Kemel
Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels
Memory scheduling for modern microprocessors
End-To-End Arguments in System Design
Preface: Special Issue on Operating System Principles
Verified Data Transfer Protocols with Variable Flow Control
The Arm Triple Core Lock-Step (TCLS) Processor
Parity-Logging Disk Arrays
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems
A mechanistic performance model for superscalar out-of-order processors
Bimodal Multicast
Improving Resource Efficiency at Scale with Heracles
Trace cache sampling filter
Decay-Usage Scheduling in Multiprocessors
Preface to the Special Section on Measurement and Modeling of Computer Systems
Run-time adaptation in river
Sinfonia: A new paradigm for building scalable distributed systems
Reliability Analysis of SSDs Under Power Fault
A Formal Protection Model of Security in Centralized, Parallel, and Distributed Systems
Caching in the Sprite Network File System
Hint-based cooperative caching
Disk Cache-Miss Ratio Analysis and Design Considerations
Parallel program performance prediction using deterministic task graph analysis
Generating Test Cases for Real-Time Systems from Logic Specifications
Highly Concurrent Latency-tolerant Register Files for GPUs
Zyzzyva: Speculative Byzantine fault tolerance
A Programmable Interface Language for Heterogeneous Distributed Systems
HFS: A Performance-Oriented Flexible File System Based on Building-Block Compositions
Efficient (Stack) Algorithms for Analysis of Write-Back and Sector Machines
Measuring system normality
Coyote: A System for Constructing Fine-Grain Configurable Communication Services
The evolution of Coda
Independent General Principles for Constructing Responsive Software Systems
Cryptographic Solution to a Problem of Access Control in a Hierarchy
Moshe: A group membership service for WANs
A stateless approach to connection-oriented protocols
Smart packets: applying active networks to network management
Rx: Treating bugs as allergies - a safe method to survive software failures
Freezing-based Memory and Process Co-design for User Experience on Resource-limited Mobile Devices
The String-to-String Correction Problem with Block Moves
Experience with Grapevine: The Growth of a Distributed System
Software Prefetching for Indirect Memory Accesses: A Microarchitectural Perspective
The Profile Naming Service
The effect of seance communication on multiprocessing systems
A Computer Communication Technique Using Content-Induced Transaction Overlap
A high-level abstraction of shared accesses
Synchronizing Shared Abstract Types
A Security Architecture for Fault-Toerant Systems
Separating access control policy, enforcement, and functionality in extensible systems
Filesystem Fragmentation on Modern Storage Systems
A Binary Feedback Scheme for Congestion Avoidance in Computer Networks
RaWMS - Random Walk Based Lightweight Membership Service for Wireless Ad Hoc Networks
Comprehensive multiprocessor cache miss rate generation using multivariate models
Scale and Performance in a Distributed File System
The S2E Platform: Design, Implementation, and Applications
Optimal Routing in Closed Queuing Networks
Protocol Responsibility Offloading to Improve TCP Throughput in Virtualized Environments
Parametric Content-Based Publish/Subscribe
The LOCKSS peer-to-peer digital preservation system
The Design, Implementation, and Evaluation of Cells: A Virtual Smartphone Architecture
K2: A Mobile Operating System for Heterogeneous Coherence Domains
Ace: a language for parallel programming with customizable protocols
The Role of Compute in Autonomous Micro Aerial Vehicles: Optimizing for Mission Time and Energy Efficiency
A Security Model for Military Message Systems
Ordering Subscribers on Cable Networks
Performance Analysis of Redundant-Path Networks for Multiprocessor Systems
The Hipster Approach for Improving Cloud System Efficiency
Hypervisor-Based Fault Tolerance
A VLSI Layout for a Pipelined Dadda Multiplier
Apache REEF: Retainable Evaluator Execution Framework
EventGuard: A System Architecture for Securing Publish-Subscribe Networks
Effects of Job Loading Policies for Multiprogramming Systems in Processing a Job Stream
Decentralizing a Global Naming Service for Improved Performance and Fault Tolerance
Deca: A Garbage Collection Optimizer for In-Memory Data Processing
Approximate Storage in Solid-State Memories
QoS-Aware scheduling in heterogeneous datacenters with paragon
High-Speed Implementations of Rule-Based Systems
A Discipline for Constructing Multiphase Communication Protocols
Guest Editorial - Special Section on Communication Architectures and Protocols
The STAMPede approach to thread-level speculation
Interposed request routing for scalable network storage
The automatic improvement of locality in storage systems
Assisting Static Compiler Vectorization with a Speculative Dynamic Vectorizer in an HW/SW Codesigned Environment
Managing Stored Voice in the Etherphone System
Concurrency versus Availability: Atomic Mechanisms for Replicated Data
Contention-Aware Scheduling on Multicore Systems
Lock-Unlock: Is That All? A Pragmatic Analysis of Locking in Software Systems
The Effects of Processor Architecture on Instruction Memory Traffic
Introduction to the Special Section on EuroSys 2024
Deriving Protocol Specifications from Service Specifications Including Parameters
The PowerNap Server Architecture
Designing Future Warehouse-Scale Computers for Sirius, an End-to-End Voice and Vision Personal Assistant
Design and evaluation of a wide-area event notification service
SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis
Memory System Performance of Programs with Intensive Heap Allocation
Mechanisms that Enforce Bounds on Packet Lifetimes
Minimizing expected energy consumption in real-time systems through dynamic voltage scaling
Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems
Optimally Adaptive, Minimum-Distance, Circuit-Switched Routing in Hypercubes
A Tree-Based Algorithm for Distributed Mutual Exclusion
Using Pattern of On-Off Routers and Links and Router Delays to Protect Network-on-Chip Intellectual Property
A general framework for prefetch scheduling in linked data structures and its application to multi-chain prefetching
Optimizing Storage Performance for VM-Based Mobile Computing
Run-time support for distributed sharing in safe languages
Selective replication: A lightweight technique for soft errors
Byzantine Generals in Action: Implementing Fail-Stop Processors
Cache Performance of Operating System and Multiprogramming Workloads
Using Value Prediction to Increase the Power of Speculative Execution Hardware
A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications
801 Storage: Architecture and Programming
Adaptable Concurrency Control for Atomic Data Types
Implicit coscheduling: coordinated scheduling with implicit information in distributed systems
Stating Security Requirements with Tolerable Sets
SKMD: Single Kernel on Multiple Devices for Transparent CPU-GPU Collaboration
A Simulation Software for the Evaluation of Vulnerabilities in Reputation Management Systems
"Topologies" - Distributed Objects on Multicomputers
H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing
Load Balancing Content-Based Publish/Subscribe Systems
Proactive obfuscation
Dynamic Adaption of Real-Time Software
The Distributed Deadlock Detection Algorithm
A programmable memory controller for the DDRx interfacing standards
Scalable high-speed prefix matching
MIDDLE-R: Consistent database replication at the middleware level
EOLE: Combining Static and Dynamic Scheduling Through Value Prediction to Reduce Complexity and Increase Performance
Apache Nemo: A Framework for Optimizing Distributed Data Processing
An Effective Synchronization Network for Hot-Spot Accesses
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors
Optimizing the Block I/O Subsystem for Fast Storage Devices
Computation and Communication in R*: A Distributed Database Manager
Comprehensive multivariate extrapolation modeling of multiprocessor cache miss rates
The Liberty Simulation Environment: A deliberate approach to high-level system modeling
Reliable Broadcast Algorithms for HARTS
Using model checking to find serious file system errors
Static Grouping of Small Objects to Enhance Performance of a Paged Virtual Memory
Derecho: Fast State Machine Replication for Cloud Services
Experiments in SR with Different Upcall Program Structures
An HDLC Protocol Specification and Its Verification Using Image Protocols
Secure Communication Using Remote Procedure Calls
Ordered and Reliable Multicast Communication
Implications of Hierarchical N-Body Methods for Multiprocessor Architectures
Compiler-based I/O prefetching for out-of-core applications
Measurement and Modeling of Computer Reliability as Affected by System Activity
Portable Run-Time Support for Dynamic Object-Oriented Parallel Processing
Lightweight probabilistic broadcast
Reconfiguration for Fault Tolerance Using Graph Grammars
BASE: Using abstraction to improve fault tolerance
Coupling compiler-enabled and conventional memory accessing for energy efficiency
LCL+: a Lock Chain Length-based Distributed Deadlock Detection and Resolution Service Built for OceanBase
Corrigendum to "Derecho: Fast State Machine Replication for Cloud Services" by Jha et al., ACM Transactions on Computer Systems (TOCS) Volume 36, Issue 2, Article No. 4
Energy-aware lossless data compression
System support for pervasive applications
The WaveScalar architecture
Strong Loss Tolerance of Electronic Coin Systems
Efficient Testing of Recovery Code Using Fault Injection
A Recursive Algorithm for Binary Multiplication and Its Implementation
SEATTLE: A Scalable Ethernet Architecture for Large Enterprises
Rethink the sync
Preface to the Special Issues on Computer Architecture
Incrementally parallelizing database transactions with thread-level speculation
Experimental Comparison of Memory Management Policies for NUMA Multiprocessors
XpuTEE: A High-Performance and Practical Heterogeneous Trusted Execution Environment for GPUs
Performance of the VAX-11/780 Translation Buffer: Simulation and Measurement
Hill-climbing SMT processor resource distribution
Efficient Reuse Distance Analysis of Multicore Scaling for Loop-Based Parallel Programs
Response Times in Level-Structured Systems
Set-Associative Cache Simulation Using Generalized Binomial Trees
Measurement and Evaluation of the MIPS Architecture and Processor
Size-based scheduling to improve web performance
Spanner: Google's Globally Distributed Database
A Tree-Structured Mean Value Analysis Algorithm
Practical and low-overhead masking of failures of TCP-based servers
Introduction to the Special Issue on the Award Papers of USENIX ATC 2019
A Fast Mutual Exclusion Algorithm
Specialization tools and techniques for systematic optimization of system software
A Dynamic Network Architecture
An Analytical Cache Model
Cellular disco: resource management using virtual clusters on shared-memory multiprocessors
High-Level Language Debugging for Concurrent Programs
Interprocess Communication and Processor Dispatching on the Intel 432
Optimality of a Central Processor Scheduling Policy for Processing a Job Stream
Efficient Control and Communication Paradigms for Coarse-Grained Spatial Architectures
Error Bounds for Performance Prediction in Queuing Networks
Design and evaluation of a conit-based continuous consistency model for replicated services
Automated anomaly detection and performance modeling of enterprise applications
An Empirical Styudy of a Wide-Area Distributed File System
CORFU: A distributed shared log
The SMesh wireless mesh network
A Coherent Distributed File Cache with Directory Write-Behind
Optimistic Recovery in Distributed Systems
A Fast File System for UNIX
Supercloud: A Library Cloud for Exploiting Cloud Diversity
Reliable Scheduling in a TMR Database System
Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices
The Vulnerabilty of Vote Assignments
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design
A Simple and Efficient Bus Management Scheme that Supports Continuous Streams
Shooting Down the Server Front-End Bottleneck
Quickly finding near-optimal storage designs
Improving peer-to-peer performance through server-side scheduling
Partial Network Partitioning
A Hierarchical Thread Scheduler and Register File for Energy-Efficient Throughput Processors
COCA: A secure distributed online certification authority
Minerva: An automated resource provisioning tool for large-scale storage systems
The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane
BlueDBM: Distributed Flash Storage for Big Data Analytics
Fast and secure distributed read-only file system
Conversation-Based Mail
An Optimized Contention Protocol for Broadband Networks
Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors
Improving Software Diagnosability via Log Enhancement
File Access Performance of Diskless Workstations
Garbage collection for a client-server persistent object store
Fay: Extensible Distributed Tracing from Kernels to Clusters
Providing High Availability Using Lazy Replication
Implementation and Performance of Integrated Application-Controlled File Caching, Prefetching, and Disk Scheduling
A Logic for Reasoning About Security
Disk Arm Movement in Anticipation of Future Requests
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
Preface to the Special Issue on Operating System Principles
A SMART scheduler for multimedia applications
An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion
Performance analysis of TLS Web servers
Soft updates: a solution to the metadata update problem in file systems
Optimizing Resource Management for Shared Microservices: A Scalable System Design
The Vesta Parallel File System
Waiting Algorithms for Synchronization in Large-Scale Multiprocessors
Monitoring Distributed Systems
Diciclo: Flexible User-level Services for Efficient Multitenant Isolation
Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback
Converting Thread-Level Parallelism to Instruction-Level Parallelism via Simultaneous Multithreading
Energy Analysis of Hardware and Software Range Partitioning
Distributed Timestamp Generation in Planar Lattice Networks
Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems
Lightweigt Causal and Atomic Group Multicast
High-Performance Operating System Primitives for Robotics and Real-Time Control Systems
Power Limitations and Dark Silicon Challenge the Future of Multicore
Value-based clock gating and operation packing: dynamic strategies for improving processor power and performance
Predicting and preventing inconsistencies in deployed distributed systems
Mobile processors for energy-efficient web search
A Virtualized Separation Kernel for Mixed-Criticality Systems
DoublePlay: Parallelizing Sequential Logging and Replay
Efficient Fault Tolerance for Stateful Serverless Computing with Asymmetric Logging
The Development and Proof of a Formal Specification for a Multilevel Secure System
GPUfs: Integrating a file system with GPUs
Balancing performance and flexibility with hardware support for network architectures
Specifying and using a partitionable group communication service
Recovery in the Calypso File System
A Square Root N Algorithm for Mutual Exclusion in Decentralized Systems
Reliable Communication in the Presence of Failures
UNIQ: Uniform Noise Injection for Non-Uniform Quantization of Neural Networks
Energy-efficient CPU scheduling for multimedia applications
Managing battery lifetime with energy-aware adaptation
Concurrent Reading and Writing of Clocks
TritonSort: A Balanced and Energy-Efficient Large-Scale Sorting System
FLIP: An Internetwork Protocol for Supporting Distributed Systems
Comprehensive formal verification of an OS microkernel
Cache Coherence Protocols: Evaluation Using a Multiprocessor Simulation Model
PMAlloc: A Holistic Approach to Improving Persistent Memory Allocation
AutoScale: Dynamic, Robust Capacity Management for Multi-Tier Data Centers
SmartIO: Zero-overhead Device Sharing through PCIe Networking
Trinity: High-Performance and Reliable Mobile Emulation through Graphics Projection
An architecture for packet-striping protocols
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan
Preface to the Special Issue on Architectural Support for Programming Languages and Systems
A study of source-level compiler algorithms for automatic construction of pre-execution code
Metron: High-performance NFV Service Chaining Even in the Presence of Blackboxes
Cryptography as an operating system service: A case study
Experience distributing objects in an SMMP OS
Whole-system Persistence Made Efficient with Tree-structured Checkpointing on Microkernel
The Alpine File System
Building Consistent Transactions with Inconsistent Replication
A Continuum of Disk Scheduling Algorithms
Throughput optimal total order broadcast for cluster environments
Increasing Availability Under Mutual Exclusion Constraints with Dynamic Vote Reassignment
Page Placement Algorithms for Large Real-Indexed Caches
Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing
Recovering device drivers
Call graph prefetching for database applications
Remote Pipes and Procedures for Efficient Distributed Communication
On the Generation of Cryptographically Strong Pseudorandom Sequences
On the Reliability of Consensus-Based Fault-Tolerant Distributed Compting Systems
An Internet multicast system for the stock market
Neural methods for dynamic branch prediction
Reining in Long Tails in Warehouse-Scale Computers with Quick Voltage Boosting Using Adrenaline
Application-Tailored I/O with Streamline
Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors
Java consistency: nonoperational characterizations for Java memory behavior
Corrigendum to "The IX Operating System: Combining Low Latency, High Throughput and Efficiency in a Protected Dataplane"
The Totem Single-Ring Ordering and Membership Protocol
Implementing Remote Procedure Calls
Improving Round-Trip Time Estimates in Reliable Transport Protocols
A Key Distribution Protocol Using Event Markers
CHAOS-arc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications
Computational Sprinting: Architecture, Dynamics, and Strategies
User-Level Interprocess Communication for Shared Memory Multiprocessors
Bringing Virtualization to the x86 Architecture with the Original VMware Workstation
Using certes to infer client response time at the web server
Fairness via Source Throttling: A Configurable and High-Performance Fairness Substrate for Multicore Memory Systems
Component-distinguishable Co-location and Resource Reclamation for High-throughput Computing
Cache Performance in the VAX-11/780
Runtime identification of cache conflict misses: The adaptive miss buffer
The costs and limits of availability for replicated services
The S/Net's Linda Kernel
Let caches decay: reducing leakage energy via exploitation of cache generational behavior
IO-Lite: a unified I/O buffering and caching system
Distributed hash sketches: Scalable, efficient, and accurate cardinality estimation for distributed multisets
KylinX: Simplified Virtualization Architecture for Specialized Virtual Appliances with Strong Isolation