Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
Name
LIPIcs-SNAPL-2017-7.pdf
Description
Published version
Size
466.73 KB
Format
Adobe PDF
Checksum (MD5)
8b9af7a658d075308f68f246da99f0a4
Author(s)
Kuraj, Ivan
Solar-Lezama, Armando
Date Issued
2017
Citation
Kuraj, Ivan and Solar-Lezama, Armando. 2017. "Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems."
Version
Final published version
Abstract
© 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.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.4230/LIPIcs.SNAPL.2017.7
