Publications related to Comparison of operating system kernels

Exploring brain-inspired multi-core heterogeneous hardware templates for low-power biomedical embedded systems

The miniaturization of integrated circuits (ICs) and their higher performance and energy efficiency, combined with new machine learning algorithms and applications, have paved the way to intelligent, interconnected edge devices. In the medical domain, they ...

EPFL2023

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Midas: Systematic Kernel TOCTTOU Protection

Mathias Josef Payer, Atri Bhattacharyya, Uros Tesic

Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fetched twice across the user/kernel trust boundary while allowing concurrent modification. Such bugs enable an attacker to illegally access memory, cause den ...

2022

Deep learning-based galaxy image deconvolution

Frédéric Courbin, Pascale Jablonka, Jean-Luc Starck, Utsav Akhaury, Kevin Michalewicz

With the onset of large-scale astronomical surveys capturing millions of images, there is an increasing need to develop fast and accurate deconvolution algorithms that generalize well to different images. A powerful and accessible deconvolution method woul ...

FRONTIERS MEDIA SA2022

Dynamic SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

Developing and fine-tuning software programs for heterogeneous hardware such as CPU/GPU processing platforms comprise a highly complex endeavor that demands considerable time and effort of software engineers and requires evaluating various fundamental comp ...

MDPI2022

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

Towards bootstrapping RG flows: sine-Gordon in AdS

João Miguel Augusto Penedones Fernandes

The boundary correlation functions for a Quantum Field Theory (QFT) in an Anti-de Sitter (AdS) background can stay conformally covariant even if the bulk theory undergoes a renormalization group (RG) flow. Studying such correlation functions with the numer ...

Springer Nature2021

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Mathias Josef Payer, Hui Peng

The Universal Serial Bus (USB) connects external devices to a host. This interface exposes the OS kernels and device drivers to attacks by malicious devices. Unfortunately, kernels and drivers were developed under a security model that implicitly trusts co ...

USENIX ASSOC2020

Revisiting Multivariate Lattices for Encrypted Signal Processing

Juan Ramón Troncoso-Pastoriza

Multimedia contents are inherently sensitive signals that must be protected when processed in untrusted environments. The field of Secure Signal Processing addresses this challenge by developing methods which enable operating with sensitive signals in a pr ...

ASSOC COMPUTING MACHINERY2019

Can Mutational Analysis Be Used To Assist Structure Determination of Peptides?

Thomas Rizzo, Liudmila Voronina, Valeriu Scutelnic, Chiara Masellis

Mutational analysis is widely used to study the relationship between sequence and structure of proteins and peptides. It is often assumed that substituting a proline with another amino acid "locks" the peptide bond in the trans conformation, allowing only ...

2018

Cross-code gyrokinetic verification and benchmark on the linear collisionless dynamics of the geodesic acoustic mode

Alberto Bottino, Gabriele Merlo

The linear properties of the geodesic acoustic modes (GAMs) in tokamaks are investigated by means of the comparison of analytical theory and gyrokinetic numerical simulations. The dependence on the value of the safety factor, finite-orbit-width of the ions ...

Amer Inst Physics2017

DFT-Derived Reactive Potentials for the Simulation of Activated Processes: the Case of CdTe and CdTe:S

Wanda Andreoni, Fabio Pietrucci, Riccardo Ciaglia

We introduce a new ab initio derived reactive potential for the simulation of CdTe within density functional theory (DFT) and apply it to calculate both static and dynamical properties of a number of systems (bulk solid, defective structures, liquid, surfa ...

Amer Chemical Soc2014

Overview of experimental results and code validation activities at Alcator C-Mod

Christian Gabriel Theiler

Recent research on the Alcator C-Mod tokamak has focused on a range of scientific issues with particular emphasis on ITER needs and on detailed comparisons between experimental measurements and predictive models. Research on ICRF (ion cyclotron range of fr ...

IOP Publishing Ltd2013

Structure and stability of the Si(331)-(12x1) surface reconstruction investigated with first-principles density functional theory

Corsin Battaglia

We recently proposed a structural model for the Si!331"-!12!1" surface reconstruction containing silicon pentamers and adatoms as elementary structural building blocks. Using first-principles density functional theory we here investigate the stability of a ...

2009

Reverse-Engineering Drivers for Safety and Portability

George Candea, Vitaly Chipounov

Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers, without requiring any changes in the drivers or operating system kernels. W ...

2008

Optimal application-oriented resource brokering in a high performance computing grid

Vincent Keller

In the world of High Performance Computing (newly renamed "High Productivity Computing"), where the race for performance is on, where the hunt for the last Flop rages and where the developers swear by the Cult of Power, the different applications have diff ...

EPFL2008

SimpleMKL

Multiple kernel learning (MKL) aims at simultaneously learning a kernel and the associated predictor in supervised learning settings. For the support vector machine, an efficient and general multiple kernel learning algorithm, based on semi-infinite linear ...

2008

A Portable Kernel Abstraction for Low-Overhead Ephemeral Mapping Management

Willy Zwaenepoel

Modern operating systems create ephemeral virtual-to-physical mappings for a variety of purposes, ranging from the implementation of interprocess communication to the implementation of process tracing and debugging. With succeeding generations of processor ...

2005