• 133 Citations
  • 8 h-Index
19972020

Research output per year

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.

Qualification académique

Docteur ès sciences, Katholieke Universiteit Leuven (KUL)

Date d'octroi: 30 juin 2001

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Wim VANHOOF est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 7 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 avr. 2020, Dans : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
  • Introduire la concurrence en début de secondaire

    Libert, C. & Vanhoof, W., 2020. 12 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié)Article

    Accès ouvert

    Analysis of Students' Preconceptions of Concurrency

    Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 26 août 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Anti-unification in Constraint Logic Programming

    Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

    Résultats de recherche: Contribution à un journal/une revueArticle

  • 3 Téléchargements (Pure)

    Prix

    IBM Belgium Prijs informatica

    VANHOOF, Wim (Bénéficiaire), 1996

    Prix: Mise à l'honneur nationale/internationale

    Activités

    FOCUS Research Seminar

    Wim Vanhoof (Organisateur), , Jean-Marie Jacquet (Organisateur), , Manel Barkallah (Membre du Comité d'Organisation), , Gonzague Yernaux (Membre du Comité d'Organisation), , Pierre-Yves Schobbens (Membre du Comité d'Organisation), , James Jerson Ortiz Vega (Membre du Comité d'Organisation), , Moussa Amrani (Membre du Comité d'Organisation), , Isabelle Linden (Membre du Comité d'Organisation), & Christian Colot (Membre du Comité d'Organisation)

    6 déc. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

    Generalization-driven semantic clone detection in CLP

    Gonzague Yernaux (Orateur), & Wim Vanhoof (Orateur)

    9 oct. 2019

    Activité: Types de discours ou de présentationPrésentation orale

    29th International Symposium on Logic-Based Program Synthesis and Transformation

    Wim Vanhoof (Orateur)

    7 oct. 20199 oct. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    On an old (and possibly still unsolved?) problem in program specialization

    Wim Vanhoof (Orateur)

    8 oct. 2019

    Activité: Types de discours ou de présentationDiscours invité

    29th International Symposium on Logic-Based Program Synthesis and Transformation

    Gonzague Yernaux (Participant), & Wim Vanhoof (Participant)

    8 oct. 201910 oct. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Thèse

    A declarative approach to Java Virtual Machine modelisation and Bytecode execution

    Author: Laffineur, G., 23 juin 2017

    Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    A distributed collaborative model editing framework for domain specific modeling languages

    Author: Koshima, A., 12 janv. 2016

    Superviseur: Englebert, V. (Promoteur), Thiran, P. (Copromoteur), Vanhoof, W. (Président), Cleve, A. (Jury), Mens, T. (Personne externe) (Jury) & Van Gorp, P. (Personne externe) (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Fichier

    Aide à la distribution et exploitation électrique : simulation et optimisation

    Author: Braun, C., 29 août 2017

    Superviseur: Vanhoof, W. (Président) & Jacquet, J. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control

    Author: Marcozzi, M., 29 sept. 2010

    Superviseur: Vanhoof, W. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Analyse d'exécutables x86 par transformation sous forme de clauses de Horn

    Author: Devos, A., 26 juin 2017

    Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Presse/médias

    24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)

    Wim Vanhoof

    19/03/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert