Media Summary: PLDI 2015 - Verdi: A Framework for Implementing and Formally Verifying Distributed Systems
Compiling Distributed System Models Into Implementations With Pgo Shayan Hosseini - Detailed Analysis & Overview
PLDI 2015 - Verdi: A Framework for Implementing and Formally Verifying Distributed Systems