Publications associées à Perseus: A Retrospective on a Portable Operating System

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...

2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...

ASSOC COMPUTING MACHINERY2018

A kernel compression scheme for fractional differential equations

Jan Sickmann Hesthaven, Daniel Henri Baffet

The nonlocal nature of the fractional integral makes the numerical treatment of fractional dierential equations expensive in terms of computational eort and memory requirements. In this paper we propose a method to reduce these costs while controlling the ...

Society for Industrial and Applied Mathematics2017

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 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

A New Formulation of the Cooray-Rubinstein Expression in Time Domain

In this paper, a new formulation in the time domain of the Cooray-Rubinstein expression is presented. This new formulation overcomes the problems related to the previous formulation: The Dirac pulse contained in the kernel of the previous formulation is ex ...

Ieee-Inst Electrical Electronics Engineers Inc2015

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

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

Perseus: A Retrospective on a Portable Operating System

Graph Chatbot

Chattez avec Graph Search

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

A Formally Verified NAT Stack

A Formally Verified NAT Stack

A kernel compression scheme for fractional differential equations

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

The Linux Scheduler: A Decade of Wasted Cores

A New Formulation of the Cooray-Rubinstein Expression in Time Domain

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

The S2E Platform: Design, Implementation, and Applications

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

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

A New Formulation of the Cooray-Rubinstein Expression in Time Domain

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

The Linux Scheduler: A Decade of Wasted Cores

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

The S2E Platform: Design, Implementation, and Applications

A Formally Verified NAT Stack

A Formally Verified NAT Stack

A kernel compression scheme for fractional differential equations

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems