Home / Research Supervisor Connect / Search results

Your Search Results

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)

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)

The Mapping of Optimization Algorithms on Different Families of Computer Architectures

The focus of this project is the understanding of how certain optimization algorithms perform when executed on different families of computer architectures. more...

Supervisor(s): Zomaya, Albert Y. (Professor)

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)