Skip to main content.

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

Mailbox Abstractions for Static Analysis of Actor Programs
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter and Coen De Roover
Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona (Spain)

Mining Change Histories for Unknown Systematic Edits
Tim Molderez, Reinout Stevens and Coen De Roover
Proceedings of the 14th International Conference on Mining Software Repositories (MSR 2017), Buenos Aires (Argentina)

Static Taint Analysis of Event-driven Scheme Programs
Jonas De Bleser, Quentin Stiévenart, Jens Nicolay and Coen De Roover
Proceedings of the 10th European Lisp Symposium (ELS 2017), Brussels (Belgium)

Prevalence of Botched Code Integrations
Ward Muylaert and Coen De Roover
Proceedings of the 14th International Conference on Mining Software Repositories (MSR 2017), Mining Challenge Track, Buenos Aires (Argentina)

Extracting Executable Transformations from Distilled Code Changes
Reinout Stevens and Coen De Roover
Proceedings of the 24th International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt (Austria)

Dependence-Driven Delimited CPS Transformation for JavaScript
Laure Philips, Joeri De Koster, Wolfgang De Meuter and Coen De Roover
Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Amsterdam (Netherlands)

Building a Modular Static Analysis Framework in Scala (Tool Paper)
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter and Coen De Roover
Proceedings of the 7th ACM SIGPLAN Symposium on Scala (Scala 2016), Amsterdam (Netherlands)

SCALA-AM: A Modular Static Analysis Framework
Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter and Coen De Roover
Proceedings of the 16th International Working Conference on Source Code Analysis and Manipulation (SCAM 2016), Engineering Track, Raleigh, North Carolina (USA)

Search-Based Generalization and Refinement of Code Templates
Tim Molderez and Coen De Roover
Proceedings of the 8th International Symposium on Search-Based Software Engineering (SSBSE 2016), Raleigh, North Carolina (USA)

Automated Generalization and Refinement of Code Templates with Ekeko/X
Tim Molderez and Coen De Roover
Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Tool Demonstration Track, Osaka (Japan)
Winner of the best tool paper award.

Linvail: A General-Purpose Platform for Shadow Execution of JavaScript
Laurent Christophe, Elisa Gonzalez Boix, Wolfgang De Meuter and Coen De Roover
Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka (Japan)

A Performant Scheme Interpreter in asm.js
Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt and Coen De Roover
Proceedings of the 31st ACM Symposium on Applied Computing, Programming Languages Track (SAC 2016), Pisa (Italy)

Detecting Function Purity in JavaScript
Jens Nicolay, Carlos Noguera, Coen De Roover and Wolfgang De Meuter
Proceedings of the 15th International Working Conference on Source Code Analysis and Manipulation (SCAM 2015), Bremen (Germany)
Winner of the best paper award.

Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter and Coen De Roover
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena (Italy)

The Ekeko/X Program Transformation Tool
Coen De Roover and Katsuro Inoue
Proceedings of 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Tool Demo Track, Victoria (Canada)

Identifying Source Code Reuse across Repositories using LCS-based Source Code Similarity
Naohiro Kawamitsu, Takashi Ishio, Tetsuya Kanda, Raula Gaikovina Kula, Coen De Roover and Katsuro Inoue
Proceedings of 14th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), Victoria (Canada)

Towards Tierless Web Development without Tierless Languages
Laure Philips, Coen De Roover, Tom Van Cutsem and Wolfgang De Meuter
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (SPLASH/OnWard! 2014), Portland, Oregon (USA)

Prevalence and Maintenance of Automated Functional Tests for Web Applications
Laurent Christophe, Reinout Stevens, Coen De Roover and Wolfgang De Meuter
Proceedings of the 30th International Conference on Software Maintenance and Evolution (ICSMe 2014), Victoria (Canada)

Querying the History of Software Projects using QwalKeko
Reinout Stevens and Coen De Roover
Proceedings of the 30th International Conference on Software Maintenance and Evolution (ICSMe 2014), Tool Demo Track, Victoria (Canada)

Visualizing the Evolution of Systems and their Library Dependencies
Raula Gaikovina Kula, Coen De Roover, Daniel German, Takashi Ishio, Katsuro Inoue
Proceedings of the 2nd IEEE Working Conference on Software Visualization (VISSOFT 2014), Victoria (Canada)

Building Development Tools Interactively using the Ekeko Meta-Programming Library
Coen De Roover, Reinout Stevens
Proceedings of the IEEE CSMR-WCRE 2014 Software Evolution Week (CSMR-WCRE 2014), Tool Demo Track, Antwerp (Belgium)

Aspectual Source Code Analysis with GASR
Johan Fabry, Coen De Roover, Viviane Jonckers
Proceedings of the 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013), Eindhoven (The Netherlands)

Determining Coupling In JavaScript Using Object Type Inference
Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter
Proceedings of the 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013), Eindhoven (The Netherlands)

Multi-dimensional Exploration of API Usage
Coen De Roover, Ralf Lämmel, Ekaterina Pek
Proceedings of the 21st IEEE International Conference on Program Comprehension (ICPC 2013), San Francisco (USA)

A History Querying Tool and its Application to Detect Multi-version Refactorings
Reinout Stevens, Coen De Roover, Carlos Noguera, Viviane Jonckers
Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Early Research Achievements Track, Genova (Italy)

