BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud
Dedalus: Datalog in Time and Space
Logic and Lattices for Distributed Programming
OctopusDB: Towards a One Size Fits All Database Architecture
Edelweiss: Automatic Storage Reclamation for Distributed Programming
OLTP Through the Looking Glass
Evita Raced: Metacompilation for Declarative Networks
Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior
Database Queries that Explain their Work
Personifying Programming Tool Feedback Improves Novice Programmers Learning
BloomUnit: Declarative Testing for Distributed Programs
Opis: Reliable Distributed Systems in OCaml