Department of Computer Science

Search results

• The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 5 Nov 2023

  DOI: 10.5281/zenodo.10073582, https://zenodo.org10073582

  Dataset

• Tracking: PPoPP 22 - Detectable Recovery of Lock-Free Data Structures

  Attiya, H. (Creator), Ben-Baruch, O. (Creator), Fatourou, P. (Creator), Hendler, D. (Creator) & Kosmas, E. (Creator), ZENODO, 2022

  DOI: 10.5281/zenodo.5816339, https://zenodo.org/record/5816339

  Dataset

• VMP_HP-ext

  Droby, A. (Creator), Shapira, D. V. (Creator), Rabaev, I. (Creator), Bakarat, B. K. (Creator) & El Sana, J. (Creator), ZENODO, 2022

  DOI: 10.5281/zenodo.6387471, https://zenodo.org/record/6387471

  Dataset

• VMP_HP-ext_2

  Droby, A. (Creator), Shapira, D. V. (Creator), Rabaev, I. (Creator), Bakarat, B. K. (Creator) & El Sana, J. (Creator), ZENODO, 2022

  DOI: 10.5281/zenodo.6856934, https://zenodo.org/record/6856934

  Dataset

• The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 9 Oct 2023

  DOI: 10.5281/zenodo.8422899, https://zenodo.org/record/8422899

  Dataset