Active Projects
- Simprog: Inter-project program similarity tool for Java.
- HiRep: Representativeness analysis for source code.
- AugMaker: API Usage Graphs (AUGs) generator.
- do-like-javac: A tool for monitoring the build process of a Java projects.
Past Projects
- Vesperin: A source code curation system for Java code examples.
- Introspector: Source code mining and concept analysis utilities.
- Jayhorn: Static checker for Java.
- Chekofv: Crowd-sourced program verification.
- Botprint: A mixed initiative robot design tool.
- BullyingGraph: A bullying detection tool for Twitter.
- Demodetect: Inferring users’ demographics from Twitter messages.
- Terrain: Procedurally generated 3D surfaces.
- dbtune: A lightweight API for semi-automated tuning.
- Circuitbreaker: Circuit breaker design pattern.
- Wicked: A command line interface with human readable sentence.
- jscheck: A limited static type checker for Javascript.
- Twist.js: A fast and furious code search assistant.