Stop the war!
Остановите войну!
for scientists:
default search action
Coen De Roover
Person information
- affiliation: Vrije Universiteit Brussel, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j23]Quentin Stiévenart, Dave W. Binkley, Coen De Roover:
An empirical evaluation of quasi-static executable slices. J. Syst. Softw. 200: 111666 (2023) - [j22]Camilo Velázquez-Rodríguez, Dario Di Nucci, Coen De Roover:
A text classification approach to API type resolution for incomplete code snippets. Sci. Comput. Program. 227: 102941 (2023) - [c108]Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese:
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CCS 2023: 2083-2097 - [c107]Jens Van der Plas, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis. ENASE 2023: 420-427 - [c106]Quentin Stiévenart, David W. Binkley, Coen De Roover:
Dynamic Slicing of WebAssembly Binaries. ICSME 2023: 84-96 - [c105]Ahmed Zerouali, Ruben Opdebeeck, Coen De Roover:
Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks. MSR 2023: 523-533 - [c104]Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover:
Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort? MSR 2023: 534-545 - [c103]Cindy Wauters, Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
Change Pattern Detection for Optimising Incremental Static Analysis. SCAM 2023: 49-60 - [c102]Ward Muylaert, Johannes Härtel, Coen De Roover:
Symbolic Execution to Detect Semantic Merge Conflicts. SCAM 2023: 186-197 - [c101]Ruben Opdebeeck, Jonas Lesy, Ahmed Zerouali, Coen De Roover:
The Docker Hub Image Inheritance Network: Construction and Empirical Insights. SCAM 2023: 198-208 - [c100]Mats Van Molle, Bram Vandenbogaerde, Coen De Roover:
Cross-Level Debugging for Static Analysers. SLE 2023: 138-148 - [c99]Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
Result Invalidation for Incremental Modular Analyses. VMCAI 2023: 296-319 - [e3]Coen De Roover, Bernhard Rumpe, Amir Shaikhha:
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2023, Cascais, Portugal, October 22-23, 2023. ACM 2023 [contents] - [i8]Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese:
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CoRR abs/2306.05128 (2023) - [i7]Tom Mens, Coen De Roover:
An Introduction to Software Ecosystems. CoRR abs/2307.15709 (2023) - 2022
- [j21]Ahmed Zerouali, Tom Mens, Alexandre Decan, Coen De Roover:
On the impact of security vulnerabilities in the npm and RubyGems dependency networks. Empir. Softw. Eng. 27(5): 107 (2022) - [j20]Alexandre Decan, Tom Mens, Ahmed Zerouali, Coen De Roover:
Back to the Past - Analysing Backporting Practices in Package Dependency Networks. IEEE Trans. Software Eng. 48(10): 4087-4099 (2022) - [c98]Turgut Reis Kursun, Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
RacketLogger: Logging and Visualising Changes in DrRacket. ELS 2022: 61-68 - [c97]Quentin Stiévenart, David W. Binkley, Coen De Roover:
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. ICSE 2022: 2031-2042 - [c96]Camilo Velázquez-Rodríguez, Eleni Constantinou, Coen De Roover:
LiFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts. ICSME 2022: 489-493 - [c95]Ilyas Saïd Makari, Ahmed Zerouali, Coen De Roover:
Prevalence and Evolution of License Violations in npm and RubyGems Dependency Networks. ICSR 2022: 85-100 - [c94]Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover:
Smelly Variables in Ansible Infrastructure Code: Detection, Prevalence, and Lifetime. MSR 2022: 61-72 - [c93]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
Security risks of porting C programs to webassembly. SAC 2022: 1713-1722 - [c92]Yunior Pacheco, Ahmed Zerouali, Coen De Roover:
Mining for Framework Instantiation Pattern Interplays. SCAM 2022: 121-131 - [c91]Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover:
Summary-Based Compositional Analysis for Soft Contract Verification. SCAM 2022: 186-196 - [c90]Poedjadevie Kadjel Ramkisoen, John Businge, Brent van Bladel, Alexandre Decan, Serge Demeyer, Coen De Roover, Foutse Khomh:
PaReco: patched clones and missed patches among the divergent variants of a software family. ESEC/SIGSOFT FSE 2022: 646-658 - [c89]Camilo Velázquez-Rodríguez, Eleni Constantinou, Coen De Roover:
Uncovering Library Features from API Usage on Stack Overflow. SANER 2022: 207-217 - [c88]John Businge, Ahmed Zerouali, Alexandre Decan, Tom Mens, Serge Demeyer, Coen De Roover:
Variant Forks - Motivations and Impediments. SANER 2022: 867-877 - 2021
- [j19]Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover:
A parallel worklist algorithm and its exploration heuristics for static modular analyses. J. Syst. Softw. 181: 111042 (2021) - [j18]Ruben Opdebeeck, Ahmed Zerouali, Camilo Velázquez-Rodríguez, Coen De Roover:
On the practice of semantic versioning for Ansible galaxy roles: An empirical study and a change classification model. J. Syst. Softw. 182: 111059 (2021) - [j17]Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Prioritising Server Bugs via Inter-process Concolic Testing. Art Sci. Eng. Program. 5(2): 5 (2021) - [j16]Ahmed Zerouali, Tom Mens, Coen De Roover:
On the usage of JavaScript, Python and Ruby packages in Docker Hub images. Sci. Comput. Program. 207: 102653 (2021) - [c87]Ahmed Zerouali, Camilo Velázquez-Rodríguez, Coen De Roover:
Identifying Versions of Libraries used in Stack Overflow Code Snippets. MSR 2021: 341-345 - [c86]Ruben Opdebeeck, Ahmed Zerouali, Coen De Roover:
Andromeda: A Dataset of Ansible Galaxy Roles and Their Evolution. MSR 2021: 580-584 - [c85]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
The Security Risk of Lacking Compiler Protection in WebAssembly. QRS 2021: 132-139 - [c84]Quentin Stiévenart, David W. Binkley, Coen De Roover:
QSES: Quasi-Static Executable Slices. SCAM 2021: 209-213 - [c83]Ruben Opdebeeck, Johan Fabry, Tim Molderez, Jonas De Bleser, Coen De Roover:
Mining for Graph-Based Library Usage Patterns in COBOL Systems. SANER 2021: 595-599 - [e2]Eli Tilevich, Coen De Roover:
GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021. ACM 2021, ISBN 978-1-4503-9112-2 [contents] - [i6]Ahmed Zerouali, Tom Mens, Alexandre Decan, Coen De Roover:
On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks. CoRR abs/2106.06747 (2021) - [i5]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
The Security Risk of Lacking Compiler Protection in WebAssembly. CoRR abs/2111.01421 (2021) - [i4]Quentin Stiévenart, Coen De Roover, Mohammad Ghafari:
Security Risks of Porting C Programs to WebAssembly. CoRR abs/2112.11745 (2021) - 2020
- [j15]Fabiano Pecorelli, Dario Di Nucci, Coen De Roover, Andrea De Lucia:
A large empirical assessment of the role of data balancing in machine-learning-based code smell detection. J. Syst. Softw. 169: 110693 (2020) - [c82]Jonas De Bleser, Dario Di Nucci, Coen De Roover:
A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations. AST@ICSE 2020: 21-30 - [c81]Camilo Velázquez-Rodríguez, Coen De Roover:
Automatic library categorization. ICSE (Workshops) 2020: 733-734 - [c80]Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover:
A Parallel Worklist Algorithm for Modular Analyses. SCAM 2020: 1-12 - [c79]Quentin Stiévenart, Coen De Roover:
Compositional Information Flow Analysis for WebAssembly Programs. SCAM 2020: 13-24 - [c78]Jens Van der Plas, Quentin Stiévenart, Noah Van Es, Coen De Roover:
Incremental Flow Analysis through Computational Dependency Reification. SCAM 2020: 25-36 - [c77]Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover:
MAF: A Framework for Modular Static Analysis of Higher-Order Languages. SCAM 2020: 37-42 - [c76]Ruben Opdebeeck, Ahmed Zerouali, Camilo Velázquez-Rodríguez, Coen De Roover:
Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution. SCAM 2020: 238-248 - [c75]Camilo Velázquez-Rodríguez, Coen De Roover:
MUTAMA: An Automated Multi-label Tagging Approach for Software Libraries on Maven. SCAM 2020: 254-258 - [e1]Dario Di Nucci, Coen De Roover:
Proceedings of the 18th Belgium-Netherlands Software Evolution Workshop, Brussels, Belgium, November 28th to 29th, 2019. CEUR Workshop Proceedings 2605, CEUR-WS.org 2020 [contents] - [i3]Maarten Vandercammen, Laurent Christophe, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Prioritising Server Bugs via Inter-process Concolic Testing. CoRR abs/2010.16303 (2020)
2010 – 2019
- 2019
- [j14]Noah Van Es, Quentin Stiévenart, Coen De Roover:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact). Dagstuhl Artifacts Ser. 5(2): 07:1-07:2 (2019) - [j13]Reinout Stevens, Tim Molderez, Coen De Roover:
Querying distilled code changes to extract executable transformations. Empir. Softw. Eng. 24(1): 491-535 (2019) - [j12]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
A general method for rendering static analyses for diverse concurrency models modular. J. Syst. Softw. 147: 17-45 (2019) - [c74]Hoang-Son Pham, Siegfried Nijssen, Kim Mens, Dario Di Nucci, Tim Molderez, Coen De Roover, Johan Fabry, Vadim Zaytsev:
Mining Patterns in Source Code Using Tree Mining Algorithms. DS 2019: 471-480 - [c73]Noah Van Es, Quentin Stiévenart, Coen De Roover:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting. ECOOP 2019: 10:1-10:33 - [c72]Jonas De Bleser, Dario Di Nucci, Coen De Roover:
Assessing diffusion and perception of test smells in scala projects. MSR 2019: 457-467 - [c71]Tim Molderez, Bjarno Oeyen, Coen De Roover, Wolfgang De Meuter:
Marlon: a domain-specific language for multi-agent reinforcement learning on networks. SAC 2019: 1322-1329 - [c70]Dario Di Nucci, Hoang-Son Pham, Johan Fabry, Coen De Roover, Kim Mens, Tim Molderez, Siegfried Nijssen, Vadim Zaytsev:
A Language-Parametric Modular Framework for Mining Idiomatic Code Patterns. SATToSE 2019 - [c69]Jonas De Bleser, Dario Di Nucci, Coen De Roover:
SoCRATES: Scala radar for test smells. SCALA@ECOOP 2019: 22-26 - [c68]Fabiano Pecorelli, Dario Di Nucci, Coen De Roover, Andrea De Lucia:
On the role of data balancing for machine learning-based code smell detection. MaLTeSQuE@ESEC/SIGSOFT FSE 2019: 19-24 - [c67]Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover:
Effect-Driven Flow Analysis. VMCAI 2019: 247-274 - [c66]Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Mining Scala Framework Extensions for Recommendation Patterns. SANER 2019: 514-523 - [c65]Angel Luis Scull Pupo, Jens Nicolay, Kyriakos Efthymiadis, Ann Nowé, Coen De Roover, Elisa Gonzalez Boix:
GUARDIAML: Machine Learning-Assisted Dynamic Information Flow Control. SANER 2019: 624-628 - 2018
- [j11]Maarten Vandercammen, Stefan Marr, Coen De Roover:
A flexible framework for studying trace-based just-in-time compilation. Comput. Lang. Syst. Struct. 51: 22-47 (2018) - [j10]Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover:
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications. Art Sci. Eng. Program. 2(2): 3 (2018) - [c64]Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover:
Mining Extension Point Patterns in Scala. BENEVOL 2018: 16-20 - [c63]Maarten Hubrechts, Kennedy Kambona, Thierry Renaux, Simon Van de Water, Mathijs Saey, Coen De Roover, Wolfgang De Meuter:
Mete: a Meta Rete Interface for Distributed Rule-based Systems. BENEVOL 2018: 29-32 - [c62]Maarten Vandercammen, Laurent Christophe, Wolfgang De Meuter, Coen De Roover:
Concolic Testing of Full-Stack JavaScript Applications. BENEVOL 2018: 38-42 - [c61]Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, Wolfgang De Meuter:
Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs. GPCE 2018: 107-118 - [c60]Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix:
Practical Information Flow Control for Web Applications. RV 2018: 372-388 - [c59]Ward Muylaert, Coen De Roover:
[Research Paper] Untangling Composite Commits Using Program Slicing. SCAM 2018: 193-202 - [c58]Raula Gaikovina Kula, Coen De Roover, Daniel M. Germán, Takashi Ishio, Katsuro Inoue:
A generalized model for visualizing library popularity, adoption, and diffusion within a software ecosystem. SANER 2018: 288-299 - 2017
- [j9]Noah Van Es, Quentin Stiévenart, Jens Nicolay, Theo D'Hondt, Coen De Roover:
Implementing a performant scheme interpreter for the web in asm.js. Comput. Lang. Syst. Struct. 49: 62-81 (2017) - [j8]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 11:1-11:2 (2017) - [j7]Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover:
Purity analysis for JavaScript through abstract interpretation. J. Softw. Evol. Process. 29(12) (2017) - [c57]Maarten Vandercammen, Coen De Roover:
Employing Run-time Static Analysis to Improve Concolic Execution. BENEVOL 2017: 26-29 - [c56]Noah Van Es, Maarten Vandercammen, Coen De Roover:
Incrementalizing Abstract Interpretation. BENEVOL 2017: 31-35 - [c55]Ward Muylaert, Coen De Roover:
Untangling Source Code Changes Using Program Slicing. BENEVOL 2017: 36-38 - [c54]Tim Molderez, Coen De Roover, Wolfgang De Meuter:
Towards a Domain-Specific Language for Automated Network Management. BENEVOL 2017: 39-43 - [c53]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Mailbox Abstractions for Static Analysis of Actor Programs. ECOOP 2017: 25:1-25:30 - [c52]Jonas De Bleser, Quentin Stiévenart, Jens Nicolay, Coen De Roover:
Static Taint Analysis of Event-driven Scheme Programs. ELS 2017: 80-87 - [c51]Tim Molderez, Reinout Stevens, Coen De Roover:
Mining change histories for unknown systematic edits. MSR 2017: 248-256 - [c50]Ward Muylaert, Coen De Roover:
Prevalence of botched code integrations. MSR 2017: 503-506 - [c49]Reinout Stevens, Coen De Roover:
Extracting executable transformations from distilled code changes. SANER 2017: 171-181 - [i2]Raula Gaikovina Kula, Coen De Roover, Daniel M. Germán, Takashi Ishio, Katsuro Inoue:
Modeling Library Dependencies and Updates in Large Software Repository Universes. CoRR abs/1709.04626 (2017) - [i1]Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover:
Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications. CoRR abs/1712.01161 (2017) - 2016
- [j6]Johan Fabry, Coen De Roover, Carlos Noguera, Steffen Zschaler, Awais Rashid, Viviane Jonckers:
AspectJ code analysis and verification with GASR. J. Syst. Softw. 117: 528-544 (2016) - [c48]Jens Nicolay, Valentijn Spruyt, Coen De Roover:
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript. PLAS@CCS 2016: 3-13 - [c47]Laure Philips, Joeri De Koster, Wolfgang De Meuter, Coen De Roover:
Dependence-driven delimited CPS transformation for JavaScript. GPCE 2016: 59-69 - [c46]Maarten Vandercammen, Coen De Roover:
Improving trace-based JIT optimisation using whole-program information. VMIL@SPLASH 2016: 16-23 - [c45]Noah Van Es, Jens Nicolay, Quentin Stiévenart, Theo D'Hondt, Coen De Roover:
A performant scheme interpreter in asm.js. SAC 2016: 1944-1951 - [c44]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Building a modular static analysis framework in Scala (tool paper). SCALA@SPLASH 2016: 105-109 - [c43]Quentin Stiévenart, Maarten Vandercammen, Wolfgang De Meuter, Coen De Roover:
Scala-AM: A Modular Static Analysis Framework. SCAM 2016: 85-90 - [c42]Tim Molderez, Coen De Roover:
Search-Based Generalization and Refinement of Code Templates. SSBSE 2016: 192-208 - [c41]Laurent Christophe, Elisa Gonzalez Boix, Wolfgang De Meuter, Coen De Roover:
Linvail: A General-Purpose Platform for Shadow Execution of JavaScript. SANER 2016: 260-270 - [c40]Tim Molderez, Coen De Roover:
Automated Generalization and Refinement of Code Templates with Ekeko/X. SANER 2016: 669-672 - 2015
- [c39]Maarten Vandercammen, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover:
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation. GTTSE 2015: 223-234 - [c38]Laurent Christophe, Coen De Roover, Wolfgang De Meuter:
Poster: Dynamic Analysis Using JavaScript Proxies. ICSE (2) 2015: 813-814 - [c37]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Poster: Static Analysis of Concurrent Higher-Order Programs. ICSE (2) 2015: 821-822 - [c36]Laure Philips, Wolfgang De Meuter, Coen De Roover:
Poster: Tierless Programming in JavaScript. ICSE (2) 2015: 831-832 - [c35]Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, Coen De Roover:
A formal foundation for trace-based JIT compilers. WODA@SPLASH 2015: 25-30 - [c34]Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Detecting concurrency bugs in higher-order programs through abstract interpretation. PPDP 2015: 232-243 - [c33]Jens Nicolay, Carlos Noguera, Coen De Roover, Wolfgang De Meuter:
Detecting function purity in JavaScript. SCAM 2015: 101-110 - 2014
- [j5]Coen De Roover, Christophe Scholliers, Viviane Jonckers, Javier Pérez, Alessandro Murgia, Serge Demeyer:
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 65 (2014) - [j4]Reinout Stevens, Coen De Roover, Carlos Noguera, Andy Kellens, Viviane Jonckers:
A logic foundation for a general-purpose history querying tool. Sci. Comput. Program. 96: 107-120 (2014) - [c32]Coen De Roover, Reinout Stevens:
Building development tools interactively using the EKEKO meta-programming library. CSMR-WCRE 2014: 429-433 - [c31]Nicolás Cardozo, Laurent Christophe, Coen De Roover, Wolfgang De Meuter:
Run-time Validation of Behavioral Adaptations. COP@ECOOP 2014: 5:1-5:6 - [c30]Laurent Christophe, Reinout Stevens, Coen De Roover, Wolfgang De Meuter:
Prevalence and Maintenance of Automated Functional Tests for Web Applications. ICSME 2014: 141-150 - [c29]Reinout Stevens, Coen De Roover:
Querying the History of Software Projects Using QWALKEKO. ICSME 2014: 585-588 - [c28]Laure Philips, Coen De Roover, Tom Van Cutsem, Wolfgang De Meuter:
Towards Tierless Web Development without Tierless Languages. Onward! 2014: 69-81 - [c27]Coen De Roover, Katsuro Inoue:
The Ekeko/X Program Transformation Tool. SCAM 2014: 53-58 - [c26]Naohiro Kawamitsu, Takashi Ishio, Tetsuya Kanda, Raula Gaikovina Kula, Coen De Roover, Katsuro Inoue:
Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity. SCAM 2014: 305-314 - [c25]Raula Gaikovina Kula, Coen De Roover, Daniel M. Germán, Takashi Ishio, Katsuro Inoue:
Visualizing the Evolution of Systems and Their Library Dependencies. VISSOFT 2014: 127-136 - 2013
- [j3]Coen De Roover, Christophe Scholliers, Wouter Amerijckx, Theo D'Hondt, Wolfgang De Meuter:
CrimeSPOT: A language and runtime for developing active wireless sensor network applications. Sci. Comput. Program. 78(10): 1951-1970 (2013) - [c24]Reinout Stevens, Coen De Roover, Carlos Noguera, Viviane Jonckers:
A History Querying Tool and Its Application to Detect Multi-version Refactorings. CSMR 2013: 335-338 - [c23]Coen De Roover, Ralf Lämmel, Ekaterina Pek:
Multi-dimensional exploration of API usage. ICPC 2013: 152-161 - [c22]Johan Fabry, Coen De Roover, Viviane Jonckers: