Articles



Rapport de stage - Le psittacisme pour permettre l’oubli motivé : implémentation et vérification du lambda lifting pour le compilateur CakeML

Ce document est un rapport de mon stage Le psittacisme pour permettre l’oubli motivé : implémentation et vérification du lambda-lifting dans le compilateur CakeML, effectué dans le cadre de ma formation en Master 1 Jacques Herbrand à l’École Normale Supérieure Paris-Saclay. Ce stage s’est déroulé sous la direction conjointe de Scott Owens et de Hugo Férée.

Un pdf est disponible ici. Le code source .

Poster - Deep specification and verification of SQL compilation chain

Ce document est un poster que j'ai réalisé et qui a été présenté par Raphaël Cornet à la Junior Conference on Data Science and Engineering 2017. Il porte sur le travail effectué au cours de mon stage Vérification de compilation de requêtes SQL à base de traces, ainsi que sur les stages de Raphaël Cornet et d'Eunice Martins.

Un pdf est disponible ici. Le code source .

Rapport de stage - Vérification de compilation de requêtes SQL à base de traces

Ce document est un rapport de mon stage Vérification de compilation de requêtes SQL à base de traces, effectué dans le cadre de ma formation en Magistère 1 à l'Université Paris-Sud. Ce stage s'est déroulé sous la direction conjointe de Véronique Benzaken, Évelyne Contejean et Chantal Keller.

Un pdf est disponible ici. Le code source .

Ce n'est pas très long, j'aurais aimé faire plus compte tenu des choses que j'avais à dire, mais la consigne indiquait un maximum de cinq pages, nombre déjà dépassé avec cette version en trichant avec les annexes...




Retour en haut.