Activité récente

Stage de MVA

Stage effectué à FAIR Paris. ConvNets et Forward Models pour améliorer un modèle de RL sur StarCraft. Rapport. Présentation.

Projets MVA

Implémentation de CTC (fonction de coût pour la transduction séquence vers séquence) en Theano, pour le cours de modèles graphiques probabilistes. Code. Poster. Rapport.

Implémentation de “Teaching Machines to Read and Comprehend”. Code. Rapport


Stage de M1

Stage effectué au MILA. Rapport. Présentation.

Papier NIPS : Clustering is Efficient for Approximate Maximum Inner Product Search. PDF. arXiv.

On a gagné un Kaggle ! Prédiction de destination de taxis. Collaborateurs : Étienne et Alexandre. Code. Blogpost. Papier PDF, arXiv. Présentation.

Premier semestre M1

Notes prises en cours : Structures & Algorithmes Aléatoires (notes partielles et désorganisées).


Stage de fin de L3

Étude de l’analyse statique de langages synchrones par interprétation abstraite, chez ANSYS-Esterel Technologies à Toulouse. Rapport. Transparents. Code. Soutenance.

Second semestre L3

Projet de systèmes et réseaux : implémentation d’une bibloithèque de calcul distribué en OCaml basé sur les réseaux de Kahn. Code.

Projet de sémantique et vérification : interprétation abstraite élémentaire d’un sous-ensemble de C. Code.

Animation d’un groupe de travail sur les systèmes d’exploitation. Plus d’infos. Code SOS étudié. Slides.

Premier semestre L3

Projet de compilation : compilation d’un sous-ensemble de C++ vers assembleur MIPS. Code.

Projet de systèmes digitaux : définition et implémentation d’une micro-architecture RISC 16-bit utilisée pour implémenter une horloge numérique. Code.

Notes prises en cours : Langages Formels, Algorithmique et Programmation (notes partielles), Intégration et probabilités.


Prépa

TIPE : algorithme de découpage de polygones pour la recherche de chemins. Rapport. Présentation.