BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moor:Oege_de

Facilitated 6 volumes:

CC 2009Ed
PEPM 2008Ed
SLE 2008PrCo
GTTSE 2005SciCo
LDTA 2003PrCo
LDTA 2002PrCo

Contributed to:

ICSE 20152015
PLDI 20122012
SIGMOD 20112011
OOPSLA 20102010
POPL 20102010
ECOOP 20092009
ESOP 20092009
OOPSLA 20082008
PODS 20082008
SIGMOD 20082008
GTTSE 20072007
OOPSLA 20072007
PEPM 20072007
POPL 20072007
SCAM 20072007
ECOOP 20062006
FATES/RV 20062006
ICSE 20062006
GPCE 20052005
OOPSLA 20052005
PLDI 20052005
OOPSLA 20042004
POPL 20042004
CC 20022002
PPDP 20022002
CC 20012001
SAIG 20002000
FLOPS 19991999
GCSE 19991999
AFP 19981998
PPDP 19951995
ECOOP 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.