Took a graduate distributed systems course at UT Austin and it felt like a Leslie Lamport's greatest hits course. The best part was that all of his papers were actually really easy to understand and interpret... aside from Paxos which was easily explained by others.