Program Analysis Resources (draft; work in progress) See also: Compilers correctness Program analysis: Dynamic analysis - instrumentation, translation, sanitizers
https://ferd.ca/a-distributed-systems-reading-list.html http://the-paper-trail.org/blog/distributed-systems-theory-for-the-distributed-systems-engineer/ https://github.com/palvaro/CMPS290S-Winter16/blob/master/readings.md http://muratbuffalo.blogspot.com/2015/12/my-distributed-systems-seminars-reading.html http://christophermeiklejohn.com/distributed/systems/2013/07/12/readings-in-distributed-systems.html http://michaelrbernste.in/2013/11/06/distributed-systems-archaeology-works-cited.html http://rxin.github.io/db-readings/ http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://pdos.csail.mit.edu/dsrg/papers/ http://scalingsystems.com/2011/09/07/reading-list-for-distributed-systems/