Reading papers for MIT distributed system course