<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

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Name: Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
Keywords: Chemical Sciences not elsewhere classified, Physiology, Science Policy, machine image, README.md, Immunology, Information Systems not elsewhere classified, Biophysics, Plant Biology, Marine Biology

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 21 May 2021 English Publisher:Zenodo

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

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

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

- Summary
- Subjects
- Related research
  (1)
- 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.

Related Organizations

National University of Singapore
Singapore

Keywords

Chemical Sciences not elsewhere classified, Physiology, Science Policy, machine image, README.md, Immunology, Information Systems not elsewhere classified, Biophysics, Plant Biology, Marine Biology, Biochemistry, Microbiology, paper Certifying, Inorganic Chemistry, source.tar.gz archive, Virtual, benchmark, project, vm-image.zip, Step Instructions, Genetics, Compile, ICFP, Molecular Biology, Source code, nbsp, Pharmacology, Benchmarks Artifact, Evolutionary Biology, Ecology, Code, Synthesi, artifact, 005, script, Cell Biology, Infectious Diseases, QEMU, Certified SuSLik, Medicine, Heap-Manipulating Programs, Physical Sciences not elsewhere classified, Neuroscience, Biotechnology, Developmental Biology

1 Research products, page 1 of 1

Cypress (PLDI 2021 Artifact): Code and Benchmarks
integration_instructionsResearch software2021IsAmongTopNSimilarDocuments
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu

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).	1
	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