An index of datasets, SDKs, APIs and other open source code created by Microsoft researchers and shared with the broader academic community. We also maintain a collection highlighting some of the tools you’ll find here.
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…
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.
Viral Economy Simulator
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server platforms do not scale well, resulting in substantial operational costs, whereas…