Software

A selection of the software my team and I built and released: IDE extensions, tools, libraries, web applications, and bots, most of them coming out of research and development projects and sometimes described in a publication.

Software

14 April 2023 Bot

Alfred

A Discord bot that helps the CodeLounge team with server maintenance: it follows Icinga monitoring alerts, calls in whoever is on duty, and keeps the weekly maintenance rotation

1 September 2022 Web App

REFLEX Data Pipeline & REFLEXplorer

The software backbone of the REFLEX project: a document-AI and NLP pipeline turning 140 years of scanned Swiss commercial registry into structured, geocoded data, and a web platform to explore it

Software NLP Information Extraction Historical Data Python Spacy PyTorch Google Vision TypeScript GraphQL PostgreSQL Keycloak MinIO AI & LLMs Document Engineering

1 July 2019 IDE Extension

Tako

A Visual Studio Code extension that records, aggregates, and visualizes IDE interaction data — entirely on the developer's own machine

Software Interaction Data Software Visualization IDE Extension TypeScript Visual Studio Code D3.js

1 September 2018 Library

jSicko

A Java SImple Contract checKer: a compiler plugin that turns contract annotations written in plain Java into runtime checks

Software Slack Project Design by Contract Runtime Verification Java

Technologies

Archived Software

1 January 2018 Web App

MyUSI Platform

A modular platform for managing the academic life of a university: a GraphQL-based, actor-oriented backend and a component-based frontend, piloted on the research service

Software Modular Architecture Visual Analytics Scala TypeScript React GraphQL D3.js

16 May 2015 Library

StORMeD

Heterogeneous abstract syntax trees for Stack Overflow: a Scala development kit, a ready-made JSON dataset, and an island-parsing web service

Software Library Stack Overflow Island Parsing Scala

1 January 2009 Tool

SPY

SPecification RecoverY: inferring behavior models of stateful software components, and using them at run time to detect when a component's behavior changes

Software Behavior Models Runtime Monitoring Java