http://research.microsoft.com/research/downloads/
AbsIL SDK for .NET Framework
Abstract IL an SDK for manipulating .NET Framework files and binaries. You can use this release from any .NET programming language, though it is best used from F#, or the OCaml language. With it you can access the contents of .NET binaries at a high-level, avoiding the details of the binary format. Abstract IL has been used for a compiler (F#), a static analysis tool looking analyzing code access security and an aspect-oriented programming project.
AHC Managed Code Benchmark
ahcbench is a benchmark based on compressing and decompressing an input file using Adaptive Huffman Compression. It is written in C# and has been tested with the CLR version 1.0.3705 and Rotor version 1.0. ahcbench is compute-intensive, requiring a relatively small heap. There are 1267 lines of code in the source for the benchmark. Please visit the AHC Managed Code Benchmark web site for more information.
Allegiance Source Code
Allegiance is a multiplayer space-combat game that was developed at Microsoft Research. This download contains the source code for this project, which is being released for use by the Allegiance community. Please visit the Allegiance Source Code web site for more information.
AsmL for Microsoft .NET
AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other .NET assembly, no matter what source language it is written in. AsmL uses XML and Word for literate specifications. Please visit the AsmL for Microsoft .NET web site for more information.
Bilingual Sentence Aligner
When people translate documents from one language to another, not all sentences are translated one-for-one. This Perl code implements an algorithm for finding which sentences do translate one-for-one in a parallel bilingual corpus.
C# Software Transactional Memory
Software Transactional Memory (STM) is an API for multithreaded computation in which shared data is synchronized without using locks. Threads synchronize by means of memory transactions, short-lived computations that either commit (take effect) or abort (have no effect). Transactions avoid the well-known problems of locking, including deadlock, priority inversion, and fault-intolerance. The SXM is a software transactional memory package written in C#. It is much easier to use than prior STMs because it uses Reflection.Emit to transparently add synchronization code to sequential data structures.
CamWebSIM
CamWebSIM is a small quasi-HTTP server on a GSM SIM based on Microsoft Windows for Smart Cards. By making the SIM accessible over HTTP, the phone and the SIM become a personal security server in the Internet that is based on the GSM trust model. The code consists of 3 parts: 1) Code on the SIM in Visual Basic 2) Gateway code in Python 3) HTML and CGI access code Please visit the CamWebSIM web site for more information.
Comega compiler preview
Comega is an experimental language which extends C# with new constructs for relational and semi-structured data access and asynchronous concurrency. Please visit the Comega compiler preview web site for more information.
ConferenceXP Client
ConferenceXP integrates recent advances in high performance audio, video and network technologies to seamlessly connect multiple distant participants in a rich immersive environment for distance conferencing, instruction and collaboration. ConferenceXP provides an extensible foundation for interactive collaborative environments, and serves as a research platform for designing and implementing distance conferencing and learning applications. Please visit the ConferenceXP Client web site for more information.
ConferenceXP Source Code
This is the source code for the various components of the ConferenceXP Project. ConferenceXP integrates recent advances in high performance audio, video and network technologies to seamlessly connect multiple distant participants in a rich immersive environment for distance conferencing, instruction and collaboration. Please visit the ConferenceXP Source Code web site for more information.
Context-Free Parsing Algorithms
Reference implementations in Perl 5 of several parsing algorithms for context-free grammars.
Continuous Flash
By acquiring two digital images of a scene, one with flash and one without flash, we let the user subsequently interpolate the images to obtain any continuous flash intensity, and even extrapolate beyond the original images. This demo shows one such example. Please visit the Continuous Flash web site for more information.
Coq Proof of the Four Color Theorem
A formal proof of the famous Four Color Theorem that has been fully checked by the Coq proof assistant. The vernacular and tactic scripts run on version v7.3.1 of the Coq system Please visit the Coq Proof of the Four Color Theorem web site for more information.
Data Visualization Components
The Community Technologies group at Microsoft Research has developed a set of components for displaying data in .NET applications. Included in this package are: a treemap. A treemap is a rendering of hierarchical data as a set of nested boxes, where each box corresponds to one data element; a bubble chart, which is a set of points displayed as bubbles in an x-y coordinate system; a piano roll is a spreadsheet-like display in which each cell is displayed in a variety of graphical formats; a spire chart (histogram) has a column for each week in a specified year; a thread tree is a hierarchy of nodes; and a time series chart displays multiple time series. The Data Visualization Components in this package are now available for commercial licensing. For commercial licensing information, contact msrlg@microsoft.com.
Detours
Detours is a library for instrumenting arbitrary Win32 functions on x86 machines. Detours intercepts Win32 functions by re-writing target function images. Please visit the Detours web site for more information.
EAC Player and Parser
Generate an application bitstream from parsing a master bitstream and a companion file. Decode an embedded bitstream to waveform or PC speaker.
Exposition of the Rubber Band Method
This code is a nonstandard combination of an expository article, an algorithm animation, and a research tool. It describes the common idea behind algorithms solving three basic graph theory problems, planarity, connectivity, and maximum cut. The reader can experiment by creating his/her own graphs, or modifying those from a library, to see the behavior of these algorithms. Please visit the Exposition of the Rubber Band Method web site for more information.
F# Compiler
(Click the link above to download) F# is an variant of the ML programming language for .NET and has a core language that is similar to that of OCaml. It is a mixed functional/imperative/object-oriented programming language which is excellent for medium-advanced programmers and for teaching. In addition, you can access hundreds of .NET libraries using F#, and the F# code you write can be accessed from C# and other .NET languages. This release of F# includes a command line compiler as well as 'F# for Visual Studio', which provides interactive syntax highlighting, parsing, typechecking and intellisense for F# code inside Visual Studio 2003 and Visual Studio 2005, and 'F# Interactive', a command-line top level environment for F#.
Fast subroutines for Matlab programs
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. Please visit the Fast subroutines for Matlab programs web site for more information.
Fugue
Fugue is a software protocol checker for languages compiling to MSIL. Stylized object invariants, pre and post conditions are expressed via custom attributes and the checker statically verifies them at the IL level. The release comes with documentation and a tutorial.
Functional Reactive Animation
Fran is a Haskell library (or "embedded language") for interactive animations with 2D and 3D graphics and sound. Please visit the Functional Reactive Animation web site for more information.
GroupBar
GroupBar is a prototype for demonstrating the use of window-grouping features in an XP TaskBar-like interface. The window tiles in the GroupBar can be rearranged in any order or dragged and dropped into lightweight "groups" that allow one-click task-switching and convenient group operations. (Groupbar is now available for commercial licensing. Interested parties should contact msrlg@microsoft.com.) Please visit the GroupBar web site for more information.
Gyro: Generics for the SSCLI
Gyro is a set of files that convert an existing installation of the Microsoft Shared Source CLI 1.0 to support generic type definitions and generic methods. These generic constructs take types as parameters, and are primarily intended to better support typed containers such as lists, stacks, and dictionaries. Microsoft's research work on generics is an ongoing project. This release is intended to allow you to familiarise yourself with the current state of the research, and to provide feedback where appropriate. Certain aspects of the design of generics for the SSCLI will change in future releases. Please visit the Gyro: Generics for the SSCLI web site for more information.
IceCube (engine and applications)
In a distributed system, shared data is replicated. Updates cause replicas to diverge. Reconciliation repairs the divergence. IceCube is a general-purpose reconciliation engine, parameterised by the semantics of shared data and by the users' declared intentions. Refer to: http://research.microsoft.com/scripts/pubs/view.asp?TR_ID=MSR-TR-2002-52, Efficient semantics-aware reconciliation for optimistic write sharing, by Nuno Preguiça, Marc Shapiro and Caroline Matheson. Please visit the IceCube (engine and applications) web site for more information.
JCLUSTER
JCLUSTER is a fast simple clustering program that produces hierarchical, binary branching, tree structured clusters.
JetStream
Image editor with cut and paste tool, based on sequential curve growing with interaction. Please visit the JetStream web site for more information.
LCSC Managed Code Benchmark
lcscbench is based on the front end of a compiler for C# written in C# and uses a generalized LR (GLR) parsing algorithm. lcscbench is compute and memory intensive, requiring hundreds of megabytes of heap for the largest input file provided (a C# source file with 125,000 lines of code). The source contains approximately 17,000 lines of code if machine-generated code is not counted. It has been tested with the CLR version 1.0.3705 and Rotor version 1.0. Please visit the LCSC Managed Code Benchmark web site for more information.
Mesh Connectivity Layer
The Mesh Connectivity Layer (MCL) driver with Link-Quality Source Routing (LQSR). LQSR is a routing protocol for ad-hoc networks. MCL implements a virtual network adapter, so that to the rest of the system the ad-hoc network appears as an additional (virtual) network link. Please visit the Mesh Connectivity Layer web site for more information.
Microsoft Audio Watermarking Tool
This tool is based upon the publication: D. Kirovski and H.S. Malvar. Spread Spectrum Watermarking of Audio Signals. IEEE Transactions on Signal Processing, Vol.51, (no.4), pp.1020–33, 2003. As mentioned in the publication, it displays solid robustness against traditional signal processing, including arbitrary limited pitch bending and time-scaling. However, targetted procedures such as watermark estimation or the replacement attack can wipe out the watermark while preserving perceptual fidelity. Authors: Darko Kirovski and Henrique Malvar, both at Microsoft Research Contact: Darko Kirovski (darkok@microsoft.com) Please visit the Microsoft Audio Watermarking Tool web site for more information.
Microsoft Easy Camera Calibration Tool
Microsoft Easy Camera Calibration Tool can be used to determine a cameraÂ’s internal parameters (focal length, aspect ratio, radial distortion, etc.). The technique only requires the camera to observe a planar pattern shown at a few (at least two) different orientations. Either the camera or the planar pattern can be freely moved. The motion need not be known. Please visit the Microsoft Easy Camera Calibration Tool web site for more information.
Microsoft Giano
Giano is a dual-headed hardware simulator, it includes both CPU and HDL simulators. The CPU simulations provided are ARM, MIPS and PowerPC, the HDL simulator is Verilog. Giano faithfully simulates a complete Atmel EB63 evaluation board. Additionally, Giano simulates a display and a sound device that do not actually exist on the EB63 board. Giano is portable and extensible, it is easy to add CPUs and I/O modules to it. The HDL simulators currently supported are ModelSim and Icarus Verilog.
Microsoft Outlook Mobile Manager
Outlook Mobile Manager (OMM) acts as a full-time dedicated secretary, relaying urgent emails and reminders about meetings and tasks to a user's cell phone or other mobile device when users are in mobile settings. The system considers the urgency of email and the overall context of the user in decisions about message relay and alerting. The system's behavior can be personalized so as learn to understand a user's sense for the urgency of different messages. OMM v.1.0 shipped in 2001. OMM v.2.0 adds enhancements include more advanced presence forecasting and simulation-based feedback about alerts based on settings. Please visit the Microsoft Outlook Mobile Manager web site for more information.
Microsoft Portrait for Pocket PC, Handheld PC and Smartphone
Microsoft Portrait is a research prototype for mobile video communication. It supports .NET Messenger Service, Session Initiation Protocol and Internet Locator Service on PCs, Pocket PCs, Handheld PCs and Smartphones. It runs on local area networks, dialup networks and even wireless networks with bandwidths as low as 9.6 kilobits/second. Microsoft Portrait delivers portrait-like video if users are in low bandwidths and displays full-color video if users are in broadband. In low bandwidths, portrait video possesses clearer shape, smoother motion, shorter latency and much cheaper computational cost than do conventional video technologies. Microsoft Portrait pursues providing presence notification, chat/voice/video functions anytime, anywhere, on any device. Please visit the Microsoft Portrait web site for more information. Please visit the Microsoft Portrait for Pocket PC, Handheld PC and Smartphone web site for more information.
ETC......
AbsIL SDK for .NET Framework
Abstract IL an SDK for manipulating .NET Framework files and binaries. You can use this release from any .NET programming language, though it is best used from F#, or the OCaml language. With it you can access the contents of .NET binaries at a high-level, avoiding the details of the binary format. Abstract IL has been used for a compiler (F#), a static analysis tool looking analyzing code access security and an aspect-oriented programming project.
AHC Managed Code Benchmark
ahcbench is a benchmark based on compressing and decompressing an input file using Adaptive Huffman Compression. It is written in C# and has been tested with the CLR version 1.0.3705 and Rotor version 1.0. ahcbench is compute-intensive, requiring a relatively small heap. There are 1267 lines of code in the source for the benchmark. Please visit the AHC Managed Code Benchmark web site for more information.
Allegiance Source Code
Allegiance is a multiplayer space-combat game that was developed at Microsoft Research. This download contains the source code for this project, which is being released for use by the Allegiance community. Please visit the Allegiance Source Code web site for more information.
AsmL for Microsoft .NET
AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other .NET assembly, no matter what source language it is written in. AsmL uses XML and Word for literate specifications. Please visit the AsmL for Microsoft .NET web site for more information.
Bilingual Sentence Aligner
When people translate documents from one language to another, not all sentences are translated one-for-one. This Perl code implements an algorithm for finding which sentences do translate one-for-one in a parallel bilingual corpus.
C# Software Transactional Memory
Software Transactional Memory (STM) is an API for multithreaded computation in which shared data is synchronized without using locks. Threads synchronize by means of memory transactions, short-lived computations that either commit (take effect) or abort (have no effect). Transactions avoid the well-known problems of locking, including deadlock, priority inversion, and fault-intolerance. The SXM is a software transactional memory package written in C#. It is much easier to use than prior STMs because it uses Reflection.Emit to transparently add synchronization code to sequential data structures.
CamWebSIM
CamWebSIM is a small quasi-HTTP server on a GSM SIM based on Microsoft Windows for Smart Cards. By making the SIM accessible over HTTP, the phone and the SIM become a personal security server in the Internet that is based on the GSM trust model. The code consists of 3 parts: 1) Code on the SIM in Visual Basic 2) Gateway code in Python 3) HTML and CGI access code Please visit the CamWebSIM web site for more information.
Comega compiler preview
Comega is an experimental language which extends C# with new constructs for relational and semi-structured data access and asynchronous concurrency. Please visit the Comega compiler preview web site for more information.
ConferenceXP Client
ConferenceXP integrates recent advances in high performance audio, video and network technologies to seamlessly connect multiple distant participants in a rich immersive environment for distance conferencing, instruction and collaboration. ConferenceXP provides an extensible foundation for interactive collaborative environments, and serves as a research platform for designing and implementing distance conferencing and learning applications. Please visit the ConferenceXP Client web site for more information.
ConferenceXP Source Code
This is the source code for the various components of the ConferenceXP Project. ConferenceXP integrates recent advances in high performance audio, video and network technologies to seamlessly connect multiple distant participants in a rich immersive environment for distance conferencing, instruction and collaboration. Please visit the ConferenceXP Source Code web site for more information.
Context-Free Parsing Algorithms
Reference implementations in Perl 5 of several parsing algorithms for context-free grammars.
Continuous Flash
By acquiring two digital images of a scene, one with flash and one without flash, we let the user subsequently interpolate the images to obtain any continuous flash intensity, and even extrapolate beyond the original images. This demo shows one such example. Please visit the Continuous Flash web site for more information.
Coq Proof of the Four Color Theorem
A formal proof of the famous Four Color Theorem that has been fully checked by the Coq proof assistant. The vernacular and tactic scripts run on version v7.3.1 of the Coq system Please visit the Coq Proof of the Four Color Theorem web site for more information.
Data Visualization Components
The Community Technologies group at Microsoft Research has developed a set of components for displaying data in .NET applications. Included in this package are: a treemap. A treemap is a rendering of hierarchical data as a set of nested boxes, where each box corresponds to one data element; a bubble chart, which is a set of points displayed as bubbles in an x-y coordinate system; a piano roll is a spreadsheet-like display in which each cell is displayed in a variety of graphical formats; a spire chart (histogram) has a column for each week in a specified year; a thread tree is a hierarchy of nodes; and a time series chart displays multiple time series. The Data Visualization Components in this package are now available for commercial licensing. For commercial licensing information, contact msrlg@microsoft.com.
Detours
Detours is a library for instrumenting arbitrary Win32 functions on x86 machines. Detours intercepts Win32 functions by re-writing target function images. Please visit the Detours web site for more information.
EAC Player and Parser
Generate an application bitstream from parsing a master bitstream and a companion file. Decode an embedded bitstream to waveform or PC speaker.
Exposition of the Rubber Band Method
This code is a nonstandard combination of an expository article, an algorithm animation, and a research tool. It describes the common idea behind algorithms solving three basic graph theory problems, planarity, connectivity, and maximum cut. The reader can experiment by creating his/her own graphs, or modifying those from a library, to see the behavior of these algorithms. Please visit the Exposition of the Rubber Band Method web site for more information.
F# Compiler
(Click the link above to download) F# is an variant of the ML programming language for .NET and has a core language that is similar to that of OCaml. It is a mixed functional/imperative/object-oriented programming language which is excellent for medium-advanced programmers and for teaching. In addition, you can access hundreds of .NET libraries using F#, and the F# code you write can be accessed from C# and other .NET languages. This release of F# includes a command line compiler as well as 'F# for Visual Studio', which provides interactive syntax highlighting, parsing, typechecking and intellisense for F# code inside Visual Studio 2003 and Visual Studio 2005, and 'F# Interactive', a command-line top level environment for F#.
Fast subroutines for Matlab programs
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. Please visit the Fast subroutines for Matlab programs web site for more information.
Fugue
Fugue is a software protocol checker for languages compiling to MSIL. Stylized object invariants, pre and post conditions are expressed via custom attributes and the checker statically verifies them at the IL level. The release comes with documentation and a tutorial.
Functional Reactive Animation
Fran is a Haskell library (or "embedded language") for interactive animations with 2D and 3D graphics and sound. Please visit the Functional Reactive Animation web site for more information.
GroupBar
GroupBar is a prototype for demonstrating the use of window-grouping features in an XP TaskBar-like interface. The window tiles in the GroupBar can be rearranged in any order or dragged and dropped into lightweight "groups" that allow one-click task-switching and convenient group operations. (Groupbar is now available for commercial licensing. Interested parties should contact msrlg@microsoft.com.) Please visit the GroupBar web site for more information.
Gyro: Generics for the SSCLI
Gyro is a set of files that convert an existing installation of the Microsoft Shared Source CLI 1.0 to support generic type definitions and generic methods. These generic constructs take types as parameters, and are primarily intended to better support typed containers such as lists, stacks, and dictionaries. Microsoft's research work on generics is an ongoing project. This release is intended to allow you to familiarise yourself with the current state of the research, and to provide feedback where appropriate. Certain aspects of the design of generics for the SSCLI will change in future releases. Please visit the Gyro: Generics for the SSCLI web site for more information.
IceCube (engine and applications)
In a distributed system, shared data is replicated. Updates cause replicas to diverge. Reconciliation repairs the divergence. IceCube is a general-purpose reconciliation engine, parameterised by the semantics of shared data and by the users' declared intentions. Refer to: http://research.microsoft.com/scripts/pubs/view.asp?TR_ID=MSR-TR-2002-52, Efficient semantics-aware reconciliation for optimistic write sharing, by Nuno Preguiça, Marc Shapiro and Caroline Matheson. Please visit the IceCube (engine and applications) web site for more information.
JCLUSTER
JCLUSTER is a fast simple clustering program that produces hierarchical, binary branching, tree structured clusters.
JetStream
Image editor with cut and paste tool, based on sequential curve growing with interaction. Please visit the JetStream web site for more information.
LCSC Managed Code Benchmark
lcscbench is based on the front end of a compiler for C# written in C# and uses a generalized LR (GLR) parsing algorithm. lcscbench is compute and memory intensive, requiring hundreds of megabytes of heap for the largest input file provided (a C# source file with 125,000 lines of code). The source contains approximately 17,000 lines of code if machine-generated code is not counted. It has been tested with the CLR version 1.0.3705 and Rotor version 1.0. Please visit the LCSC Managed Code Benchmark web site for more information.
Mesh Connectivity Layer
The Mesh Connectivity Layer (MCL) driver with Link-Quality Source Routing (LQSR). LQSR is a routing protocol for ad-hoc networks. MCL implements a virtual network adapter, so that to the rest of the system the ad-hoc network appears as an additional (virtual) network link. Please visit the Mesh Connectivity Layer web site for more information.
Microsoft Audio Watermarking Tool
This tool is based upon the publication: D. Kirovski and H.S. Malvar. Spread Spectrum Watermarking of Audio Signals. IEEE Transactions on Signal Processing, Vol.51, (no.4), pp.1020–33, 2003. As mentioned in the publication, it displays solid robustness against traditional signal processing, including arbitrary limited pitch bending and time-scaling. However, targetted procedures such as watermark estimation or the replacement attack can wipe out the watermark while preserving perceptual fidelity. Authors: Darko Kirovski and Henrique Malvar, both at Microsoft Research Contact: Darko Kirovski (darkok@microsoft.com) Please visit the Microsoft Audio Watermarking Tool web site for more information.
Microsoft Easy Camera Calibration Tool
Microsoft Easy Camera Calibration Tool can be used to determine a cameraÂ’s internal parameters (focal length, aspect ratio, radial distortion, etc.). The technique only requires the camera to observe a planar pattern shown at a few (at least two) different orientations. Either the camera or the planar pattern can be freely moved. The motion need not be known. Please visit the Microsoft Easy Camera Calibration Tool web site for more information.
Microsoft Giano
Giano is a dual-headed hardware simulator, it includes both CPU and HDL simulators. The CPU simulations provided are ARM, MIPS and PowerPC, the HDL simulator is Verilog. Giano faithfully simulates a complete Atmel EB63 evaluation board. Additionally, Giano simulates a display and a sound device that do not actually exist on the EB63 board. Giano is portable and extensible, it is easy to add CPUs and I/O modules to it. The HDL simulators currently supported are ModelSim and Icarus Verilog.
Microsoft Outlook Mobile Manager
Outlook Mobile Manager (OMM) acts as a full-time dedicated secretary, relaying urgent emails and reminders about meetings and tasks to a user's cell phone or other mobile device when users are in mobile settings. The system considers the urgency of email and the overall context of the user in decisions about message relay and alerting. The system's behavior can be personalized so as learn to understand a user's sense for the urgency of different messages. OMM v.1.0 shipped in 2001. OMM v.2.0 adds enhancements include more advanced presence forecasting and simulation-based feedback about alerts based on settings. Please visit the Microsoft Outlook Mobile Manager web site for more information.
Microsoft Portrait for Pocket PC, Handheld PC and Smartphone
Microsoft Portrait is a research prototype for mobile video communication. It supports .NET Messenger Service, Session Initiation Protocol and Internet Locator Service on PCs, Pocket PCs, Handheld PCs and Smartphones. It runs on local area networks, dialup networks and even wireless networks with bandwidths as low as 9.6 kilobits/second. Microsoft Portrait delivers portrait-like video if users are in low bandwidths and displays full-color video if users are in broadband. In low bandwidths, portrait video possesses clearer shape, smoother motion, shorter latency and much cheaper computational cost than do conventional video technologies. Microsoft Portrait pursues providing presence notification, chat/voice/video functions anytime, anywhere, on any device. Please visit the Microsoft Portrait web site for more information. Please visit the Microsoft Portrait for Pocket PC, Handheld PC and Smartphone web site for more information.
ETC......
