Explore projects

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.

mperl: A language for custom robotic manipulators

Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.

Controller synthesis for stochastic dynamical system by means of finite abstraction