Tea: A High-level Language and Runtime System - Microsoft Research