Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
Distributed, Parallel, and Cluster Computing
2023-05-25 v1 Databases
Programming Languages
Abstract
In the Hydro project we are designing a compiler toolkit that can optimize for the concerns of distributed systems, including scale-up and scale-down, availability, and consistency of outcomes across replicas. This invited paper overviews the project, and provides an early walk-through of the kind of optimization that is possible. We illustrate how type transformations as well as local program transformations can combine, step by step, to convert a single-node program into a variety of distributed design points that offer the same semantics with different performance and deployment characteristics.
Cite
@article{arxiv.2305.14614,
title = {Invited Paper: Initial Steps Toward a Compiler for Distributed Programs},
author = {Joseph M. Hellerstein and Shadaj Laddad and Mae Milano and Conor Power and Mingwei Samuel},
journal= {arXiv preprint arXiv:2305.14614},
year = {2023}
}