2026-07-26T16:44:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7132 2024-03-06T10:39:34Z ddc:004 open_access

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems Kuraj, Ivan Solar-Lezama, Armando distributed systems sequential computation verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ivan Kuraj and Armando Solar-Lezama 2017 Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2017.7 urn:nbn:de:0030-drops-71321 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.7 eng https://creativecommons.org/licenses/by/3.0/legalcode