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}
}
308
37
views
downloads
All versions This version
Views 308202
Downloads 378
Data volume 29.8 GB2.7 GB
Unique views 196142
Unique downloads 207

Share

Cite as