Travelled to:1 × Belgium
1 × France
1 × Germany
1 × Greece
1 × Ireland
1 × Portugal
1 × Spain
2 × The Netherlands
3 × Canada
4 × Italy
6 × USA
Collaborated with:W.D.Meuter C.Noguera V.Jonckers R.Stevens J.Nicolay A.Kellens T.D'Hondt K.Inoue Q.Stiévenart J.Brichau L.Christophe L.Philips ∅ E.G.Boix I.Michiels T.Ishio R.G.Kula R.Lämmel E.Pek J.Fabry Noah Van Es Q.Stievenart T.V.Cutsem J.D.Koster M.Vandercammen D.M.Germán E.Bainomugisha J.Vallejos A.L.Carreton K.D.Schutter L.Duchien K.Gybels K.Gybels N.Kawamitsu T.Kanda
Talks about:program (13) code (7) use (7) sourc (6) queri (5) javascript (4) abstract (4) detect (4) tool (4) behavior (3)
♂ Person: Coen De Roover
DBLP: Roover:Coen_De
Facilitated 3 volumes:
SciCo
ERAChEarlyResearchTrackChContributed to:
2015
20152014
2014
20142014
2014
2013
2013201320122012201220112011
20112010
200720062006
2006
201620152018
20172019Wrote 30 papers:
- PPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code
- Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
- SCAM-2015-NicolayNRM #detection #javascript
- Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.
- CSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using
- Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
- ICSME-2014-ChristopheSRM #automation #functional #maintenance #testing #web
- Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
- ICSME-2014-StevensR #query #using
- Querying the History of Software Projects Using QWALKEKO (RS, CDR), pp. 585–588.
- Onward-2014-PhilipsRCM #development #towards #web
- Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.
- SCAM-2014-KawamitsuIKKRI #identification #repository #reuse #similarity #source code #using
- Identifying Source Code Reuse across Repositories Using LCS-Based Source Code Similarity (NK, TI, TK, RGK, CDR, KI), pp. 305–314.
- SCAM-2014-RooverI #program transformation
- The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
- VISSOFT-2014-KulaRGII #dependence #evolution #library #visualisation
- Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.
- CSMR-2013-StevensRNJ #detection #multi #query #refactoring
- A History Querying Tool and Its Application to Detect Multi-version Refactorings (RS, CDR, CN, VJ), pp. 335–338.
- ICPC-2013-RooverLP #api #multi
- Multi-dimensional exploration of API usage (CDR, RL, EP), pp. 152–161.
- SCAM-2013-FabryRJ #analysis #source code
- Aspectual source code analysis with GASR (JF, CDR, VJ), pp. 53–62.
- SCAM-2013-NicolayNRM #javascript #type inference #using
- Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
- ICPC-2012-NogueraRKJ #query #uml
- Code querying by UML (CN, CDR, AK, VJ), pp. 229–238.
- ICSM-2012-NogueraKRJ #refactoring
- Refactoring in the presence of annotations (CN, AK, CDR, VJ), pp. 337–346.
- Onward-2012-BainomugishaVRCM #fresh look #programming
- Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.
- ICSM-2011-NogueraRKJ #query
- Program querying with a SOUL: The BARISTA tool suite (CN, CDR, AK, VJ), pp. 582–585.
- ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code
- A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.
- SCAM-2011-NicolayRMJ #automation #higher-order #parallel #source code
- Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs (JN, CDR, WDM, VJ), pp. 185–194.
- WCRE-2011-KellensRNSJ #evolution #quantifier #reasoning #source code #using
- Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions (AK, CDR, CN, RS, VJ), pp. 389–393.
- CSMR-2010-KellensNSRD #co-evolution #source code
- Co-evolving Annotations and Source Code through Smart Annotations (AK, CN, KDS, CDR, TD), pp. 117–126.
- PEPM-2007-RooverDBND #behaviour #logic #query #similarity #source code #using
- Behavioral similarity matching using concrete source code templates in logic queries (CDR, TD, JB, CN, LD), pp. 92–101.
- ICPC-2006-RooverMGGD #approach #behaviour #documentation #lightweight #verification
- An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.
- PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation
- Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
- SEKE-2006-MichielsRBBD #modelling #testing #using
- Program Testing Using High-Level Property-Driven Models (IM, CDR, JB, EGB, TD), pp. 489–494.
- GPCE-2016-PhilipsKMR #continuation #javascript
- Dependence-driven delimited CPS transformation for JavaScript (LP, JDK, WDM, CDR), pp. 59–69.
- GTTSE-2015-VandercammenSMR #compilation #framework #jit #named #scala
- STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.
- GPCE-2018-ChristopheRBM #analysis #distributed #javascript #process #source code
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs (LC, CDR, EGB, WDM), pp. 107–118.
- ECOOP-2017-StievenartNMR #abstraction #source code #static analysis
- Mailbox Abstractions for Static Analysis of Actor Programs (QS, JN, WDM, CDR), p. 30.
- ECOOP-2019-EsSR #abstract interpretation
- Garbage-Free Abstract Interpretation Through Abstract Reference Counting (NVE, QS, CDR), p. 33.