Paper
Paper: Making reliable distributed systems in the presence of software errors
Joe Armstrong is a co-inventor of Erlang and general all around renaissance software tinkerer as shown by his excellent work on writing a C Compiler and his voluminous work on GitHub. Given the success of Erlang it's probably no surprise that he wrote his thesis on the ground