Master thesis co-advisor at Nu Echo
January 2010 - now
Master thesis co-advisor at InfoSpace Speech Solutions
March 2001 - July 2002
Program committee member
2009
- Scheme Workshop 2009, Boston, Massachussetts
Lecturer at Université of Montréal
1994, 2001, 2002, and 2003
- IFT6820 — Programming Languages and Compilation
- IFT3162 — Theory of Programming Languages
Ph.D. in Computer Science, U. of Montreal, 1999
Subject: static analysis of functional programming languages
M.Sc. in Computer Science, U. of Montreal, 1993
Subject: Introduction to category theory for computer scientists
B.Sc. in Math. and Computer Science, U. of Montreal, 1992
Constructing small language models from grammars, F. Picard, D. Boucher, G. Lapalme. International Conference on Spoken Language Processing, Denver, Colorado. Septembre 2002.
Génération de modèles de langages compacts pour la reconnaissance vocale. F. Picard's Master Thesis, July 2002.
GOld - a link-time optimizer for Scheme, D. Boucher. Proceedings of the Workshop on Scheme and Functional Programming, Montréal, September 2000.
Analyse et optimisation globales de modules compilés séparément. D. Boucher. Ph.D. Thesis, Université de Montréal, December 1999.
Abstract compilation: a new implementation paradigm for static analysis, D. Boucher and M. Feeley. Proceedings of the 1996 International Conference on Compiler Construction.
Un système pour l'optimisation globale de programmes d'ordre supérieur par compilation abstraite séparée, D. Boucher and M. Feeley. Technical report 992, Université de Montréal, September 1995.
Construction parallèle de l'automate LR(0) : Une application de Multilisp à la compilation, D. Boucher and M. Feeley. Actes des 6e Rencontres Francophones du Parallélisme, juin 1994.
La théorie des catégories en informatique: notions de base et applications. D. Boucher. Master Thesis, August 1993.