Publications


 

Technical Papers and Reports:

  • Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble. .QL for Source Code Analysis. Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), September 30-October 1, 2007, Paris, France.

  • Oege de Moor, Damien Sereni, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, and Julian Tibble. .QL: Object-Oriented Queries Made Easy. Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

  • Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. Semantics of Static Pointcuts in AspectJ. Proceedings of the 34th Annual International ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), January 17-19, 2007, Nice, France.

  • Oege de Moor, Elnar Hajiyev, Mathieu Verbaere. Object-Oriented Queries over Software Systems (abstract of invited talk). Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2007), January 15-16, 2007, Nice, France.

  • Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. Aspects and Data Refinement. Proceedings of the Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops (FATES 2006 and RV 2006), August 15-16, 2006, Seattle, WA, USA.

  • Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. Aspects for Trace Monitoring. Proceedings of the Eighth International Conference on Mathematics of Program Construction (MPC 2006), July 3-5, 2006, Kuressaare, Estonia.

  • Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. Semantics of Static Pointcuts in AspectJ. Technical Report abc-2006-3, AspectBench Compiler Project, 2006. http://aspectbench.org/techreports#abc-2006-3.

  • Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. Datalog Semantics of Static Pointcuts in AspectJ 1.2.1. Technical Report abc-2006-2, AspectBench Compiler Project, 2006. http://aspectbench.org/techreports#abc-2006-2.

  • Elnar Hajiyev, Mathieu Verbaere and Oege de Moor. CodeQuest: Scalable Source Code Queries with Datalog. The 20th Annual European Conference on Object-Oriented Programming (ECOOP 2006), July 03-07, 2006, Nantes, France.

Workshops and Posters:

  • Elnar Hajiyev, Mathieu Verbaere, Oege de Moor. Improve Software Quality with SemmleCode - an Eclipse Plugin for Semantic Code Search. In Companion of the 22nd Annual International ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2007), October 21-25, 2007, Montréal, Canada. ACM Press 2007 (extended abstract).

  • Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere. Datalog as a Pointcut Language in Aspect Oriented Programming. In Companion of the 21 th Annual International ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2006), October 22-26, 2006, Portland , OR , USA . ACM Press 2006 (poster + extended abstract).


  • Elnar Hajiyev, Mathieu Verbaere and Oege de Moor. CodeQuest with Datalog. The 5 th Annual International Conference on Aspect-Oriented Software Development (AOSD 2006), March 20-24, 2006, Bonn , Germany (poster).


  • Elnar Hajiyev, Mathieu Verbaere, Oege de Moor and Kris de Volder. CodeQuest: Source Code Querying with Datalog. In Companion of the 20th Annual International ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005), October 16-20, 2005, San Diego, CA, USA. ACM Press 2005 (poster + extended abstract).

Theses:

  • Elnar Hajiyev. CodeQuest: Source Code Querying with Datalog. Master's Thesis, Programming Tools Group, University of Oxford, UK, 2005.

  • Elnar Hajiyev. Implementation of an Instruction Set Simulator for the T5016tp 16 Bit RISC Test-Processor. Bachelor's Thesis, Faculty of Mathematics, Natural Sciences and Informatics, Brandenburg University of Technology, Germany, 2004.