Christopher Meiklejohn

1. Partisan: Enabling Cloud-Scale Erlang Applications
   2018/02/07 by Christopher Meiklejohn, Heather Miller, Meiklejohn, Christopher +1 · 3 voices
   Computer Science · #Cloud Computing and Resource Management #Graph Theory and Algorithms #Distributed systems and fault tolerance
2. Vector Clocks in Coq: An Experience Report
   2014/06/17 by Christopher Meiklejohn, Meiklejohn, Christopher · 1 voice
   Computer Science · #cs.DC #cs.PL #cs.SE
3. Just-Right Consistency: reconciling availability and safety
   2018/01/19 by Marc Shapiro, Shapiro, Marc, Annette Bieniusa +7 · 1 voice
   Computer Science · #Databases (cs.DB) #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DB #cs.DC