Passer au contenu

/ Research

Je donne

Rechercher

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

514 343-7477

marc.feeley@umontreal.ca

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

Teaching and supervision

Student supervision

Theses and dissertation supervision (Papyrus Institutional Repository)

2023

Adding hygiene to gambit scheme

Graduate : Doucet, Antoine
Cycle : Master's
Grade : M. Sc.
2022

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

Graduate : Sabourin, Ian
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.
2020

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

Graduate : Hamel, Frédéric
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.
2016

Abitbol : un langage sur mesure pour la métaprogrammation

Graduate : Archambault-Bouffard, Vincent
Cycle : Master's
Grade : M. Sc.
2016

On the fly type specialization without type analysis

Graduate : Chevalier-Boisvert, Maxime
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.
2015

FPGA-based object detection using classification circuits

Graduate : Fu, Min
Cycle : Master's
Grade : M. Sc.
2013

A layered JavaScript virtual machine supporting dynamic instrumentation

Graduate : Lavoie, Erick
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.
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.
2010

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

Graduate : Guillemette, Louis-Julien
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.
2006

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

Graduate : Germain, Guillaume
Cycle : Master's
Grade : M. Sc.
2003

Compilation optimisante à l'aide de métaheuristiques

Graduate : Kri, Fernanda
Cycle : Doctoral
Grade : Ph. D.
2003

Compilation statique de Java

Graduate : Bergeron, Étienne
Cycle : Master's
Grade : M. Sc.
2003

Demand-driven type analysis for dynamically-typed functional languages

Graduate : Dubé, Danny
Cycle : Doctoral
Grade : Ph. D.
2002

Un protocole de communication pour applications transactionnelles distribuées

Graduate : Hamzeh, Wissam
Cycle : Master's
Grade : M. Sc.
2002

YADL : a general purpose SDSM system

Graduate : Gagné, Jean-François
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.
2000

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

Graduate : Boucher, Dominique
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.
2000

La compilation de patrons de filtrage sous Erlang

Graduate : Piché, Patrick
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.
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.

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