Study the following:

  1. Lowe, Gavin. “Testing for linearizability.” Concurrency and Computation: Practice and Experience 29, no. 4 (2017): e3928.
  2. Testing for Linearizability
  3. Athalye, Anish, “Testing Distributed Systems for Linearizability.” Available: https://anishathalye.com/testing-distributed-systems-for-linearizability/

Do experiments and prepare slides, discussing:

  • Motivation to test linearizability
  • Approaches/algorithms to test linearability
  • How hard a computational problem it is to test linearability
  • Experience with running experiments given in bullet point 2 in the above.

Be prepared to present selected slides.