Passer au contenu

/ La recherche

Je donne

Rechercher

Sciences naturelles et génie

Marc Feeley

Professeur titulaire

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

André-Aisenstadt, local 2389

514 343-7477

marc.feeley@umontreal.ca

Autre numéro : 514 343-5834 (Télécopieur)
Autre courriel : feeley@iro.umontreal.ca (Travail)

Portrait

Expertise de recherche

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 et responsabilités

Enseignement et encadrement

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2022

Computation over partial information : a principled approach to accurate partial evaluation

Diplômé(e) : Sabourin, Ian
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2022

Reusable semantics for implementation of Python optimizing compilers

Diplômé(e) : Melançon, Olivier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2020

Diffusion de modules compilés pour le langage distribué Termite Scheme

Diplômé(e) : Hamel, Frédéric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2019

Simple optimizing JIT compilation of higher-order dynamic programming languages

Diplômé(e) : Saleil, Baptiste
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2016

On the fly type specialization without type analysis

Diplômé(e) : Chevalier-Boisvert, Maxime
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2016

Abitbol : un langage sur mesure pour la métaprogrammation

Diplômé(e) : Archambault-Bouffard, Vincent
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2015

Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme

Diplômé(e) : Cérat, Benjamin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2015

FPGA-based object detection using classification circuits

Diplômé(e) : Fu, Min
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2013

A layered JavaScript virtual machine supporting dynamic instrumentation

Diplômé(e) : Lavoie, Erick
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2011

Implantation des futures sur un système distribué par passage de messages

Diplômé(e) : Lasalle-Ratelle, Jérémie
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2010

A Type-Preserving Compiler from System F to Typed Assembly Language

Diplômé(e) : Guillemette, Louis-Julien
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2010

Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo

Diplômé(e) : St-Hilaire, David
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2007

Compilation d'architectures à flot de données à partir de programmes fonctionnels

Diplômé(e) : Saint-Mleux, Xavier
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2006

Conception d'un langage de programmation pour applications distribuées

Diplômé(e) : Germain, Guillaume
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2003

Compilation optimisante à l'aide de métaheuristiques

Diplômé(e) : Kri, Fernanda
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2003

Demand-driven type analysis for dynamically-typed functional languages

Diplômé(e) : Dubé, Danny
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2003

Compilation statique de Java

Diplômé(e) : Bergeron, Étienne
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Projets

Projets de recherche

2022 - 2028

High-Performance Dynamic Language Implementation

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
2016 - 2023

Implementation of Dynamic Programming Languages

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
2020 - 2021

Supplément COVID-19 CRSNG_Implementation of Dynamic Programming Languages

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
2016 - 2021

Implementation of Dynamic Programming Languages

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
2011 - 2017

JAVASCRIPT RESEARCH VM

Chercheur principal : Marc Feeley
Sources de financement : Mozilla
Programmes de subvention :
1994 - 2016

DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION

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
2010 - 2014

DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION

Chercheur principal : Marc Feeley

Rayonnement

Publications et communications

Disciplines

  • Informatique

Champ d’expertise

  • Compilation
  • Langages de programmation de haut niveau
  • Langages de programmation dynamiques
  • Langages de programmation fonctionnels
  • Reconfiguration dynamique des FPGAs
  • Traitement parallèle (parallélisme)