Skip to content
View alexis51151's full-sized avatar
🐍
🐍
13 followers · 10 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report alexis51151

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
alexis51151/README.md

Hi there, I am Alexis! 👋

A Ph.D. student in PL at Rice University 🏢 🇺🇸

Alexis51151

  • 💻 I’m currently working on algorithms to accelerate regex matching over GPU and ASIC hardwares

  • 📫 How to reach me: alexis.f.leglaunec@gmail.com

Connect with me:

Alexis Le Glaunec


Alexis Le Glaunec

Alexis Le Glaunec

Pinned Loading

  1. weak_queue weak_queue Public

    Implementation of the Michael & Scott lock-free queue for a weak memory model.

    C++

  2. SAT-DPLL SAT-DPLL Public

    DPLL SAT solver for CNF formulas

    Java

  3. CUDA-BLAS CUDA-BLAS Public

    Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.

    Cuda

  4. parallelDNA parallelDNA Public archive

    DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)

    C

  5. MiniJava-Compiler MiniJava-Compiler Public archive

    My own MiniJava compiler

    Java