7 papers
Distributed Execution Indexing
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
This work-in-progress report presents both the design and partial evaluation of distributed execution indexing, a technique for microservice applications that precisely identifies…
Composing and Decomposing Op-Based CRDTs with Semidirect Products
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Operation-based Conflict-free Replicated Data Types (CRDTs) are eventually consistent replicated data types that automatically resolve conflicts between concurrent operations. Op-b…
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild
Filip Křikava, Heather Miller, Jan Vitek
The Scala programming language offers two distinctive language features implicit parameters and implicit conversions, often referred together as implicits. Announced without fanfar…
Proceedings Seventh International Workshop on Trends in Functional Programming in Education
Peter Achten, Heather Miller
The Seventh International Workshop on Trends in Functional Programming in Education, TFPIE 2018, was held on 14th of June 2018 at Chalmers University in Gothenburg, Sweden, and was…
Checking-in on Network Functions
Zeeshan Lakhani, Heather Miller
When programming network functions, changes within a packet tend to have consequences---side effects which must be accounted for by network programmers or administrators via arbitr…
Partisan: Enabling Cloud-Scale Erlang Applications
Christopher Meiklejohn, Heather Miller
In this work, we present an alternative distribution layer for Erlang, named Partisan. Partisan is a topology-agnostic distributed programming model and distribution layer that sup…