WYPIWYG
What You Prove Is What You Get is an approach for automatically synthesizing concurrency control for programs.
Publications
- Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control From Sequential Proofs, no. MSR-TR-2009-81, July 2009
