Bonjour,

Bienvenue sur mon site internet. Vous trouverez ici des informations sur les projets qui me tiennent à cœur. Ce site consiste en un certain nombre de thèmes directement accessible depuis le menus et mis à jour au grès de mes envies (et de mon temps). Il s'agit donc d'un site en éternel construction.

Vous pouvez me laisser un commentaire si vous avez des remarques ou des questions.

Curriculum Vitae

Mon CV peut être consulté ici.

Me contacter

Talpo!

Talpo à été écrit pendant mon stage de fin d'étude (~ mai-septembre 2011) (à l'école Polytech Tours ). Le projet à également été sélectionné et financé dans le cadre d'un Google Summer of Code. J'ai également présenté cet outil ainsi que MELT, sur lequel il repose, pendant les RMLL 2111.

Talpo est un plugin à GCC écrit en MELT. C'est un outil d'analyse statique simple permettant à l'utilisateur de passer un ensemble de tests paramétrables lors de la compilation de son projet.

Pourquoi un nom si étrange?

Talpo signifie taupe en esperanto (la langue internationnal). L'idée derriere ce nom est de se dire que l'on traverse GCC comme les taupes creusent: Elles sont aveugles et se dirigent aléatoirement mais parviennent à trouver leur nourriture (comme nous trouvons des informations intéressantes).

Que peut t'on réellement faire avec Talpo?

L'idée est d'offrir aux utilisateurs différents moyens d'insérer des tests dans leurs codes au moment de la compilation en utilisant la puissance de GCC. Talpo peut être utilisé en insérant des pragmas dans le code, en passant directement les arguments lors de l'invocation de GCC or via l'utilisation d'un fichier. Pour le moment, les tests ne peuvent travailler qu'au niveau GIMPLE, mais on peut imaginer étendre ça plus tard. Cela signifie qu'un test est lancé successivement sur chaque fonction du fichier que l'on compile. Le principal inconvénient est que chaque passe n'a alors qu'une vision limitée à la fonction (ainsi, on ne peut pas faire de tests avec une vue globale ou en travaillant sur les imbrications d'appels de fonctions).

Les types de tests que l'on peut actuellement lancer sont les suivants:

• Tester que l'appel à une fonction donnée est (ou non) immédiatement suivi d'un test vérifiant qu'elle est (ou non) égale à NULL, zero ou négative.

• Tester que l'appel à une fonction donnée est (ou non) immédiatement suivi d'un appel à une autre fonction.

• Tester que l'appel à une fonction donnée est suivi dans le même corps de fonction par un appel à une autre fonction.

• ...

Talpo a particulièrement été testé sur du code source C, il ne fonctionne pas correctement en C++ à cause de problème de transformation du nom des fonctions. Cela sera certainement changé dans de futures versions. Talpo n'a jamais été testé sur d'autres langages, mais le fait qu'il travaille principalement sur des représentations intermédiaires très génériques, permet d'imaginer que d'autres langages implémentés dans GCC puissent fonctionner.

Essayer et en savoir plus!

Talpo est disponible sur gitorious: https://gitorious.org/talpo. Il dispose d'un README et d'un AvancedREADME relativement complet (bien qu'actuellement uniquement disponible en anglais).

Vous Êtes Libre Ce Soir ?

VELCS (Vous Êtes Libre Ce Soir ?:) est un projet d'émission de radio lancé pendant l'année scolaire 2010-2011 par le club logiciel libre de l'école Polytech Tours. Il s'agit d'une courte émission de radio (15 minutes environs) diffusé chaque semaine sur radio Béton (radio associative Tourangelle du tonnerre) également disponible en podcast sur le site de VELCS. Il s'agit de suivre l'actualité du libre aussi bien logiciel que culturel (écoutez donc un peu pour voir!). Le projet est en sommeil (voir dans un profond communs) mais peut être repris par de bonnes âmes enthousiastes.

Je remercie les libristes de Clic pour avoir permis l'émission et en particuler Emmanuel Dewaele pour sa volonté à permettre l'émission.

Je parle espéranto (au moins un peu)

L'esperanto est une langue à vocation internationnal créé par le célebre docteur Zamenhof.

J'ai beaucoup aimé le film esperantiste Gerda Malaperis (qui aurait pensé trouver un lien youtube sur mon site) et vous le recommande. Ce n'est pas tout à fait du cinéma hollywodien mais les acteurs non-professionnels on l'air de s'être bien amusé.

Je participe avec l'association esperanto Rennes à un projet de théatre en espéranto. Peut être un jour, quelque chose sera visible sur la toile.