Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
WYPIWYG

What You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.

Publications