ikneaddough

4 ms·

1. 1.▲
   Minimizing Faulty Executions of Distributed Systems [pdf](eecs.berkeley.edu)

   40 points by ikneaddough 11y ago|1 comments
2. 2.▲
   Technologies for Testing Distributed Systems, Part I(colin-scott.github.io)

   2 points by ikneaddough 11y ago|0 comments
3. 3.▲
   by ikneaddough 11y ago

   Yup! We ran on Spark as well, though we were only focused on reproducing (and minimizing) known bugs, not on finding bugs. For more info, see our research paper: http://eecs.berkeley.edu/~rcs/research/nsdi_draft.pd
4. 4.▲
   by ikneaddough 11y ago

   Haha, I'm flattered. Also, thinking to myself that you must have gotten very lucky in which source file you chose to read first :-)
5. 5.▲
   by ikneaddough 11y ago

   Actually not such a crazy idea! There are always parts of verified implementations that aren't verified. And who knows, maybe they got some of their proofs wrong!
6. 6.▲
   by ikneaddough 12y ago

   repository here: http://ucb-sts.github.io/sts/
7. 7.▲
   Troubleshooting distributed systems with minimal causal sequences [pdf](eecs.berkeley.edu)

   4 points by ikneaddough 12y ago|1 comments