yusuke1997/dblp-id-title huggingface dataset:
CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory
A generic communication scheduler for distributed DNN training acceleration
Rocksteady: Fast Migration for Low-latency In-memory Storage
Atlantis: robust, extensible execution environments for web applications
Performance and protection in the ZoFS user-space NVM file system
Ownership is theft: experiences building an embedded OS in rust
An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm
Fabric: a platform for secure distributed computation and storage
Assessing the scalability of garbage collectors on many cores
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters
The structure of the "THE"-multiprogramming system
Systems Aspects of the Cambridge Ring
Models of Memory Scheduling
Automated Hoarding for Mobile Computers
URDB: a universal reversible debugger based on decomposing debugging histories
The Zebra Striped Network File System
SPFresh: Incremental In-Place Update for Billion-Scale Vector Search
Community-Structured Decentralized Learning for Resilient EI
A Nested Transaction Mechanism for LOCUS
Phase change memory in enterprise storage systems: silver bullet or snake oil?
Using Annotated Interface Definitions to Optimize RPC
SplitFS: reducing software overhead in file systems for persistent memory
Challenges For Scaling Applications Across Enclaves
A Name Service for Evolving, Heterogeneous Systems
The scalable commutativity rule: designing scalable software for multicore processors
Medusa: An Experiment in Distributed Operating System Structure (Summary)
WFS: A Simple Shared File System for a Distributed Environment
How to get more value from your file system directory cache
Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks
Reducing Cross-Cloud/Region Costs with the Auto-Configuring MACARON Cache
Caracal: Contention Management with Deterministic Concurrency Control
Optimizing power consumption of mobile games
No more electrical infrastructure: towards fuel cell powered data centers
Online System Performance Measurements with Software and Hybrid Monitors
The working set model for program behavior
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009
Compiler Directed Memory Management Policy For Numerical Programs
Extensible Data Features in the Operating System Language OSL/2
Examining storage performance on mobile devices
Distributed Transactions for Reliable Systems
Optimal Folding of a Paging Drum in a Three Level Memory System
Arabesque: a system for distributed graph mining
Turning flash crowds into smart mobs with real-time stochastic detection and adaptive cooperative caching
Log Files: An Extended File Service Exploiting Write-Once Storage
Recovery Management in QuickSilver (Extended Abstract)
Scalable coordination of a tightly-coupled service in the wide area
Spirit: Fair Allocation of Interdependent Resources in Remote Memory Systems
Towards an Efficient System for Differentially-private, Cross-device Federated Learning
/*icomment: bugs or bad comments?*/
The Flux OSKit: A Substrate for Kernel and Language Research
EMERALDS: a small-memory real-time microkernel
Snoopy: Surpassing the Scalability Bottleneck of Oblivious Storage
Measurement and performance of a multiprogramming system
Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract)
Threads and Input/Output in the Synthesis Kernel
MARS: adaptive remote execution for multi-threaded mobile devices
My VM is Lighter (and Safer) than your Container
Measurements of segment size
DISCO: Running Commodity Operating Systems on Scalable Multiprocessors
Hibernator: helping disk arrays sleep through the winter
Automatic Reconfiguration in Autonet
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
Supporting Distributed Applications: Experience with Eden
Separating key management from file system security
Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems
Optimizing data-intensive computations in existing libraries with split annotations
Experience with Processes and Monitors in Mesa (Summary)
SILT: a memory-efficient, high-performance key-value store
Fay: extensible distributed tracing from kernels to clusters
TENEX, a Paged Time Sharing System for the PDP-10 (Abstract)
Resource Management In A Decentralized System
Hypervisor-based Fault-tolerance
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations
A Study of Program Locality and Lifetime Functions
Atom: Horizontally Scaling Strong Anonymity
Validating JIT Compilers via Compilation Space Exploration
A scheduling philosophy for multi-processing systems
How to Evaluate Page Replacement Algorithms
Sia: Heterogeneity-aware, goodput-optimized ML-cluster scheduling
Impact of DVFS on n-tier application performance
Exploiting Virtual Synchrony in Distributed Systems
Proto: A Guided Journey through Modern OS Construction
Implementing linearizability at large scale and low latency
Vigilante: end-to-end containment of internet worms
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Leveraging thermal storage to cut the electricity bill for datacenter cooling
Cryptographic Sealing for Information Secrecy and Authentication (Summary)
The multics interprocess communication facility
Samsara: honor among thieves in peer-to-peer storage
Dynamic storage allocation systems
Replication, history, and grafting in the Ori file system
Context-aware apps with the Zonezz platform
Multiprogramming in a small-systems environment
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
SETSUDŌ: perturbation-based testing framework for scalable distributed systems
Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy
Weir: a streaming language for performance analysis
Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency
Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer
Sinfonia: a new paradigm for building scalable distributed systems
Exokernel: An Operating System Architecture for Application-Level Resource Management
Searchlight: helping mobile devices find their neighbors
Capturing, indexing, clustering, and retrieving system history
Cache-Line Transactions: Building Blocks for Persistent Kernel Data Structures Enabled by AspectC++
PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
Primitives for Distributed Computing
Halfmoon: Log-Optimal Fault-Tolerant Stateful Serverless Computing
Task Communication in DEMOS
A Comparison of Two Network-Based File Servers
Quilt: Resource-aware Merging of Serverless Workflows
Two approaches for measuring the performance of time-sharing systems
A program simulator by partial interpretation
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, SOSP 1995, Copper Mountain Resort, Colorado, USA, December 3-6, 1995
Measurement, modeling, and analysis of a peer-to-peer file-sharing workload
Efficient Software-Based Fault Isolation
Using model checker and replay facility to debug complex distributed system
Fork/Wait and Multicore Frequency Scaling: a Generational Clash
Ekho: bridging the gap between simulation and reality in tiny energy-harvesting sensors
The Felix File System
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, SOSP 1997, St. Malo, France, October 5-8, 1997
Code-Partitioning Gossip
Transaction mix performance models: methods and application to performance anomaly detection
Automated SmartNIC Offloading Insights for Network Functions
OS support for multi-gigabit networking
SPANStore : cost-effective geo-replicated storage spanning multiple cloud services
Bounds on Scheduling with Limited Resources
Analysis of a Level Algorithm for Preemptive Scheduling
Yesquel: scalable sql storage for web applications
SEEP: exploiting symbolic execution for energy-aware programming
Xenic: SmartNIC-Accelerated Distributed Transactions
A Trace-Driven Analysis of the UNIX 4.2 BSD File System
Reflections on the Verification of the Security of an Operating System Kernel
Software fault isolation with API integrity and multi-principal modules
Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017
Operating systems transactions
Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification
Energy-aware adaptation for mobile applications
Improving file system reliability with I/O shepherding
The structure of the ILLIAC IV operating system
A Domain Structure for Distributed Computer Systems
Engineering a Security Kernel for Multics
Reimplementing the Cedar File System Using Logging and Group Commit
Evolution of fault tolerance
Protecting the stack with PACed canaries
The Measured Performance of Personal Computer Operating Systems
Speculative execution in a distributed file system
Boki: Stateful Serverless Computing with Shared Logs
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
Concurrent Compacting Garbage Collection of a Persistent Heap
Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
Lineage stash: fault tolerance off the critical path
Free Transactions With Rio Vista
Teechain: a secure payment network with asynchronous blockchain access
Towards Transparent and Efficient Software Distributed Shared Memory
One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels
FragPicker: A New Defragmentation Tool for Modern Storage Devices
Improving DNN Inference Throughput Using Practical, Per-Input Compute Adaptation
Frangipani: A Scalable Distributed File System
Polynomial Complete Scheduling Problems
Consistency and Recovery Control for Replicated Files
RouteBricks: exploiting parallelism to scale software routers
Drowsy power management
Theory and practice in operating system design
Tenplex: Dynamic Parallelism for Deep Learning using Parallelizable Tensor Collections
Checking process-oriented operating system behaviour using CSP and refinement
IC-Cache: Efficient Large Language Model Serving via In-context Caching
Towards a standards-compliant pure-software trusted execution environment for resource-constrained embedded devices
Mondrix: memory isolation for linux using mondriaan memory protection
Honeycrisp: large-scale differentially private aggregation without a trusted core
Synchronization Primitives for a Multiprocessor: A Formal Specification
File systems deserve verification too!
THINC: a virtual display architecture for thin-client computing
Scheduling Partially Ordered Tasks with Probabilistic Execution Times
An Operating System Based on the Concept of a Supervisory Computer (Abstract)
Designing File Systems for Digital Video and Audio
A Caching File System For a Programmer's Workstation
Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
Recipe: converting concurrent DRAM indexes to persistent-memory indexes
Transactional storage for geo-replicated systems
Preliminary design of the SAFE platform
PipeDream: generalized pipeline parallelism for DNN training
Yodel: strong metadata security for voice calls
Finding semantic bugs in file systems with an extensible fuzzing framework
The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling
Aceso: Achieving Efficient Fault Tolerance in Memory-Disaggregated Key-Value Stores
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
The Design of the Venus Operating System
Strongly Secure and Efficient Data Shuffle on Hardware Enclaves
Cluster-Based Scalable Network Services
No compromises: distributed transactions with consistency, availability, and performance
Tapir: a language for verified OS kernel probes
Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits
Consistency and Correctness of Duplicate Database Systems
A File System Supporting Cooperation between Programs
Mesh Based Content Routing using XML
Flexible Advancement in Asynchronous BFT Consensus
Exploiting processor heterogeneity for energy efficient context inference on mobile phones
Generic Virtual Memory Management for Operating System Kernels
A Comparative Analysis of Disk Scheduling Policies (Abstract)
PIT: Optimization of Dynamic Sparse Deep Learning Models via Permutation Invariant Transformation
A vision for autonomous blockchains backed by secure hardware
Verus: A Practical Foundation for Systems Verification
Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs
On the Synthesis and Analysis of Protection Systems
PrefillOnly: An Inference Engine for Prefill-only Workloads in Large Language Model Applications
An Architecture for Large Scale Information Systems
Improving dynamic update for operating systems
Canopy: An End-to-End Performance Tracing And Analysis System
Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract)
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing
Power-efficient networking for balanced system designs: early experiences with PCIe
Low-Latency Analytics on Colossal Data Streams with SummaryStore
Harnessing energy efficiency of heterogeneous-ISA platforms
RackBlox: A Software-Defined Rack-Scale Storage System with Network-Storage Co-Design
Hardening Intel SGX Applications: Balancing Concerns
Geometric Partitioning: Explore the Boundary of Optimal Erasure Code Repair
Scale and Performance in a Filesystem Semi-Microkernel
Edna: Disguising and Revealing User Data in Web Applications
Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015
E2: a framework for NFV applications
Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network
Cocoon: Custom-Fitted Kernel Compiled on Demand
A Task Scheduling Algorithm for a Multiprogramming Computer System
Timecard: controlling user-perceived delays in server-based mobile applications
Virtual Terminal Management in a Multiple Process Environment
J-NVM: Off-heap Persistent Objects in Java
Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control
Variable-Length Capabilities as a Solution to the Small-Object Problem
Mira: A Program-Behavior-Guided Far Memory System
The UTS time-sharing system: performance analysis and instrumentation
Making enterprise storage more search-friendly
Lazy Diagnosis of In-Production Concurrency Bugs
I4: incremental inference of inductive invariants for verification of distributed protocols
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003
How device properties influence energy-delay metrics and the energy-efficiency of parallel computations
Capriccio: scalable threads for internet services
Hive: Fault Containment for Shared-Memory Multiprocessors
Mirage: A Coherent Distributed Shared Memory Design
Overview of the HYDRA Operating System Development
Fast dynamic binary translation for the kernel
Time-Function Scheduling: A General Approach To Controllable Resource Management
Implementing an untrusted operating system on trusted hardware
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines
Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis
Resource management for a medium scale time sharing operating system
Implementing Global Memory Management in a Workstation Cluster
CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities
Rover: A Toolkit for Mobile Information Access
Fast crash recovery in RAMCloud
Managing Energy and Server Resources in Hosting Centres
Past and future of hardware and architecture
Pre-virtualization: uniting two worlds
The system design cycle
Understanding the Overheads of Hardware and Language-Based IPC Mechanisms
Dandelion: a compiler and runtime for heterogeneous systems
Progress-based regulation of low-importance processes
Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
Attacking the Process Migration Bottleneck
When Idling is Ideal: Optimizing Tail-Latency for Heavy-Tailed Datacenter Workloads with Perséphone
Proactive operating system recovery
Basic time-sharing: a system of computing principles
lODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage
Rearchitecting the Thread Model of In-Memory Key-Value Stores with μTPS
UIA: a user information architecture for personal devices
A Multi-Microprocessor Computer System Architecture
System Support for Automated Profiling and Optimization
Theseus: a State Spill-free Operating System
Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture
Rx: treating bugs as allergies - a safe method to survive software failures
LithOS: An Operating System for Efficient Machine Learning on GPUs
Prochlo: Strong Privacy for Analytics in the Crowd
The Impact of Architectural Trends on Operating System Performance
Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System
HEALER: Relation Learning Guided Kernel Fuzzing
Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981
Towards realizing a low cost and highly available datacenter power infrastructure
An Asymmetric Stream Communication System
Understanding the Limitations of Causally and Totally Ordered Communication
From ARIES to MARS: transaction support for next-generation, solid-state drives
A digital communication network for computers giving rapid response at remote terminals
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor
ExtraVirt: detecting and recovering from transient processor faults
Distributed data flow language for multi-party protocols
Jupiter: transparent augmentation of smartphone capabilities through cloud computing
Jenga: Effective Memory Management for Serving LLM with Heterogeneity
Architecting a secure internet
Turbo: Effective Caching in Differentially-Private Databases
A Virtual Machine Emulator for Performance Evaluation (Summary)
A file is not a file: understanding the I/O behavior of Apple desktop applications
Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP
Running Consistent Applications Closer to Users with Radical for Lower Latency
Manageability, Availability and Performance in Porcupine: A Highly Scalable, Cluster-based Mail Service
Protection in the HYDRA Operating System
IOFlow: a software-defined storage architecture
Dynamic Storage Partitioning
Gravevine: An Exercise in Distributed Computing (summary)
A Study of Storage Partitioning Using a Mathematical Model (Abstract)
Self-stabilizing operating systems
An implementation of a multiprocessing computer system
Weighted Voting for Replicated Data
Anticipatory scheduling: A disk scheduling framework to overcome deceptive idleness in synchronous I/O
Policy/Mechanism Separation in HYDRA
Managing Scalable Direct Storage Accesses for GPUs with GoFS
Limitations of Dijkstra's Semaphore Primitives and Petri Nets
Reminiscences on SOSP history day
Scale and Performance in a Distributed File System (Extended Abstract)
Performance debugging for distributed systems of black boxes
Isolation in Rust: What is Missing?
Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications
Fast and secure global payments with Stellar
Secure network provenance
Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
Computational Processor Demands of Algol-60 Programs
Consistent, durable, and safe memory management for byte-addressable non volatile main memory
CRL: High-Performance All-Software Distributed Shared Memory
Using Continuations to Implement Thread Management and Communication in Operating Systems
Improving the Efficiency of UNIX File Buffer Caches
Implementing Atomic Actions on Decentralized Data
iMAX: A Multiprocessor Operating System for an Object-Based Computer
Dynamo: amazon's highly available key-value store
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, SOSP 1991, Asilomar Conference Center, Pacific Grove, California, USA, October 13-16, 1991
If At First You Don't Succeed, Try, Try, Again...? Insights and LLM-informed Tooling for Detecting Retry Bugs in Software Systems
Discretized streams: fault-tolerant streaming computation at scale
A case for bad big.LITTLE switching: how to scale power-performance in SI-HMP
Proceedings of the Tenth ACM Symposium on Operating System Principles, SOSP 1985, Orcas Island, Washington, USA, December 1-4, 1985
Peer to peer: still useless?
Wait-Free Code Patching of Multi-Threaded Processes
Sending more for less bandwidth and power: a systems approach to network coding
An empirical study of the behavior of programs in a paging environment
Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977
Formalising device driver interfaces
PTask: operating system abstractions to manage GPUs as compute devices
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions
Dynamic deadlock avoidance in systems code using statically inferred effects
Regular Sequential Serializability and Regular Sequential Consistency
Implementation and Performance of Munin
Are P2P concepts worth pursuing?
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface
The Cap Filing System
A lightweight infrastructure for graph analytics
Street Voids: Analyzing Street-Level Walkability Based on 3D Morphology and Remotely Accessible Urban Data
BIMThermoAR: Visualizing Building Thermal Simulation Using BIM-Based Augmented Reality
A Multi-formalism Shape Grammar Interpreter
A Framework for Monitoring and Identifying Indoor Air Pollutants Based on BIM with IoT Sensors
Real-Time Assessment for Architectural CAD/CAM: Knowledge-Based-Methodology Approach
Path Optimization for Multi-material 3D Printing Using Self-organizing Maps
A Phenotype-Based Representation that Quantifies Aesthetic Variables
Shape Grammars for Architectural Design: The Need for Reframing
Big Data, Good Data, and Residential Floor Plans - Feature Selection for Maximizing the Information Value and Minimizing Redundancy in Residential Floor Plan Data Sets
An Info-Biological Theory Approach to Computer-Aided Architectural Design: UnSSEUS
Material Computability of Indeterminate Plaster Behavior
Measurement of Spatial Openness of Indoor Space Using 3D Isovists Methods and Fibonacci Lattices
Structural Design Recommendations in the Early Design Phase Using Machine Learning
Formal Descriptions of Material Manipulations - An Exploration with Cuts and Shadows
Coupling Co-presence in Physical and Virtual Environments Toward Hybrid Places
Defining Rules for Kinematic Shapes with Variable Spatial Relations
The Marching Shape 3D - Extensions of the Ice Ray Shape Grammar
Weeping Brick - The Modular Living Wall System Using 3D Printed Porous Ceramic Materials
CDPR Studio: A Parametric Design Tool for Simulating Cable-Suspended Parallel Robots
Computer-Aided Architectural Design. Design Imperatives: The Future is Now - 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers
Industrial Robots for Design Education: Robots as Open Interfaces beyond Fabrication
Augmented Performative Design: A Workflow Utilizing Augmented Reality for Structurally Stable Masonry Design
The Research of Relationship between Architectural Space and Wind Environment in Residential Area
Optimizing Spatial Adjacency in Hospital Master Planning
Computing Stitches and Crocheting Geometry