学术出版物

2019

无监督重新校准.
Albert Ziegler 和 Pawel Czyz。 正在投稿中。

标准编码器
一种用于衡量生成源代码更改所需工作量的机器学习方法.
Ian Wright 和 Albert Ziegler。
第七届软件工程中实现人工智能协同国际研讨会 (RAISE 2019) 论文集，蒙特利尔。

2018

衡量软件开发效率：一种机器学习方法.
Jean Helie、Ian Wright、Albert Ziegler。
在“面向编程的机器学习”研讨会上发表的论文
隶属于 2018 年逻辑编程联合会议 (FLoC)。

2017

面向对象 Datalog 的代数数据类型。
Max Schäfer、Pavel Avgustinov、Oege de Moor。 论文草稿。

2016

QL：关系数据上的面向对象查询。
Pavel Avgustinov、Oege de Moor、Michael Peyton Jones、Max Schäfer。
欧洲面向对象编程会议 (ECOOP)。

2015

跟踪静态分析违规行为以捕获开发人员特征。
Pavel Avgustinov、Arthur I. Baars、Anders S. Henriksen、Greg Lavender、Galen Menzel、
Oege de Moor、Max Schäfer、Julian Tibble。
国际软件工程大会 (ICSE)。 实验数据。

2010

具有复杂类型层次结构的 Datalog 的类型推断。
Max Schäfer、Oege de Moor。 编程语言原理 (POPL)。

2008

Datalog 的类型推断及其在查询优化中的应用。
Oege de Moor、Damien Sereni、Pavel Avgustinov、Mathieu Verbaere。
数据库系统原理 (PODS)。

为优化 Datalog 编译器添加魔法。
Damien Sereni、Pavel Avgustinov、Oege de Moor。
国际数据管理大会 (SIGMOD)。

2007

QL：轻松实现面向对象查询。
Oege de Moor、Damien Sereni、Mathieu Verbaere、Elnar Hajiyev、Pavel Avgustinov、
Torbjörn Ekman、Neil Ongkingco、Julian Tibble。
软件工程中的生成和转换技术 (GTTSE)。
最终出版物可在 Springer 上获取。

用于源代码分析的 QL。
Oege de Moor、Mathieu Verbaere、Elnar Hajiyev、Pavel Avgustinov、Torbjörn Ekman、
Neil Ongkingco、Damien Sereni、Julian Tibble。
源代码分析和操作 (SCAM)。 也可通过 IEEE Xplore 获取。