Natural Sciences and Engineering
Marc Feeley
- Professeur titulaire
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, room 2389
Secondary number:
514 343-5834
(Télécopieur)
Secondary email:
feeley@iro.umontreal.ca
(Travail)
Profile
Research expertise
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.
Affiliations and responsabilities
Research affiliations
Teaching and supervision
Teaching
Courses taught (current session only)
- IFT-1015 – Programmation 1
- IFT-3065 – Langages de programmation et compilation
- IFT-6232 – Compilation
Programs
- 115510 – Baccalauréat en géographie environnementale
- 116341 – Mineure en humanités numériques
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 117540 – Mineure en informatique
- 119010 – Baccalauréat en mathématiques
- 119020 – Majeure en mathématiques
- 119040 – Mineure en mathématiques
- 119110 – Baccalauréat en mathématiques et informatique
- 119110 – Baccalauréat en mathématiques et informatique
- 120510 – Baccalauréat en physique et informatique
- 120510 – Baccalauréat en physique et informatique
- 124161 – Microprogramme de 1er cycle en analyse des mégadonnées en sciences humaines et sociales
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
- 196710 – Programme d'accueil en sciences
- 217510 – Maîtrise en informatique
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
2022
Computation over partial information : a principled approach to accurate partial evaluation
Graduate : Sabourin, Ian
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2022
Reusable semantics for implementation of Python optimizing compilers
Graduate : Melançon, Olivier
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2020
Diffusion de modules compilés pour le langage distribué Termite Scheme
Graduate : Hamel, Frédéric
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2019
Simple optimizing JIT compilation of higher-order dynamic programming languages
Graduate : Saleil, Baptiste
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2016
Abitbol : un langage sur mesure pour la métaprogrammation
Graduate : Archambault-Bouffard, Vincent
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2016
On the fly type specialization without type analysis
Graduate : Chevalier-Boisvert, Maxime
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2015
Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
Graduate : Cérat, Benjamin
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2015
FPGA-based object detection using classification circuits
Graduate : Fu, Min
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2013
A layered JavaScript virtual machine supporting dynamic instrumentation
Graduate : Lavoie, Erick
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2011
Implantation des futures sur un système distribué par passage de messages
Graduate : Lasalle-Ratelle, Jérémie
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2010
Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
Graduate : St-Hilaire, David
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2010
A Type-Preserving Compiler from System F to Typed Assembly Language
Graduate : Guillemette, Louis-Julien
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2007
Compilation d'architectures à flot de données à partir de programmes fonctionnels
Graduate : Saint-Mleux, Xavier
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2006
Conception d'un langage de programmation pour applications distribuées
Graduate : Germain, Guillaume
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2003
Compilation optimisante à l'aide de métaheuristiques
Graduate : Kri, Fernanda
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2003
Demand-driven type analysis for dynamically-typed functional languages
Graduate : Dubé, Danny
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2002
Un protocole de communication pour applications transactionnelles distribuées
Graduate : Hamzeh, Wissam
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2002
YADL : a general purpose SDSM system
Graduate : Gagné, Jean-François
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2001
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
Graduate : Methot, Éric
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
2000
Analyse et optimisation globales de modules compilés séparément
Graduate : Boucher, Dominique
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2000
Génération de machines virtuelles pour l'exécution de programmes compressés
Graduate : Latendresse, Mario
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
2000
La compilation de patrons de filtrage sous Erlang
Graduate : Piché, Patrick
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1999
Un générateur de code machine pour le compilateur Gambit
Graduate : Beaulieu, Sylvain
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
1998
Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
Graduate : L'Écuyer, Francis
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Projects
Research projects
2022
- 2028
High-Performance Dynamic Language Implementation
Lead researcher :
Marc Feeley
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2024
- 2025
Conversion d’un dynamomètre du plancher pelvien vers une version sans fil, pour mesurer la fonction musculaire debout (Regroupement INTER)
Funding sources:
FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Grant programs:
PVXXXXXX-(RS) Programme de regroupements stratégiques
2016
- 2023
Implementation of Dynamic Programming Languages
Lead researcher :
Marc Feeley
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2020
- 2021
Supplément COVID-19 CRSNG_Implementation of Dynamic Programming Languages
Lead researcher :
Marc Feeley
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVXXXXXX-Supplément à l’appui des étudiants, des stagiaires postdoctoraux et du personnel de soutien à la recherche COVID-19
2016
- 2021
Implementation of Dynamic Programming Languages
Lead researcher :
Marc Feeley
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PV118029-(RGPAS) Programme de suppléments d'accélération à la découverte
2011
- 2017
JAVASCRIPT RESEARCH VM
Lead researcher :
Marc Feeley
Funding sources:
Mozilla
Grant programs:
1994
- 2016
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION
Lead researcher :
Marc Feeley
Funding sources:
CRSNG/Conseil de recherches en sciences naturelles et génie du Canada (CRSNG)
Grant programs:
PVX20965-(RGP) Programme de subvention à la découverte individuelle ou de groupe
2010
- 2014
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION
Lead researcher :
Marc Feeley
Outreach
Publications and presentations
Disciplines
- Computer Science
Areas of expertise
- Compiling
- High-level programming language
- Dynamic programming language
- Functional programming language
- Reconfigurable computing
- Parallel processing