An overview of my latest coding projects


A framework for model-agnostic software performance analysis.

Read more


Static analysis tool for PHP architectures. Define how your architecture should look like and let archinspec validate it.

Read more


Sidewise is an Xtext-based grammar editor to write valid operator precedence grammars (OPG). The editor supports the generation of Eclipse plugins for formal verification leveraging incremental parsing based on the OPG grammar.

Read more

High Performance Message Oriented Middleware

HPMOM is a message oriented middleware leveraging the power of software-defined networking (SDN) to achieve line-rate message throughput and in-network content-based filtering.

Read more