<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

Cypress (PLDI 2021 Artifact): Code and Benchmarks

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 26 Mar 2021Zenodo

Authors: Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey;

doi: 10.5281/zenodo.4639933 , 10.5281/zenodo.4679740 , 10.5281/zenodo.4679743

Cypress (PLDI 2021 Artifact): Code and Benchmarks

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

Abstract

Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021. Virtual machine: The Cypress.ova file is a virtual machine image containing the full artifact and benchmarks. It should work with either VMWare or VirtualBox (we used VirtualBox 6.1). To start with it, follow the instructions in README.md file attached to this artifact. Source code: Download TyGuS/suslik-v0.4-cypress.zip archive, unpack it, and follow the Step by Step Instructions in the README.md file in the root of the project.

Subjects by Vocabulary

ACM Computing Classification System: GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ComputingMilieux_MISCELLANEOUS

Filter by relation

All relations

arrow_drop_down

3 Research products, page 1 of 1

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
2021IsAmongTopNSimilarDocuments
TyGuS/suslik: SuSLik v1.0
2021IsVersionOf
Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks
2021IsAmongTopNSimilarDocuments

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).	2
	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.	Top 10%
	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	510
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).	2
	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.	Top 10%
	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