Slack Projects

With Prof. Carlo A. Furia, we started an investigation on the design and quality of platformer games. Our first results focus on user-made levels in Super Mario Maker 2: what makes a level hard, and which concepts characterize a well-designed one.

A Discord bot for the CodeLounge team, built in Scala 3 with Discord4J and fs2. It pings whoever is on maintenance duty when Icinga raises a critical alert, and tracks the maintenance rotation and its leaderboard.

After the Hasler-funded project ended, I kept developing Tako, our Visual Studio Code extension for interaction data. It gained a fundamentally improved interaction data tracking, and the tracking of GitHub Copilot usage.

jSicko is a Java compiler plugin that turns contracts written in plain Java into runtime checks. I developed its core, covering pre- and postconditions, class invariants, and exceptional behavior, up to its first three milestone releases.