Grove: a Separation-Logic Library for Verifying Distributed Systems
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles
2023
|
| Online Access: | https://hdl.handle.net/1721.1/152987 |
| _version_ | 1826203238355959808 |
|---|---|
| author | Sharma, Upamanyu Jung, Ralf Tassarotti, Joseph Kaashoek, Frans Zeldovich, Nickolai |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Sharma, Upamanyu Jung, Ralf Tassarotti, Joseph Kaashoek, Frans Zeldovich, Nickolai |
| author_sort | Sharma, Upamanyu |
| collection | MIT |
| first_indexed | 2024-09-23T12:33:30Z |
| format | Article |
| id | mit-1721.1/152987 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T12:33:30Z |
| publishDate | 2023 |
| publisher | ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles |
| record_format | dspace |
| spelling | mit-1721.1/1529872024-01-24T19:32:56Z Grove: a Separation-Logic Library for Verifying Distributed Systems Sharma, Upamanyu Jung, Ralf Tassarotti, Joseph Kaashoek, Frans Zeldovich, Nickolai Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2023-11-15T19:15:42Z 2023-11-15T19:15:42Z 2023-10-23 2023-11-01T07:54:30Z Article http://purl.org/eprint/type/ConferencePaper 979-8-4007-0229-7 https://hdl.handle.net/1721.1/152987 Sharma, Upamanyu, Jung, Ralf, Tassarotti, Joseph, Kaashoek, Frans and Zeldovich, Nickolai. 2023. "Grove: a Separation-Logic Library for Verifying Distributed Systems." PUBLISHER_CC en https://doi.org/10.1145/3600006.3613172 Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/ The author(s) application/pdf ACM|ACM SIGOPS 29th Symposium on Operating Systems Principles Association for Computing Machinery |
| spellingShingle | Sharma, Upamanyu Jung, Ralf Tassarotti, Joseph Kaashoek, Frans Zeldovich, Nickolai Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title | Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title_full | Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title_fullStr | Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title_full_unstemmed | Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title_short | Grove: a Separation-Logic Library for Verifying Distributed Systems |
| title_sort | grove a separation logic library for verifying distributed systems |
| url | https://hdl.handle.net/1721.1/152987 |
| work_keys_str_mv | AT sharmaupamanyu groveaseparationlogiclibraryforverifyingdistributedsystems AT jungralf groveaseparationlogiclibraryforverifyingdistributedsystems AT tassarottijoseph groveaseparationlogiclibraryforverifyingdistributedsystems AT kaashoekfrans groveaseparationlogiclibraryforverifyingdistributedsystems AT zeldovichnickolai groveaseparationlogiclibraryforverifyingdistributedsystems |