Test Program-Based Generative Fuzzing for Differential Testing of the Kotlin Compiler

Kotlin is a programming language best known for its interoperability with Java, as well as the measurable improvements it offers over it. Since it became Android’s go-to language in 2019, the popularity and impact of Kotlin have risen greatly. Amidst this surge in popularity, the Kotlin developer team is working on a new version of the compiler...

In-IDE code generation models - a literature review

Code generation is becoming one of the most important tools in an Integrated Development Environment (IDE) for programmers, be they novices or experts. It allows them to produce code faster, avoid typos and other mistakes, be more efficient and easily turn ideas into code. As such, there are many in-IDE code generation models to choose from,...

Compressing code generation language models on CPUs: Using Group Lasso pruning and post-training quantization

Code generation models have become more popular recently, due to the fact that they assist developers in writing code in a more productive manner. While these large models deliver impressive performance, they require significant computational resources and memory, making them difficult to deploy and expensive to train. Additionally, their large...

How can large language models and prompt engineering be leveraged in Computer Science education?: Systematic literature review

In recent years, significant progress has been made in the field of natural language processing (NLP) through the development of large language models (LLMs) like BERT and ChatGPT. These models have showcased remarkable abilities across a range of NLP tasks. However, effectively harnessing their potential requires meticulous prompt engineering...

Use of AI-driven code generation models in teaching and learning programming: a systematic literature review

The recent emergence of AI-driven code generation models can potentially transform programming education. To pinpoint the current state of research on using AI code generators to support learning and teaching programming, we conducted a systematic literature review with 21 papers published since 2018. The review presents the teaching and...

Testing Code Generators against Definitional Interpreters

Large companies suffer from the increasing complexity that exist in their software systems. Evolving their software becomes even harder if we consider that a change in one system can affect several other parts of their software architecture. Especially banks that need to be always complied with regulations, have to constantly make changes in...

Lunar Zebro - Software Design Of The Locomotion Sub-System With The Dezyne Model Driven Development Tool

The TU Delft ZEs-Benige RObot (Zebro) project is presented with the opportunity to bring the Zebro concept to the surface of our moon. To maximise the probability of success, the Locomotion Sub-System (LSS) software of Lunar Zebro is developed using a novel model-driven design tool called Dezyne. Dezyne uses a proprietary language to describe...

Development and Reuse of Engineering Automation

Increasingly engineers in, for example, Aerospace Engineering create software to support their daily engineering activities. This is referred to as Engineering Automation. A prime example of Engineering Automation is Knowledge Based Engineering. It is desirable to reuse and share this software, rather than to discard it soon after its creation....

The MetaForma Language: A DSL to Program the ATRON Self-Reconfigurable Robot

Self-reconfigurable modular robots are mechatronic devices that have the capability to modify their own shape. They have a promising potential as a result of being able to solve a wider range of problems. However, programming self-reconfigurable robots is in general a difficult task. General-purpose languages like ANSI-C or Java provide only...

MATLAB to Fixed-Point C Code Generation and its Application to Real-Time Heartbeat Detection

MATLAB is a popular very-high-level-language used for visualizing, prototyping and perform- ing design-space exploration of algorithms. But, this flexibility comes at the price of high memory consumption and slow execution times, making it unsuitable for use in an embedded system. The possibility of using Embedded MATLAB (EML), a small subset of...