Searched for: contributor%3A%22Poulsen%2C+C.B.+%28graduation+committee%29%22
(1 - 20 of 24)

Pages

List view
Grid view
document
Henkes, Casper (author)
From formal hardware models to programming language implementations concurrency is everywhere. While there has been a lot of work done on verifying concurrent systems a large part of it is focused on SC. In practice, it is more common to encounter weak memory models for which the techniques developed for SC do not work. There exists previous...
master thesis 2024
document
Bekooy, Mark (author)
Type annotations in Python are an integral part of static analysis. They can be used for code documentation, error detection and the development of cleaner architectures. By enhancing code quality, they contribute to the robustness, maintainability and comprehensibility of codebases. Tools like static type checkers use type annotations to detect...
master thesis 2024
document
Sandifort, Jelle (author)
This paper presents a comprehensive experimental study on the use and impact of external repositories in the Maven ecosystem. For this research the prevalence, naming patterns, and potential risks associated with external repositories were analyzed. We analyzed 199,188 packages and found that 3.29% of projects employ external repositories. Our...
bachelor thesis 2024
document
Roest, Vivian (author)
This paper examines the release practices of Java Maven Repositories on GitHub. Most prior research in this vein has been done on Maven Central, the largest Maven package repository. However, GitHub hosts 15.5 million Java repositories, and is left untapped. Additionally of interest is the fact that GitHub provides a competitor to Maven Central,...
bachelor thesis 2024
document
Kuļikovskis, Gints (author)
This study conducts an investigation of the challenges faced by aging projects in Maven Central, focusing on the issue of missing dependencies. Using the Maven Explorer indexer, we systematically examine the correlation between the age of a project and the frequency of dependency resolution failures. Our analysis reveals a notable trend: older...
bachelor thesis 2024
document
van der Schoot, Mathijs (author)
The Maven ecosystem, with an emphasis on Maven Central, contains a plethora of toy-projects. This paper addresses this problem by formulating a core containing the pillars of the Maven ecosystem, such that it can be exploited for research concerning li- brary quality. The construction of said core is done by analyzing the availability, relevance...
bachelor thesis 2024
document
Cromjongh, Casper (author)
In spite of progress on hardware design languages, the design of high-performance hardware accelerators forces many design decisions specializing the interfaces of these accelerators in ways that complicate the understanding of the design and hinder modularity and collaboration. In response to this challenge, Tydi has been presented as an open...
master thesis 2023
document
Diepraam, Terts (author)
Algebraic effects and handlers have become a popular abstraction for effectful computation, with implementations even in mainstream programming languages, such as OCaml. The operations of an algebraic effect define the syntax of the effect, while handlers define the semantics. This provides modularity, because we can choose which handler to...
master thesis 2023
document
feng, lang (author)
Type inference plays a pivotal role in modern software development as it aids in understanding code, detecting errors, and facilitating code completion. Two main approaches, static analysis, and machine learning, contribute to this process. Each approach has its own benefits and limitations. This thesis investigates the potential of combining...
master thesis 2023
document
Janssen, Boris (author)
The Statix meta-language has been developed in order to simplify the definition of static semantics in programming languages. A high-level static semantics definition of a language in Statix can be used to generate a type-checker, hence abstracting over the shared implementation details. Statix should be able to express the static semantics of...
master thesis 2023
document
Bakker, Roy (author)
Information exchange through the countless webservices is central in the current age of technology, which increases the importance for security in these developments. One such security feature is the validation of data based on standardized data structures. The aim of this thesis is to develop a flexible hardware-accelerated text-based...
master thesis 2022
document
Collé, Baptiste (author)
Most deep learning models fail to generalize in production. Indeed, sometimes data used during training does not completely reflect the deployed environment. The test data is then considered out-of-distribution compared to the training data. In this paper, we focus on out-of-distribution performance for image classification. In fact,...
bachelor thesis 2022
document
Assini, Leo (author)
The use of Transformers outside the realm of natural language processing is becoming more and more prevalent. Already in the classification of data sets such as CIFAR-100 it has shown to be able to perform just as well as the much more established Convolutional Neural Network. This paper investigates the possible out-of-distribution capabilities...
bachelor thesis 2022
document
van der Gugten, Loek (author)
Refactorings are program transformations that preserve the observable behavior of the program. The refactoring function inlining replaces a function call with the contents of the referenced function definition. To preserve the behavior, properties such as reference relations must be retained and language constructs like 'return' statements must...
master thesis 2022
document
Rasing, Stef (author)
Brute, A state-of-the-art inductive program synthesis (IPS) system, introduced a two-phase algorithm; first, complex pro- gram instructions are invented from basic instructions. Sec- ond, a best-first search algorithm finds a sequence of invented instructions to solve an IPS task. This method is limited because invented instructions are always...
bachelor thesis 2022
document
Azimzade, Farhad (author)
Inductive Program Synthesis is the problem of generating programs from<br/>a set of input-output examples. Since it can be reduced to the search problem in the space of programs, many search algorithms have been successfully<br/>applied to it over the years. This paper proposes, develops, and analyses<br/>a novel algorithm in the family of...
bachelor thesis 2022
document
van Wieringen, Victor (author)
In this research the Metropolis-Hastings algorithmis implemented for the problem of program synthesis and compared with Brute, a best-first search, together with multiple other different search algorithms. The implementation and choices of the Metrolpolis-Hastings algorithm are discussed in detail. The algorithms are tested for three different...
bachelor thesis 2022
document
de Boer, Toon (author)
Many development models exist, but finding which one is the right for a specific project or software company is difficult. Every project has its requirements and might need its own development model. The most popular development models are trunk-based development and merge requests.<br/>There are no clear science-based guidelines on when to...
master thesis 2021
document
Sijm, Maarten P. (author)
The Scannerless Generalized LR (SGLR) parsing algorithm supports the development of composed languages seamlessly but does not support incremental parsing. The Incremental Generalized LR (IGLR) parsing algorithm, on the other hand, does not support the seamless composition of languages. This thesis presents the Incremental Scannerless...
master thesis 2021
document
Bilstra, Cas (author)
Machine learning models are increasing in popularity and are nowadays used in a wide range of critical applications in fields such as Automotive, Aviation and Medical. Among machine learning models, tree ensemble models are a popular choice due to their competitive performance and high degree of explainability. Like most machine learning models...
master thesis 2021
Searched for: contributor%3A%22Poulsen%2C+C.B.+%28graduation+committee%29%22
(1 - 20 of 24)

Pages

List view
Grid view