Meiklejohn, Christopher
- 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
- 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