Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
© Ivan Kuraj and Armando Solar-Lezama; licensed under Creative Commons License CC-BY. While sequential programs represent a simple and natural form for expressing functionality, corresponding distributed implementations get considerably more complex. We examine the possibility of using the sequentia...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
2021
|
| Online Access: | https://hdl.handle.net/1721.1/137836 |
| _version_ | 1826202666221436928 |
|---|---|
| author | Kuraj, Ivan Solar-Lezama, Armando |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Kuraj, Ivan Solar-Lezama, Armando |
| author_sort | Kuraj, Ivan |
| collection | MIT |
| description | © Ivan Kuraj and Armando Solar-Lezama; licensed under Creative Commons License CC-BY. While sequential programs represent a simple and natural form for expressing functionality, corresponding distributed implementations get considerably more complex. We examine the possibility of using the sequential computation model for programming distributed systems and requirements for making that possible. The benefits of such an approach include easier specification and reasoning about behaviors in the system, as well as a possibility to directly reuse existing techniques for checking correctness and optimization of sequential programs to produce efficient and reliable distributed implementations. |
| first_indexed | 2024-09-23T12:12:14Z |
| format | Article |
| id | mit-1721.1/137836 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T12:12:14Z |
| publishDate | 2021 |
| record_format | dspace |
| spelling | mit-1721.1/1378362022-10-01T08:42:23Z Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems Kuraj, Ivan Solar-Lezama, Armando Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory © Ivan Kuraj and Armando Solar-Lezama; licensed under Creative Commons License CC-BY. While sequential programs represent a simple and natural form for expressing functionality, corresponding distributed implementations get considerably more complex. We examine the possibility of using the sequential computation model for programming distributed systems and requirements for making that possible. The benefits of such an approach include easier specification and reasoning about behaviors in the system, as well as a possibility to directly reuse existing techniques for checking correctness and optimization of sequential programs to produce efficient and reliable distributed implementations. 2021-11-08T21:15:53Z 2021-11-08T21:15:53Z 2017 2019-07-10T13:15:30Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/137836 Kuraj, Ivan and Solar-Lezama, Armando. 2017. "Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems." en 10.4230/LIPIcs.SNAPL.2017.7 Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/ application/pdf DROPS |
| spellingShingle | Kuraj, Ivan Solar-Lezama, Armando Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title | Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title_full | Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title_fullStr | Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title_full_unstemmed | Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title_short | Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems |
| title_sort | leveraging sequential computation for programming efficient and reliable distributed systems |
| url | https://hdl.handle.net/1721.1/137836 |
| work_keys_str_mv | AT kurajivan leveragingsequentialcomputationforprogrammingefficientandreliabledistributedsystems AT solarlezamaarmando leveragingsequentialcomputationforprogrammingefficientandreliabledistributedsystems |