Hello there! ๐
- โก I'm a researcher at IT4Innovations, pursuing a PhD in High-performance computing ๐.
- โญ I enjoy programming in Rust
, Python ๐, Kotlin, and TypeScript. Sometimes I also use C, C++, Java, Javascript or PHP.
- ๐โโ๏ธ I participate in ACM SIGMOD programming contests (๐ฅ2019, ๐ฅ2018, 2017, 2016)
- ๐ I love to contribute to open source projects
I am a proud member of the following Rust teams and working groups:
#wg-compiler-performance
: improving the performance of the Rust compiler#t-infra
: maintaining CI and various other Rust infrastructure in the Infra team#wg-parallel-rustc
: parallelizing the Rust compiler#wg-binary-size
: improving the binary size of Rust programs
- ๐ I sometimes give talks...
- CPU design microarchitecture implications (Avast C++ Meeting 2019, Meeting C++ 2019)
- ๐ ...or write about programming stuff
Apart from that, I work(ed) on various projects:
- ๐ฌ Research:
- HyperQueue: user-friendly and scalable job scheduler for HPC clusters
- RSDS: Dask server reimplemented in Rust
- Estee: simulator for task-based workflow schedulers
- Snailwatch: continuous performance monitoring service
- ๐ป Processor microarchitecture effects demonstrations (CPU, GPU)
Rust crates
- cargo-pgo Cargo subcommand for optimizing Rust code with PGO and BOLT
- cargo-remark Cargo subcommand for examining LLVM optimization remarks generated by Rust programs
- rust-delegate Crate for delegating function implementations to struct fields
- ๐ Debugging and profiling tools
- CUDA memory access visualiser (Master thesis ๐)
- GUI & stack visualiser for C/C++ debuggers (Bachelor thesis ๐)
- Web-based x86 assembler & debugger