Une liste de mes étudiants précédents (et leurs sujets de stage) est disponible içi.
Des sujets de stage complet sont disponible sur la page de l'équipe CASH research.
Le reste est une liste (non-exhaustive!) de projets pour étudiant, à des niveaux variés.
Ces projets sont toujours possible et ont pour but de vous faire apprendre des choses. Ils sont généralement flexibles suivant vos envies et vos centres d'intérêts.
Niveau: L2-M1 (suivant le projet)
Pré-requis: L'envie de programmer en OCaml !
Ce projet à pour but d'apprendre OCaml en pratiquant, via l'implémentation d'un projet complet!
OCaml est un langage fonctionnel statiquement typé. Il est utilisé pour des taches variées, de la construction de compilateurs jusqu'à la finance, en passant par la programmation Web ou les systèmes d'exploitation. OCaml est connu pour sa fiabilité et son expressivité, et est utilisé par de nombreuses entreprises (Facebook, Docker, Janestreet, ...). Dans ce projet, vous apprendrez le langage OCaml en implémentant une application concrète choisi parmi la liste ci-dessous. Ce projet est ouvert aux étudiants ne sachant pas encore programmer en OCaml, l'apprentissage étant le but premier. Je propose 4 projets, correspondant à des domaines variés. Les propositions des étudiants sont également bienvenues.
grep en OCaml (Langages, Ligne de commande)
Projets plus ambitieux:
Niveau : L3
Pré-requis: Javascript, base de statistiques
Dans ce projet, vous réaliserez une visualisation de données dans le navigateur avec la bibliothèque D3.js.
D3.js est une bibliothèque très connue qui permet de visualiser des données sous des formes très variées: cartographie, graphes, hierarchies, etc. Le but de ce projet est de vous initier à la collecte et la visualisation de données, et à l'utilisation de D3.js, via la construction d'une visualisation concrète sur le sujet de votre choix. Une première phase du projet est de collecter et de mettre en forme les données. Une deuxième étape est de programmer une visualisation interactive en javascript. Le sujet de la visualisation est à discuter, voici quelques idées:
Niveau: L3
Pré-requis: Programmation Javascript
Ce projet à pour but d'implémenter un jeu de plateau multijoueurs entièrement du côté client.
Dans ce projet, on réalisera un jeu de plateau avec 2 joueurs ou plus, entièrement du coté du client avec Javascript. Le but est d'apprendre a faire des applications riches et interactives complètes, qui ne nécessite qu'un serveur minimal. L'interface utilisateur sera faite en Javascript via un framework de votre choix tel React.js ou Angular. Les communications entre joueurs se feront en P2P, sans passer par un serveur central, via la technologie WebRTC.
Voici quelques exemples de jeux qui peuvent être implémenté:
Ressources:
Niveau: L2-M1
Pré-requis: Grammaires formelles. Langage au choix
Les L-systèmes ou « système de Lindenmayer » sont un type de grammaire
ou toutes les règles sont appliquées en même temps, plutôt que d'etre appliquée
une par une comme dans les grammaires classiques.
En pratique, ces grammaires sont particulièrement adapté pour modéliser
des fractales, que ce soit en deux, trois ou plus de dimensions. Elles
sont également particulièrement adapté pour modéliser des plantes, ou autre
systèmes organiques.
Ces grammaires peuvent être très riche, avec des règles paramétrées, aléatoires, etc. Exécuter ces règles est cependant généralement très intensif en calcul. L'objet de ce projet est d'implémenter un interpreteur, puis un compilateur capable de calculer et de dessiner un L-système donné. Suivant le temps disponible, on implémentera un certain nombre d'extensions.
Ces projets ont un objectif spécifique, soit une question de recherche, soit un logiciel que je souhaiterai utiliser. Je suis néanmoins ouverts à des modifications ou proposition alternatives!
Niveau: L3/M1
Mot clés: Computer Graphics, Graphes, Algorithmes
Pré-requis: Notions de latex, Potentiellement Python
Le format graphviz permet de représenter graphiquement des graphes. Il est très utilisé pour la visualisation de données, notamment en sortie d'outil comme les compilateurs (pour montrer la graphe de flot de contrôle, d'interférence, etc), pour représenter les composants d'un projet logiciel, ou encore pour le réseau.
Dot2Tex est un logiciel qui permet de transformer un fichier graphviz (aussi appelé "dot") en un document LaTeX. Ceci est très utile pour la présentation d'outils technique ou pour illustrer un cours ou un exercice. Malheureusement, le document LaTeX ainsi produit est très complexe et impossible à adapter manuellement. Le but de ce projet est de refondre/d'améliorer Dot2Tex afin de rendre sa sortie utilisable. Un exemple d'amélioration possible consiste à simplifier les courbes de beziers représentant les arêtes du graphes, ou à reconnaître les formes complexes des noeuds pour les représenter plus simplement.
Ressource:
Niveau: M1
Pré-requis: Javascript
L'objet de ce projet est de contribuer une extension au client mail Thundebird afin de rendre plus aisé le suivi de conversation et de bugs dans github.
Github offre actuellement la possibilité de recevoir les notifications par email. Cette fonctionnalité permet de décider précisément des projets et conversation que l'on souhaite suivre ou pas. Chaque conversation est alors fournit sous forme de « Thread » où message et commit donne lieu à un email. Cependant, cette interface laisse grandement à désirer: les messages doivent être vu un par un, toute action (tel qu'ignorer un thread) doit être faite via un navigateur, et il est impossible d'utiliser des critères de notification plus fins (par exemple « ne me prévenir que quand cette pull-request est intégrée »).
Toutes ces fonctionnalités pourraient aisément être intégrées dans une plugin. Thundebird est un client email majeur qui fournit une interface d'extensions souples pouvant implémentée de telles fonctionnalités.
Niveau: M1+
Pré-requis: Grammaires formelles. Langage au choix
Un fichier polyglot est un fichier qui adhère simultanément à plusieurs formats. Par un exemple, un fichier qui est à la fois un PDF (et peut être ouvert avec un lecteur PDF arbitraire), et une archive ZIP. Outre l'aspect amusant, ces fichiers polyglots mettent souvent en lumière des déficiences de sécurité dans les formats de données. Ils peuvent être également abusé, par exemple un fichier analysé par le navigateur comme étant un PDF, mais qui est également un exécutable, et qui s'exécute quand l'utilisateur clic dessus ... Jusqu'à présent, la découverte de formats de fichiers compatibles pouvant former des polyglots repose sur l'inventivité des programmeurs.
Le projet Kaitai rassemble de nombreuses descriptions de format de fichier. Ces descriptions peuvent alors être utilisée pour dériver l'implémentation d'un parseur pour ce format.
Le but du projet est d'étudier quels formats de fichiers sont compatibles pour former des fichiers poylglotes. Pour ce faire, on commencera par une approche manuelle avant d'encoder les descriptions de Kaitai dans un solveur de contraintes (typiquement SMT) afin de trouver un fichier correspondant a deux (ou plus!) formats automatiquement.
J'ai toujours de très nombreuses idées pour des projets spécifiquement en OCaml et serait heureux d'encadrer tout projet sur le sujet. J'en liste quelque uns ci-dessous, mais le sujet déprend grandement de vos compétences et intérêts. Si vous souhaitez apprendre OCaml, consultez plutôt le premier projet, en haut de cette page.
Niveau:L3-M2+
Pré-requis: OCaml, Varié
Contribution à toute bibliothèque libre OCaml existante, ou construction d'une nouvelle bibliothèque pour une tache spécifique.
Niveau: M1+
Pré-requis: Javascript/HTML/CSS et/ou OCaml/Reason
Odoc est l'outil de documentation pour OCaml. Récemment, une grande partie d'odoc à été réécrit pour produire une documentation plus riche, plus détaillée et plus flexible. Cependant, les sites web produit par odoc sont jusqu'à présent essentiellement statiques et limités en terme d'intéractivité. De plus de nombreuses fonctionnalités manquent encore. Le but de ce projet serait d'ajouter une ou plusieurs fonctionnalités, au choix de l'étudiant, par exemple:
Niveau: L3-M1
Mot clés: OCaml, Interface Utilisateurs
Pré-requis: Programmer en OCaml
Il existe plusieurs bibliothèques pour programmer des outils en ligne de commande en OCaml, tels lambda-term ou notty. Cependant, ces bibliothèques sont soit difficile à utiliser, soit fournissent des fonctionnalités limités, et se combinent très mal entre elles. Le but serait de rassembler ces différentes approches et de développer un toolkit pour développer des applications en ligne de commande en OCaml.
Level: L3-M2
Keywords: OCaml, Programmation fonctionnelle, typage, compilation
Prerequisite: Programmer en OCaml, Dépend du projet
Écrire un patch mineur ou majeur pour le compilateur OCaml. Peut être sur n'importe quel partie du compilateur qui vous inspire le plus.
Exemples d'idées:
Ces projets ont une échelle plus large, et ont généralement des aspects exploratoires ou un travail de recherche est nécessaire. Ces sujets sont parfois juste des esquisses, n'hésitez pas à me demander des détails si vous êtes intéressés.
Level: M2
Keywords: Type theory, inference
Prerequisite: Programming language theory
Kinds systems can be used to describe many properties of types. Unfortunately, combining different kind systems is often done simply by taking a tuple of kinds. This does not scale very well and is highly inconvenient in practice. Lifting intersection types to the kind system could attempt to solve this problem by allowing to take the intersection of arbitrary kinds.
Level: M1
Keyword: OCaml, High Performance Computing, Compilation
Prerequisite: OCaml, Compilation
Represent each SIMD instruction as an instrinsic that operates on a C-like array (more precisely: the underlying storage of a Bigarray). Have another instrinsic for derefering the pointer to a bigarray slice. Only expose the composition of dereference+simd. Aggressively inline and factor dereferencing. Morally, we have
type 'a t [@unboxed]
val deref : 'a Bigarray.t -> 'a t
val simd : 'a t -> 'a t -> unit
Except t is not currently a valid OCaml type (since it's an address outside of the heap), hence
it can't be exposed.