Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Yasunari Watanabe; Kiran Gopinathan; George Pîrlea; Nadia Polikarpova; Ilya Sergey


BibTeX Export

@software{yasunari_watanabe_2021_5005829,
  author       = {Yasunari Watanabe and
                  Kiran Gopinathan and
                  George Pîrlea and
                  Nadia Polikarpova and
                  Ilya Sergey},
  title        = {{Certified SuSLik (ICFP 2021 Artifact): Code and 
                   Benchmarks}},
  month        = may,
  year         = 2021,
  publisher    = {Zenodo},
  version      = {0.1.2},
  doi          = {10.5281/zenodo.5005829},
  url          = {https://doi.org/10.5281/zenodo.5005829}
}
532
64
views
downloads
All versions This version
Views 532379
Downloads 6428
Data volume 46.0 GB10.8 GB
Unique views 383294
Unique downloads 4121

Share

Cite as