License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SNAPL.2017.7
URN: urn:nbn:de:0030-drops-71321
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7132/
Kuraj, Ivan ;
Solar-Lezama, Armando
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
Abstract
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.
BibTeX - Entry
@InProceedings{kuraj_et_al:LIPIcs:2017:7132,
author = {Ivan Kuraj and Armando Solar-Lezama},
title = {{Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems}},
booktitle = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-032-3},
ISSN = {1868-8969},
year = {2017},
volume = {71},
editor = {Benjamin S. Lerner and Rastislav Bod{\'i}k and Shriram Krishnamurthi},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7132},
URN = {urn:nbn:de:0030-drops-71321},
doi = {10.4230/LIPIcs.SNAPL.2017.7},
annote = {Keywords: distributed systems, sequential computation, verification}
}
Keywords: |
|
distributed systems, sequential computation, verification |
Collection: |
|
2nd Summit on Advances in Programming Languages (SNAPL 2017) |
Issue Date: |
|
2017 |
Date of publication: |
|
05.05.2017 |