Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Dynamic Analysis for Concurrent Programs
Race Detection on Compressed Traces
MopedQLeak: Tool for Quantifying Information Flow in Probabilistic Recursive Programs
Automated Controller Synthesis
77 contributions in the last year
Hi. Can you please add a license file to this repository?
Press h to open a hovercard with more details.