Published January 27, 2023
| Version v1
Software
Open
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs (Artifact)
Description
The artifact of the paper Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs, accepted at ICSE 2023
Please read the README file to use the artifact.
Files
README.md
Files
(170.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:eb73248d2313e6021acf37b944fc69b1
|
348 Bytes | Preview Download |
|
md5:7ff7380c940d3c726380c020f6dea1b4
|
1.1 kB | Download |
|
md5:46f492190d9f50ccf7818ebdf4bbe724
|
9.3 kB | Preview Download |
|
md5:912a0918d3808dea8cddbf588e99f209
|
158.6 kB | Preview Download |
|
md5:caa12b77f9e6e37badeb34a355e9c3af
|
396 Bytes | Preview Download |
|
md5:f0ad6b01c0f9a03364ecf735ee8c05f7
|
666 Bytes | Preview Download |