Explore projects

Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)

A Conflict-Free Replicated JSON Datatype (IEEE Transactions on Parallel and Distributed Systems)

Training materials for the Research Computing Cloud Infrastructure as a Service course, for the Packer image generation section.

Wifi strength mapping tool

The Cambridge text editor

This is the companion software for the paper "Unveiling the invisible - mathematical methods for restoring and interpreting illuminated manuscripts".

Project to build a k3os Openstack image using Hashicorp packer

Historical project to read an older variant of the University Card under Linux

safely store server secrets

Openstack image for Prometheus

safely store server secrets

Makefile for building a deb from e.g. one of these git repos

Docker images for Object Oriented Programming course assessment in pottery

Graduated Interval Recall program http://ssb22.user.srcf.net/gradint

This is an implementation of the University's "House Style 3" for Web sites implemented in Perl HTML::Mason. New UIS systems should not be using House Style 3, and should not be using Perl, so this should only be used by existing systems.

Design files for the bench-top video-routing button panels in LT1 and LT2

These slides were presented at my dissertation defense (Division of Applied Mathematics, Brown University, 23 May 2018).

XeLaTeX for "A Discriminative Approach to Bayesian Filtering with Applications to Human Neural Decoding"