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)