Marc Feeley
- Professeur titulaire
-
Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle
André-Aisenstadt, local 2389
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
Enseignement et encadrement
Enseignement
Cours siglés (session en cours uniquement)
Programmes
- 117510 – Baccalauréat en informatique
- 117520 – Majeure en informatique
- 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
- 146811 – Baccalauréat en bio-informatique
- 146811 – Baccalauréat en bio-informatique
- 217510 – Maîtrise en informatique
Encadrement
Thèses et mémoires dirigés (dépôt institutionnel Papyrus)
Adding hygiene to gambit scheme
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Computation over partial information : a principled approach to accurate partial evaluation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Reusable semantics for implementation of Python optimizing compilers
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Diffusion de modules compilés pour le langage distribué Termite Scheme
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Simple optimizing JIT compilation of higher-order dynamic programming languages
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Abitbol : un langage sur mesure pour la métaprogrammation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On the fly type specialization without type analysis
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
FPGA-based object detection using classification circuits
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
A layered JavaScript virtual machine supporting dynamic instrumentation
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation des futures sur un système distribué par passage de messages
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
A Type-Preserving Compiler from System F to Typed Assembly Language
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Compilation d'architectures à flot de données à partir de programmes fonctionnels
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Conception d'un langage de programmation pour applications distribuées
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Compilation optimisante à l'aide de métaheuristiques
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Compilation statique de Java
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Demand-driven type analysis for dynamically-typed functional languages
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Un protocole de communication pour applications transactionnelles distribuées
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
YADL : a general purpose SDSM system
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse et optimisation globales de modules compilés séparément
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Génération de machines virtuelles pour l'exécution de programmes compressés
Cycle : Doctorat
Diplôme obtenu : Ph. D.
La compilation de patrons de filtrage sous Erlang
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Un générateur de code machine pour le compilateur Gambit
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Un système de programmation Scheme pour micro-contrôleur
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Projets
Projets de recherche
High-Performance Dynamic Language Implementation
Conversion d’un dynamomètre du plancher pelvien vers une version sans fil, pour mesurer la fonction musculaire debout (Regroupement INTER)
Implementation of Dynamic Programming Languages
Supplément COVID-19 CRSNG_Implementation of Dynamic Programming Languages
Implementation of Dynamic Programming Languages
JAVASCRIPT RESEARCH VM
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION
DYNAMIC LANGUAGES : DESIGN, IMPLEMENTATION AND EVALUATION
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.