shriram/repro-in-cs — pull request #8 by ricci (2014-03-20 23:02:34+00:00)
Title: Software for Belay+ OSDI12 is easy to build/run

Software for this paper was very easy to find, build, and run, and is
quite well documented.