Oege de Moor

	2010
67		Max Schäfer, Oege de Moor: Type inference for datalog with complex type hierarchies. POPL 2010: 145-156
	2009
66		Oege de Moor, Michael I. Schwartzbach: 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. Proceedings Springer 2009
65		Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor: Stepping Stones over the Refactoring Rubicon. ECOOP 2009: 369-393
64		Max Schäfer, Torbjörn Ekman, Oege de Moor: Formalising and Verifying Reference Attribute Grammars in Coq. ESOP 2009: 143-159
63		Max Schäfer, Torbjörn Ekman, Oege de Moor: Challenge proposal: verification of refactorings. PLPV 2009: 67-72
	2008
62		Robert Glück, Oege de Moor: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008 ACM 2008
61		Max Schäfer, Torbjörn Ekman, Oege de Moor: Sound and extensible renaming for java. OOPSLA 2008: 277-294
60		Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni: Efficient local type inference. OOPSLA 2008: 475-492
59		Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere: Type inference for datalog and its application to query optimisation. PODS 2008: 291-300
58		Damien Sereni, Pavel Avgustinov, Oege de Moor: Adding magic to an optimising datalog compiler. SIGMOD Conference 2008: 553-566
	2007
57		Brian M. Barry, Oege de Moor: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007 ACM 2007
56		Danny Dig, Ralph Johnson, Frank Tip, Oege de Moor, Jan Becicka, William G. Griswold, Markus Keller: Refactoring Tools. ECOOP Workshops 2007: 193-202
55		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: 78-133
54		Pavel Avgustinov, Julian Tibble, Oege de Moor: Making trace monitors feasible. OOPSLA 2007: 589-608
53		Pavel Avgustinov, Julian Tibble, Oege de Moor: A comparison of compilation techniques for trace monitors with free variables. OOPSLA Companion 2007: 821-822
52		Mathieu Verbaere, Elnar Hajiyev, Oege de Moor: Improve software quality with SemmleCode: an eclipse plugin for semantic code search. OOPSLA Companion 2007: 880-881
51		Oege de Moor, Elnar Hajiyev, Mathieu Verbaere: Object-oriented queries over software systems: (abstract of invited talk). PEPM 2007: 91
50		Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere: Semantics of static pointcuts in aspectJ. POPL 2007: 11-23
49		Pavel Avgustinov, Julian Tibble, Oege de Moor: On the Semantics of Matching Trace Monitoring Patterns. RV 2007: 9-21
48		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: 3-16
	2006
47		Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam: Adding open modules to AspectJ. AOSD 2006: 39-50
46		Elnar Hajiyev, Mathieu Verbaere, Oege de Moor: codeQuest: Scalable Source Code Queries with Datalog. ECOOP 2006: 2-27
45		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: 20-39
44		Mathieu Verbaere, Ran Ettinger, Oege de Moor: JunGL: a scripting language for refactoring. ICSE 2006: 172-181
43		Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble: Aspects and Data Refinement. MPC 2006: 5-9
42		Mathieu Verbaere, Arnaud Payement, Oege de Moor: Scripting refactorings with JunGL. OOPSLA Companion 2006: 651-652
41		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: 667-668
40		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: 685-686
39		Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)
38		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. T. Aspect-Oriented Software Development I: 293-334 (2006)
	2005
37		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: 87-98
36		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: abc: The AspectBench Compiler for AspectJ. GPCE 2005: 10-16
35		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: 345-364
34		Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kris De Volder: CodeQuest: querying source code with datalog. OOPSLA Companion 2005: 102-103
33		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: 88-89
32		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: 117-128
	2004
31		Bruno Dufour, Christopher Goard, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam, Clark Verbrugge: Measuring the dynamic behaviour of AspectJ programs. OOPSLA 2004: 150-169
30		Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen: Incremental execution of transformation specifications. POPL 2004: 26-38
29		Brian M. Barry, Oege de Moor: Preface. Electr. Notes Theor. Comput. Sci. 107: 1-5 (2004)
	2003
28		Damien Sereni, Oege de Moor: Static analysis of aspects. AOSD 2003: 30-39
27		Oege de Moor, David Lacey, Eric Van Wyk: Universal Regular Path Queries. Higher-Order and Symbolic Computation 16(1-2): 15-35 (2003)
26		Conal Elliott, Sigbjorn Finne, Oege de Moor: Compiling embedded languages. J. Funct. Program. 13(3): 455-481 (2003)
	2002
25		Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
24		Stephen Drape, Oege de Moor, Ganesh Sittampalam: Transforming the .NET intermediate language using path logic programming. PPDP 2002: 133-144
	2001
23		David Lacey, Oege de Moor: Imperative Program Transformation by Rewriting. CC 2001: 52-68
22		Ganesh Sittampalam, Oege de Moor: Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. PADO 2001: 218-237
21		Oege de Moor, Ganesh Sittampalam: Higher-order matching for program transformation. Theor. Comput. Sci. 269(1-2): 135-162 (2001)
	2000
20		Oege de Moor, Jeremy Gibbons: Invited Talk: Pointwise Relational Programming. AMAST 2000: 371-390
19		Conal Elliott, Sigbjorn Finne, Oege de Moor: Compiling Embedded Languages. SAIG 2000: 9-27
18		Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra: First-class Attribute Grammars. Informatica (Slovenia) 24(3): (2000)
17		Paul F. Hoogendijk, Oege de Moor: Container types categorically. J. Funct. Program. 10(2): 191-225 (2000)
	1999
