Programming Models for Correct and Modular Distributed Systems www2.eecs.berkeley.edu 6 points by matt_d 12 hours ago