Alexey GotsmanAbstraction for Weakly Consistent Systems; May 23rd, 2013 Katarina SingerMay 21, 2013Talks