A5083203337- Parallel Computing and Optimization Techniques
- Embedded Systems Design Techniques
- Logic, programming, and type systems
- Distributed and Parallel Computing Systems
- Real-Time Systems Scheduling
- Software System Performance and Reliability
- Software Engineering Research
- Bioinformatics and Genomic Networks
- Metabolomics and Mass Spectrometry Studies
- Advanced Data Storage Technologies
- IoT and Edge/Fog Computing
- Advanced Proteomics Techniques and Applications
- Cloud Computing and Resource Management
Ghent University
2018-2024
IMEC
2023
Ghent University Hospital
2019
Unipept (https://unipept.ugent.be) is a web application for metaproteome data analysis, with an initial focus on tryptic-peptide-based biodiversity analysis of MS/MS samples. Because the true potential metaproteomics lies in gaining insight into expressed functions complex environmental samples, 4.0 release introduces complementary functional based GO terms and EC numbers. Integration this new existing important asset extended pipeline. As proof concept, human faecal set from 15 healthy...
It is extremely hard and time-consuming to make correct efficient programs for microcontrollers. Usually microcontrollers are programmed in a low level programming language such as C which makes them debug maintain. To raise the abstraction level, many high languages have provided support Examples include Python, Lua, C# JavaScript. Using these has downside that they orders of magnitude slower than low-level languages. Moreover, often provide no remote debugging support.
Many of today's software systems are parallel or concurrent. With the rise Node.js and more generally event-loop architectures, many need to handle concurrency. However, its non-deterministic behavior makes it hard reproduce bugs. Today's interactive debuggers unfortunately do not support developers in debugging issues. They only allow us explore a single execution path. Therefore, some bugs may never be reproduced session, because right conditions triggered. As solution, we propose...
Debugging IoT applications is challenging due to the hardware constraints of devices, making advanced techniques like record-replay debugging impractical. As a result, programmers often rely on manual resets or inefficient and time-consuming such as printf. Although simulators can help in that regard, their applicability limited because they fall short accurately simulating reproducing runtime conditions where bugs appear. In this work, we explore novel approach called event-based...
Many of today's software systems are parallel or concurrent. With the rise Node.js and more generally event-loop architectures, many need to handle concurrency. However, their non-deterministic behavior makes it hard debug. Today's interactive debuggers unfortunately do not support developers in debugging issues. They only allow exploring a single execution path. Therefore, some bugs may never be reproduced session, because conditions trigger reached. As solution, we propose multiverse...
Abstract A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version such semantics notoriously difficult. For this reason, tools for computer aided engineering were created. Many these allow programmers execute language's An executable makes it easier verify whether the execution program leads desired result. When exhibits unexpected behavior, programmer can consult reduction graph see what went wrong....