Publication
Multi-structured redundancy
Publication
Programming with SpecTM
Publication
Jigsaw: Efficient, Low-effort Mashup Isolation
Publication
Software Abstractions for Trusted Sensors
Video
Naiad: Incremental and Iterative Data-Parallel Computation
Naiad is a distributed system that supports efficient incremental and iterative data-parallel computation. It extends standard batch data-parallel processing models like MapReduce, Hadoop, and Dryad/DryadLINQ to support efficient incremental updates in the manner of a…