@inproceedings{AvgustinovTM07a,
  title = {A comparison of compilation techniques for trace monitors with free variables},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1145/1297846.1297905},
  url = {http://doi.acm.org/10.1145/1297846.1297905},
  researchr = {https://researchr.org/publication/AvgustinovTM07a},
  cites = {0},
  citedby = {0},
  pages = {821-822},
  booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}

@inproceedings{MoorVHAEOST07,
  title = {Keynote Address: .QL for Source Code Analysis},
  author = {Oege de Moor and Mathieu Verbaere and Elnar Hajiyev and Pavel Avgustinov and Torbjörn Ekman and Neil Ongkingco and Damien Sereni and Julian Tibble},
  year = {2007},
  doi = {10.1109/SCAM.2007.31},
  url = {http://dx.doi.org/10.1109/SCAM.2007.31},
  tags = {points-to analysis, analysis, source-to-source, Meta-Environment, open-source, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorVHAEOST07},
  cites = {0},
  citedby = {0},
  pages = {3-16},
  booktitle = {Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France},
  publisher = {IEEE},
}

@inproceedings{AvgustinovTM07,
  title = {Making trace monitors feasible},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1145/1297027.1297070},
  url = {http://doi.acm.org/10.1145/1297027.1297070},
  researchr = {https://researchr.org/publication/AvgustinovTM07},
  cites = {0},
  citedby = {0},
  pages = {589-608},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@inproceedings{OngkingcoATHMS06,
  title = {Adding open modules to AspectJ},
  author = {Neil Ongkingco and Pavel Avgustinov and Julian Tibble and Laurie J. Hendren and Oege de Moor and Ganesh Sittampalam},
  year = {2006},
  doi = {10.1145/1119655.1119664},
  url = {http://doi.acm.org/10.1145/1119655.1119664},
  tags = {AspectJ, source-to-source, open-source},
  researchr = {https://researchr.org/publication/OngkingcoATHMS06},
  cites = {0},
  citedby = {1},
  pages = {39-50},
  booktitle = {Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006},
  editor = {Robert E. Filman},
  publisher = {ACM},
  isbn = {1-59593-300-X},
}

@inproceedings{AvgustinovTM07:0,
  title = {On the Semantics of Matching Trace Monitoring Patterns},
  author = {Pavel Avgustinov and Julian Tibble and Oege de Moor},
  year = {2007},
  doi = {10.1007/978-3-540-77395-5_2},
  url = {http://dx.doi.org/10.1007/978-3-540-77395-5_2},
  tags = {semantics, pattern matching},
  researchr = {https://researchr.org/publication/AvgustinovTM07%3A0},
  cites = {0},
  citedby = {0},
  pages = {9-21},
  booktitle = {Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers},
  editor = {Oleg Sokolsky and Serdar Tasiran},
  volume = {4839},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77394-8},
}

@inproceedings{AllanACHKLMSST05,
  title = {Adding trace matching with free variables to AspectJ},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1094811.1094839},
  url = {http://doi.acm.org/10.1145/1094811.1094839},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/AllanACHKLMSST05},
  cites = {0},
  citedby = {0},
  pages = {345-364},
  booktitle = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-031-0},
}

@inproceedings{SereniAM08,
  title = {Adding magic to an optimising datalog compiler},
  author = {Damien Sereni and Pavel Avgustinov and Oege de Moor},
  year = {2008},
  doi = {10.1145/1376616.1376673},
  url = {http://doi.acm.org/10.1145/1376616.1376673},
  tags = {rule-based, SQL, compiler, database, context-aware, magic sets, Datalog, transformation, program transformation},
  researchr = {https://researchr.org/publication/SereniAM08},
  cites = {0},
  citedby = {0},
  pages = {553-566},
  booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008},
  editor = {Jason Tsong-Li Wang},
  publisher = {ACM},
  isbn = {978-1-60558-102-6},
}

@inproceedings{AvgustinovCHKLLMSST05,
  title = {abc: an extensible AspectJ compiler},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1052898.1052906},
  url = {http://doi.acm.org/10.1145/1052898.1052906},
  tags = {AspectJ, compiler},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST05},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005},
  editor = {Mira Mezini and Peri L. Tarr},
  publisher = {ACM},
  isbn = {1-59593-042-6},
}

@inproceedings{AvgustinovCHKLLMSST05:0,
  title = {Optimising aspectJ},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1145/1065010.1065026},
  url = {http://doi.acm.org/10.1145/1065010.1065026},
  tags = {AspectJ},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST05%3A0},
  cites = {0},
  citedby = {0},
  pages = {117-128},
  booktitle = {Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005},
  editor = {Vivek Sarkar and Mary W. Hall},
  publisher = {ACM},
  isbn = {1-59593-056-6},
}

@inproceedings{AvgustinovHOMSTV07,
  title = {Semantics of static pointcuts in aspectJ},
  author = {Pavel Avgustinov and Elnar Hajiyev and Neil Ongkingco and Oege de Moor and Damien Sereni and Julian Tibble and Mathieu Verbaere},
  year = {2007},
  doi = {10.1145/1190216.1190221},
  url = {http://doi.acm.org/10.1145/1190216.1190221},
  tags = {programming languages, AspectJ, object-oriented programming, semantics, Prolog, rule-based, translation, data-flow language, pattern language, graph query, data-flow programming, data-flow, graph-rewriting, rules, writing, logic programming, aspect oriented programming, programming, subject-oriented programming, logic, rewriting logic, rewriting, Datalog, feature-oriented programming, Stratego, query language},
  researchr = {https://researchr.org/publication/AvgustinovHOMSTV07},
  cites = {1},
  citedby = {0},
  pages = {11-23},
  booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  editor = {Martin Hofmann and Matthias Felleisen},
  publisher = {ACM},
  isbn = {1-59593-575-4},
}

@inproceedings{AvgustinovBHMOSST06,
  title = {Aspects and Data Refinement},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2006},
  doi = {10.1007/11783596_3},
  url = {http://dx.doi.org/10.1007/11783596_3},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/AvgustinovBHMOSST06},
  cites = {0},
  citedby = {0},
  pages = {5-9},
  booktitle = {Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  editor = {Tarmo Uustalu},
  volume = {4014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35631-2},
}

@inproceedings{MoorSVHAEOT07,
  title = {.QL: Object-Oriented Queries Made Easy},
  author = {Oege de Moor and Damien Sereni and Mathieu Verbaere and Elnar Hajiyev and Pavel Avgustinov and Torbjörn Ekman and Neil Ongkingco and Julian Tibble},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_3},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_3},
  tags = {data-flow language, reuse, data-flow, Meta-Environment, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorSVHAEOT07},
  cites = {1},
  citedby = {0},
  pages = {78-133},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@inproceedings{AllanACDGHKLLMSSTV05,
  title = {abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Bruno Dufour and Christopher Goard and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Clark Verbrugge},
  year = {2005},
  doi = {10.1145/1094855.1094877},
  url = {http://doi.acm.org/10.1145/1094855.1094877},
  tags = {programming languages, workbench, AspectJ, object-oriented programming, aspect oriented programming, compiler, programming, subject-oriented programming, language workbench, feature-oriented programming},
  researchr = {https://researchr.org/publication/AllanACDGHKLLMSSTV05},
  cites = {0},
  citedby = {0},
  pages = {88-89},
  booktitle = {Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-193-7},
}

@article{AvgustinovCHKLLMSST06,
  title = {\emph{abc}: An Extensible {AspectJ} Compiler},
  author = {Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2006},
  doi = {10.1007/11687061_9},
  url = {http://dx.doi.org/10.1007/11687061_9},
  tags = {programming languages, workbench, AspectJ, object-oriented programming, rule-based, Java, data-flow language, design research, language design, data-flow programming, data-flow, code generation, type checking, reviewing, aspect oriented programming, compiler, programming, subject-oriented programming, language workbench, design, extensible language, feature-oriented programming},
  researchr = {https://researchr.org/publication/AvgustinovCHKLLMSST06},
  cites = {0},
  citedby = {1},
  journal = {Transactions on Aspect-Oriented Software Development},
  pages = {293-334},
}

@inproceedings{AvgustinovTBHLMOS06,
  title = {Efficient trace monitoring},
  author = {Pavel Avgustinov and Julian Tibble and Eric Bodden and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam},
  year = {2006},
  doi = {10.1145/1176617.1176673},
  url = {http://doi.acm.org/10.1145/1176617.1176673},
  researchr = {https://researchr.org/publication/AvgustinovTBHLMOS06},
  cites = {0},
  citedby = {0},
  pages = {685-686},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{HajiyevOAMSTV06,
  title = {Datalog as a pointcut language in aspect-oriented programming},
  author = {Elnar Hajiyev and Neil Ongkingco and Pavel Avgustinov and Oege de Moor and Damien Sereni and Julian Tibble and Mathieu Verbaere},
  year = {2006},
  doi = {10.1145/1176617.1176664},
  url = {http://doi.acm.org/10.1145/1176617.1176664},
  tags = {programming languages, object-oriented programming, aspect oriented programming, programming, subject-oriented programming, Datalog, feature-oriented programming},
  researchr = {https://researchr.org/publication/HajiyevOAMSTV06},
  cites = {0},
  citedby = {0},
  pages = {667-668},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{AllanACHKLLMSST05,
  title = {\emph{abc}: The AspectBench Compiler for AspectJ},
  author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie J. Hendren and Sascha Kuzins and Jennifer Lhoták and Ondřej Lhoták and Oege de Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
  year = {2005},
  doi = {10.1007/11561347_2},
  url = {http://dx.doi.org/10.1007/11561347_2},
  tags = {AspectJ, compiler},
  researchr = {https://researchr.org/publication/AllanACHKLLMSST05},
  cites = {0},
  citedby = {0},
  pages = {10-16},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{BellamyAMS08,
  title = {Efficient local type inference},
  author = {Ben Bellamy and Pavel Avgustinov and Oege de Moor and Damien Sereni},
  year = {2008},
  doi = {10.1145/1449764.1449802},
  url = {http://doi.acm.org/10.1145/1449764.1449802},
  tags = {model-to-model transformation, type inference, rule-based, Java, data-flow language, model checking, type soundness, transformation language, points-to analysis, analysis, static analysis, constraints, data-flow, source-to-source, rules, type checking, model transformation, decompilation, data-flow analysis, local type inference, open-source, transformation},
  researchr = {https://researchr.org/publication/BellamyAMS08},
  cites = {0},
  citedby = {0},
  pages = {475-492},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{MoorSAV08,
  title = {Type inference for datalog and its application to query optimisation},
  author = {Oege de Moor and Damien Sereni and Pavel Avgustinov and Mathieu Verbaere},
  year = {2008},
  doi = {10.1145/1376916.1376957},
  url = {http://doi.acm.org/10.1145/1376916.1376957},
  tags = {programming languages, object-oriented programming, type inference, rule-based, Java, meta programming, type soundness, type system, compiler, subject-oriented programming, abstraction, Meta-Environment, Datalog, feature-oriented programming, meta-objects, query language},
  researchr = {https://researchr.org/publication/MoorSAV08},
  cites = {0},
  citedby = {0},
  pages = {291-300},
  booktitle = {Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada},
  editor = {Maurizio Lenzerini and Domenico Lembo},
  publisher = {ACM},
  isbn = {978-1-60558-108-8},
}

@inproceedings{AvgustinovBHHLMOSSTV06,
  title = {Aspects for Trace Monitoring},
  author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Laurie J. Hendren and Ondřej Lhoták and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Mathieu Verbaere},
  year = {2006},
  doi = {10.1007/11940197_2},
  url = {http://dx.doi.org/10.1007/11940197_2},
  researchr = {https://researchr.org/publication/AvgustinovBHHLMOSSTV06},
  cites = {0},
  citedby = {0},
  pages = {20-39},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}