Oege de Moor

According to our database, Oege de Moor authored at least 68 papers between 1992 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

QL: Object-oriented Queries on Relational Data.

Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Tracking Static Analysis Violations over Time to Capture Developer Characteristics.

Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2012

Synthesising graphics card programs from DSLs.

Luke Cartey, Rune B. Lyngsø, Oege de Moor

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

A memory efficient reachability data structure through bit vector compression.

Sebastiaan J. van Schaik, Oege de Moor

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

2010

Type inference for datalog with complex type hierarchies.

Max Schäfer, Oege de Moor

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Specifying and implementing refactorings.

Max Schäfer, Oege de Moor

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Challenge proposal: verification of refactorings.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Formalising and Verifying Reference Attribute Grammars in Coq.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the Programming Languages and Systems, 2009

Stepping Stones over the Refactoring Rubicon.

Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor

Proceedings of the ECOOP 2009, 2009

2008

Adding magic to an optimising datalog compiler.

Damien Sereni, Pavel Avgustinov, Oege de Moor

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Type inference for datalog and its application to query optimisation.

Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Sound and extensible renaming for java.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Efficient local type inference.

Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Keynote Address: .QL for Source Code Analysis.

Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble

Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

On the Semantics of Matching Trace Monitoring Patterns.

Pavel Avgustinov, Julian Tibble, Oege de Moor

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Semantics of static pointcuts in aspectJ.

Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Object-oriented queries over software systems: (abstract of invited talk).

Oege de Moor, Elnar Hajiyev, Mathieu Verbaere

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Improve software quality with SemmleCode: an eclipse plugin for semantic code search.

Mathieu Verbaere, Elnar Hajiyev, Oege de Moor

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

A comparison of compilation techniques for trace monitors with free variables.

Pavel Avgustinov, Julian Tibble, Oege de Moor

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Making trace monitors feasible.

Pavel Avgustinov, Julian Tibble, Oege de Moor

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

.QL: Object-Oriented Queries Made Easy.

Oege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Julian Tibble

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

Refactoring Tools.

Danny Dig, Ralph E. Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006

<i>abc</i> : An Extensible AspectJ Compiler.

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

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Editorial.

Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann

High. Order Symb. Comput., 2006

Scripting refactorings with JunGL.

Mathieu Verbaere, Arnaud Payement, Oege de Moor

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Datalog as a pointcut language in aspect-oriented programming.

Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Efficient trace monitoring.

Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Aspects and Data Refinement.

Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

JunGL: a scripting language for refactoring.

Mathieu Verbaere, Ran Ettinger, Oege de Moor

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Aspects for Trace Monitoring.

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

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

<i>codeQuest: </i> Scalable Source Code Queries with Datalog.

Elnar Hajiyev, Mathieu Verbaere, Oege de Moor

Proceedings of the ECOOP 2006, 2006

Adding open modules to AspectJ.

Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Optimising aspectJ.

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

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

CodeQuest: querying source code with datalog.

Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Adding trace matching with free variables to AspectJ.

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.

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

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

<i>abc</i>: The AspectBench Compiler for AspectJ.

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

Proceedings of the Generative Programming and Component Engineering, 2005

abc: an extensible AspectJ compiler.

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

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Preface.

Brian M. Barry, Oege de Moor

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Incremental execution of transformation specifications.

Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Measuring the dynamic behaviour of AspectJ programs.

Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Universal Regular Path Queries.

Oege de Moor, David Lacey, Eric Van Wyk

High. Order Symb. Comput., 2003

Compiling embedded languages.

Conal Elliott, Sigbjørn Finne, Oege de Moor

J. Funct. Program., 2003

Static analysis of aspects.

Damien Sereni, Oege de Moor

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002

Transforming the .NET intermediate language using path logic programming.

Stephen Drape, Oege de Moor, Ganesh Sittampalam

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Forwarding in Attribute Grammars for Modular Language Design.

Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski

Proceedings of the Compiler Construction, 11th International Conference, 2002

2001

Higher-order matching for program transformation.

Oege de Moor, Ganesh Sittampalam

Theor. Comput. Sci., 2001

Higher-Order Pattern Matching for Automatically Applying Fusion Transformations.

Ganesh Sittampalam, Oege de Moor

Proceedings of the Programs as Data Objects, Second Symposium, 2001

Imperative Program Transformation by Rewriting.

David Lacey, Oege de Moor

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

Container types categorically.

Paul F. Hoogendijk, Oege de Moor

J. Funct. Program., 2000

First-class Attribute Grammars.

Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra

Informatica (Slovenia), 2000

Invited Talk: Pointwise Relational Programming.

Oege de Moor, Jeremy Gibbons

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting.

Oege de Moor, Jeremy Gibbons

Sci. Comput. Program., 1999

Aspect-Oriented Compilers.

Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Transformation in intentional programming.

William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, Charles Simonyi

Proceedings of the Fifth International Conference on Software Reuse, 1998

Generic Program Transformation.

Oege de Moor, Ganesh Sittampalam

Proceedings of the Advanced Functional Programming, 1998

1997

More Haste, Less Speed: Lazy Versus Eager Evaluation.

Richard S. Bird, Geraint Jones, Oege de Moor

J. Funct. Program., 1997

Algebra of programming.

Richard S. Bird, Oege de Moor

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-507245-5, 1997

1996

Generic Functional Programming with Types and Relations.

Richard S. Bird, Oege de Moor, Paul F. Hoogendijk

J. Funct. Program., 1996

The algebra of programming.

Richard S. Bird, Oege de Moor

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

A Generic Program for Sequential Decision Processes

Oege de Moor

Proceedings of the Programming Languages: Implementations, 1995

1994

An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner, Clare E. Martin, Oege de Moor

Sci. Comput. Program., 1994

Categories, Relations and Dynamic Programming.

Oege de Moor

Math. Struct. Comput. Sci., 1994

1993

List Partitions.

Richard S. Bird, Oege de Moor

Formal Aspects Comput., 1993

Virtual Data Structures.

S. Doaitse Swierstra, Oege de Moor

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

From Dynamic Programming to Greedy Algorithms.

Richard S. Bird, Oege de Moor

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

Inductive Data Types for Predicate Transformers.

Oege de Moor

Inf. Process. Lett., 1992

Solving Optimisation Problems with Catamorphism.

Richard S. Bird, Oege de Moor

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992