Oege de Moor

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 1

Top Topics

Relational Query Languages

Duplicate Elimination

Relational Data

Top Venues

Publications

Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer
QL: Object-oriented Queries on Relational Data. ECOOP (2016)
Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble
Tracking Static Analysis Violations over Time to Capture Developer Characteristics. ICSE (1) (2015)
Luke Cartey, Rune B. Lyngsø, Oege de Moor
Synthesising graphics card programs from DSLs. PLDI (2012)
Sebastiaan J. van Schaik, Oege de Moor
A memory efficient reachability data structure through bit vector compression. SIGMOD Conference (2011)
Max Schäfer, Oege de Moor
Specifying and implementing refactorings. OOPSLA (2010)
Max Schäfer, Oege de Moor
Type inference for datalog with complex type hierarchies. POPL (2010)
Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor
Stepping Stones over the Refactoring Rubicon. ECOOP (2009)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Formalising and Verifying Reference Attribute Grammars in Coq. ESOP (2009)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Challenge proposal: verification of refactorings. PLPV (2009)
Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere
Type inference for datalog and its application to query optimisation. PODS (2008)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Sound and extensible renaming for java. OOPSLA (2008)
Damien Sereni, Pavel Avgustinov, Oege de Moor
Adding magic to an optimising datalog compiler. SIGMOD Conference (2008)
Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni
Efficient local type inference. OOPSLA (2008)
Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller
Refactoring Tools. ECOOP Workshops (2007)
Oege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Julian Tibble
.QL: Object-Oriented Queries Made Easy. GTTSE (2007)
Pavel Avgustinov, Julian Tibble, Oege de Moor
On the Semantics of Matching Trace Monitoring Patterns. RV (2007)
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere
Semantics of static pointcuts in aspectJ. POPL (2007)
Mathieu Verbaere, Elnar Hajiyev, Oege de Moor
Improve software quality with SemmleCode: an eclipse plugin for semantic code search. OOPSLA Companion (2007)
Oege de Moor, Elnar Hajiyev, Mathieu Verbaere
Object-oriented queries over software systems: (abstract of invited talk). PEPM (2007)
Pavel Avgustinov, Julian Tibble, Oege de Moor
Making trace monitors feasible. OOPSLA (2007)
Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble
Keynote Address: .QL for Source Code Analysis. SCAM (2007)
Pavel Avgustinov, Julian Tibble, Oege de Moor
A comparison of compilation techniques for trace monitors with free variables. OOPSLA Companion (2007)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble
Aspects and Data Refinement. MPC (2006)
Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam
Efficient trace monitoring. OOPSLA Companion (2006)
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
Aspects for Trace Monitoring. FATES/RV (2006)
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
Scalable Source Code Queries with Datalog. ECOOP (2006)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
: An Extensible AspectJ Compiler. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Mathieu Verbaere, Ran Ettinger, Oege de Moor
JunGL: a scripting language for refactoring. ICSE (2006)
Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann
Editorial. High. Order Symb. Comput. 19 (1) (2006)
Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere
Datalog as a pointcut language in aspect-oriented programming. OOPSLA Companion (2006)
Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam
Adding open modules to AspectJ. AOSD (2006)
Mathieu Verbaere, Arnaud Payement, Oege de Moor
Scripting refactorings with JunGL. OOPSLA Companion (2006)
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder
CodeQuest: querying source code with datalog. OOPSLA Companion (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. OOPSLA Companion (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
Adding trace matching with free variables to AspectJ. OOPSLA (2005)
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
: The AspectBench Compiler for AspectJ. GPCE (2005)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
Optimising aspectJ. PLDI (2005)
Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
abc: an extensible AspectJ compiler. AOSD (2005)
Brian M. Barry, Oege de Moor
Preface. Electron. Notes Theor. Comput. Sci. 107 (2004)
Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge
Measuring the dynamic behaviour of AspectJ programs. OOPSLA (2004)
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen
Incremental execution of transformation specifications. POPL (2004)
Oege de Moor, David Lacey, Eric Van Wyk
Universal Regular Path Queries. High. Order Symb. Comput. 16 (1-2) (2003)
Damien Sereni, Oege de Moor
Static analysis of aspects. AOSD (2003)
Conal Elliott, Sigbjørn Finne, Oege de Moor
Compiling embedded languages. J. Funct. Program. 13 (3) (2003)
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
Forwarding in Attribute Grammars for Modular Language Design. CC (2002)
Stephen Drape, Oege de Moor, Ganesh Sittampalam
Transforming the .NET intermediate language using path logic programming. PPDP (2002)
Ganesh Sittampalam, Oege de Moor
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. PADO (2001)
David Lacey, Oege de Moor
Imperative Program Transformation by Rewriting. CC (2001)
Oege de Moor, Ganesh Sittampalam
Higher-order matching for program transformation. Theor. Comput. Sci. 269 (1-2) (2001)
Paul F. Hoogendijk, Oege de Moor
Container types categorically. J. Funct. Program. 10 (2) (2000)
Oege de Moor, Jeremy Gibbons
Invited Talk: Pointwise Relational Programming. AMAST (2000)
Conal Elliott, Sigbjørn Finne, Oege de Moor
Compiling Embedded Languages. SAIG (2000)
Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
First-class Attribute Grammars. Informatica (Slovenia) 24 (3) (2000)
Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
Aspect-Oriented Compilers. GCSE (1999)
Oege de Moor, Jeremy Gibbons
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. Sci. Comput. Program. 35 (1) (1999)
Oege de Moor, Ganesh Sittampalam
Higher Order Matching for Program Transformation. Fuji International Symposium on Functional and Logic Programming (1999)
William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, Charles Simonyi
Transformation in intentional programming. ICSR (1998)
Oege de Moor, Ganesh Sittampalam
Generic Program Transformation. Advanced Functional Programming (1998)
Richard S. Bird, Geraint Jones, Oege de Moor
More Haste, Less Speed: Lazy Versus Eager Evaluation. J. Funct. Program. 7 (5) (1997)
Richard S. Bird, Oege de Moor, Paul F. Hoogendijk
Generic Functional Programming with Types and Relations. J. Funct. Program. 6 (1) (1996)
Richard S. Bird, Oege de Moor
The algebra of programming. NATO ASI DPD (1996)
Oege de Moor
A Generic Program for Sequential Decision Processes PLILP (1995)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22 (1-2) (1994)
Oege de Moor
Categories, Relations and Dynamic Programming. Math. Struct. Comput. Sci. 4 (1) (1994)
Richard S. Bird, Oege de Moor
List Partitions. Formal Aspects Comput. 5 (1) (1993)
S. Doaitse Swierstra, Oege de Moor
Virtual Data Structures. Formal Program Development (1993)
Richard S. Bird, Oege de Moor
From Dynamic Programming to Greedy Algorithms. Formal Program Development (1993)
Oege de Moor
Inductive Data Types for Predicate Transformers. Inf. Process. Lett. 43 (3) (1992)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. MPC (1992)
Richard S. Bird, Oege de Moor
Solving Optimisation Problems with Catamorphism. MPC (1992)