@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 = jun, year = 2021, publisher = {Zenodo}, version = {0.1.2}, doi = {10.5281/zenodo.5005829}, url = {https://doi.org/10.5281/zenodo.5005829} }