* = select paper
PhD Dissertation
A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs [bib]
August 2009, Uitgeverij VUBPRESS Brussels University Press, ISBN 978 90 5487 621 2
Conference Papers
Code Querying by UML [DOI][bib]
Carlos Noguera, Coen De Roover, Andy Kellens, Viviane Jonckers
Proceedings of the 20th IEEE International Conference on Program Comprehension (ICPC2012), Passau (Germany) (to appear)
Constructing Customized Interpreters from Reusable Evaluators using GAME [DOI][bib]
Stijn Timbermont, Coen De Roover, Theo D'Hondt
Proceedings of the 11th International Conference on Software Composition (SC2012), Prague (Czech Republic) (to appear)
Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions [DOI][bib]
Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers
Proceedings of the 18th Working Conference on Reverse Engineering, Short Papers (WCRE 2011), Limerick (Ireland)
CrimeSPOT: Language Support for Programming Interactions among Wireless Sensor Network Nodes [DOI] [bib]
Coen De Roover, Christophe Scholliers, Wouter Amerijckx, Theo D'Hondt and Wolfgang De Meuter
Proceedings of the 5th International Symposium on Ubiquitous Computing and Ambient Intelligence (UCAmI 2011), Mexico
* The SOUL Tool Suite for Querying Programs in Symbiosis with Eclipse [DOI] [bib]
Coen De Roover, Carlos Noguera, Andy Kellens and Viviane Jonckers
Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011), Kongens Lyngby (Denmark)
* Program Querying with a SOUL: the Barista Tool Suite [DOI][bib]
Carlos Noguera, Coen De Roover, Andy Kellens and Viviane Jonckers
Proceedings of the 27th IEEE International Conference on Software Maintenance, Tool Demo Track (ICSM 2011), Williamsburg (USA)
* A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs [DOI][bib]
Coen De Roover
Proceedings of the 27th IEEE International Conference on Software Maintenance, Post-doctoral Symposium
(ICSM 2011), Williamsburg (USA)
Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs [DOI] [bib]
Jens Nicolay, Coen De Roover, Wolfgang De Meuter and Viviane Jonckers
Proceedings of the 11th International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), Williamsburg (USA)
Co-evolving Annotations and Source Code through Smart Annotations [DOI] [bib]
Andy Kellens, Carlos Noguera, Kris De Schutter, Coen De Roover, Theo D'Hondt
Proceedings of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010), Madrid (Spain)
Open Unification for Program Query Languages [DOI][bib]
Johan Brichau, Coen De Roover, Kim Mens
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), Iquique (Chile)
Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries [bib][DOI]
Coen De Roover, Johan Brichau, Carlos Noguera, Theo D'Hondt, Laurence Duchien
Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM07 - co-located with POPL07), Nice (France)
Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation [DOI][bib]
Coen De Roover, Johan Brichau, Theo D'Hondt
Proceedings of the 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2006), Venice (Italy)
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification [DOI] [bib]
Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), Athens (Greece)
Program Testing Using High-Level Property-Driven Models [bib]
Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt
Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2006), San Francisco Bay (California)
Forward Chaining as an Implementation Strategy for the History-based Logic Pointcut Language HALO [DOI] [bib]
Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
Proceedings of the 2007 International Conference on Dynamic Languages: in conjunction with the 15th International Smalltalk Joint Conference 2007 (ICDL 2007), Lugano (Switzerland)
Journal Papers
Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction [DOI]
Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt
In Elsevier Journal on Science of Computer Programming - Special issue on Software Evolution, Adaptability and Variability (in press),ISSN 0167-6423, 2011
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts [DOI] [bib]
Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
In Elsevier Journal on Computer Languages, Systems and Structures, Volume 35, Issue 1, April 2009, Pages 31-47
[Towards Abstract Interpretation for Recovering Design Information [bib] [DOI]
Coen De Roover, Kris Gybels, Theo D'Hondt
Proceedings of the First International Workshop on Abstract Interpretation of Object-Oriented Languages (AiOOL 2005), Paris (France)
In Electronic Notes in Theoretical Computer Science, Volume 131, 24 May 2005, Pages 15-25]
Workshop Papers
Published Workshop Papers
Language and Middleware Support for Dynamism in Wireless Sensor and Actuator Network Applications
Nelson Matthys, Wouter Amerijckx, Coen De Roover, Christophe Scholliers, Sam Michiels, Theo D'Hondt, Wouter Joosen
Proceedings of the 6th International Workshop on Middleware Tools, Services and Run-time Support for Networked Embedded Systems (MidSens11), Lisboa (Portugal)
Generation and composition of corrective actions to code design problems with Heal
Sergio Castro, Andy Kellens, Coen De Roover, Kim Mens
Proceedings of the 9th Belgian-Netherlands Software Evolution Seminar (BENEVOL 2010), Lille (France)
Language-Shifting Objects in Inter-language Interoperability: an exploration using JavaConnect [DOI]
Johan Brichau, Coen De Roover
Proceedings of the International Workshop on Smalltalk Technologies (IWST 2009), Brest (France)
Workshop Papers outside Formal Proceedings
Example-based Program Querying
Andy Kellens, Johan Brichau, Coen De Roover
Working Session on Query Technologies and Applications for Program Comprehension (QTAPC 2008) at the 16th International Conference on Program Comprehension (ICPC 2008), Amsterdam (The Netherlands)
Defining Intensional Views using Logic-based Concrete Source-Code Templates Coen De Roover, Andy Kellens, Carlos Noguera, Johan Brichau, Kim Mens In Abstracts of BElgian-NEtherlands Software eVOLution >orkshop (BENEVOL 2006)
^ TOPInvited Talks
"Experiences Captivating Computer Science Students Through Physical Computing" [ABSTRACT]
Invited talk at Departamento de Ciencias de la Computación
November 15, 2007
DCC, University of Chile, Santiago, Chile
"Behavioral Program Queries using Logic Source Code Templates" [ABSTRACT]
Invited talk at Copenhagen Programming Language Seminar (COPLAS)
March 28, 2007
DIKU, Copenhagen, Denmark
Tool Demonstrations
Maintaining Design Regularities in Evolving Software Systems using Template Queries in IntensiVE: a Tool Demonstration
Johan Brichau, Coen De Roover, Andy Kellens and Kim Mens
Presented by Johan Brichau
Third International ERCIM Symposium on Software Evolution
October 5, 2007
Maison Internationale, Paris, France
Dissertations
Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Coen De Roover
Licentiate's Thesis, 2004