16		Oege de Moor, Ganesh Sittampalam: Higher Order Matching for Program Transformation. Fuji International Symposium on Functional and Logic Programming 1999: 209-224
15		Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk: Aspect-Oriented Compilers. GCSE 1999: 121-133
14		Oege de Moor, Jeremy Gibbons: Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. Sci. Comput. Program. 35(1): 3-27 (1999)
	1998
13		Oege de Moor, Ganesh Sittampalam: Generic Program Transformation. Advanced Functional Programming 1998: 116-149
	1997
12		Richard S. Bird, Geraint Jones, Oege de Moor: More Haste, Less Speed: Lazy Versus Eager Evaluation. J. Funct. Program. 7(5): 541-547 (1997)
	1996
11		Richard S. Bird, Oege de Moor: The algebra of programming. NATO ASI DPD 1996: 167-203
10		Richard S. Bird, Oege de Moor, Paul F. Hoogendijk: Generic Functional Programming with Types and Relations. J. Funct. Program. 6(1): 1-28 (1996)
	1995
9		Oege de Moor: A Generic Program for Sequential Decision Processes PLILP 1995: 1-23
	1994
8		Oege de Moor: Categories, Relations and Dynamic Programming. Mathematical Structures in Computer Science 4(1): 33-69 (1994)
7		Paul H. B. Gardiner, Clare E. Martin, Oege de Moor: An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22(1-2): 21-44 (1994)
	1993
6		S. Doaitse Swierstra, Oege de Moor: Virtual Data Structures. Formal Program Development 1993: 355-371
5		Richard S. Bird, Oege de Moor: From Dynamic Programming to Greedy Algorithms. Formal Program Development 1993: 43-61
4		Richard S. Bird, Oege de Moor: List Partitions. Formal Asp. Comput. 5(1): 61-78 (1993)
	1992
3		Paul H. B. Gardiner, Clare E. Martin, Oege de Moor: An Algebraic Construction of Predicate Transformers. MPC 1992: 100-121
2		Richard S. Bird, Oege de Moor: Solving Optimisation Problems with Catamorphism. MPC 1992: 45-66
1		Oege de Moor: Inductive Data Types for Predicate Transformers. Inf. Process. Lett. 43(3): 113-117 (1992)

Coauthor Index

1	Chris Allan	[33] [35] [36]
2	Pavel Avgustinov	[32] [33] [35] [36] [37] [38] [40] [41] [43] [45] [47] [48] [49] [50] [53] [54] [55] [58] [59] [60]
3	Kevin Backhouse	[18] [25]
4	Brian M. Barry	[29] [57]
5	Jan Becicka	[56]
6	Ben Bellamy	[60]
7	Richard S. Bird	[2] [4] [5] [10] [11] [12]
8	Eric Bodden	[40] [43] [45]
9	Aske Simon Christensen	[32] [33] [35] [36] [37] [38]
10	Olivier Danvy	[39]
11	Danny Dig	[56]
12	Stephen Drape	[24]
13	Bruno Dufour	[31] [33]
14	Torbjörn Ekman	[48] [55] [61] [63] [64] [65]
15	Conal Elliott (Conal M. Elliott)	[19] [26]
16	Ran Ettinger	[44]
17	Sigbjorn Finne	[19] [26]
18	Paul H. B. Gardiner	[3] [7]
19	Jeremy Gibbons	[14] [20]
20	Robert Glück	[62]
21	Christopher Goard	[31] [33]
22	William G. Griswold	[56]
23	Elnar Hajiyev	[34] [41] [43] [45] [46] [48] [50] [51] [52] [55]
24	Laurie J. Hendren	[31] [32] [33] [35] [36] [37] [38] [40] [45] [47]
25	Paul F. Hoogendijk	[10] [17]
26	Ralph Johnson	[56]
27	Geraint Jones	[12]
28	Simon L. Peyton Jones	[15]
29	Markus Keller	[56]
30	Sascha Kuzins	[32] [33] [35] [36] [37] [38]
31	Paul Kwiatkowski	[25]
32	David Lacey	[23] [27]
33	Ken Friis Larsen	[30]
34	Jennifer Lhoták	[32] [33] [36] [37] [38]
35	Ondrej Lhoták	[32] [33] [35] [36] [37] [38] [40] [45]
36	Clare E. Martin	[3] [7]
37	Neil Ongkingco	[40] [41] [43] [45] [47] [48] [50] [55]
38	Julian A. Padget	[39]
39	Arnaud Payement	[42]
40	Max Schäfer	[61] [63] [64] [65] [67]
41	Michael I. Schwartzbach	[66]
42	Damien Sereni	[28] [32] [33] [35] [36] [37] [38] [41] [43] [45] [48] [50] [55] [58] [59] [60]
43	Ganesh Sittampalam	[13] [16] [21] [22] [24] [30] [31] [32] [33] [35] [36] [37] [38] [40] [43] [45] [47]
44	S. Doaitse Swierstra	[6] [18]
45	Peter Thiemann	[39]
46	Julian Tibble	[32] [33] [35] [36] [37] [38] [40] [41] [43] [45] [47] [48] [49] [50] [53] [54] [55]
47	Frank Tip	[56]
48	Mathieu Verbaere	[34] [41] [42] [44] [45] [46] [48] [50] [51] [52] [55] [59] [65]
49	Clark Verbrugge	[31] [33]
50	Kris De Volder	[34]
51	Eric Van Wyk	[15] [25] [27]

Colors in the list of coauthors