Interruptible Context-dependent Executions - A Fresh Look at Programming Context-aware Applications
Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, Wolfgang De Meuter
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (SPLASH/OnWard! 2012), Tucson Arizona (USA)

Refactoring in the Presence of Annotations
Carlos Noguera, Andy Kellens, Coen De Roover, Viviane Jonckers
Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM 2012), Riva del Garda (Italy)

Code Querying by UML
Carlos Noguera, Coen De Roover, Andy Kellens, Viviane Jonckers
Proceedings of the 20th IEEE International Conference on Program Comprehension (ICPC 2012), Passau (Germany)

Constructing Customized Interpreters from Reusable Evaluators using GAME
Stijn Timbermont, Coen De Roover, Theo D'Hondt
Proceedings of the 11th International Conference on Software Composition (SC 2012), Prague (Czech Republic)
Winner of the Best Student Paper Award

Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions
Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers
Proceedings of the 18th Working Conference on Reverse Engineering, Short Paper Track (WCRE 2011), Limerick (Ireland)

CrimeSPOT: Language Support for Programming Interactions among Wireless Sensor Network Nodes
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
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
Carlos Noguera, Coen De Roover, Andy Kellens and Viviane Jonckers
Proceedings of the 27th IEEE International Conference on Software Maintenance, Tool Track (ICSM 2011), Williamsburg (USA)

A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs
Coen De Roover
Proceedings of the 27th IEEE International Conference on Software Maintenance, Post-doctoral Symposium Track (ICSM 2011), Williamsburg (USA)

Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs
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
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
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
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
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
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 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
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)

^ TOP

Journal Papers

Implementing a Performant Scheme Interpreter for the Web in asm.js
Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover
In Elsevier Journal on Computer Languages, Systems and Structures, in press, 2017

AspectJ Code Analysis and Verification with GASR
Johan Fabry, Coen De Roover, Carlos Noguera, Steffen Zschaler, Awais Rashid, Viviane Jonckers
In Elsevier Journal of Systems and Software, Volume 117, July 2016

A Logic Foundation for a General-Purpose History Querying Tool
Reinout Stevens, Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers
In Elsevier Journal on Science of Computer Programming, Volume 96, Part 1, 2014

[The Implementation of the Cha-Q Meta-Model: A Comprehensive, Change-Centric Software Representation
Coen De Roover, Christophe Scholliers, Viviane Jonckers, Javier Pérez, Alessandro Murgia, Serge Demeyer
Proceedings of the 8th International Workshop on Software Quality (SQM14), Antwerp (Belgium)
In Electronic Communication of the European Association of Software Science and Technology, Volume 65, 2014]

CrimeSPOT: a Language and Runtime for Developing Active Wireless Sensor Network Applications
Coen De Roover, Christophe Scholliers, Wouter Amerijckx, Theo D'Hondt, Wolfgang De Meuter
In Elsevier Journal on Science of Computer Programming, Special issue on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence, Volume 78, Issue 10, 2013

Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction
Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt
In Elsevier Journal on Science of Computer Programming, Volume 76, Issue 2, pages 1113 - 1129, 2011

Forward chaining in HALO: An implementation strategy for history-based logic pointcuts
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, Pages 31 - 47, 2009

[Towards Abstract Interpretation for Recovering Design Information
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]

^ TOP

Workshop Papers in Formal Proceedings

Improving Trace-based JIT Optimisation using Whole-Program Information
Maarten Vandercammen, Coen De Roover
Proceedings of the 2016 Workshop on Virtual Machines and Intermediate Languages (VMIL 2016), Amsterdam (Netherlands)

Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript
Jens Nicolay, Valentijn Spruyt, Coen De Roover
Proceedings of the 2016 Workshop on Programming Languages and Analysis for Security (PLAS 2016), Vienna (Austria)

A Formal Foundation for Trace-Based JIT Compilers
Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt and Coen De Roover
Proceedings of the 13th International Workshop on Dynamic Analysis (WODA15), Pittsburgh, Pennsylvania (United States)

Run-time Validation of Behavioral Adaptations
Nicolás Cardozo, Laurent Christophe, Coen De Roover, Wolfgang De Meuter
Proceedings of the 6th International Workshop on Context-Oriented Programming (COP14), Upssala (Sweden)

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)

Language-Shifting Objects in Inter-language Interoperability: an exploration using JavaConnect
Johan Brichau, Coen De Roover
Proceedings of the International Workshop on Smalltalk Technologies (IWST 2009), Brest (France)

^ TOP

Formally Published Posters

Poster: Static Analysis of Concurrent Higher-order Programs
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Proceedings of the 37th International Conference on Software Engineering (ICSE15), Posters Track, Florence (Italy)

Poster: Dynamic Analysis using JavaScript Proxies
Laurent Christophe, Coen De Roover, Wolfgang De Meuter
Proceedings of the 37th International Conference on Software Engineering (ICSE15), Posters Track, Florence (Italy)

Poster: Tierless Programming in JavaScript
Laure Philips, Coen De Roover, Wolfgang De Meuter
Proceedings of the 37th International Conference on Software Engineering (ICSE15), Posters Track, Florence (Italy)

^ TOP

Dissertations

Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Coen De Roover
Licentiate's Thesis, 2004