blepers / vcc Goto Github PK

I am a Maître Assistant at the Université de Neuchâtel. My current focus is on proving and improving the performance of concurrent systems. I work on finding bugs in Linux, optimizing the performance of storage, memory, graph engines, and schedulers.

PhD openings: https://sites.google.com/view/usydphd/home

Google Scholar profile: https://scholar.google.com/citations?user=6dsH-1oAAAAJ&hl=en&oi=ao

Contact: [email protected]

Previously, I was a university lecturer at the University of Sydney, a postdoc at EPFL working with Willy Zwaenepoel and a postdoc at SFU working with Alexandra Fedorova. I completed my PhD at the Université de Grenoble under the supervision of Vivien Quéma.

Projects

• OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. Bug finding in the Linux kernel using static analysis.
• KVell: Fast and efficient Key-Value Store for NVMe SSDs.
• IPanema: proving properties of concurrent schedulers using formal methods.