Your Search Results

The Physics of Circadian Desynchrony

This project will investigate brain mechanisms and health consequences of circadian misalignment. more...

Supervisor(s): Postnova, Svetlana (Dr)

Detecting data races in the Linux kernel

The Linux kernel is a highly optimized multi-core system. As a consequence, kernel developers frequently use relaxed synchronization models: instead of protecting shared variables w more...

Supervisor(s): Lepers, Baptiste (Dr)

No Hot-Spot Data Structures

The goal of this project is to design and implement novel data structure algorithms especially suited for many-core architectures. more...

Supervisor(s): Gramoli, Vincent (Dr)

What Theory for Concurrency?

The goal of this project is to measure theoretically the concurrency one can expect out of a concurrent program for multicore.  more...

Supervisor(s): Gramoli, Vincent (Dr)

Reusable Concurrent Data Types

The goal of this project is to propose a programming paradigm to make concurrent libraries reusable by other programmers. more...

Supervisor(s): Gramoli, Vincent (Dr)