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, in Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper, March 2010
- Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control From Sequential Proofs, no. MSR-TR-2009-81, July 2009
