alexis51151
PhD student at Rice University in Programming Languages
Rice UniversityHouston, TX / Reims, France
Pinned Repositories
alexis51151.github.io
My academic website.
comp517-project
Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code
CouetteEtCafe
A simple CouetteEtCafe website based on Symfony PHP framework and Bootstrap
CSC5101
Advanced Programming of Multicore Architectures
CUDA-BLAS
Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.
DiceWars
Projet Informatique de recherche d'IA de résolution d'un jeu de stratégie (DiceWars)
MiniJava-Compiler
My own MiniJava compiler
parallelDNA
DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)
SAT-DPLL
DPLL SAT solver for CNF formulas
weak_queue
Implementation of the Michael & Scott lock-free queue for a weak memory model.
alexis51151's Repositories
alexis51151/alexis51151.github.io
My academic website.
alexis51151/CouetteEtCafe
A simple CouetteEtCafe website based on Symfony PHP framework and Bootstrap
alexis51151/DiceWars
Projet Informatique de recherche d'IA de résolution d'un jeu de stratégie (DiceWars)
alexis51151/comp517-project
Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code
alexis51151/CSC5101
Advanced Programming of Multicore Architectures
alexis51151/Igloo
Project simulating a hotel infrastructure with badge access.
alexis51151/CUDA-BLAS
Implementation of Linear Algebra Subroutines to learn more about the algorithms and how to parallelize them in CUDA.
alexis51151/MiniJava-Compiler
My own MiniJava compiler
alexis51151/parallelDNA
DNA sequence comparison tool using parallelism (OpenMP, MPI and CUDA)
alexis51151/SAT-DPLL
DPLL SAT solver for CNF formulas
alexis51151/weak_queue
Implementation of the Michael & Scott lock-free queue for a weak memory model.
alexis51151/alexis51151
Repository for my GitHub profile
alexis51151/Best-README-Template
An awesome README template to jumpstart your projects!
alexis51151/Biclustering
Implementing Biclustering methods to link genes with heterogeneous data
alexis51151/Box2D-ExampleGame
Projet
alexis51151/coding-interview-university
A complete computer science study plan to become a software engineer.
alexis51151/Copilots-Presentation
Presentation of OSDI'20 Copilots consensus protocol.
alexis51151/ELEC527-Minesweeper
Design of a custom chip to play the Minesweeper game.
alexis51151/epaxos-fix
Fixing Egalitarian Paxos algorithm and proving its correctness by model checking.
alexis51151/epaxos-proof-correctness
Draft of a paper with proofs for the main epaxos invariants.
alexis51151/FlaskEntrance
A Flask personal website aimed at storing most of my web projects
alexis51151/llvm-repo
alexis51151/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
alexis51151/synchrobench
A benchmark to compare synchronization techniques for multicore programming
alexis51151/verrou
floating-point errors checker
alexis51151/VlibTour