Danny Dubé
Nom: Danny Dubé
Statut: Professeur agrégé
Laboratoire: LSFM
Département: Informatique et génie logiciel
Courrier électronique: Danny DOT
Dube AT
ift DOT
ulaval DOT
ca
Téléphone: (418) 656-2131 poste 7035
Organisation:
J'ai été l'organisateur et le président du comité de
programme du Workshop on
Scheme and Functional Programming 2007.
Publications:
Danny Dubé, Vincent Beaudoin, "Lossless Data Compression via Substring Enumeration", à paraître dans les comptes-rendus de la Data Compression Conference, Snowbird, Utah, États-Unis, mars 2010.
Danny Dubé, Vincent Beaudoin, "Constructing Optimal Whole-Bit Recycling Codes", comptes-rendus de la IEEE Information Theory Workshop, Volos, Grèce, juin 2009.
Heidar Pirzadeh, Danny Dubé, "VEP: a Virtual Machine for Extended Proof-Carrying Code", comptes-rendus du
Workshop on Virtual Machine Security, Fairfax, Virginie, États-Unis, octobre 2008.
Heidar Pirzadeh, Danny Dubé, "Encoding
the program correctness proofs as programs in PCC technology", comptes-rendus de la
Conference on Privacy, Security and Trust, pp. 121-132,
Fredericton, New Brunswick, Canada, octobre 2008.
Danny Dubé, Vincent Beaudoin, "Improving
LZ77 Bit Recycling using All Matches", comptes-rendus de la IEEE International Symposium in Information
Theory, Toronto, Ontario, Canada, juillet 2008.
Danny Dubé, Vincent Beaudoin, "All-Match
LZ77 Bit
Recycling", comptes-rendus de la Data Compression Conference, p.
513, Snowbird, Utah,
États-Unis, mars 2008.
Danny Dubé, Vincent Beaudoin, "Fast
Construction of Disposable Prefix-Free Codes", comptes-rendus de la
conférence International Colloquium on Signal Processing and its
Applications, Kuala Lumpur, Malaisie, mars 2008.
Nguyen-Minh Bui, "Toward Abstract Profiling",
comptes-rendus de la
conférence Scheme and Functional
Programming, Fribourg, Allemagne, septembre 2007.
Danny Dubé, Vincent Beaudoin, "Bit
Recycling with Prefix Codes", poster
présenté
à la Data Compression Conference, Snowbird, Utah,
États-Unis, mars 2007. (Article
tel que soumis.)
Danny Dubé, Vincent Beaudoin, "Improving
LZ77 Data Compression using Bit Recycling", comptes-rendus de la
conférence International Symposium
on Information Theory and its Applications, Séoul, Corée
du Sud, octobre 2006.
Danny Dubé, Anass Kadiri, "Automatic
Construction of Parse Trees for Lexemes", comptes-rendus de la
conférence Scheme and Functional
Programming, Portland, Orégon, États-Unis, septembre 2006.
Danny Dubé, Marc Feeley, "BIT: A Very
Compact Scheme System for Microcontrollers", Higher-Order and
Symbolic Computation, volume 18, numéros 3-4, décembre
2005, pages 271-298.
Danny Dubé, Vincent Beaudoin, "Recycling
Bits in LZ77-Based
Compression", dans les comptes-rendus de la conférence des
Sciences
Électroniques, Technologies de l'Information et des
Télécommunications (SETIT 2005), Sousse, Tunisie, mars
2005.
Danny Dubé, "Control-Flow
Analysis Requires The Reflexive
Transitive Closure of a Graph. Or Does It?", Rapport de recherche
DIUL-RR-0402, avril 2004.
Marc Feeley, Danny Dubé,
"Running Scheme on a PIC microcontroller",
Poster, Lightweight Languages 2003 (LL3), novembre 2003.
Feeley M., Dubé D. (2003), "PICBIT: a
Scheme system for the PIC
microcontroller", Proceedings of the Scheme Workshop, Boston, MA,
États-Unis, novembre 2003, pages 7-15.
Dubé D., Feeley M. (2002), "A
demand-driven adaptive type
analysis",
Proceedings of the International Conference on Functional Programming,
Pittsburgh,
PA, États-Unis, octobre 2002, pages 84-97.
Dubé D., Feeley M. (2001), "Demand-driven
type analysis: an
introduction",
Proceedings of the Workshop on Scheme and Functional Programming,
Florence,
Italie, septembre 2001, pages 21-32.
Dubé D., Feeley M. (2000), "Efficiently
building a parse tree
from
a regular expression", Acta Informatica, volume 37, numéro
2,
pages
121-144. Copyright Springer-Verlag. L'acticle original est
accessible
sur LINK à http://link.springer.de.
The original publication is available on LINK at http://link.springer.de.
Dubé D. (2000), "BIT: A very compact
Scheme system for embedded
applications",
Proceedings of the Workshop on Scheme and Functional Programming,
Montréal,
Québec, septembre 2000, pages 35-43.
Dubé D., Feeley M., Serrano M. (1996), "Un
GC temps réel
semi-compactant",
Comptes-rendus des Journées francophones des langages
applicatifs,
Val-Morin, Québec, janvier 1996, pages 165-181.
Potvin J.Y., Dubé D., Robillard C. (1995), "A hybrid approach to
vehicle
routing using neural network and genetic algorithms", Applied
Intelligence,
volume 6, numéro 3, juillet 1996, pages 241-252.
Potvin J.Y., Dubé D. (1994), "Improving
a vehicle routing
heuristic
through genetic search", Proceedings of the First IEEE Conference
on
Evolutionary
Computation, Orlando, FL, juin 1994, pages 194-199.
Benyahia I., Potvin J.Y., Dubé D. (1994), "Parameter
optimization
for a vehicle routing heuristic using genetic algorithms", rapport
technique
#938, Centre de Recherche sur les Transports, Université de
Montréal.
Dubé D. (2003), "Demand-driven type
analysis for
dynamically-typed
functional languages", thèse de doctorat
déposée
au
Département d'Informatique et de Recherche
Opérationnelle,
Université de Montréal, mars 2003.
Dubé D. (1996), "Un système de
programmation Scheme pour
micro-contrôleur",
mémoire de maîtrise déposé au
Département
d'Informatique et de Recherche Opérationnelle, Université
de
Montréal, août 1996.
Enseignement:
IFT-15752 Compilation et
interprétation (hiver 2009)
MAT-22257 Mathématiques pour informaticiens (hiver 2009)
GLO-66811 Implantation et
optimisation des langages fonctionnels (A08, H08, H07, A05, A04)
IFT-15752 Compilation et
interprétation (H08, H07, H06, H05)
GLO-64265 Sujets spéciaux III ---
Implantation et optimisation des langages fonctionnels (A03)
IFT-10542 Langages
de programmation (H04)
Concepts des langages de programmation (cours donné à une
autre
université)
Automates et langages formels (cours donné à une autre
université)
Langages de programmation et compilation (cours donné à
une
autre université)