We are developing new features based on your feedback - please stay tuned!
Checking Linearizability Using Hitting Families
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
Where published: PPoPP'19
Article DOI: 10.1145/3293883.3295726
Artifact DOI: 10.5281/zenodo.1890165
Unified artifact appendix: Link
Reproducible methodology: ACM and cTuning
ReproIndex JSON meta ]  [ paper ]