Software Open Access
SuSLik (CAV 2021 Artifact): Code and Benchmarks
Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey
Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.
Download suslik-v0.5-cav21-artifact.zip archive, unpack it, and follow instructions in the README.md file in the root of the project.
Files
(501.7 kB)
| Name | Size | |
|---|---|---|
|
TyGuS/suslik-v0.5-cav21-artifact.zip
md5:091592dfe7ba51a57db73cdb421c7816 |
501.7 kB | Download |
1,587
64
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 1,587 | 176 |
| Downloads | 64 | 4 |
| Data volume | 63.6 GB | 2.0 MB |
| Unique views | 1,034 | 143 |
| Unique downloads | 54 | 4 |
Indexed in
- Publication date:
- May 28, 2021
- DOI:
-
- Meeting:
- 33rd International Conference on Computer-Aided Verification (CAV'21), Virtual, 18-23 July 2021
- Related identifiers:
- Identical to
- License (for files):
- Creative Commons Attribution 4.0 International