License
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://drops.dagstuhl.de/opus/volltexte/2017/7132/
Go to the corresponding LIPIcs Volume Portal


Kuraj, Ivan ; Solar-Lezama, Armando

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems

pdf-format:
LIPIcs-SNAPL-2017-7.pdf (0.5 MB)


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
Seminar: 2nd Summit on Advances in Programming Languages (SNAPL 2017)
Issue Date: 2017
Date of publication: 30.04.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI