Travelled to:1 × Estonia
1 × Germany
1 × Greece
1 × Japan
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × China
2 × Portugal
4 × Italy
5 × Canada
5 × France
6 × USA
Collaborated with:P.Avgustinov M.Schäfer G.Sittampalam M.Verbaere D.Sereni J.Tibble T.Ekman E.Hajiyev E.V.Wyk L.J.Hendren S.J.v.Schaik D.Lacey ∅ N.Ongkingco O.Lhoták L.Cartey R.Lyngsø R.Ettinger K.F.Larsen S.Drape C.Elliott S.Finne S.L.P.Jones A.S.Christensen S.Kuzins B.Bellamy K.Backhouse P.Kwiatkowski M.P.Jones C.Allan J.Lhoták B.Dufour C.Goard C.Verbrugge A.I.Baars A.S.Henriksen R.G.Lavender G.Menzel E.Bodden
Talks about:program (7) aspect (6) transform (5) queri (5) languag (4) datalog (4) orient (4) compil (4) type (4) refactor (3)
♂ Person: Oege de Moor
DBLP: Moor:Oege_de
Facilitated 6 volumes:
Ed
Ed
PrCo
SciCo
PrCoPrCoContributed to:
2015
2012
2011
2010
2010
2009
20092008
200820082007200720072007
20072006
20062006
200520052005200420042002
200220012000
19991999
199819952016Wrote 33 papers:
- ICSE-v1-2015-AvgustinovBHLMM #developer #static analysis
- Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
- PLDI-2012-CarteyLM #domain-specific language #source code
- Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.
- SIGMOD-2011-SchaikM #data type #memory management #performance #reachability
- A memory efficient reachability data structure through bit vector compression (SJvS, OdM), pp. 913–924.
- OOPSLA-2010-SchaferM #implementation #refactoring #specification
- Specifying and implementing refactorings (MS, OdM), pp. 286–301.
- POPL-2010-SchaferM #datalog #type inference
- Type inference for datalog with complex type hierarchies (MS, OdM), pp. 145–156.
- ECOOP-2009-SchaferVEM #refactoring
- Stepping Stones over the Refactoring Rubicon (MS, MV, TE, OdM), pp. 369–393.
- ESOP-2009-SchaferEM #attribute grammar #coq #formal method #verification
- Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.
- OOPSLA-2008-BellamyAMS #performance #type inference
- Efficient local type inference (BB, PA, OdM, DS), pp. 475–492.
- OOPSLA-2008-SchaferEM #java
- Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.
- PODS-2008-MoorSAV #datalog #optimisation #query #type inference
- Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.
- SIGMOD-2008-SereniAM #compilation #datalog #optimisation
- Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
- GTTSE-2007-MoorSVHAEOT #object-oriented #query
- .QL: Object-Oriented Queries Made Easy (OdM, DS, MV, EH, PA, TE, NO, JT), pp. 78–133.
- OOPSLA-2007-AvgustinovTM #monitoring
- Making trace monitors feasible (PA, JT, OdM), pp. 589–608.
- PEPM-2007-MoorHV #object-oriented #query
- Object-oriented queries over software systems: (OdM, EH, MV), p. 91.
- POPL-2007-AvgustinovHOMSTV #aspectj #semantics
- Semantics of static pointcuts in aspectJ (PA, EH, NO, OdM, DS, JT, MV), pp. 11–23.
- SCAM-2007-MoorVHAEOST #analysis #source code
- Keynote Address: .QL for Source Code Analysis (OdM, MV, EH, PA, TE, NO, DS, JT), pp. 3–16.
- ECOOP-2006-HajiyevVM #datalog #named #query #scalability #source code
- codeQuest: Scalable Source Code Queries with Datalog (EH, MV, OdM), pp. 2–27.
- FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring
- Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
- ICSE-2006-VerbaereEM #named #refactoring #scripting language
- JunGL: a scripting language for refactoring (MV, RE, OdM), pp. 172–181.
- GPCE-2005-AllanACHKLLMSST #aspectj #compilation #named
- abc: The AspectBench Compiler for AspectJ (CA, PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 10–16.
- OOPSLA-2005-AllanACHKLMSST #aspectj
- Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
- PLDI-2005-AvgustinovCHKLLMSST #aspectj #optimisation
- Optimising aspectJ (PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 117–128.
- OOPSLA-2004-DufourGHMSV #aspectj #behaviour #source code
- Measuring the dynamic behaviour of AspectJ programs (BD, CG, LJH, OdM, GS, CV), pp. 150–169.
- POPL-2004-SittampalamML #execution #incremental #specification
- Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
- CC-2002-WykMBK #attribute grammar #composition #design
- Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.
- PPDP-2002-DrapeMS #dot-net #logic programming #using
- Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.
- CC-2001-LaceyM #imperative #program transformation
- Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
- SAIG-2000-ElliottFM #compilation #embedded
- Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
- FLOPS-1999-MoorS #higher-order #program transformation
- Higher Order Matching for Program Transformation (OdM, GS), pp. 209–224.
- GCSE-1999-MoorPW #aspect-oriented #compilation
- Aspect-Oriented Compilers (OdM, SLPJ, EVW), pp. 121–133.
- AFP-1998-MoorS98 #program transformation
- Generic Program Transformation (OdM, GS), pp. 116–149.
- PLILP-1995-Moor #process
- A Generic Program for Sequential Decision Processes (OdM), pp. 1–23.
- ECOOP-2016-AvgustinovMJS #named #object-oriented #query #relational
- QL: Object-oriented Queries on Relational Data (PA, OdM, MPJ, MS), p. 25.