Curriculum Vitae

- 3 mins read

Education

Publications

More Details

  • Cage: Hardware-Accelerated Safe WebAssembly. CGO'25, to appear.
    Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia.
    [Pre-Print]

  • Lasagne: a static binary translator for weak memory model architectures. PLDI'22.
    Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
    [Paper]

Talks

  • Hardware-Assisted Memory Safety. February 2024.
    Google

  • Internship Progress Talk. November 2023.
    Huawei

Experience

  • Technical University of Munich. Since Jun 2024.
    Research Associate/Doctoral Student | Munich, Germany

  • Technical University of Munich. Dec 2022 - May 2024.
    Research Assistant | Munich, Germany

    • Project: Hardware Assisted Memory Safety for WebAssembly
    • TA for Advanced Systems Programming in C++/Rust (Practical Course)
    • Designed and taught one lecture unit with accompanying exercises
    • Rust, C++, Compilers, Optimizations, WebAssembly, Binary Translation

  • Huawei Technologies Oy (Finland). Aug 2023 - Oct 2023.
    Research Intern | Helsinki, Finland

    • Helsinki System Security Lab
    • Worked on compiler optimizations, compilation correctness, and security
    • Rust, WebAssembly, JIT compilers

  • golane UG. Oct 2021 - Aug 2022.
    Flutter Developer/DevOps | Munich, Germany

    • Developed a mobile ticketing application in Flutter
    • Re-engineered the backend Kubernetes stack (mTLS, high availability, backups, …)
    • Backend development in Golang

  • Konverto AG (previously: Raiffeisen OnLine). Jul-Aug 2017; Jul-Sep 2018; May 2019 - Jul 2020.
    Software Developer | Bozen, Italy

    • Interned during school summer breaks in 2017 and 2018
    • Worked part-time while studying
    • Developed mobile applications for displaying bus timetables, live location updates, and delays (Flutter)
    • Developed a mobile application for coordinating a fleet of emergency vehicles (current emergency information, communication with dispatchers, routing to emergencies/hospitals, …)
    • Maintained and developed new features for various apps in Android and iOS (mobile banking app and corresponding 2FA app, mobile radio player app, local tourism guide app, frost and weather alarm app for apple farmers)
    • Maintained and developed backend services written in Kotlin and Java for the aforementioned apps
    • Developed a web application for managing fibre-optic distribution points across South-Tyrol
    • Ported legacy PHP 3 applications to modern languages and frameworks

Selected Projects

  • Hardware-Assisted Memory Safety for WebAssembly. Master’s Thesis.

    • Implemented memory safety for WebAssembly using recent ARM hardware extensions (MTE/PAC)
    • Rust, C++, LLVM, Cranelift

  • Hybrid Binary Translator. Research (TUM), ongoing.

    • Implemented optimizations in the LLVM backend of a hybrid binary translator

  • Memory Access Verifier. Internship (Huawei).

    • Developed a verification framework in cranelift to ensure compiler optimizations do not break sandboxing guarantees
    • Intended to be used as a fuzzing/testing tool

  • Detecting broken data dependencies by the LLVM Backend. Guided Research.

    • Investigated data dependencies in the Linux kernel broken by the LLVM backend
    • Report

  • GnuPG WKD Server.

  • HackaTUM 2022. Overall Winner.

    • Awarded Overall Winner of HackaTUM 2022
    • Largest Hackathon in Europe
    • Developed an app to facilitate the outsourcing of electric car charging

  • Static Binary Lifter. Bachelor’s Thesis.

    • Lifting x86-64 binaries to LLVM intermediate representation ahead of time, enabling compilation for different architectures
    • Managed to port single- and multi-threaded programs from x86 to ARM with a performance overhead between 1%-5% (significantly faster than QEMU)
    • Co-authored a paper based on this work and published it in PLDI'22: https://dl.acm.org/doi/abs/10.1145/3519939.3523719

Technical Strengths

  • Programming Languages: Rust, C++, C, Swift, Kotlin, Java, Python, Haskell
  • Areas of Interest: Compilers, WebAssembly, Security
  • Platforms & Frameworks: LLVM, Linux, AArch64, x86_64, RISCV, iOS (SwiftUI), Android, Flutter
  • Languages: German (native), English (C1), Italian (B2)