Published September 27, 2021 | Version snapshot-20210927
Software Open

rnbguy/oopsla21artifact: MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels

Creators

  • 1. Informal Systems
  • 2. Microsoft Research
  • 3. Microsoft

Description

Snapshot of OOPSLA21 artifact submission.

Authors: Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

Files

rnbguy/oopsla21artifact-snapshot-20210927.zip

Files (23.4 MB)

Name Size Download all
md5:647f6cda90f134f767cf1fc2e2d4ddd2
23.4 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/rnbguy/oopsla21artifact/tree/snapshot-20210927 (URL)