Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, Katholieke Universiteit Leuven (KUL)
Award Date: 30 Jun 2001
Fingerprint Dive into the research topics where Wim VANHOOF is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 7 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & VANHOOF, W.
15/12/09 → …
Project: PHD
Constraint-based test data generation for database-driven applications
Marcozzi, M., VANHOOF, W. & HAINAUT, J.
1/10/10 → 30/09/14
Project: PHD
Génération de données de test basée à base de contraintes pour des applications orientées base de données
1/10/10 → 30/09/12
Project: PHD
Research Output
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).Research output: Contribution to conference › Poster
Generalization-Driven Semantic Clone Detection in CLP
Yernaux, G. & Vanhoof, W., 21 Apr 2020, In : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.Research output: Contribution to journal › Article
Open Access
File
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Research output: Contribution to conference › Paper
Open Access
Analysis of Students' Preconceptions of Concurrency
Libert, C. & Vanhoof, W., 26 Aug 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Research output: Contribution to journal › Article
Prizes
Activities
FOCUS Research Seminar
Wim Vanhoof (Organiser), , Jean-Marie Jacquet (Organiser), , Manel Barkallah (Member of Organizing Committee), , Gonzague Yernaux (Member of Organizing Committee), , Pierre-Yves Schobbens (Member of Organizing Committee), , James Jerson Ortiz Vega (Member of Organizing Committee), , Moussa Amrani (Member of Organizing Committee), , Isabelle Linden (Member of Organizing Committee), & Christian Colot (Member of Organizing Committee)
6 Dec 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
7 Oct 2019 → 9 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker), & Wim Vanhoof (Speaker)
9 Oct 2019
Activity: Talk or presentation types › Oral presentation
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)
8 Oct 2019
Activity: Talk or presentation types › Invited talk
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), & Wim Vanhoof (Participant)
8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Press / Media
24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)
19/03/14
1 item of Media coverage
Press/Media: Expert Comment