Publications

Selected Academic Publications

2018

Measuring software development productivity: a machine learning approach. Jean Helie, Ian Wright, Albert Ziegler. Paper presented at the ‘Machine Learning for Programming’ Workshop affiliated with the 2018 Federated Logic Conference (FLoC).

2017

Algebraic Data Types for Object-oriented Datalog. Max Schäfer, Pavel Avgustinov, Oege de Moor. Draft paper.

2016

QL: Object-oriented Queries on Relational Data. Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer. European Conference on Object-Oriented Programming (ECOOP).

2015

Tracking Static Analysis Violations Over Time to Capture Developer Characteristics. Pavel Avgustinov, Arthur I. Baars, Anders S. Henriksen, Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble. International Conference on Software Engineering (ICSE). Experimental data.

2010

Type Inference for Datalog with Complex Type Hierarchies. Max Schäfer, Oege de Moor. Principles of Programming Languages (POPL).

2008

Type Inference for Datalog and Its Application to Query Optimisation. Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere. Principles of Database Systems (PODS).

Adding Magic to an Optimising Datalog Compiler. Damien Sereni, Pavel Avgustinov, Oege de Moor. International Conference on Management of Data (SIGMOD).

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. Generative and Transformational Techniques in Software Engineering (GTTSE). The final publication is available at Springer.

QL for Source Code Analysis. Oege de Moor, Mathieu Verbaere, Elnar Hajiyev, Pavel Avgustinov, Torbjörn Ekman, Neil Ongkingco, Damien Sereni, Julian Tibble. Source Code Analysis and Manipulation (SCAM). Also available via IEEE Xplore.

Book a demo

Learn how Semmle lets you create reliable and trustworthy code without slowing down.

Enter your info below, and we will contact you shortly to book a convenient time.

Name *

!

Email *

!

Company *

!

Number of
developers

Phone

We will store the information you provide in this form so that we can send you tailored information about our products and services. For more information, see our privacy notice

Please check the form for errors marked with “!”.

Request demo