Research Tools: code, datasets, & models
Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
Tool
MikroKosmos: A Verification-Oriented Model Implementation of an STM in C#
This model implementation of software transactional memory (STM) is based on a 2006 version of the Bartok STM developed at Microsoft and this PLDI ’06 paper: Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi. “Optimizing…
Tool
Microsoft Research Tiled-Vectors Demo
The tiled-vectors technique enables the display of enormous data sets as vectors in client-side map browsers by tiling the vectors into constant-size files.