Oege de Moor - RankMe

73 papers A* 7A 9B 8C 4Journal 13Unranked 28

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