• Publications
  • Influence
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT
This paper explores the problem of how to improve the average-case performance of real-time locking protocols, preferably without significantly deteriorating worst-case performance. Motivated by theExpand
  • 11
  • 2
  • PDF
Scaling global scheduling with message passing
Global real-time schedulers have earned the reputation of scaling poorly due to the high runtime overheads involved in global state management. In this paper, two mature implementations, one usingExpand
  • 24
  • 1
  • PDF
TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper)
Timer interference arises when a high-priority realtime task is delayed by a timer interrupt that is intended for a lower-priority task. We demonstrate that high-resolution timers, as exposed forExpand
  • 5
  • 1
  • PDF
Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS
This paper presents a case study in the design and implementation of OS-level support for low-criticality tasks with stringent latency requirements, a particularly challenging aspect ofExpand
  • 5
  • 1
  • PDF
FlaRe : Efficient Capability Semantics for Timely Processor Access
In the seL4 microkernel and other capability-based OSs, the right to use resources is managed using abstract capabilities (i.e., tokens). Capability systems for fungible resources such as memory areExpand
  • 2
  • 1
  • PDF
Hétérogénéité du statut en fer chez la femme au cours de la grossesse en Côte-d’Ivoire
La carence en fer constitue un veritable probleme de sante publique dans les pays africains surtout chez les femmes en âge de procreer, notamment chez les femmes enceintes. Le but de cette etude estExpand
  • 7
  • 1
Tableau: a high-throughput and predictable VM scheduler for high-density workloads
In the increasingly competitive public-cloud marketplace, improving the efficiency of data centers is a major concern. One way to improve efficiency is to consolidate as many VMs onto as few physicalExpand
  • 5
  • PDF
[Heterogeneity of the iron status in the woman population during the pregnancy in Côte-d'Ivoire].
The iron deficiency is a major problem of public health in the African countries, particularly in pregnant women population. The aim of our study was to appreciate the iron status during theExpand
FlaRe : Efficient Temporal Capabilities via Flattened Reservations
In the seL4 microkernel and other capability-based OSs, the right to use resources is managed using abstract capabilities (i.e., tokens). Capability systems for fungible resources such as memory areExpand
FREE AND OPEN SOURCE SOFTWARE AT CERN: INTEGRATION OF DRIVERS IN THE LINUX KERNEL
Most device drivers written for accelerator control systems suffer from a severe lack of portability due to the ad hoc nature of the code, often embodied with intimate knowledge of the particularExpand
  • 2
  • PDF