Coen De Roover

Orcid: 0000-0002-1710-1268

Affiliations:
  • Vrije Universiteit Brussel, Belgium


According to our database1, Coen De Roover authored at least 132 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An empirical evaluation of quasi-static executable slices.
J. Syst. Softw., June, 2023

A text classification approach to API type resolution for incomplete code snippets.
Sci. Comput. Program., April, 2023

An Introduction to Software Ecosystems.
CoRR, 2023

Result Invalidation for Incremental Modular Analyses.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Cross-Level Debugging for Static Analysers.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Change Pattern Detection for Optimising Incremental Static Analysis.
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

The Docker Hub Image Inheritance Network: Construction and Empirical Insights.
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

Symbolic Execution to Detect Semantic Merge Conflicts.
Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Dynamic Slicing of WebAssembly Binaries.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Back to the Past - Analysing Backporting Practices in Package Dependency Networks.
IEEE Trans. Software Eng., 2022

On the impact of security vulnerabilities in the npm and RubyGems dependency networks.
Empir. Softw. Eng., 2022

Uncovering Library Features from API Usage on Stack Overflow.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Variant Forks - Motivations and Impediments.
Proceedings of the IEEE International Conference on Software Analysis, 2022

PaReco: patched clones and missed patches among the divergent variants of a software family.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Summary-Based Compositional Analysis for Soft Contract Verification.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Mining for Framework Instantiation Pattern Interplays.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Security risks of porting C programs to webassembly.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Smelly Variables in Ansible Infrastructure Code: Detection, Prevalence, and Lifetime.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Prevalence and Evolution of License Violations in npm and RubyGems Dependency Networks.
Proceedings of the Reuse and Software Quality, 2022

LiFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

RacketLogger: Logging and Visualising Changes in DrRacket.
Proceedings of the 15th European Lisp Symposium, 2022

2021
On the usage of <i>JavaScript</i>, <i>Python</i> and <i>Ruby</i> packages in Docker Hub images.
Sci. Comput. Program., 2021

Prioritising Server Bugs via Inter-process Concolic Testing.
Art Sci. Eng. Program., 2021

A parallel worklist algorithm and its exploration heuristics for static modular analyses.
J. Syst. Softw., 2021

On the practice of semantic versioning for Ansible galaxy roles: An empirical study and a change classification model.
J. Syst. Softw., 2021

Mining for Graph-Based Library Usage Patterns in COBOL Systems.
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

QSES: Quasi-Static Executable Slices.
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

The Security Risk of Lacking Compiler Protection in WebAssembly.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Identifying Versions of Libraries used in Stack Overflow Code Snippets.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution.
Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

2020
A large empirical assessment of the role of data balancing in machine-learning-based code smell detection.
J. Syst. Softw., 2020

MUTAMA: An Automated Multi-label Tagging Approach for Software Libraries on Maven.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Compositional Information Flow Analysis for WebAssembly Programs.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Incremental Flow Analysis through Computational Dependency Reification.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A Parallel Worklist Algorithm for Modular Analyses.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

MAF: A Framework for Modular Static Analysis of Higher-Order Languages.
Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

Automatic library categorization.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

2019
A general method for rendering static analyses for diverse concurrency models modular.
J. Syst. Softw., 2019

Querying distilled code changes to extract executable transformations.
Empir. Softw. Eng., 2019

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).
Dagstuhl Artifacts Ser., 2019

GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Mining Scala Framework Extensions for Recommendation Patterns.
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Effect-Driven Flow Analysis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

On the role of data balancing for machine learning-based code smell detection.
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, 2019

SoCRATES: Scala radar for test smells.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns.
Proceedings of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATTOSE 2019), 2019

Marlon: a domain-specific language for multi-agent reinforcement learning on networks.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Assessing diffusion and perception of test smells in scala projects.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Garbage-Free Abstract Interpretation Through Abstract Reference Counting.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Mining Patterns in Source Code Using Tree Mining Algorithms.
Proceedings of the Discovery Science - 22nd International Conference, 2019

2018
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications.
Art Sci. Eng. Program., 2018

A flexible framework for studying trace-based just-in-time compilation.
Comput. Lang. Syst. Struct., 2018

A generalized model for visualizing library popularity, adoption, and diffusion within a software ecosystem.
Proceedings of the 25th International Conference on Software Analysis, 2018

[Research Paper] Untangling Composite Commits Using Program Slicing.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Practical Information Flow Control for Web Applications.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Concolic Testing of Full-Stack JavaScript Applications.
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

