Giter Site home page Giter Site logo

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.

Baptiste Lepers's Projects

1-click-flashcards icon 1-click-flashcards

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 using the SM2 (SuperMemo) algorithm.

autogdoc icon autogdoc

Automatically synchronize a document with a GDoc.

envadrouille-revbundler icon envadrouille-revbundler

Scripts used to create a new update. May be useful if you want to maintain your own EnVadrouille update server.

johnnycache icon johnnycache

Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)

kvell icon kvell

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

linux icon linux

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

ofence icon ofence

Static analyzer that finds barrier-related bugs in Linux, based on Smatch.

vcc icon vcc

A static verifier for concurrent C programs

verus icon verus

Verified Rust for low-level systems code

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.