Searched for: contributor%3A%22van+Deursen%2C+A.+%28graduation+committee%29%22
(1 - 20 of 50)

Pages

document
van der Noort, Rover (author)
Edge AI is an architectural deployment tactic that brings AI models closer to the user and data, relieving internet bandwidth usage and providing low latency and privacy. It remains unclear how this tactic performs at scale, since the distribution overhead could impact the total energy consumption. We identify four architectural scalability...
master thesis 2024
document
Hijdra, Rens (author)
In Sustainable Software Engineering there is a need for tooling and guidelines for developers. In this research we aim to provide such guidelines. We find that for our experimental setup and set of benchmarks 500 samples gives results that are likely stable at a 1% threshold in their Relative Confidence Interval Width. Running benchmarks with a...
master thesis 2024
document
Anton, Mihai (author)
In large-scale ML, data size becomes a critical variable, especially in the context of large companies, where models already exist and are hard to change and fine-tune. Time to market and model quality are essential metrics, thus looking for ways to select, prune and augment the input data while treating the model as a black box can speed up the...
master thesis 2024
document
Den Toonder, Jurriaan (author)
The global climate change crisis and the associated phenomenon of global warming have taken center stage in recent years. Greenhouse gas emissions due to electricity generation are a contributor to this problem. Internet Services running in data centers consume enormous amounts of energy and should be optimized to reduce their greenhouse gas...
master thesis 2023
document
Tjiong, Bailey (author)
Containerization has become a fundamental component of software development and the continuous integration and continuous delivery (CI/CD) pipeline. However, the energy overhead of containerization solutions such as Docker results not only in higher costs but also has environmental consequences. Currently, the energy efficiency of containers is...
master thesis 2023
document
Li, Jingyu (author)
Call graphs are useful tools for representing method relationships within software projects and correlations between dependencies. Although static analysis is a prevalent method for call graph construction, it has its limitations such as struggling with handling dynamic features and lambda expressions. In this research, we introduced an approach...
master thesis 2023
document
de Bruin, Ivar (author)
Agda is a language used to write computer-verified proofs. It has a module system that provides namespacing, module parameters and module aliases. These parameters and aliases can be used to write shorter and cleaner proofs. However, the current implementation of the module system has several problems, such as an exponential desugaring of module...
master thesis 2023
document
Van Steenweghen, Abel (author)
Over the past years the size of deep learning models has been growing consistently. This growth has led to significant improvements in performance, but at the expense of increased computational resource demands. Compression techniques can be used to improve the efficiency of deep learning models by shrinking their size and computational needs,...
master thesis 2023
document
Li, Bowu (author)
The escalating complexity of software systems in the digital age heavily relies on reusable code collections(packages) for their development and operation. Despite the numerous advantages of pre-existing libraries, managing dependencies can be intricate and time-consuming. This thesis focuses on enhancing package management tools through a...
master thesis 2023
document
Baartman, Wesley (author)
In this thesis, we have defined a symbolic execution technique to automatically generate test suites for programs written in functional programming languages that can find the behavioural differences between a reference implementation and a set of potentially different implementations. Our symbolic execution technique uses a constraint solver in...
master thesis 2022
document
Stallenberg, Dimitri (author)
Traditional software testing is a labor-intensive and expensive manual process. To mitigate the high cost of manual test case generation, researchers have developed various techniques for automated test case generation over the last few decades. These techniques make use of static type information to determine which data types should be used in...
master thesis 2022
document
Chuang, Ching Chi (author)
Dependency management is an important task in software maintenance. However, identifying and removing unused dependencies takes a lot of effort from developers as existing tools may discover many false positives which are challenging to distinguish. This paper proposes a decision framework to improve unused dependency detection. It is applied to...
master thesis 2022
document
Marang, Ruben (author)
Machine learning models are increasingly being used within software engineering for their predictions. Research shows that these models’ performance is increasing with new research. This thesis focuses on models for method name prediction, for which the goal is to have a model that can accurately predict method names. With this thesis, we could...
master thesis 2022
document
Molendijk, Thijs (author)
The dynamic semantics of a programming language formally describe the runtime behavior of any given program. In this thesis, we present Dynamix, a meta-language for dynamic semantics. By writing a specification for a language in Dynamix, a compiler for the language can be derived automatically.<br/><br/>Dynamix specifications compile source...
master thesis 2022
document
Moelchand, Pravesh (author)
Delays in the delivery of software projects and the corresponding cost and schedule overruns have been common problems in the software industry for years. A challenge within software project management is to make accurate effort estimations during planning. Software projects are complex networks, with multiple dependencies between software tasks...
master thesis 2022
document
van Meerten, Martijn (author)
Distributed concurrency bugs (DC bugs) are bugs that are triggered by a specific order of events in distributed systems. Traditional model checkers systematically or randomly test interleavings but suffer from the state-space explosion in long executions. This thesis presents DiscoTest, a testing tool for DC bugs in blockchain consensus...
master thesis 2022
document
Bauman, Niels (author)
Advances in data science have caused an increase in the use of Artificial Intelligence (AI), specifically Machine Learning (ML), throughout various fields. Not only in research but in the industry as well, has ML been receiving increasing amounts of interest. Many companies rely on ML models to increase the efficiency of...
master thesis 2022
document
de Haas, Olav (author)
Formal verification of imperative programs can be carried out on paper by annotating programs to obtain an outline of a proof in the style of Hoare. This process has been mechanized by the introduction of Separation Logic and computer assisted verification tools. However, the tools fail to achieve the readability and convenience of manual paper...
master 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
de Vries, Rolf (author)
As software systems evolve over time, the quality of its structure and code degrade unless developers regularly maintain it, requiring significant effort. Automated tools to help developers maintain software have been well-studied in the past. <br/>In particular, software remodularisation tools focus on improving the code structure quality with...
master thesis 2022
Searched for: contributor%3A%22van+Deursen%2C+A.+%28graduation+committee%29%22
(1 - 20 of 50)

Pages