There is a newer version of this record available.

Software Open Access

TyGuS/suslik: POPL 2019 Artifact

Ilya Sergey; Nadia Polikarpova

Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.

Files (227.4 kB)
Name Size
TyGuS/suslik-v0.2-popl19.zip
md5:64ded7c432e84dd639734bfba9fdd73e
227.4 kB Download
1,384
52
views
downloads
All versions This version
Views 1,384458
Downloads 5213
Data volume 46.3 GB3.0 MB
Unique views 841291
Unique downloads 429

Share

Cite as