Android application powering the mirror in my house

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

An app that lets you browse the web over SMS

An app to convert images to PDF file!

Authorizer is a Password Manager for Android. It emulates an HID keyboard over USB and enters your credentials on your target device. Additionally it supports OTP 🔑📴

Git Repository for the Mangle tool

A verification tool for many memory models

TLS-Anvil, a fully automated TLS testsuite for client and servers.

Semantic program repair system for C programs

Search-Based Test Data Generation for SQL Queries

Inferring models of systems from observations of their behavior

A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)

Distributed System Testing as a Service

Java program to visualize large genealogies, up to 10,000 people