Conference Papers
Blame-Correct Support for Receiver
Properties in Recursively-Structured Actor Contracts
Bram Vandenbogaerde, Quentin Stiévenart and Coen De Roover
Proceedings of the 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Property-based Testing within ML
Projects: an Empirical Study
Cindy Wauters and Coen De Roover
Proceedings of the 40th IEEE International Conference on Software Maintenance and Evolution (ICSME 2024), New
Ideas and Emerging Results Track
Threats to Instrument Validity within "in Silico" Research: Software Engineering to the Rescue
Serge Demeyer, Coen De Roover, Mutlu Beyazit and Johannes Härtel
Proceedings of the 2024 International Symposium On Leveraging Applications of Formal Methods, Verification and
Validation
(ISOLA 2024)
Cross-Level Debugging for Static
Analysers
Mats Van Molle, Bram Vandenbogaerde and Coen De Roover
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)
Dynamic Slicing of WebAssembly
Binaries
Quentin Stiévenart, Dave Binkley and Coen De Roover
Proceedings of the 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023)
The Docker Hub Image Inheritance
Network: Construction and Empirical Insights
Ruben Opdebeeck, Jonas Lesy, Ahmed Zerouali, Coen De Roover
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2023)
Symbolic Execution to Detect Semantic
Merge Conflicts
Ward Muylaert, Johannes Härtel and Coen De Roover
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2023)
Change Pattern Detection for Optimising
Incremental Static Analysis
Cindy Wauters, Jens Van der Plas, Quentin Stiévenart and Coen De Roover
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2023)
Formalizing, Verifying and Applying ISA
Security Guarantees as Universal Contracts
Sander Huyghebaert,
Steven Keuchel,
Coen De Roover and
Dominique Devriese
Proceedings of the 30th ACM Conference on Computer and Communications Security (CCS 2023)
Control and Data Flow in Security Smell
Detection for Infrastructure as Code: Is It Worth the Effort?
Ruben Opdebeeck, Ahmed Zerouali and Coen De Roover
Proceedings of the 20th International Conference on Mining Software Repositories
(MSR 2023)
Helm Charts for Kubernetes
Applications: Evolution, Outdatedness and Security Risks
Ahmed Zerouali, Ruben Opdebeeck and Coen De Roover
Proceedings of the 20th International Conference on Mining Software Repositories
(MSR 2023)
Result Invalidation for Incremental
Modular Analyses
Jens Van der Plas, Quentin Stiévenart and Coen De Roover
Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation
(VMCAI 2023)
MODINF: Exploiting Reified
Computational Dependencies for Information Flow Analysis
Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter and Coen De Roover
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering
(ENASE 2023)
Summary-Based Compositional Analysis
for Soft Contract Verification
Bram Vandenbogaerde, Quentin Stiévenart and Coen De Roover
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2022)
SCAM 2022 Best Artifact Award
Mining for Framework Instantiation
Pattern Interplays
Yunior Pacheco, Ahmed Zerouali and Coen De Roover
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2022)
LiFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts
Camilo Velázquez-Rodríguez, Eleni Constantinou and Coen De Roover
Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022), Tool
Demo Track
PaReco: Patched Clones and Missed Patches among the Divergent Variants of a Software Family
Poedjadevie Ramkisoen, John Businge, Brent van Bradel, Alexandre Decan, Serge Demeyer,
Coen De Roover, Foutse Khomh
Proceedings of the 2022 ACM Joint European Software Engineering Conference and Symposium on the Foundations of
Software Engineering (ESEC/FSE 2022)
Smelly Variables in Ansible
Infrastructure Code: Detection, Prevalence, and Lifetime
Ruben Opdebeeck, Ahmed Zerouali Coen De Roover
Proceedings of the 19th International Conference on Mining Software Repositories (MSR 2022)
Prevalence and Evolution of License
Violations in npm and RubyGems Dependency Networks
Ilyas Saïd Makari, Ahmed Zerouali and Coen De Roover
Proceedings of the 20th International Conference on Software and Systems Reuse (ICSR 2022)
Static Stack-Preserving
Intra-Procedural Slicing of WebAssembly Binaries
Quentin Stiévenart, Dave Binkley and Coen De Roover
Proceedings of the 44th International Conference on Software Engineering (ICSE 2022)
ICSE 2022 Best Artifact Award
RacketLogger: Logging and Visualising
Changes in DrRacket
Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart and Coen De Roover
Proceedings of the 15th European Lisp Symposium (ELS 2022)
Uncovering Library Features from API
Usage on Stack Overflow
Camilo Velázquez-Rodríguez, Eleni Constantinou and Coen De Roover
Proceedings of the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER
2022)
IEEE Computer Society TCSE Distinguished Paper Award
Variant Forks - Motivations and
Impediments
John Businge, Ahmed Zerouali, Alexandre Decan, Tom Mens, Serge Demeyer and Coen De Roover
Proceedings of the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER
2022)
Security Risks of Porting C Programs to
WebAssembly
Quentin Stiévenart, Coen De Roover and Mohammad Ghafari
Proceedings of the 37th ACM/SIGAPP Symposium On Applied Computing (SAC 2022)
The Security Risk of Lacking Compiler
Protection in WebAssembly
Quentin Stiévenart, Coen De Roover and Mohammad Ghafari
Proceedings of the 21st IEEE
International Conference on Software Quality, Reliability, and Security (QRS 2021)
QSES: Quasi-Static Executable
Slices
Quentin Stiévenart, Dave Binkley and Coen De Roover
Proceedings of the 21th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
NIER 2021), New Ideas and Emerging Results Track
Identifying Versions of Libraries used
in Stack Overflow Code Snippets
Ahmed Zerouali, Camilo Velázquez-Rodríguez and Coen De Roover
Proceedings of the 18th International Conference on Mining Software Repositories (MSR 2021), Short Paper in
Research Track
Andromeda: A Dataset of Ansible Galaxy
Roles and Their Evolution
Ruben Opdebeeck, Ahmed Zerouali and Coen De Roover
Proceedings of the 18th International Conference on Mining Software Repositories (MSR 2021), Data Showcase
Track
Mining for Graph-Based Library Usage
Patterns in COBOL Systems
Ruben Opdebeeck, Johan Fabry, Tim Molderez, Jonas De Bleser and Coen De Roover
Proceedings of the 28th International Conference on Software Analysis, Evolution and Reengineering, Industry
Track (SANER 2021)
Does Infrastructure as Code Adhere to
Semantic Versioning? An Analysis of Ansible Role Evolution
Ruben Opdebeeck, Ahmed Zerouali, Camilo Velázquez-Rodríguez and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020)
Compositional Information Flow Analysis
for WebAssembly Programs
Quentin Stiévenart and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020)
A Parallel Worklist Algorithm for
Modular Analyses
Noah Van Es, Quentin Stiévenart, Jens Van der Plas and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020)
Incremental Flow Analysis through
Computational Dependency Reification
Jens Van der Plas, Quentin Stiévenart, Noah Van Es and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020)
A Delta-Debugging Approach to
Assessing the Resilience of Actor Programs through Run-time Test Perturbations
Jonas De Bleser, Dario Di Nucci and Coen De Roover
Proceedings of the 1st International Conference on Automated Software Testing (AST 2020), Seoul (South
Korea)
MAF: A Framework for Modular Static
Analysis of Higher-Order Languages
Noah Van Es, Jens Van der Plas, Quentin Stiévenart and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020), Engineering Track
MUTAMA: An Automated Multi-label
Tagging Approach for Software Libraries on Maven
Camilo Velázquez-Rodríguez and Coen De Roover
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM
2020), New Interesting and Emerging Research (NIER) Track
Mining Patterns in Source Code using
Tree Mining Algorithms
Hoang Son Pham, Siegfried Nijssen, Kim Mens, Dario Di Nucci, Tim Molderez, Coen De Roover, Johan Fabry, and Vadim
Zaytsev.
Proceedings of the 22nd International Conference on Discovery Science (DS 2019), Split (Croatia)
SoCRATES - Scala Radar for Test Smells
(Tool Paper)
Jonas De Bleser, Dario Di Nucci and Coen De Roover
Proceedings of the 10th ACM SIGPLAN Symposium on Scala (Scala 2019), London (UK)
Garbage-free Abstract Interpretation through Abstract Reference Counting Noah Van Es, Quentin Stiévenart, Coen De Roover Proceedings of the 33st European Conference on Object-Oriented Programming (ECOOP 2019), London (UK)
Assessing Diffusion and Perception of Test Smells in Scala Projects Jonas De Bleser, Dario Di Nucci and Coen De Roover Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019), Montreal (Canada)
Mining Scala Framework Extensions for Recommendation Patterns Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter and Coen De Roover Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019), Replication Studies and Negative Results Track (RENE), Hangzhou (China)
GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control Angel Luis Scull Pupo, Jens Nicolay, Kyriakos Efthymiadis, Ann Nowé, Coen De Roover and Elisa Gonzalez Boix Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019), Tool Demo Track (Tools), Hangzhou (China)
Marlon - A Domain-Specific Language for Multi-Agent Reinforcement Learning on Networks Tim Molderez, Bjarno Oeyen, Coen De Roover and Wolfgang De Meuter Proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing (SAC 2019), Limassol (Cyprus)
Effect-driven Flow Analysis Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter and Coen De Roover Proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Cascais (Portugal)
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix and Wolfgang De Meuter Proceedings of the 17th International Conference on Generative Programming: Concepts & Experience (GPCE 2018), Boston (USA)
Practical Information Flow Control for Web Applications Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover and Elisa Gonzalez Boix Proceedings of the 18th International Conference on Runtime Verification (RV 2018), Limassol (Cyprus)
Untangling Composite Commits Using
Program Slicing
Ward Muylaert and Coen De Roover
Proceedings of the 18th International Working Conference on Source Code Analysis and Manipulation (SCAM 2018),
Madrid (Spain)
A Generalized Model for Visualizing
Library Popularity, Adoption and Diffusion within a Software Ecosystem
Raula Gaikovina Kula, Coen De Roover, Daniel German, Takashi Ishio and Katsuro Inoue
Proceedings of the 25th International Conference on Software Analysis, Evolution and Reengineering (SANER
2018), Campobasso (Italy)
Mailbox Abstractions for Static Analysis
of Actor Programs
[extended version]
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)
Journal Articles
A Text Classification Approach to API
Type Resolution for Incomplete Code Snippets
Camilo Velázquez-Rodríguez, Dari Di Nucci, Coen De Roover
In Elsevier Journal on
Science of Computer Programming, 2023
An Empirical Evaluation of
Quasi-Static Executable Slices
Quentin Stiévenart, Dave Binkley and Coen De Roover
In Elsevier Journal of Systems and Software (JSS),
2023
On the Impact of Security
Vulnerabilities in the npm and RubyGems Dependency Networks
Ahmed Zerouali, Tom Mens,Alexandre Decan, Coen De Roover
In Empirical Software Engineering (EMSE), 2022
Back to the Past -- Analysing
Backporting Practices in Package Dependency Networks
Alexandre Decan, Tom Mens, Ahmed Zerouali, Coen De Roover
In Transactions on Software Engineering, 2021
On the Practice of Semantic Versioning
for Ansible Galaxy Roles: An Empirical Study and a Change Classification Model
Ruben Opdebeeck, Ahmed Zerouali, Camilo Velázquez-Rodríguez, Coen De Roover
In Elsevier Journal of
Systems and Software (JSS), 2021
A Parallel Worklist Algorithm and Its
Exploration Heuristics for Static Modular Analyses
Quentin Stiévenart, Noah Van Es, Jens Van der Plas, and Coen De Roover
In Elsevier Journal of
Systems and Software (JSS), 2021
On the Usage of JavaScript, Python and
Ruby Packages in Docker Hub Images
Ahmed Zerouali, Tom Mens, Coen De Roover
In Elsevier Journal on
Science of Computer Programming, 2021
Prioritising Server-Side Reachability
via Inter-process Concolic Testing
Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover
In The Art, Science, and Engineering of Programming, Vol. 5,
Issue 2, 2021
A Large Empirical Assessment of the Role
of Data Balancing in Machine-Learning-based Code Smell Detection
Fabiano Pecorelli, Dario Di Nucci, Coen De Roover, Andrea De Lucia
In Elsevier Journal of
Systems and Software (JSS), 2020
A General Method for
Rendering Static Analyses for Diverse Concurrency Models Modular
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
In Elsevier Journal of
Systems and Software (JSS), 2018
Querying distilled code changes to
extract executable transformations
Reinout Stevens, Tim Molderez, and Coen De Roover
In Empirical Software Engineering
(EMSE), 2018
Search-based Tier Assignment for Optimising Offline Availability in
Multi-tier Web Applications
Laure Philips, Joeri De Koster, Wolfgang De Meuter, and Coen De Roover
In The Art, Science, and Engineering of Programming, Vol. 2,
Issue 2, Article 3, 2017
A Flexible Framework for Studying
Trace-Based Just-In-Time Compilation
Maarten Vandercammen, Stefan Marr, Coen De Roover
In Elsevier Journal of Computer
Languages, Systems & Structures, Volume 51, January 2018
Purity Analysis for JavaScript Through
Abstract Interpretation
Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
In Journal of Software: Evolution and
Process, August, 2017
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, Volume 49, September 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
(JSS),
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]
Workshop Papers in Formal Proceedings
On the Role of Data Balancing for
Machine Learning-Based Code Smell Detection
Fabiano Pecorelli, Dario Di Nucci, Coen De Roover, Andrea De Lucia
Proceedings of the 3rd International Workshop on Machine Learning Techniques for Software Quality Evaluation
(MaLTeSQuE 2019), Talinn (Estonia)
STRAF: A Scala Framework for
Experiments in Trace-Based JIT Compilation
Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
Lecture notes of the 2015 International Summer School on Grand Timely Topics in Software Engineering (GTTSE
2015), Braga (Portugal)
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)
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)
Dissertations
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
Incorporating Dynamic Analysis
and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering
Coen De Roover
Licentiate's Thesis, 2004
Books and book chapters
Book Software Ecosystems: Tooling and Analytics
Editors: Tom Mens, Coen De Roover, Anthony Cleve
Published October 2023 by Springer Cham, 314 pages, ISBN 978-3-031-36059-6
Chapter An Introduction to Software Ecosystems
Tom Mens, Coen De Roover
In: "Software Ecosystems: Tooling and Analytics"
Published October 2023 by Springer Cham, pages 1-29, ISBN 978-3-031-36059-6
Chapter Infrastructure-as-Code Ecosystems
Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover
In: "Software Ecosystems: Tooling and Analytics"
Published October 2023 by Springer Cham, pages 215-245, ISBN 978-3-031-36059-6