Declarative Languages and Systems – TracWelcome We design high-level programming languages and runtime systems to make it easy to build complex distributed and parallel programs. Bibliography People Research Papers Talks BOOM Our newest effort, BOOM, is an exploration of how data-centric programming methodology can make Cloud Computing an accessible platform for developer innovation. For an example, see our recent implementation of Paxo
