<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Claim

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 21 May 2021 English Zenodo

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

doi: 10.5281/zenodo.5005829 , 10.5281/zenodo.4777382

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

- Summary
- Subjects
- Related research
  (3)
- Metrics

Abstract

Artifact accompanying the the paper Certifying the Synthesis of Heap-Manipulating Programs, published in proceedings of ICFP 2021. Virtual machine: The vm-image.zip file contains a virtual machine image containing the full artifact and benchmarks, as well as the necessary scripts to start it. It should work with QEMU. To start with it, follow the instructions in README.md file attached to this artifact. Source code: Download the source.tar.gz archive and unpack it. In the README.md file in the root of the project, follow the Compile/Install instructions to compile the sources, and then follow the Step by Step Instructions to run.

Subjects by Vocabulary

ACM Computing Classification System: GeneralLiterature_MISCELLANEOUS

Filter by relation

All relations

arrow_drop_down

3 Research products, page 1 of 1

Cypress (PLDI 2021 Artifact): Code and Benchmarks
2021IsAmongTopNSimilarDocuments
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
2021IsAmongTopNSimilarDocuments
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
2021HasVersion

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Usage byUsageCounts

visibility	views	347
download	downloads	32

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average