Related CK components (help) |
|
lib Checking Linearizability Using Hitting Families |
|
Related research papers, code, artifacts and results |
|
http://conf.researchr.org/home/ppopp-2019 |
|
http://ctuning.org/ae/ppopp2019.html |
|
https://ctuning.org/ae/submission_extra.html |
|
https://dl.acm.org/doi/10.1145/3293883.3295726 |
|
https://doi.org/10.5281/zenodo.1890165 |
|
https://zenodo.org/record/1890165 |
|
|
|
|
|