Portfolio

Projects

SysMoBench

Repository: github.com/specula-org/SysMoBench

Benchmark suite and artifacts for evaluating system modeling and runtime verification techniques. I maintain experiments and documentation.

Specula

Repository: github.com/specula-org/Specula

Speculation- and specification-focused tooling for monitoring real-world systems. I contribute to tooling improvements and evaluations.