Explore projects

Model checker for distributed systems using hitting families of schedules

PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.

A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.

UniTraX is a data analytics system that provides users with a personal differentially private bound on privacy loss. UniTraX is able to allow more queries than previous systems, without giving up on analytic accuracy.

The benchmark repository for the added float support to the KeY deductive verifier.