http://research.microsoft.com/apps/dp/dl/downloads.aspx Get the latest downloads from Microsoft Research. © 2009 Microsoft Corporation. All rights reserved. en-US Tue, 24 Nov 2009 02:00:00 GMT 1440 We provide sample code implementing the algorithm described in our 1999 paper “Optimal Compression of IP Routing Tables.” This is a single C file: no binary, installation kit, nor documentation. http://research.microsoft.com/en-us/downloads/9d407844-d4e6-4cc0-8ce3-55c85c44b915/default.aspx Wed, 18 Nov 2009 20:47:12 GMT Dryad is a high-performance, general-purpose, distributed-computing engine that simplifies the task of implementing distributed applications on clusters of computers running a Windows® operating system. DryadLINQ enables developers to implement Dryad applications in managed code by using an extended version of the LINQ programming model and API. The academic release of Dryad and DryadLINQ provides the software necessary to develop DryadLINQ applications and to run them on a Windows HPC Server 2008 cluster. The academic release includes documentation and code samples. http://research.microsoft.com/en-us/downloads/03960cab-bb92-4c5c-be23-ce51aee0792c/default.aspx Tue, 17 Nov 2009 21:56:15 GMT Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/default.aspx Fri, 13 Nov 2009 00:33:45 GMT Infer.NET is a .NET framework for machine learning. It provides state-of-the-art message-passing algorithms and statistical routines for performing Bayesian inference. It has applications in a wide variety of domains, including information retrieval, bioinformatics, epidemiology, vision, and many others. http://research.microsoft.com/en-us/downloads/0382e633-8702-4130-a2c5-14004be93896/default.aspx Thu, 12 Nov 2009 18:13:20 GMT Pex (Program EXploration) is a white-box test generation tool. Given a hand-written parameterized unit test, Pex analyzes the code to determine relevant test inputs fully automatically. The result is a traditional unit test suite with high code coverage. http://research.microsoft.com/en-us/downloads/d2279651-851f-4d7a-bf05-16fd7eb26559/default.aspx Thu, 12 Nov 2009 09:14:13 GMT Project Trident: A Scientific Workflow Workbench is a set of tools based on the Windows Workflow Foundation that addresses scientists’ need for a flexible, powerful way to analyze large, diverse datasets. It includes graphical tools for creating, running, managing, and sharing workflows and can run workflows on a Windows HPC Server 2008 cluster. Project Trident also offers integration with myExperiment, an external workflow collaboration portal. Trident Workflow Application, available in Windows Presentation Foundation and Silverlight versions, provides a simple way to run Trident workflows. http://research.microsoft.com/en-us/downloads/f8d37ecb-dfed-4a3d-840a-7d1ccc6b60d4/default.aspx Fri, 06 Nov 2009 08:05:26 GMT The Microsoft Research Information Centre (RIC) Framework is a Web-based platform for research project management and scientific collaboration. It extends the Microsoft SharePoint 2007 platform to provide a customized project space that supports the needs of scientific researchers. RIC Framework provides a standard set of features that will be useful to most projects, including a basic framework and tools for managing a project through its life cycle. To support the detailed requirement of different types of research, or even of specific research projects, you can extend RIC Framework to provide a customized solution. http://research.microsoft.com/en-us/downloads/cc23fe44-a709-439a-86ff-fe4ec272ac3e/default.aspx Tue, 27 Oct 2009 00:45:02 GMT This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration. The tools enable runtime and static checking of managed contracts. http://research.microsoft.com/en-us/downloads/4ed7dd5f-490b-489e-8ca8-109324279968/default.aspx Sat, 24 Oct 2009 19:03:22 GMT This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln. It provides efficient random number generators and evaluation of common probability densities. It provides routines for counting floating-point operations (FLOPS), useful for benchmarking algorithms. There are also some useful utilities such as filename globbing and parsing of variable-length argument lists. http://research.microsoft.com/en-us/downloads/db1653f0-1308-4b45-b358-d8e1011385a0/default.aspx Thu, 15 Oct 2009 17:26:22 GMT F7 is an enhanced type checker for the F# programming language. F7 supports static checking of properties expressed with refinement types. Our motivation is to check various security properties of F# implementation code by typing. http://research.microsoft.com/en-us/downloads/c0c4ed53-cfd8-4b9c-b780-74946bd1337e/default.aspx Tue, 13 Oct 2009 16:58:10 GMT The goal of SIGMA is to provide a group of parallel, machine-learning functionalities that can meet the requirements of research work and applications typically with large-scale data or features. The tool kit includes, but is not limited to, classification, clustering, ranking, and statistical analysis, and it makes them run on single multicore machine or on hundreds of machines with thousands of CPU cores running in parallel. We also provide an SDK for researchers and developers to devise their own algorithms and accumulate them into the tool kit. http://research.microsoft.com/en-us/downloads/19f63ff3-06c7-4fa9-8ee0-35abffe0e5be/default.aspx Thu, 17 Sep 2009 08:34:07 GMT The Social Web Experience browser plug-in analyzes Web pages to identify key topics on the current page and match them with relevant conversations and other content from the user's social network. Matches are shown as in-line pop-ups. http://research.microsoft.com/en-us/downloads/c7311cc8-fb79-42a5-ae3b-fc797928594c/default.aspx Mon, 14 Sep 2009 16:43:04 GMT D* is a program for efficiently computing symbolic derivatives. This release includes source code tutorials showing basic D* usage, source code for Lagrangian dynamics, and source code for a simple geometric modeler. This version has a new linear time dynamics algorithm which is much faster than the algorithm used in previous releases, especially for systems with many degrees of freedom. The FAQ has been expanded with more details on techniques for optimizing performance. http://research.microsoft.com/en-us/downloads/4714703d-782c-4e37-830d-0e3b7662f743/default.aspx Tue, 01 Sep 2009 21:27:48 GMT Privacy Integrated Queries (PINQ) is a LINQ-like API for writing programs against sensitive data sets, while providing differential privacy guarantees for the underlying records. This first release provides the PINQ infrastructure, several example data analysis applications, and should be suitable for prototyping many differentially-private data analyses. http://research.microsoft.com/en-us/downloads/73099525-fd8d-4966-9b93-574e6023147f/default.aspx Tue, 18 Aug 2009 17:10:15 GMT The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified. Our compilation technique produces verifiable target code in a language called DCIL, an extension of CIL, the language of the .NET runtime. Code consumers can check DCIL target programs using a syntactic byte-code verifier to establish the security of the code. http://research.microsoft.com/en-us/downloads/2ff9af1d-43ec-422a-aa22-c9f8d07f0af8/default.aspx Fri, 14 Aug 2009 17:43:17 GMT This code extracts the separating triangulated surface from binary volumes, such as those obtained by 3-D image-segmentation algorithms. The algorithm is described in “Surface Extraction from Binary Volumes with Higher-Order Smoothness” (MSR-TR-2009-31), by Victor Lempitsky. http://research.microsoft.com/en-us/downloads/2425175d-b35c-44ac-abfd-c9829c9cc212/default.aspx Thu, 13 Aug 2009 15:40:59 GMT Use this learning infrastructure to interface with the “Civilization IV” SDK and game to run and evaluate different reinforcement-learning algorithms and learn AI strategies. The infrastructure supports simple reinforcement-learning algorithms, such as Q-learning, as well as the required instructions on implementing new algorithms and evaluating their performance. http://research.microsoft.com/en-us/downloads/2aae21f8-3d2a-4926-9208-167df090b0cf/default.aspx Tue, 04 Aug 2009 16:21:49 GMT Lucene works on top of an abstract store object called Directory. There are several Directory objects, including FSDirectory, for file systems, and RAMDirectory, for in-memory store. Azure Library for Lucene.Net implements a smart blob-storage Directory object called AzureDirectory which enables the use of Lucene.NET on top of Azure Blob Storage. AzureDirectory automatically creates a local cache of blobs and intelligently auto-uploads them on the fly. http://research.microsoft.com/en-us/downloads/523a69e3-cabe-43db-a711-3f310884762f/default.aspx Tue, 28 Jul 2009 21:24:31 GMT Our library can support basic features for site analysis, such as site-map building, forum-page structuralization, URL-pattern generation, and page random sampling. http://research.microsoft.com/en-us/downloads/58e8953e-3626-4994-bf95-19039e978223/default.aspx Mon, 27 Jul 2009 17:43:37 GMT This is a data set used for human action-detection experiments. It consists of a number of video sequences we have recorded. http://research.microsoft.com/en-us/downloads/fbf24c35-a93e-4d22-a5fe-bc08f1c3315e/default.aspx Sat, 25 Jul 2009 00:15:04 GMT