skip to main content
10.1145/2524224acmconferencesBook PagePublication PagessospConference Proceedingsconference-collections
HotDep '13: Proceedings of the 9th Workshop on Hot Topics in Dependable Systems
ACM2013 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SOSP '13: ACM SIGOPS 24th Symposium on Operating Systems Principles Farmington Pennsylvania 3 November 2013
ISBN:
978-1-4503-2457-1
Published:
03 November 2013
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN
Next Conference
October 13 - 16, 2025
Seoul , Republic of Korea
Reflects downloads up to 17 Feb 2025Bibliometrics
Abstract

No abstract available.

Proceeding Downloads

Skip Table Of Content Section
research-article
Higher SLA satisfaction in datacenters with continuous VM placement constraints
Article No.: 1, Pages 1–6https://doi.org/10.1145/2524224.2524226

In a virtualized datacenter, the Service Level Agreement for an application restricts the Virtual Machines (VMs) placement. An algorithm is in charge of maintaining a placement compatible with the stated constraints.

Conventionally, when a placement ...

research-article
Using big data for more dependability: a cellular network tale
Article No.: 2, Pages 1–5https://doi.org/10.1145/2524224.2524227

There are many large infrastructures that instrument everything from network performance metrics to user activities. However, the collected data are generally used for long-term planning instead of improving reliability and user experience in real time. ...

research-article
Open Access
An untold story of redundant clouds: making your service deployment truly reliable
Article No.: 3, Pages 1–6https://doi.org/10.1145/2524224.2524231

To enhance the reliability of cloud services, many application providers leverage multiple cloud providers for redundancy. Unfortunately, such techniques fail to recognize that seemingly independent redundant clouds may share third-party infrastructure ...

research-article
Towards transparent hardening of distributed systems
Article No.: 4, Pages 1–6https://doi.org/10.1145/2524224.2524230

In distributed systems, errors such as data corruption or arbitrary changes to the flow of programs might cause processes to propagate incorrect state across the system. To prevent error propagation in such systems, an efficient and effective technique ...

research-article
Towards Byzantine fault tolerant publish/subscribe: a state machine approach
Article No.: 5, Pages 1–5https://doi.org/10.1145/2524224.2524232

More than a decade of research has gone into techniques aimed at tolerating arbitrary failures in client/server interaction, using consensus based replication. These works made Byzantine fault tolerance possible [5], competitive [18], robust [7], and ...

research-article
Towards privacy-preserving fault detection
Article No.: 6, Pages 1–5https://doi.org/10.1145/2524224.2524233

In this paper, we discuss the problem of detecting general faults in distributed systems that handle confidential information. Detecting non-crash faults is difficult in this setting because, to check the behavior of a given node, we need to know its ...

research-article
Verifying the correctness of remote executions: from wild implausibility to near practicality

How can we trust results computed by a third party, or the integrity of data stored by such a party? This is a classic question in systems security, and it is particularly relevant today, as much computation is now outsourced: it is performed by ...

research-article
Towards efficient, portable application-level consistency
Article No.: 8, Pages 1–6https://doi.org/10.1145/2524224.2524229

Applications employ complex protocols to ensure consistency after system crashes. Such protocols are affected by the exact behavior of file systems. However, modern file systems vary widely in such behavior, reducing the correctness and performance of ...

research-article
PSCloud: a durable context-aware personal storage cloud
Article No.: 9, Pages 1–6https://doi.org/10.1145/2524224.2524235

Personal content from mobile devices is often irreplaceable, yet current solutions for managing and synchronizing this data across multiple devices to ensure durability are often limited. A common approach is to synchronize data through a cloud storage ...

research-article
Towards effective and efficient search-based deterministic replay
Article No.: 10, Pages 1–6https://doi.org/10.1145/2524224.2524228

Deterministic replay tools are a useful asset when it comes to pinpoint hard-to-reproduce bugs. However, no sweet spot has yet been found with respect to the trade-off between recording overhead and bug reproducibility, especially in the context of ...

research-article
Behave or be watched: debugging with behavioral watchpoints
Article No.: 11, Pages 1–6https://doi.org/10.1145/2524224.2524234

Finding, understanding, and fixing bugs in an operating system is challenging. Dynamic binary translation (DBT) systems provide a powerful facility for building program analysis and debugging tools. However, DBT abstractions are too low-level and ...

research-article
Techniques for efficient in-memory checkpointing
Article No.: 12, Pages 1–5https://doi.org/10.1145/2524224.2524236

Checkpointing is a pivotal technique in system research, with applications ranging from crash recovery to replay debugging. In this paper, we evaluate a number of in-memory checkpointing techniques and compare their properties. We also present a new ...

Contributors
  • University of Bern
  • Cornell University
Index terms have been assigned to the content through auto-classification.

Recommendations

Acceptance Rates

HotDep '13 Paper Acceptance Rate 11 of 21 submissions, 52%;
Overall Acceptance Rate 11 of 21 submissions, 52%
YearSubmittedAcceptedRate
HotDep '13211152%
Overall211152%