Your Search Results

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)

Leveraging persistent memory in the Linux kernel

The Linux kernel has been designed with the idea that persistent storage is slow, has high latency, and can only be accessed asynchronously (i.e., by sending a request to a disk tha more...

Supervisor(s): Lepers, Baptiste (Dr)

Efficient Key-Value store for future hardware

The systems lab is looking for 3 PhD students to work on operating systems and databases. The objective will be to maximizing performance, minimizing energy usage and improving the more...

Supervisor(s): Lepers, Baptiste (Dr)