Software Developed by Microsoft Research
Z3-2.12 v.2 1
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. Philippe Suter made a JNI binding available.
Tip Tap Tones v.1.1.0.0
Tip Tap Tones for Windows Phone helps language learners to identify the sounds and tones of Mandarin Chinese in a way that is fast, fun, and effective. In the game, you listen to a Mandarin sound before tapping the button representing the tone and
Sketch Match v.1.3.0.0
Do you want to try and practice sketching in a fun way? Do you want to search images by sketching what you’re looking for? Then Sketch Match is a great entertainment app for you! Here are the main features: - Get rated on your sketches of given
POPL 2012 v.1.0.0.0
The annual Symposium on Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice.
My Conference v.1.0.0.0
The My Conference app provides electronic versions of programs for academic conferences and include information such sessions times, paper abstracts, venue locations, speaker bios, social feeds,
MSRParaphraseCorpus v.1.0
This download consists of data only: a text file containing 5800 pairs of sentences which have been extracted from news sources on the web, along with human annotations indicating whether each pair captures a paraphrase/semantic equivalence relations
Microsoft Research Reader v.1.2.0.0
Microsoft Research Reader is an experimental app from the Microsoft Research web team. With Microsoft Research Reader you can view the latest and top videos, projects, publications, downloads and browse research areas. Version 1.2 includes a new
Joulemeter v.1 2
Joulemeter can be used for gaining visibility into energy use and for making several power management and provisioning decisions in data centers, client computing, and software design.