tao's talk
homomorphic sketches
mergeable summaries
kernel
heading
multiparty communication complexity
property testing