lasp-lang.org

christophermeiklejohn.com

Highly Distributed Computations Without Synchronization

http://christophermeiklejohn.com/lasp/erlang/2015/02/18/infoq.html

Highly Distributed Computations Without Synchronization. As we discussed in our first post. Is the name of our distributed deterministic programming model that is the basis of our research into providing a more expressive way of working with CRDTs and eventual consistency. My work on Lasp. Was featured on InfoQ. Today in an article titled: Highly Distributed Computations Without Synchronization. I also enourage you to follow along on GitHub. If you’re interested in learning more!

christophermeiklejohn.com

Verified Vector Clocks: An Experience Report, Part 3

http://christophermeiklejohn.com/coq/erlang/2013/12/15/verified-vector-clocks-an-experience-report-part-3.html

Verified Vector Clocks: An Experience Report, Part 3. This post outlines a bunch of experimental work I’ve completed to model data structures in Coq, leveraging Tim Carstens’ verlang. Project to extract the data structures into executable Erlang. Here’s a link to the first. Posts in this series. Updated March 8th, 2014: A full talk about this work was presented at Erlang Factory, San Francisco 2014. Both the slides. You can see these changes here. Adding the original example test. Riak core example test.

christophermeiklejohn.com

From Ruby To Erlang: An Experience Report

http://christophermeiklejohn.com/ruby/erlang/2013/10/06/from-ruby-to-erlang.html

From Ruby To Erlang: An Experience Report. I recently gave a talk at Chicago Erlang Factory Lite. On migrating an application from Ruby to Erlang. The video and slides are both available now, so enjoy! Here’s a link to the slides. Comments powered by Disqus. Christopher Meiklejohn is a Erasmus Mundus doctoral student at Université catholique de Louvain. And Instituto Superior Técnico.

christophermeiklejohn.com

Programming Models, Part 5: Ad Counter, Part 2

http://christophermeiklejohn.com/lasp/erlang/2015/01/10/ad-counter-orset.html

Programming Models, Part 5: Ad Counter, Part 2. As we discussed in our first post. Is the name of our distributed deterministic programming model that is the basis of our research into providing a more expressive way of working with CRDTs and eventual consistency. This post is a continuation of our work on building an eventually consistent advertisement counter using Lasp. To get the most benefit from this article, you should read the first post. When clients tracked their own list of active advertisemen...

christophermeiklejohn.com

Programming Models, Part 1: Try Derflow!

http://christophermeiklejohn.com/derflow/erlang/2014/09/28/try-derflow.html

Programming Models, Part 1: Try Derflow! Updated January 9th, 2015: Derflow has since been renamed to Lasp, which is open source on GitHub. For more information surrounding the name change, see this post. One of the main goals of the SyncFree. Project is to build a programming model for working with eventual consistency and conflict-free replicated data types. We’ve been well on our way to that goal, influenced heavily by Peter Van Roy’s work on dataflow programming. Work at Indiana University. And prese...

christophermeiklejohn.com

Programming Models, Part 4: One Week in Louvain-la-Neuve

http://christophermeiklejohn.com/erlang/lasp/2014/12/21/lasp.html

Programming Models, Part 4: One Week in Louvain-la-Neuve. As we discussed in our first post. Is the now former name of our distributed deterministic programming model that is the basis of our research into providing a more expressive way of working with CRDTs and eventual consistency. I’ve just returned from a one week vacation in Louvain-la-Neuve, Belgium, where I spent the week working with Peter Van Roy. At Université catholique de Louvain. On what was formally referred to as Derflow. Adrian Colyer hi...

christophermeiklejohn.com

Announcing Proceedings: Distributed Reading Groups

http://christophermeiklejohn.com/distributed/2013/11/10/announcing-proceedings-distributed-reading-groups.html

Announcing Proceedings: Distributed Reading Groups. Today, I’m pleased to announce the beta launch of my new project, called Proceedings. To put it simply, Proceedings. Is your graduate school reading group, brought online using video chat. As a gradaute student, I’ve noticed a few things regarding existing reading groups:. Lack of archival; if you miss a meeting, you have no way to get a good handle on the discussion that happened. So, what are the ultimate goals of the service? To check it out and sign...

christophermeiklejohn.com

Readings in distributed systems

http://christophermeiklejohn.com/distributed/systems/2013/07/12/readings-in-distributed-systems.html

Readings in distributed systems. This post is a work in progress. Inspired by a recent purchase of the Red Book. Which provides a curated list of important papers around database systems, I’ve decided to begin assembling a list of important papers in distributed systems. Similar to the Red Book, I’ve broken each group of papers out into a series of categories, each highlighting a progression of related ideas over time focused in a specific area of research within the field. Diego Ongaro, John Ousterhout.

christophermeiklejohn.com

Publications

http://christophermeiklejohn.com/publications.html

Publications I've been involved with:. A language-level approach to distributed computation with weak synchronization and its application to cloud and edge computing environments. Christopher S. Meiklejohn. Lasp: A Language for Distributed, Coordination-Free Programming Christopher S. Meiklejohn, Peter Van Roy. The 17th International Symposium on Principles and Practice of Declarative Programming. 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec 2016. Lasp: A Language for Distrib...