Skip to content
View BLepers's full-sized avatar
61 followers · 0 following

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@wiredtiger @Carrefour @envadrouillecorp @Memprof

Block or report BLepers

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
BLepers/README.md

Baptiste Lepers

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.

Pinned Loading

  1. KVell KVell Public

    KVell: the Design and Implementation of a Fast Persistent Key-Value Store

    C 278 64

  2. isochrones-gtfs isochrones-gtfs Public

    Isochrones of public transport using GFTS data

    C++ 9 2

  3. envadrouillecorp/envadrouille envadrouillecorp/envadrouille Public

    Fast and customizable photo gallery.

    JavaScript 19

  4. 1-click-flashcards 1-click-flashcards Public

    Effortless flashcards that fill their content automatically. Type a word and the definition is fetched from the Oxford dictionary / Urban dictionary / Reverso dictionary. Then learn your cards usin…

    PHP 2

  5. linux linux Public

    Forked from JBouron/linux

    Linux kernel source tree with a ULE scheduler (branch loadbalancing)

    C

  6. envadrouillecorp/plugin-gpxmap envadrouillecorp/plugin-gpxmap Public

    Map to display all gpx files

    JavaScript