Mining Extension Point Patterns in Scala.
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

Mete: a Meta Rete Interface for Distributed Rule-based Systems.
Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

2017
Purity analysis for JavaScript through abstract interpretation.
J. Softw. Evol. Process., 2017

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).
Dagstuhl Artifacts Ser., 2017

Modeling Library Dependencies and Updates in Large Software Repository Universes.
CoRR, 2017

Implementing a performant scheme interpreter for the web in asm.js.
Comput. Lang. Syst. Struct., 2017

Extracting executable transformations from distilled code changes.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Prevalence of botched code integrations.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Mining change histories for unknown systematic edits.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Static Taint Analysis of Event-driven Scheme Programs.
Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

Mailbox Abstractions for Static Analysis of Actor Programs.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Employing Run-time Static Analysis to Improve Concolic Execution.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

Untangling Source Code Changes Using Program Slicing.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

Towards a Domain-Specific Language for Automated Network Management.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

Incrementalizing Abstract Interpretation.
Proceedings of the 16th edition of the BElgian-NEtherlands software eVOLution symposium, 2017

2016
AspectJ code analysis and verification with GASR.
J. Syst. Softw., 2016

Automated Generalization and Refinement of Code Templates with Ekeko/X.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Linvail: A General-Purpose Platform for Shadow Execution of JavaScript.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Search-Based Generalization and Refinement of Code Templates.
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

Scala-AM: A Modular Static Analysis Framework.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Building a modular static analysis framework in Scala (tool paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

A performant scheme interpreter in asm.js.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Improving trace-based JIT optimisation using whole-program information.
Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016

Dependence-driven delimited CPS transformation for JavaScript.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript.
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015
Detecting function purity in JavaScript.
Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Detecting concurrency bugs in higher-order programs through abstract interpretation.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A formal foundation for trace-based JIT compilers.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Poster: Static Analysis of Concurrent Higher-Order Programs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Poster: Tierless Programming in JavaScript.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Poster: Dynamic Analysis Using JavaScript Proxies.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014
A logic foundation for a general-purpose history querying tool.
Sci. Comput. Program., 2014

The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Visualizing the Evolution of Systems and Their Library Dependencies.
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

The Ekeko/X Program Transformation Tool.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Towards Tierless Web Development without Tierless Languages.
Proceedings of the Onward! 2014, 2014

Querying the History of Software Projects Using QWALKEKO.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Prevalence and Maintenance of Automated Functional Tests for Web Applications.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Run-time Validation of Behavioral Adaptations.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Building development tools interactively using the EKEKO meta-programming library.
Proceedings of the 2014 Software Evolution Week, 2014

2013
CrimeSPOT: A language and runtime for developing active wireless sensor network applications.
Sci. Comput. Program., 2013

Determining dynamic coupling in JavaScript using object type inference.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Aspectual source code analysis with GASR.
Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Multi-dimensional exploration of API usage.
Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

A History Querying Tool and Its Application to Detect Multi-version Refactorings.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Constructing Customized Interpreters from Reusable Evaluators Using Game.
Proceedings of the Software Composition - 11th International Conference, 2012

Interruptible context-dependent executions: a fresh look at programming context-aware applications.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Code querying by UML.
Proceedings of the IEEE 20th International Conference on Program Comprehension, 2012

Refactoring in the presence of annotations.
Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011
Diagnosing and correcting design inconsistencies in source code with logical abduction.
Sci. Comput. Program., 2011

Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions.
Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs.
Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

The SOUL tool suite for querying programs in symbiosis with Eclipse.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Language and middleware support for dynamism in wireless sensor and actuator network applications.
Proceedings of the Sixth International Workshop on Middleware for Sensor Networks, 2011

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Program querying with a SOUL: The BARISTA tool suite.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
Co-evolving Annotations and Source Code through Smart Annotations.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts.
Comput. Lang. Syst. Struct., 2009

Language-shifting objects from Java to Smalltalk: an exploration using JavaConnect.
Proceedings of the International Workshop on Smalltalk Technologies, 2009

2007
Open Unification for Program Query Languages.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Behavioral similarity matching using concrete source code templates in logic queries.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

2006
Program Testing Using High-Level Property-Driven Models.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Combining fuzzy logic and behavioral similarity for non-strict program validation.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

2005
Towards Abstract Interpretation for Recovering Design Information.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Multimodal segmentation combining active contours and watersheds.
Proceedings of the 13th European Signal Processing Conference, 2005


  Loading...