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
462
23
views
downloads
All versions This version
Views 462222
Downloads 238
Data volume 11.6 GB1.8 MB
Unique views 306181
Unique downloads 165

Share

Cite as