Search results
  1. 20 Sep 2017

    The rest of my notes from the workshop with Including explanations about concurrency with cats 😸!

  2. 20 Sep 2017

    Learning about fundamentals during our workshop with

  3. 26 Mar 2019

    In this analysis, we explore three safety bugs in DB: a distributed, multi-model database which combines sharded instances of Raft with leader leases, hybrid logical clocks, and a custom 2PC cross-shard transactional protocol.

    Show this thread
  4. Show this thread
  5. 29 Sep 2016

    Most systems fail test. passed in v6.4. Not all vendors fix what finds, VoltDB does.

  6. People View all

  7. 12 Jun 2019

    In the latest analysis, we worked with to test TiDB 2.1.7 through 3.0.0-rc.2. Due to 2 transaction retry mechanisms, TiDB exhibited constant snapshot isolation anomalies under normal conditions. This and other bugs are fixed in 3.0.0-rc.2:

  8. 6 Oct 2017

    In this analysis, we look at Hazelcast: an in-memory data grid with a habit of forgetting.

    Show this thread
  9. Integrating ’s into our CI presented challenges, now protects us from regressions in linearizability:

  10. 5 Sep 2019

    New report! We worked with to evaluate YugaByte DB 1.3.1's beta support for serializable SQL transactions. We found 2 safety bugs including anti-dependency cycles (now fixed), and availability issues like a slow leak in backend processes.

    Show this thread
  11. 5 Sep 2017

    New analysis: the Tendermint blockchain system for byzantine fault tolerant replication of state machines:

    Show this thread
  12. 20 Sep 2017

    Starting out our workshop with with an intro to ! 😍

  13. 7 Mar 2018

    In the latest analysis, we return to 3.99.0.3, checking their next-generation consensus system scheduled to be released in 4.0. We confirm data loss due to process crashes and 27+ second pauses, and found a subtle bug in proxied nacks.

    Show this thread
  14. 1 Sep 2017

    I've been experimenting with to check for application correctness, here's a writeup of where I got to & how:

    Show this thread
  15. 16 Feb 2017

    New analysis: reviewing and expanding 's tests. We found & fixed serializability violations!

  16. 26 Apr 2016

    How can someone be so bad at their job?

  17. 9 Feb 2016

    RethinkDB 2.2.3: A rare case of split-brain after cluster reconfiguration

  18. On : How we integrated ’s into our CI system to prevent regressions in linearizability.

  19. 11 Feb 2016

    Thanks for ! now that it passed, we'll contribute enhancements to it.

  20. Thrilled to announce that DB has passed official testing! It was a pleasure to collaborate with on this; and super proud of the engineering team for reaching this milestone so quickly-- no easy task for a distributed database!

  21. 7 Dec 2019

    Does evaluating, debugging, testing distributed databases excite you? Do you like and models? Working w super smart but humble teams? hiring first engineer for building in-house testing infrastructure. Remote first.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.