Mimalloc Hoard memory allocator Lean (proof assistant) SolveSpace C dynamic memory allocation Live Clipboard Seadragon Software Microsoft FUSE Labs Microsoft Live Labs Volta Deep Zoom Docs.com Photosynth Microsoft Live Labs Pivot Microsoft adCenter Labs Microsoft Live Labs Listas Microsoft Live Labs Deepfish Kodu Game Lab PhotoDNA Richard Rashid Microsoft Research Microsoft Live Labs