Oege de Moor - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2012

Synthesising graphics card programs from DSLsLuke Cartey, Rune Lyngso, Oege de Moor. In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. 2012: 121-132 [doi]

2010

Type inference for datalog with complex type hierarchiesMax SchÃ¤fer, Oege de Moor. POPL 2010: 145-156 [doi]

Specifying and implementing refactoringsMax Schäfer, Oege de Moor. OOPSLA 2010: 286-301 [doi]

2009

Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. ProceedingsOege de Moor, Michael I. Schwartzbach, editors, Volume 5501 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Stepping Stones over the Refactoring Rubicon -- Lightweight Language Extensions to Easily Realise RefactoringsMax Sch{\"a}fer, Mathieu Verbaere, Torbj{\"o}rn Ekman, Oege de Moor. In 23rd European Conference on Object-Oriented Programming (ECOOP '09). 2009:

Stepping Stones over the Refactoring RubiconMax SchÃ¤fer, Mathieu Verbaere, TorbjÃ¶rn Ekman, Oege de Moor. ECOOP 2009: 369-393 [doi]

Challenge proposal: verification of refactoringsMax Schäfer, Torbjörn Ekman, Oege de Moor. plpv 2009: 67-72 [doi]

Formalising and Verifying Reference Attribute Grammars in CoqMax Schäfer, Torbjörn Ekman, Oege de Moor. ESOP 2009: 143-159 [doi]

2008

2007

A comparison of compilation techniques for trace monitors with free variablesPavel Avgustinov, Julian Tibble, Oege de Moor. OOPSLA 2007: 821-822 [doi]

Making trace monitors feasiblePavel Avgustinov, Julian Tibble, Oege de Moor. OOPSLA 2007: 589-608 [doi]

On the Semantics of Matching Trace Monitoring PatternsPavel Avgustinov, Julian Tibble, Oege de Moor. rv 2007: 9-21 [doi]

Semantics of static pointcuts in aspectJPavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. POPL 2007: 11-23 [doi]

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007Brian M. Barry, Oege de Moor, editors, Volume 208 of ACM International Conference Proceeding Series, ACM, 2007.

Object-oriented queries over software systems: (abstract of invited talk)Oege de Moor, Elnar Hajiyev, Mathieu Verbaere. PEPM 2007: 91 [doi]

.QL: Object-Oriented Queries Made EasyOege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Julian Tibble. GTTSE 2007: 78-133 [doi]

Keynote Address: .QL for Source Code AnalysisOege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjorn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2007. [doi]

Keynote Address: .QL for Source Code AnalysisOege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble. SCAM 2007: 3-16 [doi]

Refactoring ToolsDanny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller. ECOOPW 2008: 193-202 [doi]

Improve software quality with SemmleCode: an eclipse plugin for semantic code searchMathieu Verbaere, Elnar Hajiyev, Oege de Moor. OOPSLA 2007: 880-881 [doi]

2006

Aspects for Trace MonitoringPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. fates 2006: 20-39 [doi]

Efficient trace monitoringPavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam. OOPSLA 2006: 685-686 [doi]

Aspects and Data RefinementPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble. mpc 2006: 5-9 [doi]

abc: An Extensible AspectJ CompilerPavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. TAOSD, :293-334, 2006. [doi]

EditorialOlivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann. lisp, 19(1):5, 2006. [doi]

Datalog as a pointcut language in aspect-oriented programmingElnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. OOPSLA 2006: 667-668 [doi]

codeQuest: Scalable Source Code Queries with DatalogElnar Hajiyev, Mathieu Verbaere, Oege de Moor. ECOOP 2006: 2-27 [doi]

Adding open modules to AspectJNeil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam. AOSD 2006: 39-50 [doi]

Scripting refactorings with JunGLMathieu Verbaere, Arnaud Payement, Oege de Moor. OOPSLA 2006: 651-652 [doi]

JunGL: a scripting language for refactoringMathieu Verbaere, Ran Ettinger, Oege de Moor. ICSE 2006: 172-181 [doi]

2005

Adding trace matching with free variables to AspectJChris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. OOPSLA 2005: 345-364 [doi]

abc: The AspectBench Compiler for AspectJChris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. GPCE 2005: 10-16 [doi]

abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers researchChris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge. OOPSLA 2005: 88-89 [doi]

Optimising aspectJPavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. PLDI 2005: 117-128 [doi]

abc: an extensible AspectJ compilerPavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. AOSD 2005: 87-98 [doi]

CodeQuest: querying source code with datalogElnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder. OOPSLA 2005: 102-103 [doi]

2004

2003

Universal Regular Path QueriesOege de Moor, David Lacey, Eric Van Wyk. lisp, 16(1-2):15-35, 2003. [doi]

Compiling embedded languagesConal Elliott, Sigbjorn Finne, Oege de Moor. JFP, 13(3):455-481, 2003. [doi]

Static analysis of aspectsDamien Sereni, Oege de Moor. AOSD 2003: 30-39 [doi]

2002

Transforming the .NET intermediate language using path logic programmingStephen Drape, Oege de Moor, Ganesh Sittampalam. ppdp 2002: 133-144 [doi]

Forwarding in Attribute Grammars for Modular Language DesignEric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski. CC 2002: 128-142 [doi]

2001

2000

1999

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph FormattingOege de Moor, Jeremy Gibbons. SCP, 35(1):3-27, 1999.

Higher Order Matching for Program TransformationOege de Moor, Ganesh Sittampalam. FLOPS 1999: 209-224

Aspect-Oriented CompilersOege de Moor, Simon L. Peyton Jones, Eric Van Wyk. gcse 2000: 121-133 [doi]

1998

Generic Program TransformationOege de Moor, Ganesh Sittampalam. afp 1998: 116-149

1997

More Haste, Less Speed: Lazy Versus Eager EvaluationRichard S. Bird, Geraint Jones, Oege de Moor. JFP, 7(5):541-547, 1997.

1996

Generic Functional Programming with Types and RelationsRichard S. Bird, Oege de Moor, Paul F. Hoogendijk. JFP, 6(1):1-28, 1996.

The algebra of programmingRichard S. Bird, Oege de Moor. nato 1996: 167-203

1995

A Generic Program for Sequential Decision ProcessesOege de Moor. plilp 1995: 1-23

1994

Categories, Relations and Dynamic ProgrammingOege de Moor. mscs, 4(1):33-69, 1994.

An Algebraic Construction of Predicate TransformersPaul H. B. Gardiner, Clare E. Martin, Oege de Moor. SCP, 22(1-2):21-44, 1994.

1993

List PartitionsRichard S. Bird, Oege de Moor. fac, 5(1):61-78, 1993.

From Dynamic Programming to Greedy AlgorithmsRichard S. Bird, Oege de Moor. ifip2-1 1993: 43-61

Virtual Data StructuresS. Doaitse Swierstra, Oege de Moor. ifip2-1 1993: 355-371

1992

Solving Optimisation Problems with CatamorphismRichard S. Bird, Oege de Moor. mpc 1993: 45-66

Inductive Data Types for Predicate TransformersOege de Moor. ipl, 43(3):113-117, 1992.

An Algebraic Construction of Predicate TransformersPaul H. B. Gardiner, Clare E. Martin, Oege de Moor. mpc 1993: 100-121