Recent work
modelbrickyard.com, 2022
Web application to generate brick structures for printing and use in model building.
Includes image and PDF generation, persistent storage of settings for generated documents; fully localized in German and English.
Learn more: www.modelbrickyard.com
- Rust
- HTML/CSS
- Rocket
- Tera
- Fluent
- Diesel
- PostgreSQL
- nginx
Compression-aware register allocation for LibFirm, 2022
I designed and implemented an extension to the register allocator in LibFirm to support compressed instruction sets; it was implemented and evaluated for the RISC-V backend.
LibFirm is a library that provides a graph-based intermediate representation with a mature C frontend and a fully SSA-based backend that supports multiple architectures.
The optimization of the register allocator (which previously did not account for the effects of register allocation on instruction compression) yielded an improvement in net static code size of around 5.7 percent.
- C
- Python
- LibFirm
- numpy
- pandas
- matplotlib
netzwerkkarlsruhe.de, from 2020
Creation and administration of a modern web presence, including a custom event management system.
Uses the PHP-based content management framework ProcessWire.
- PHP
- HTML/CSS
- ProcessWire
- MySQL
MiniJava Compiler, 2019
As part of a team of four developers, I developed a full compiler for a simplified Java subset called MiniJava in a practical lab course.
Uses the graph-based LibFirm intermediate representation library and includes a frontend (lexing, parsing, syntactical and semantic analysis, transformation into the graph-based SSA representation used in LibFirm) as well as a simple backend for x86 (program analysis, register allocation).
Learn more on GitHub
- Java
- Swift
- LibFirm
AirTracks, 2016
Full systematic specification and implementation of an interactive viewing application for Wide Area Motion Imagery data, as part of a team of five developers; at the VID research group at Fraunhofer IOSB.
The application uses Qt and supports multiple operating systems.
- C++
- Qt
Academic publications
-
SSA-based Register Allocation for Compressed Machine Code, 2021 (Master's Thesis)
Institute of Program Structures and Data Analysis, Programming Paradigms group, KIT
-
Modeling and Simulation of Load Balancing Strategies for Computing in High Energy Physics, 2019 (Conference Paper)
23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018)
-
Calibrating Performance Models for Particle Physics Workloads, 2018 (Bachelor's Thesis)
Interdisciplinary thesis for Computer Science and Physics
Institute of Program Structures and Data Analysis, Architecture-driven Requirements Engineering Group; Institute of Experimental Particle Physics, KIT
-
Survey on Layered Materials, 2018 (Seminar Paper)
Institute for Visualization and Data Analysis, Computer Graphics group, KIT