Building reliable distributed systems with refinement types

made by lkuper, submitted by Mai
In this blog post, Lindsey Kuper shares her research agenda at the intersection of distributed systems and programming languages. Read it for an interesting overview of the problem space, a cool example of working in public, and an invitation to collaborate!