Autour de la récriture, je m'intéresse aux langages de programmation fonctionnels et à leur implémentation, ainsi qu'à la concurrence. Situation actuelle : dernière année de doctorat sous la direction de Delia Kesner. J'ai aussi travaillé avec Emmanuel Haucourt.
Récriture
Je travaille avec Delia Kesner sur diverses déclinaisons de la réduction optimale dans le cadre de la réduction faible, ainsi que sur le partage de sous-termes en général. Mes cibles sont notamment : le lambda-calcul, la récriture d'ordre supérieur, et le filtrage (ou pattern matching). À travers des transformations de programmes j'examine également comment la réduction faible donne un comportement "premier ordre" à la récriture d'ordre supérieur.
Documents
- Un article sur une approche axiomatique du partage de sous-termes en récriture abstraite (RTA, mai 2012).
- Un article sur la pleine paresse et le lambda-lifting pleinement paresseux (POPL, janvier 2012). Voir aussi les diapositives d'exposés donnés à CHoCoLa, LAC-GEOCAL, et PoPL.
- Des diapositives sur le partage optimal et la réduction faible pour la récriture d'ordre supérieur (Vrije Universiteit Amsterdam, janvier 2011).
- Des diapositives et un article sur le partage optimal et la réduction faible pour le filtrage (PPDP, juillet 2010).
- Des diapositives et un article sur le filtrage explicite et les stratégies de réduction (HOR, juillet 2010).
Concurrence
Interprétation géométrique de la concurrence et détection automatique de processus indépendants dans des systèmes concurrents.
Documents
- CONCUR, septembre 2010: diapositives, article (avec Emmanuel Haucourt).