GUESSTIMATE: a programming model for collaborative distributed systems.

Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi

Browse the full PLDI paper archive.