Education

We are offering a series of projects under the umbrella of mining cloud cost awareness, that is, of software developers being aware of the costs of deploying and operating cloud-based software.

This project aims to investigate what is the environmental footprint of training and using chatbots.

This project is concerned with investigating how to push updates to software on protected servers, such as those used by hospitals. This is an embedded project in collaboration with an industrial partner that offers an internship in conjunction with it.

Determining Irrigation Events in collaboration with CropX

LabeBook is an integrative platform in the field of experimental science. The objective of this project is to develop a test environment to test its key functionalities

This project is about software development,and it will be run in collaboration with Klippa Groningen. The objective is to develop a novel approach to add components into the Klippa frontend

Klippa OCR preprocessing features

This project aims at building a scalable infrastructure for mining software projects.

The goal of this project is to elicit the requirements for automated TD management solutions, using various sources (e.g., mailing lists and academic surveys with practitioners).

The goal of this project is to investigate the topics discussed by developers in various artifacts generated by open source projects, e.g., communication channels such as emails, issues in issue trackers, pull requests, and IRC (internet relay chat).

This thesis will look into the unsupervised Anomaly Detection (AD) solutions in the DevOps CI/CD pipeline of SIG.

There are many parts of this project, offering interesting and challenging opportunities at the intersection of software engineering and artificial intelligence.

Join us in understanding the many ways in which development activities are unfair, the extent of the problem, and solutions to mitigate it. There are many interesting research problems here that will need software engineering and artificial intelligence-based solutions.

This project involves the identification of issues in global teams and/or ways to solve the problems experienced by global developers.

This project aims to improve code velocity at Mozilla Foundations. This project is in collaboration with Marco Castelluccio from Mozilla Foundations.

This thesis will generate a code for medium-size, preferably larger, software projects using LLMs. It will also assess the quality of the code generated using LLMs. This project is in collaboration with the Software Improvement Group (SIG) from Amsterdam.

What is readable software? How do you write more readable software? This project is in collaboration with Prof. Rui Abreu, a research software engineer with Meta.

This study finds what people say about fairness on social media.

Infer systematic biases in the choice of development activities using ML and AI techniques. This project is in collaboration with Prof. Mei Nagappan from the University of Waterloo.

The goal of this project is to explore how Rascal can support the definition of domain-specific spreadsheet languages.

The goal of this project is provide an M3 bridge to the Ethereum Solidity language. This will enable analysis and reverse engineering of Smart Contracts running on the Ethereum blockchain.

The goal of this project is to investigate how to embed Web-based diagram editor frameworks into the Salix model for defining UIs.

In this project the goal is to obtain a high quality Rascal grammar from the Swift language reference, in a (semi-)automatic, traceable way.

Some time ago, Nick Szabo wrote an essay exploring how a language for smart contracts could look like. The goal of this project is to go one step further to define a proper semantics and implementation of a language like this.

CodeBuff has been implemented in the context of the ANTLR parse generator, and uses its internal parse tree data structures for learning and formatting. We're interested in transferring CodeBuff to the context of the Rascal language workbench.