yusuke1997/dblp-id-title huggingface dataset:
Preliminary Thoughts on Problem-oriented Shared Memory: A Decentralized Approach to Distributed Systems
A Linux networking study
Summary of the Second International Workshop on Network and Operating System Support for Digital Audio and Video
An Experiment using Registers for Fast Message-Based Interprocess Communication
A Simple Reliable Globally-Ordered Broadcast Service
A Roadmap and Plan of Action for Community-Supported Empirical Evaluation in Computer Architecture
Extending the Schematic Protection Model II: Revocation
Why the Kuperee Authentication System Fails
HipG: parallel processing of large-scale graphs
Structured Interrupts
Offering different services by server clusters
Efficient and Timely Mutual Authentication
Holistic aggregate resource environment
User Defined Files
Fixing a Problem in the Helsinki Protocol
Practical experiences with chronics discovery in large telecommunications systems
Disaggregated GPU Acceleration for Serverless Applications
Gossiping on MANETs: the beauty and the beast
An improvement of delegated multisignature scheme with document decomposition
WASS: A Security Services for Wireless ATM Networks
On the value of threshold signatures
Responding rapidly to service level violations using virtual appliances
CPU frequency emulation based on DVFS
Partition-based heap memory management in an application server
Design and Implementation of a Configurable Mixed-Media File System
Is Your Computing Environment Secure? Security Problems With Interrupt Handling Mechanisms
Experiences in Integrating Distributed Shared Memory with Virtual Memory Management
Summary of the 4th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '93)
Exploring Issues of Operating Systems Structuring: from Microkernel to Extensible Systems
An approach to the formal verification of the three-principal cryptographic protocols
A layered approach to simplified access control in virtualized systems
Scalable Graph Neural Network Training: The Case for Sampling
Security enhancement for Optimal Strong-Password Authentication protocol
Support for Heterogeneity in the Global Distributed Operating System
A Distributed Computing Model Based on Multiserver
Structuring and Communication in the Vanguard OS Kernel (Abstract)
An improvement of security enhancement for the timestamp-based password authentication scheme using smart cards
Making Distributed Multimedia Systems Secure: The Switchboard Approach
Implementation and Evaluation of Alternative Process Schedules in Minix
Linkage in the Nemesis Single Address Space Operating System
Asynchronous consensus protocol for the unreliable un-fully connected network
Comments on multiparty key exchange scheme
Representation of process synchronization
A Note on "Protection Imperfect"
HTM design spaces: complete decoupling from caches and achieving highly concurrent transactions
Architecture Quality
Scheduling Tasks with Ready Times and Deadlines to Minimize Average Error
Survey of Recent Operating Systems Research, Designs and Implementations
A secure one-time password authentication scheme with low-computation for mobile communications
Nested Monitor Calls
A case for the accountable cloud
An Effective Git And Org-Mode Based Workflow For Reproducible Research
Challenges and opportunities for efficient computing with FAWN
Network Security via Private-Key Certificates
Choices (Class Hierarchical Open Interface for Custom Embedded Systems)
VMS on Mach (Abstract)
Cryptanalysis of a flexible remote user authentication scheme using smart cards
Software Fault Tolerance in Telecommunications Systems
On Distribution of Coordinated Atomic Actions
Recoverability of modular systems
Software Diversity as a Way to Well-Structured Concurrent Software
Operating systems review: looking back and looking forward
Autopilot: automatic data center management
Five Forces Shaping Experimental Computer Science
A New Way to Design Causally and Totally Ordered Multicast Protocols
MADIDS: a novel distributed IDS based on mobile agent
Transparent Disconnected Operation for Fault-Tolerance
ZCZOS: A Distributed Operating System for a LSI-11 Microcomputer Network
Improved conference key distribution protocol based on a symmetric balanced incomplete block design
Customer-oriented diagnosis of memory provisioning for IaaS clouds
A Survey of Asynchronous Remote Procedure Calls
An Implementation for Small Databases with High Availability
An energy case for hybrid datacenters
The design principles of PlanetLab
ClosestNode.com: an open access, scalable, shared geocast service for distributed systems
Task Allocation in Distributed Computing Systems
ROSY: recovering processor and memory systems from hard errors
An example of communication between security tools: iptables - snort
A Joint Authorisation Scheme
New application of reliable agreement: underlying an unsecured business environment
Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract)
Benchmark, sample & measure
The case for RAMClouds: scalable high-performance storage entirely in DRAM
ParFiSys: A Parallel File System for MPP
A Critique of the Burrows, Abadi and Needham Logic
Multiprocessor Real-Time Threads
Bridging functional heterogeneity in multicore architectures
A dynamic distributed replica management mechanism based on accessing frequency detecting
Enhancing Jini for Use Across Non-Multicastable Networks
Mosaic: Enabling Application-Transparent Support for Multiple Page Sizes in Throughput Processors
SelfTalk for Dena: query language and runtime support for evaluating system behavior
HeteroOS: OS Design for Heterogeneous Memory Management in Datacenters
NSDR 2009 3rd workshop on networked systems for developing regions
Remarks on fingerprint-based remote user authentication scheme using smart cards
A Multitasking Executive for Operating System Courses
Cryptanalysis of an ID-based password authentication scheme using smart cards and fingerprints
Detection and Resolution of Inconsistencies among Distributed Replicates of Files
Fault Tolerance in the Advanced Automation System (Abstract)
Operating System Support for Adaptive Distributed Real-Time Systems in DRAGON SLAYER
Security of ultra-lightweight RFID authentication protocols and its improvements
TVDc: managing security in the trusted virtual datacenter
WASS: Wireless ATM Security System
A Display and Analysis Tool for Process-Resource Graphs
Overview of the 3rd ACM SOSP workshop on networking, systems and applications on mobile handhelds
Real-Time Scheduling of Multimedia Data Retrieval to Minimize Buffer Requirements
Ubiquity and Need-to-Know: Two Principles of Data Distribution
Evaluation of interrupt handling timeliness in real-time Linux operating systems
A Comparative Study of two Simple Network File Access Models
Boosting energy efficiency with mirrored data block replication policy and energy scheduler
Use of TUNIS in an Operating Systems Design Course
Survey of design goals for operating systems
Revisiting Hash Table Design for Phase Change Memory
An Exchange of Views on Operating Systems Courses
An Interaction of Coherence Protocols and Memory Consistency Models in DSM Systems
NEPI: using independent simulators, emulators, and testbeds for easy experimentation
Load Distribution and Balancing Support in a Workstation-Based Distributed System
Real-Time Threads
Towards better performance per watt in virtual environments on asymmetric single-ISA multi-core systems
A secure and efficient strong-password authentication protocol
Fairness in Processor Scheduling in Time Sharing Systems
Visual Proxy: Exploiting OS Customizations without Application Source Code
Traveling to Rome: a retrospective on the journey
Virtualization performance: perspectives and challenges ahead
On Unifying Module Interfaces
Efficient Solutions to the Replicated Log and Dictionary Problems
The story behind the first SIGOPS Dennis M. Ritchie doctoral dissertation award
Data-Aware Compression for HPC using Machine Learning
Jade: A Distributed Software Prototyping Environment
GPU virtualization on VMware's hosted I/O architecture
Accurate offline synchronization of distributed traces using kernel-level events
Running-mode analysis of the Security Socket Layer protocol
The classification of deadlock prevention and avoidance is erroneous
Algorithm/Architecture Co-Design for Near-Memory Processing
L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel
Impact of Mobility on Distributed Computations
SOSP Professional Travel Scholarship: Reflections by Recipient William Tetzlaff
Migration of Processes, Files, and Virtual Devices in the MDX Operating Systems
Towards Large Language Model-Friendly APls
Objects to the Rescue! or httpd: The Next Generation Operating System
An Implementation of Capabilities on the PDP-11/45
Architectural Principles and Techniques for Distributed Multimedia Application Support in Operating Systems
A Comprehensive Bibliography of Distributed Shared Memory
Design of an object-based storage device based on I/O processor
Multi-agent schema of Mobile IP protocol for mobile environment
Development and implementation of a loosely coupled, multi-site, networked and replicated electronic medical record in Haiti
MINIX 3: a highly reliable, self-repairing operating system
LLexus: an AI agent system for incident management
Issues in the Design and Use of a Distributed File System
Security in Mobile Agent System: Problems and Approaches
A New Protection Architecture for the Cambridge Capability Computer
Weaknesses of Lee-Li-Hwang's hash-based password authentication scheme
The research on consistency of space/time of IDS
Some Measurements of Timeline Gaps in VAX/VMS
Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications
An efficient contract signing protocol using the aggregate signature scheme to protect signers' privacy and promote reliability
X-RDR: a role-based delegation processor for web-based information systems
Coordinating multiple administration loops using discrete control
Launching a Successful CPME Program In a Multi-Vendor Environment
Supporting MapReduce on large-scale asymmetric multi-core clusters
CUBIC: a new TCP-friendly high-speed TCP variant
Garbage Collection versus Swapping
Multicore diversity: a software developer's nightmare
The Concept of Asynchronization
Modeling Communication Costs in Blade Servers
Security Issues in ATM Networks
Fault-Tolerance in Delta-4
The Covert Channel Limiter Revisited
Secure communications between bandwidth brokers
K42: lessons for the OS community
Reflection of Developing User-Level Real-Time Thread Packages
SOSP Professional Travel Scholarship: Reflections by Recipient Cary Gray
A flexible remote user authentication scheme using smart cards
A New Family of Authentication Protocols
An Intelligent Dynamic Load Balancer for Workstation Clusters
On Binding Layers of Software
Book Review: Robert Slade's Guide to Computer Viruses
Refinement and Extension of Encrypted Key Exchange
Call for Nominations - ACM SIGOPS Mark Weiser Award
Performance-directed energy management using BOS
A New Checkpoint Mechanism for Real Time Operating Systems
ID-based Secret-Key Cryptography
MCTS Nucleus: Philosophy and Praxis
The bounds of faulty components on consensus with dual failure modes
The Muse Object Architecture: A New Operating System Structuring Concept
Plan 9 authentication in Linux
An energy-efficient self-provisioning approach for cloud resources management
The BBFS Filesystem Model (Abstract)
Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing
P.R.O.S.E.: partitioned reliable operating system environment
Is Bare-metal I/O Performance with User-defined Storage Drives Inside VMs Possible? Benchmarking libvfio-user vs. Common Storage Virtualization Configurations
A performance evaluation tool for hybrid and dynamic distributed systems
Flipstone: managing storage with fail-in-place and deferred maintenance service models
OS execution on multi-cores: is out-sourcing worthwhile?
Fault-Tolerance in Very Large Archival Systems
On the Duality of Operating System Structures
Consistent Clustered Applications with Corfu
KeyKOS Architecture
Random walk based node sampling in self-organizing networks
An Abstract Model of Rollback Recovery Control in Distributed Systems
Factored operating systems (fos): the case for a scalable operating system for multicores
Thread coloring: a scheduler proposal from user to hardware threads
Rejoinder to Nessett
Annotated Bibliography on Global States and Times in Distributed Systems
A pragmatic alternative to undetachable signatures
The concept of causal-phase ordering for overlapped broadcasts
CORBA: A Platform for Distributed Object Computing (A State-of-the-Art Report on OMG/CORBA)
Filet-o-fish: practical and dependable domain-specific languages for OS development
Efficient interaction between OS and architecture in heterogeneous platforms
The DUNIX Distributed Operating System
Report on the fourth workshop on hot topics in software upgrades (HotSWUp 2012)
Cloud Infrastructure Management in the Age of AI Agents
Cryptanalysis of a user authentication scheme using hash functions
Trace: A Tool for Logging Operating System Call Transactions
Wide-Address Spaces - Exploring the Design Space
AAMP: A Multiprocessor Approach for Operating System and Application Migration
How Can We Make Operating Systems Research More Effective?
A Correct Implementation of General Semaphores
Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement Within Clusters of Processors
Service transparency considered harmful: letter to the editor
A Formal Method to Prove Ordering Properties of Multicast Systems
Intelligent I/O: Rule-Based Input/Output Processing for Operating Systems
Building an Extensible Open vSwitch Datapath
On the performance of distributed lock-based synchronization?
A Progress Report on the Desperanto Research Project - Software Support for Distributed Processing
The Farsite project: a retrospective
On adaptive replacement based on LRU with working area restriction algorithm
REPOS: An Operating System for the PDP-11
BLR-D: applying bilinear logistic regression to factored diagnosis problems
An intrusion-tolerant authorization and authentication scheme in distributed environments
Authorisation and antichains
Lessons from resource allocators for large-scale multiuser testbeds
The Deadlock Problem: A Classifying Bibliography
Model building for dynamic multi-tenant provider environments
SOSP 1991 "Work in Progress" Abstracts: Introduction
GraphZero: A High-Performance Subgraph Matching System
A Toolkit for Interposing User Code at the System Interface (Abstract)
BFXM: A Parallel File System Model Based on the Mechanism of Distributed Shared Memory
Towards trustworthy computing systems: taking microkernels to the next level
Apt: A Platform for Repeatable Research in Computer Science
VAMNET: the functional approach to distributed programming
Opportunities and challenges of storage grid enabled by grid service
An Introduction to Intelligent Operating System KZ2
Reliability tradeoffs in personal storage systems
A peering architecture for ubiquitous IP multicast streaming
Two Years of Experience with a µ-Kernel Based OS
Evaluation and Performance Modeling of a Burst Buffer Solution
Techniques for Authentication Protocols and Key Distribution on Wireless ATM Networks
Creating Repeatable Computer Science and Networking Experiments on Shared, Public Testbeds
Adding parity to the Linux ext3 file system
A Mechanism of Process Group for Application Reliability in Distributed Systems
Speculative Symbolic Graph Execution of Imperative Deep Learning Programs
Author response
The dataref versuchung: Saving Time through Better Internal Repeatability
Investigating virtual passthrough I/O on commodity devices
Trust and accountability issues in scalable invalidation-based web cache consistency
Analysis and Solution of Non-preemptive Policies for Scheduling Readers and Writers
Book Review: Distributed Operating Systems by Andrew S. Tanenbaum
Adding Capability to Conventional File Servers
More on Nested Monitor Calls
A Protocol Processing Architecture for Networked Multimedia Computers
DataMesh, House-Building, and Distributed Systems Technology
Durability with BookKeeper
A hash-based strong-password authentication scheme without using smart cards
Dynamic heterogeneity and the need for multicore virtualization
A Proxy-Based Personal Web Archiving Service
On Digital Signatures
Clanger: An Interpreted Systems Programming Language
Simple authenticated key agreement protocol resistant to password guessing attacks
A Penetration Analysis of the Michigan Terminal System
Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions
Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993)
Duality of virtualization: simplification and complexity
Efficient and Practical DHEKE Protocols
LND: A Reliable Multi-Tier Storage Device in NOW
Summary of ACM Workshop on Parallel and Distributed Debugging
Semantic-less coordination of power management and application performance
Increasing the Effectiveness of OS Research
DGDBM: Programming Support for Distributed Transactions over Replicated Files
Revisiting fault diagnosis agreement in a new territory
Locks in Distributed Systems - Observations
I/O resource management through system call scheduling
Measuring cache freshness by additive age
Locating Arrays: A New Experimental Design for Screening Complex Engineered Systems
A Dynamic Request Set Based Algorithm for Mutual Exclusion in Distributed Systems
Suicide for the common good: a new strategy for credential revocation in self-organizing systems
Reply to "On Proof Rules for Monitors"
Towards Truly Adaptive Byzantine Fault-Tolerant Consensus
The Transaction Resolution Journal: Extending the Before Journal
A Hypervisor Approach to Enable Live Migration with Passthrough SR-IOV Network Devices
Improvement of authenaticated multiple-key agreement protocol
Non Byzantine Clock Synchronization - A Programming Experiment
Commercially Viable Active Networking
Evaluation of Java Thread Performance on Two Different Multithhreaded Kernels
A LVQ-based neural network anti-spam email approach
The MCTS Operating System
A Mobility-Aware File System for Partially Connected Operation
SFT: scalable fault tolerance
A simple password authentication using a polynomial
A common framework for inter-process communication on a cluster
A generic theoretical framework for modeling gossip-based algorithms
Evaluation of compound system calls in the Linux kernel
A user-controlled synchronization method
Book Review: High-Speed Windows Applications: Multitasking Design Methods by Bruce E. Krell
A Very Fast Algorithm for RAM Compression
Isolation-Only Transactions for Mobile Computing
DACIA: A Mobile Component Framework for Buildinh Adaptive Distributed Applications
vSAN: Modern Distributed Storage
A Combined-Consistency Approach: Sequential&Causal-Consistency
A trust model of p2p system based on confirmation theory
Positional Paper: Schema-First Application Telemetry
A high assurance MLS file server
Sustainability as a first-class metric for developers and end-users
Support for early verification of embedded real-time systems through UML models simulation
A Penetration Analysis of a Burroughs Large System
1st Annual Haifa Systems and Storage Conference (SYSTOR 2007): a message from the organizers
MTS - Michigan Terminal System
An Evaluation of DAOS for Simulation and Deep Learning HPCWorkloads
Migration / Evolution of security towards wireless ATM
Easy Entry: The Password Encryption Problem
Performance of Real/IX - Fully Preemptive Real Time UNIX
SIGOPS README
Asynchronous interactions on shared data
Performance Evaluation of Non-preemptive Policies for Scheduling Readers and Writers
Identifier Protection in a Distributed Operating System
A Report on the First TRIOS Conference
Incremental learning of system log formats
An Annotated Bibliography of Dependable Distributed Computing
The Ficus Replicated File System (Abstract)
Controlling Cgi Programs
An Architecture for Pup Services on a Distributed Operating System
Challenges and opportunities at all levels: interactions among operating systems, compilers, and multicore processors
Comments on "transparent user-level process checkpoint and restore for migration" by Bozyigit and Wasiq
Recovering transient data: automated on-demand data reconstruction and offloading for supercomputers
Raft Refloated: Do We Have Consensus?
Book Review: Planning for Future Market Events Using Data Processing Support by Jerome Svigals
The case for active block layer extensions
Performance analysis of an admission controller for CPU- and I/O-intensive applications in self-managing computer systems
Software Defined Infrastructure: Rethinking Cybersecurity with a More Capable Toolset
Transparent Checkpointing and Rollback Recovery Mechanism for Windows NT Applications
CoMon: a mostly-scalable monitoring system for PlanetLab
User-level communication based cooperative caching
On the efficiency of control procedures for computer communication networks
P2P replica synchronization with vector sets
The Big Brother Ballot
Achieving speed and flexibility by separating management from protection: embracing the Exokernel operating system
An introduction to Docker for reproducible research
A Unic Clone with Source Code for Operating Systems Courses
The Design of VIP-FS: A Virtual, Parallel File System for High Performance Parallel and Distributed Computing
A lock-free, concurrent, and incremental stack scanning mechanism for garbage collectors
STFS: a novel file system for efficient small writes
Communication protocols in a network context
Supporting Access to Stored Multimedia Data in Large Distributed Systems (Abstract)
A Flexible System Call Interface for Interprocessor Communication in a Distributed Memory Multicomputer
Collection of Network Information in Active Networks
Caching Trust Rather Than Content
RT PC Distributed Services Overview
An improvement on a deniable authentication protocol
Group Consistency Model Which Separates the Intra-Group Consistency Maintenance from the Inter-group Consistency Maintenance in Large Scale DSM Systems
The Design, Implementation and Initial Evaluation of an Advanced Knowledge-based Process Scheduler
Navigating Performance-Efficiency Tradeoffs in Serverless Computing: Deduplication to the Rescue!
A Middleware Toolkit for Client-Initiated Service Specialization
Transparent Recovery in Distributed Systems
Opal: A Single Address Space System for 64-Bit Architectures (Abstract)
Further comments on "A correct and unrestrictive implementation of general semaphores"
Assessing Computer Security Vulnerability
Light-weight communications on Intel's single-chip cloud computer processor
A Status Report on Research in Transparent Informed Prefetching
Project Kittyhawk: building a global-scale computer: Blue Gene/P as a generic computing platform
Some Ideas on Support for Fault Tolerance in COMMANDOS, an Object Oriented Distributed System
Fast switching of threads between cores
MapCruncher: integrating the world's geographic information
Determining the Shorest Process Migration Paths for Program Compilation Using a Dynamic Programming Approach
Experiences in teaching an educational user-level operating systems implementation project
Enforcing efficient resource provisioning in peer-to-peer file sharing systems
Comments on Implementation of P and V Primitives with Help of Binary Semaphores
WOWCS: the workshop on organizing workshops, conferences, and symposia for computer systems
On data secure computer networks
Towards a cost-effective networking testbed
Parallelization of IBM mambo system simulator in functional modes
Code-partitioning gossip
Is "structured programming" any longer the right term?
Efficiency matters!
A Correct and Unrestrictive Implementation of General Semaphores
ID-based password authentication scheme using smart cards and fingerprints
A Lesson on Authentication Protocol Design
A study of the Linux kernel evolution
Workshop proceedings and other publications in Operating System Review
Book Review: Prigramming with MOTIF by Keith D. Gregory