Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published March 9, 2023 | Version v7
Journal article Open

Leveraging Rust Types for Program Synthesis

  • 1. ETH Zürich
  • 2. Technion, Israel
  • 3. University of California, San Diego
  • 4. National University of Singapore

Description

Artifact accompanying the PLDI 2023 submission

Files

appendix.pdf

Files (6.3 GB)

Name Size Download all
md5:fd67553e4b9e999880e9bf487b5b6cc2
591.6 kB Preview Download
md5:5377a3c9ffbe5b1b0b6d894513388da3
1.7 GB Download
md5:b388a3877a98aaea584400de039d57af
1.8 GB Download
md5:9741c346eef56131163e13b9db1241b3
16.7 kB Download
md5:90f259c7cc1cd600782b1ba24b012a40
14.3 kB Preview Download
md5:e9dc1c98d19e55fe7bbdcb3321e67781
1.3 GB Download
md5:8329e8889d3deca1d093d80c196ac6d9
1.5 GB Download
md5:633ef0e0a5db1626acf1a7071e4f615b
8.8 MB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3591278 (DOI)