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: | Kuraj, Ivan, Solar-Lezama, Armando |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
2021
|
Online Access: | https://hdl.handle.net/1721.1/137836 |
Similar Items
-
Aspect-Oriented Language for Reactive Distributed Applications at the Edge
by: Kuraj, Ivan, et al.
Published: (2022) -
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift
by: Kuraj, Ivan, et al.
Published: (2018) -
Program synthesis from polymorphic refinement types
by: Polikarpova, Nadezhda, et al.
Published: (2017) -
Optimizing Consistency for Partially Replicated Data Stores
by: Kuraj, Ivan, et al.
Published: (2022) -
Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes
by: Psota, James, et al.
Published: (2024)