| dc.contributor.author | Sharma, Upamanyu | |
| dc.contributor.author | Jung, Ralf | |
| dc.contributor.author | Tassarotti, Joseph | |
| dc.contributor.author | Kaashoek, Frans | |
| dc.contributor.author | Zeldovich, Nickolai | |
| dc.date.accessioned | 2023-11-15T19:15:42Z | |
| dc.date.available | 2023-11-15T19:15:42Z | |
| dc.date.issued | 2023-10-23 | |
| dc.identifier.isbn | 979-8-4007-0229-7 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/152987 | |
| dc.publisher | ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3600006.3613172 | en_US |
| dc.rights | Creative Commons Attribution | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en_US |
| dc.source | Association for Computing Machinery | en_US |
| dc.title | Grove: a Separation-Logic Library for Verifying Distributed Systems | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, Frans and Zeldovich, Nickolai. 2023. "Grove: a Separation-Logic Library for Verifying Distributed Systems." | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.identifier.mitlicense | PUBLISHER_CC | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2023-11-01T07:54:30Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2023-11-01T07:54:30Z | |
| mit.license | PUBLISHER_CC | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
