Publication
Haggle: Tracing Pocket Switched Networks
Publication
Delay aware querying with Seaweed
Publication
Planet Scale Software Updates
Publication
Designing and Building TerraService
Video
A Rewriting Logic Sampler
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally modeled. It is also a flexible logical framework…