Skip to content

Coen De Roover

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

74

Venues

26

Active years

2006–2026

Best venue rank

A*

Where they publish

Papers

74 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSTOn the Evolution of Python Test Cases into Property-based Tests.Cindy Wauters, Ruben Opdebeeck, Coen De Roover
2026MSRAn Empirical Study of Policy as Code: Adoption, Purpose, and Maintenance.Ruben Opdebeeck, Mahmoud Alfadel, Akond Rahman, Yutaro Kashiwa, Joo F. Ferreira, Raula Gaikovina Kula, Coen De Roover
2026SPLanguage-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference.Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, Coen De Roover
2025MSRE2EGit: A Dataset of End-to-End Web Tests in Open Source Projects.Sergio Di Meglio, Luigi Libero Lucio Starace, Valeria Pontillo, Ruben Opdebeeck, Coen De Roover, Sergio Di Martino
2025SANERAnalysing Software Supply Chains of Infrastructure as Code: Extraction of Ansible Plugin Dependencies.Ruben Opdebeeck, Bram Adams, Coen De Roover
2025SASDelta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters.Noah Van Es, Bram Vandenbogaerde, Coen De Roover
2025SASAbstracting Concolic Execution for Soft Contract Verification.Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover
2025SASMonarch: A Modular Framework for Abstract Definitional Interpreters in Haskell.Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover
2025SCAMSmelling Secrets: Leveraging Machine Learning and Language Models for Sensitive Parameter Detection in Ansible Security Analysis.Ruben Opdebeeck, Valeria Pontillo, Camilo Velzquez-Rodrguez, Wolfgang De Meuter, Coen De Roover
2025SCAMHandling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis.Jens Van der Plas, Quentin Stivenart, Coen De Roover
2024ISoLAThreats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue.Serge Demeyer, Coen De Roover, Mutlu Beyazit, Johannes Hrtel
2023CCSFormalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
2023ENASEMODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis.Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2023MSRControl and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover
2023MSRHelm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks.Ahmed Zerouali, Ruben Opdebeeck, Coen De Roover
2023SCAMSymbolic Execution to Detect Semantic Merge Conflicts.Ward Muylaert, Johannes Hrtel, Coen De Roover
2023SCAMThe Docker Hub Image Inheritance Network: Construction and Empirical Insights.Ruben Opdebeeck, Jonas Lesy, Ahmed Zerouali, Coen De Roover
2023SCAMChange Pattern Detection for Optimising Incremental Static Analysis.Cindy Wauters, Jens Van der Plas, Quentin Stivenart, Coen De Roover
2023SLECross-Level Debugging for Static Analysers.Mats Van Molle, Bram Vandenbogaerde, Coen De Roover
2023VMCAIResult Invalidation for Incremental Modular Analyses.Jens Van der Plas, Quentin Stivenart, Coen De Roover
2022ICSEStatic Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.Quentin Stivenart, David W. Binkley, Coen De Roover
2022ICSRPrevalence and Evolution of License Violations in npm and RubyGems Dependency Networks.Ilyas Sad Makari, Ahmed Zerouali, Coen De Roover
2022MSRSmelly Variables in Ansible Infrastructure Code: Detection, Prevalence, and Lifetime.Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover
2022SACSecurity risks of porting C programs to webassembly.Quentin Stivenart, Coen De Roover, Mohammad Ghafari
2022SCAMMining for Framework Instantiation Pattern Interplays.Yunior Pacheco, Ahmed Zerouali, Coen De Roover
2022SCAMSummary-Based Compositional Analysis for Soft Contract Verification.Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover
2021MSRAndromeda: A Dataset of Ansible Galaxy Roles and Their Evolution.Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover
2021MSRIdentifying Versions of Libraries used in Stack Overflow Code Snippets.Ahmed Zerouali, Camilo Velzquez-Rodrguez, Coen De Roover
2021QRSThe Security Risk of Lacking Compiler Protection in WebAssembly.Quentin Stivenart, Coen De Roover, Mohammad Ghafari
2021SCAMQSES: Quasi-Static Executable Slices.Quentin Stivenart, David W. Binkley, Coen De Roover
2020ICSEA Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations.Jonas De Bleser, Dario Di Nucci, Coen De Roover
2020ICSEAutomatic library categorization.Camilo Velzquez-Rodrguez, Coen De Roover
2020SCAMMAF: A Framework for Modular Static Analysis of Higher-Order Languages.Noah Van Es, Jens Van der Plas, Quentin Stivenart, Coen De Roover
2020SCAMA Parallel Worklist Algorithm for Modular Analyses.Noah Van Es, Quentin Stivenart, Jens Van der Plas, Coen De Roover
2020SCAMDoes Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution.Ruben Opdebeeck, Ahmed Zerouali, Camilo Velzquez-Rodrguez, Coen De Roover
2020SCAMIncremental Flow Analysis through Computational Dependency Reification.Jens Van der Plas, Quentin Stivenart, Noah Van Es, Coen De Roover
2020SCAMCompositional Information Flow Analysis for WebAssembly Programs.Quentin Stivenart, Coen De Roover
2020SCAMMUTAMA: An Automated Multi-label Tagging Approach for Software Libraries on Maven.Camilo Velzquez-Rodrguez, Coen De Roover
2019DISMining 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, Vadim Zaytsev
2019ECOOPGarbage-Free Abstract Interpretation Through Abstract Reference Counting.Noah Van Es, Quentin Stivenart, Coen De Roover
2019MSRAssessing diffusion and perception of test smells in scala projects.Jonas De Bleser, Dario Di Nucci, Coen De Roover
2019SACMarlon: a domain-specific language for multi-agent reinforcement learning on networks.Tim Molderez, Bjarno Oeyen, Coen De Roover, Wolfgang De Meuter
2019VMCAIEffect-Driven Flow Analysis.Jens Nicolay, Quentin Stivenart, Wolfgang De Meuter, Coen De Roover
2018GPCEOrchestrating dynamic analyses of distributed processes for full-stack JavaScript programs.Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, Wolfgang De Meuter
2018RVPractical Information Flow Control for Web Applications.Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix
2018SCAM[Research Paper] Untangling Composite Commits Using Program Slicing.Ward Muylaert, Coen De Roover
2017ECOOPMailbox Abstractions for Static Analysis of Actor Programs.Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2017MSRMining change histories for unknown systematic edits.Tim Molderez, Reinout Stevens, Coen De Roover
2017MSRPrevalence of botched code integrations.Ward Muylaert, Coen De Roover
2016CCSStatic Detection of User-specified Security Vulnerabilities in Client-side JavaScript.Jens Nicolay, Valentijn Spruyt, Coen De Roover
2016GPCEDependence-driven delimited CPS transformation for JavaScript.Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover
2016OOPSLAImproving trace-based JIT optimisation using whole-program information.Maarten Vandercammen, Coen De Roover
2016SACA performant scheme interpreter in asm.js.Noah Van Es, Jens Nicolay, Quentin Stivenart, Theo D'Hondt, Coen De Roover
2016SCAMScala-AM: A Modular Static Analysis Framework.Quentin Stivenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover
2016SSBSESearch-Based Generalization and Refinement of Code Templates.Tim Molderez, Coen De Roover
2015ICSEPoster: Dynamic Analysis Using JavaScript Proxies.Laurent Christophe, Coen De Roover, Wolfgang De Meuter
2015ICSEPoster: Tierless Programming in JavaScript.Laure Philips, Wolfgang De Meuter, Coen De Roover
2015ICSEPoster: Static Analysis of Concurrent Higher-Order Programs.Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2015OOPSLAA formal foundation for trace-based JIT compilers.Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover
2015PPDPDetecting concurrency bugs in higher-order programs through abstract interpretation.Quentin Stivenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
2015SCAMDetecting function purity in JavaScript.Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter
2014ECOOPRun-time Validation of Behavioral Adaptations.Nicols Cardozo, Laurent Christophe, Coen De Roover, Wolfgang De Meuter
2014OOPSLATowards Tierless Web Development without Tierless Languages.Laure Philips, Coen De Roover, Tom Van Cutsem, Wolfgang De Meuter
2014SCAMIdentifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity.Naohiro Kawamitsu, Takashi Ishio, Tetsuya Kanda, Raula Gaikovina Kula, Coen De Roover, Katsuro Inoue
2014SCAMThe Ekeko/X Program Transformation Tool.Coen De Roover, Katsuro Inoue
2014VISSOFTVisualizing the Evolution of Systems and Their Library Dependencies.Raula Gaikovina Kula, Coen De Roover, Daniel M. Germn, Takashi Ishio, Katsuro Inoue
2013SCAMAspectual source code analysis with GASR.Johan Fabry, Coen De Roover, Viviane Jonckers
2013SCAMDetermining dynamic coupling in JavaScript using object type inference.Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter
2012OOPSLAInterruptible context-dependent executions: a fresh look at programming context-aware applications.Engineer Bainomugisha, Jorge Vallejos, Coen De Roover, Andoni Lombide Carreton, Wolfgang De Meuter
2011MiddlewareLanguage and middleware support for dynamism in wireless sensor and actuator network applications.Nelson Matthys, Sam Michiels, Wouter Joosen, Christophe Scholliers, Coen De Roover, Wouter Amerijckx, Theo D'Hondt
2011SCAMAutomatic Parallelization of Side-Effecting Higher-Order Scheme Programs.Jens Nicolay, Coen De Roover, Wolfgang De Meuter, Viviane Jonckers
2007PEPMBehavioral similarity matching using concrete source code templates in logic queries.Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien
2006PPDPCombining fuzzy logic and behavioral similarity for non-strict program validation.Coen De Roover, Johan Brichau, Theo D'Hondt
2006SEKEProgram Testing Using High-Level Property-Driven Models.Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt