Publications related to Lazy Asynchronous I/O for Event-Driven Servers

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

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

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

Trigonometric Interpolation Kernel to Construct Deformable Shapes for User-Interactive Applications

Michaël Unser, Daniel Andreas Schmitter, Ricard Delgado Gonzalo

We present a new trigonometric basis function that is capable of perfectly reproducing circles, spheres and ellipsoids while at the same time being interpolatory. Such basis functions have the advantage that they allow to construct shapes through a sequenc ...

IEEE2015

A Probabilistic Kernel Method for Human Mobility Prediction with Smartphones

Daniel Gatica-Perez

Human mobility prediction is an important problem which has a large num- ber of applications, especially in context-aware services. This paper presents a study on location prediction using smartphone data, in which we address mod- eling and application asp ...

2015

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

Lazy Asynchronous I/O for Event-Driven Servers

Graph Chatbot

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

Trigonometric Interpolation Kernel to Construct Deformable Shapes for User-Interactive Applications

A Probabilistic Kernel Method for Human Mobility Prediction with Smartphones

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

A Formally Verified NAT Stack

A Formally Verified NAT Stack

The Linux Scheduler: A Decade of Wasted Cores

A Probabilistic Kernel Method for Human Mobility Prediction with Smartphones

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

A kernel compression scheme for fractional differential equations

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

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

Lower Bounds on Regret for Noisy Gaussian Process Bandit Optimization

Trigonometric Interpolation Kernel to Construct Deformable Shapes for User-Interactive Applications