Search results
-
The Case for Tiny Tasks in Compute Clusters
Kay Ousterhout, Aurojit Panda, Joshua Rosen, Shivaram Venkataraman, Reynold Xin, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and I nternational Computer Science Institute; Ion Stoica, Uni ...michele - December 16, 2021 - 1:52 am
-
Using Dark Fiber to Displace Diesel Generators
Aman Kansal, Microsoft Research; Bhuvan Urgaonkar, Pennsylvania State University; Sriram Govindan, Microsoft Cloud providers and other data center operators are using geo-distributed data centers. But these data centers largely continue to employ the same ...michele - December 16, 2021 - 1:52 am
-
Towards Elastic Operating Systems
like map/reduce or cluster-based operating systems. In this paper, we introduce the concept of ...michele - December 16, 2021 - 1:52 am
-
Toward Principled Browser Security
this paper, we argue that information flow control (IFC) not only subsumes the same-origin policy but ...michele - December 16, 2021 - 1:52 am
-
-OVERIFY: Optimizing Programs for Fast Verification
Jonas Wagner, Volodymyr Kuznetsov, and George Candea, École Polytechnique Fédérale de Lausanne (EPFL) Developers rely on automated testing and verification tools to gain confidence in their software. The input to such tools is often generated by compiler ...michele - December 16, 2021 - 1:52 am
-
Global Authentication in an Untrustworthy World
Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, and Yinglian Xie, Microsoft Research With the advent in the 1980’s of truly global hierarchical naming (via the Domain Name Service), security researchers realized that the trust relationships needed ...michele - December 16, 2021 - 1:52 am
-
Automated Debugging for Arbitrarily Long Executions
development is playing detective with elusive bugs. In this paper we argue that automated postmortem debugging ...michele - December 16, 2021 - 2:52 am
-
The von Neumann Architecture Is Due for Retirement
Aleksander Budzynowski and Gernot Heiser, NICTA and University of New South Wales The processor industry has reached the point where sequential improvements have plateaued and we are being flooded with parallel hardware we don’t know how to utilise. An e ...michele - December 16, 2021 - 2:52 am
-
Arrakis: A Case for the End of the Empire
Simon Peter and Thomas Anderson, University of Washington In this paper, we argue that recent ...michele - December 16, 2021 - 2:52 am
-
Rethinking Network Stack Design with Memory Snapshots
Michael Chan, Heiner Litz, and David R. Cheriton, Stanford University Hardware virtualization is a core operating system feature. Network devices, in particular, must be shared while providing high I/O performance. By redesigning the network stack on a n ...michele - December 16, 2021 - 2:52 am
-
Operating System Support for Augmented Reality Applications
Kinect SDK. In this paper, we explore how operating systems should evolve to support AR applications. ...michele - December 16, 2021 - 2:52 am
-
Solving the Straggler Problem with Bounded Staleness
can delay all other threads. This paper presents the Stale Synchronous Parallel (SSP) model as ...michele - December 16, 2021 - 2:52 am
-
Lightweight Snapshots and System-level Backtracking
Edouard Bugnion, Vitaly Chipounov, and George Candea, Ecole Polytechnique Fédérale de Lausanne (EPFL) We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints wit ...michele - December 16, 2021 - 2:52 am
-
HAT, Not CAP: Towards Highly Available Transactions
Peter Bailis, University of California, Berkeley; Alan Fekete, University of Sydney; Ali Ghodsi, University of California, Berkeley and KTH/Royal Institute of Technology; Joseph M. Hellerstein and Ion Stoica, University of California, Berkeley While t ...michele - December 16, 2021 - 2:52 am
-
Infrastructure for Studying Infrastructure
trade-offs. In this paper, we show how to use our Wrapping approach to integration infrastructure as a base to ...michele - December 15, 2021 - 5:52 pm
-
A Formal Specification of the Hormone Loop of an Artificial Hormone System
specification of the hormone loop in this paper. The outcome is to guarantee consistent hormone computation ...michele - December 15, 2021 - 5:52 pm
-
Reducing the Communication Overhead of an Artificial Hormone System for Task Allocation by a Task Window
a tasks is limited in the same way. In this paper we present the concept of the task window as a new ...michele - December 15, 2021 - 5:52 pm
-
DHT Broadcast Optimisation with ID Assignment Rules
communication partner. The node IDs are generated randomly in DHTs. In this paper we show how choosing IDs ...michele - December 15, 2021 - 5:52 pm
-
Solving DCOPs in Self-optimising Multi-Agent Systems by Extending the Local Objective Functions
paper presents a new asynchronous approach to solve DCOP by extending only the underlying local ...michele - December 15, 2021 - 5:52 pm
-
Using a Neural Network for Forecasting in an Organic Traffic Control Management System
of Organic Computing. This paper introduces further steps in enhancing the current OTC system with ...michele - December 15, 2021 - 5:52 pm
-
Mandatory Access Control for the Android Dalvik Virtual Machine
systems. This paper proposes a solution providing a generic protection that doesn’t need to modify the ... applications. This paper presents Security Enhanced Dalvik (SEDalvik), a MAC approach for the Dalvik Virtual ...michele - December 15, 2021 - 5:52 pm
-
Rubah: Efficient, General-purpose Dynamic Software Updating for Java
Park This paper presents Rubah, a new dynamic software updating (DSU) system for Java programs that ...michele - December 15, 2021 - 6:52 am
-
Fine-grained Patches for Java Software Upgrades
Eduardo R. B. Marques, Faculdade de Ciências da Universidade de Lisboa We present a novel methodology for deriving fine-grained patches of Java software. We consider an abstract-syntax tree (AST) representation of Java classes compiled to the Java Virtua ...michele - December 15, 2021 - 6:52 am
-
DynSec: On-the-fly Code Rewriting and Repair
provides no mechanism to repair any vulnerabilities. This paper presents DynSec, a mechanism for on-the ...michele - December 15, 2021 - 7:52 am
-
Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems
establish both long uptime and up-to-date software, the software must be updated during runtime. This paper ...michele - December 15, 2021 - 7:52 am