Passer au contenu

/ La recherche

Je donne

Rechercher

Retour à la liste des professeurs Modifier son profil
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

Affiliations de recherche

Unités de recherche

Membre

Enseignement et encadrement

Enseignement

Cours siglés (session en cours uniquement)

Programmes

Encadrement

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

2023

Adding hygiene to gambit scheme

Diplômé(e) : Doucet, Antoine
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
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

Abitbol : un langage sur mesure pour la métaprogrammation

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

On the fly type specialization without type analysis

Diplômé(e) : Chevalier-Boisvert, Maxime
Cycle : Doctorat
Diplôme obtenu : Ph. D.
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

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.
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.
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

Compilation statique de Java

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

Demand-driven type analysis for dynamically-typed functional languages

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

Un protocole de communication pour applications transactionnelles distribuées

Diplômé(e) : Hamzeh, Wissam
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2002

YADL : a general purpose SDSM system

Diplômé(e) : Gagné, Jean-François
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2001

CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C

Diplômé(e) : Methot, Éric
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2000

Analyse et optimisation globales de modules compilés séparément

Diplômé(e) : Boucher, Dominique
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2000

Génération de machines virtuelles pour l'exécution de programmes compressés

Diplômé(e) : Latendresse, Mario
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2000

La compilation de patrons de filtrage sous Erlang

Diplômé(e) : Piché, Patrick
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1999

Un générateur de code machine pour le compilateur Gambit

Diplômé(e) : Beaulieu, Sylvain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1998

Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche

Diplômé(e) : L'Écuyer, Francis
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
2024 - 2025

Conversion d’un dynamomètre du plancher pelvien vers une version sans fil, pour mesurer la fonction musculaire debout (Regroupement INTER)

Sources de financement : FRQNT/Fonds de recherche du Québec - Nature et technologies (FQRNT)
Programmes de subvention : PVXXXXXX-(RS) Programme de regroupements stratégiques
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)

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT