Publications related to Distributed process groups in the V Kernel

Efficient Verifiable Delay Functions

We construct a verifiable delay function (VDF). A VDF is a function whose evaluation requires running a given number of sequential steps, yet the result can be efficiently verified. They have applications in decentralised systems, such as the generation of ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Mathias Josef Payer, Zhenyu Wu

setuid system calls enable critical functions such as user authentications and modular privileged components. Such operations must only be executed after careful validation. However, current systems do not perform rigorous checks, allowing exploitation of ...

ASSOC COMPUTING MACHINERY2019

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

Andy Roulin

Modern data-center network operating systems rely on proprietary user-space daemons wrapping SDKs from switch vendors. Linux-based variants of these operating systems have benefited from increasing and simplified dataplane offloading support in recent year ...

2018

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

Volkan Cevher, Jonathan Mark Scarlett, Ilija Bogunovic

In this paper, we consider the problem of sequentially optimizing a black-box function

f

based on noisy samples and bandit feedback. We assume that

f

is smooth in the sense of having a bounded norm in some reproducing kernel Hilbert space (RKHS), yield ...

2017

The Disclosure Power of Shared Objects

Rachid Guerraoui, Mihail Igor Zablotchi, Julien Michel Stainer, Peva François Blanchard

Shared objects are the means by which processes gather and exchange information about the state of a distributed system. Objects that disclose more information about the system—and thus provide a more centralized view—are therefore more desirable. In this ...

2017

The Disclosure Power of Shared Objects

Rachid Guerraoui, Mihail Igor Zablotchi, Julien Michel Stainer, Peva François Blanchard

Shared objects are the means by which processes gather and exchange information about the state of a distributed system. Objects that disclose more information about the system are therefore more desirable. In this paper, we propose the schedule reconstruc ...

2017

Atum: Scalable Group Communication Using Volatile Groups

Rachid Guerraoui, Anne-Marie Kermarrec, Dragos-Adrian Seredinschi, Matej Pavlovic

This paper presents Atum, a group communication middleware for a large, dynamic, and hostile environment. At the heart of Atum lies the novel concept of volatile groups: small, dynamic groups of nodes, each executing a state machine replication protocol, o ...

ACM Press2016

Group diffusion LMS

Ali H. Sayed, Jie Chen

Considering groups of variables, rather than variables individually, can be beneficial for estimation accuracy if structural relationships between variables exist (e.g., spatial, hierarchical or related to the physics of the problem). Group-sparsity induci ...

IEEE2016

The Linux Scheduler: A Decade of Wasted Cores

Baptiste Joseph Eustache Lepers

As a central part of resource management, the OS thread scheduler must maintain the following, simple, invariant: make sure that ready threads are scheduled on available cores. As simple as it may seem, we found that this invari- ant is often broken in Lin ...

Assoc Computing Machinery2016

Deciphering the Silent Participant. On the Use of Audio-Visual Cues for the Classification of Listener Categories in Group Discussions

Jean-Marc Odobez, Kenneth Alberto Funes Mora, Catharine Regina Monika Maria Oertel Genannt Bierbach

Estimating a silent participant’s degree of engagement and his role within a group discussion can be challenging, as there are no speech related cues available at the given time. Having this information available, however, can provide important insights in ...

ACM2015

Distributed process groups in the V Kernel

Graph Chatbot

Chat with Graph Search

Efficient Verifiable Delay Functions

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

The Disclosure Power of Shared Objects

The Disclosure Power of Shared Objects

Atum: Scalable Group Communication Using Volatile Groups

Group diffusion LMS

The Linux Scheduler: A Decade of Wasted Cores

Deciphering the Silent Participant. On the Use of Audio-Visual Cues for the Classification of Listener Categories in Group Discussions

The Disclosure Power of Shared Objects

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

The Disclosure Power of Shared Objects

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Group diffusion LMS

Efficient Verifiable Delay Functions

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

Atum: Scalable Group Communication Using Volatile Groups

The Linux Scheduler: A Decade of Wasted Cores

Deciphering the Silent Participant. On the Use of Audio-Visual Cues for the Classification of Listener Categories in Group Discussions