There is a newer version of the record available.

Published September 13, 2021 | Version snapshot-20210913
Software Open

MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels

Creators

  • 1. Informal Systems
  • 2. Microsoft
  • 3. IIT Hyderabad, India
  • 4. IRIF, University of Paris & CNRS
  • 5. Microsoft Research

Description

Snapshot of OOPSLA21 artifact submission.

Files

rnbguy/oopsla21artifact-snapshot-20210913.zip

Files (23.4 MB)

Name Size Download all
md5:8432e581a106650c2038c2a893c5c5b3
23.4 MB Preview Download

Additional details

Related works

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