Marc Feeley
- Professeur titulaire
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt local 2389
Courriels
feeley@iro.umontreal.ca (Travail)
Télécopieur : 514 343-5834
Web : LinkedIn
Web : Autre site web
Web : Autre site web
Web : Autre site web
Programmes d’enseignement
- Baccalauréat en géographie environnementale – Sciences pures et sciences appliquées Environnement et développement durable Sciences humaines
- Mineure en humanités numériques – Lettres et langues Sciences humaines Technologies de l'information (TIC)
- Baccalauréat en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Majeure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Mineure en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
- Baccalauréat en mathématiques – Sciences pures et sciences appliquées
- Majeure en mathématiques – Sciences pures et sciences appliquées
- Mineure en mathématiques – Sciences pures et sciences appliquées
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en mathématiques et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Baccalauréat en physique et informatique – Sciences pures et sciences appliquées
- Microprogramme de 1er cycle en analyse des mégadonnées en sciences humaines et sociales – Sciences humaines Sciences sociales
- Baccalauréat en bio-informatique – Sciences de la santé Sciences de la vie Sciences pures et sciences appliquées
- Baccalauréat en bio-informatique – Sciences de la santé Sciences de la vie Sciences pures et sciences appliquées
- Programme d'accueil en sciences – Préparation aux études universitaires
- Maîtrise en informatique – Sciences pures et sciences appliquées Technologies de l'information (TIC)
Cours donnés
- IFT1015 Programmation 1
- IFT3065 Langages de programmation et compilation
- IFT6232 Compilation
Expertises
- Compilation
- Langages de programmation de haut niveau
- Langages de programmation dynamiques
- Langages de programmation fonctionnels
- Reconfiguration dynamique des FPGAs
- Traitement parallèle (parallélisme)
Techniques de compilation pour langages fonctionnels et avancement de mon compilateur Gambit-C pour le langage Scheme; conception d'un superordinateur économique fondé sur un nouveau matériel réseau, système d'exploitation temps-réel, et compilateurs pour langages parallèles.
Encadrement Tout déplier Tout replier
Adding hygiene to gambit scheme
Thèses et mémoires dirigés
/
2023
-
2023
Diplômé(e) : Doucet, Antoine
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation
Thèses et mémoires dirigés
/
2022
-
2022
Diplômé(e) : Sabourin, Ian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Reusable semantics for implementation of Python optimizing compilers
Thèses et mémoires dirigés
/
2022
-
2022
Diplômé(e) : Melançon, Olivier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Diffusion de modules compilés pour le langage
distribué Termite Scheme
Thèses et mémoires dirigés
/
2020
-
2020
Diplômé(e) : Hamel, Frédéric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Simple optimizing JIT compilation of higher-order dynamic programming languages
Thèses et mémoires dirigés
/
2019
-
2019
Diplômé(e) : Saleil, Baptiste
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Abitbol : un langage sur mesure pour la métaprogrammation
Thèses et mémoires dirigés
/
2016
-
2016
Diplômé(e) : Archambault-Bouffard, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On the fly type specialization without type analysis
Thèses et mémoires dirigés
/
2016
-
2016
Diplômé(e) : Chevalier-Boisvert, Maxime
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
Thèses et mémoires dirigés
/
2015
-
2015
Diplômé(e) : Cérat, Benjamin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
FPGA-based object detection using classification circuits
Thèses et mémoires dirigés
/
2015
-
2015
A layered JavaScript virtual machine supporting dynamic instrumentation
Thèses et mémoires dirigés
/
2013
-
2013
Diplômé(e) : Lavoie, Erick
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation des futures sur un système distribué par passage de messages
Thèses et mémoires dirigés
/
2011
-
2011
Diplômé(e) : Lasalle-Ratelle, Jérémie
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
Thèses et mémoires dirigés
/
2010
-
2010
Diplômé(e) : St-Hilaire, David
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
A Type-Preserving Compiler from System F to Typed Assembly Language
Thèses et mémoires dirigés
/
2010
-
2010
Diplômé(e) : Guillemette, Louis-Julien
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Compilation d'architectures à flot de données à partir de programmes fonctionnels
Thèses et mémoires dirigés
/
2007
-
2007
Diplômé(e) : Saint-Mleux, Xavier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Conception d'un langage de programmation pour applications distribuées
Thèses et mémoires dirigés
/
2006
-
2006
Diplômé(e) : Germain, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Compilation optimisante à l'aide de métaheuristiques
Thèses et mémoires dirigés
/
2003
-
2003
Diplômé(e) : Kri, Fernanda
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Compilation statique de Java
Thèses et mémoires dirigés
/
2003
-
2003
Diplômé(e) : Bergeron, Étienne
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Demand-driven type analysis for dynamically-typed functional languages
Thèses et mémoires dirigés
/
2003
-
2003
Un protocole de communication pour applications transactionnelles distribuées
Thèses et mémoires dirigés
/
2002
-
2002
Diplômé(e) : Hamzeh, Wissam
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
YADL : a general purpose SDSM system
Thèses et mémoires dirigés
/
2002
-
2002
Diplômé(e) : Gagné, Jean-François
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
Thèses et mémoires dirigés
/
2001
-
2001
Diplômé(e) : Methot, Éric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse et optimisation globales de modules compilés séparément
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Boucher, Dominique
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Génération de machines virtuelles pour l'exécution de programmes compressés
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Latendresse, Mario
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Cycle : Doctorat
Diplôme obtenu : Ph. D.
La compilation de patrons de filtrage sous Erlang
Thèses et mémoires dirigés
/
2000
-
2000
Diplômé(e) : Piché, Patrick
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Un générateur de code machine pour le compilateur Gambit
Thèses et mémoires dirigés
/
1999
-
1999
Diplômé(e) : Beaulieu, Sylvain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
Thèses et mémoires dirigés
/
1998
-
1998
Diplômé(e) : L'Écuyer, Francis
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets de recherche Tout déplier Tout replier
High-Performance Dynamic Language Implementation Projet de recherche au Canada / 2022 - 2028
Chercheur principal :
Marc Feeley
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
Conversion d’un dynamomètre du plancher pelvien vers une version sans fil, pour mesurer la fonction musculaire debout (Regroupement INTER) Projet de recherche au Canada / 2024 - 2025
Sources de financement :
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Programmes de subvention :
PVXXXXXX-(RS) Programme de regroupements stratégiques
Implementation of Dynamic Programming Languages Projet de recherche au Canada / 2016 - 2023
Chercheur principal :
Marc Feeley
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
Supplément COVID-19 CRSNG_Implementation of Dynamic Programming Languages Projet de recherche au Canada / 2020 - 2021
Chercheur principal :
Marc Feeley
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
Implementation of Dynamic Programming Languages Projet de recherche au Canada / 2016 - 2021
Chercheur principal :
Marc Feeley
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PV118029-(RGPAS) Programme de suppléments d'accélération à la découverte
JAVASCRIPT RESEARCH VM Projet de recherche au Canada / 2011 - 2017
Chercheur principal :
Marc Feeley
Sources de financement :
Mozilla
Programmes de subvention :
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION Projet de recherche au Canada / 1994 - 2016
Chercheur principal :
Marc Feeley
Sources de financement :
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Programmes de subvention :
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION Projet de recherche au Canada / 2010 - 2014
Chercheur principal :
Marc Feeley
Consultez cette fiche sur :