4 citations · 7 across the 9 of their papers we have counts for
10 papers
For-Each Operations in Collaborative Apps
Matthew Weidner, Ria Pradeep, Benito Geordie +1
Conflict-free Replicated Data Types (CRDTs) allow collaborative access to an app's data. We describe a novel CRDT operation, for-each on the list of CRDTs, and demonstrate its use…
Collabs: A Flexible and Performant CRDT Collaboration Framework
Matthew Weidner, Huairui Qi, Maxime Kjaer +7
A collaboration framework is a distributed system that serves as the data layer for a collaborative app. Conflict-free Replicated Data Types (CRDTs) are a promising theoretical tec…
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…
Distributed Programming via Safe Closure Passing
Philipp Haller, Heather Miller
Programming systems incorporating aspects of functional programming, e.g., higher-order functions, are becoming increasingly popular for large-scale distributed programming. New fr…
A Formal Model for Direct-style Asynchronous Observables
Philipp Haller, Heather Miller
Languages like F#, C#, and recently also Scala, provide "Async" programming models which aim to make asynchronous programming easier by avoiding an inversion of control that is inh…