• Location-Based Social Networks Take Off
  • Published: 12/9/2009 2:00:00 PM
    With leadership from Microsoft Research Asia, the first International Workshop on Location Based Social Networks, held in Seattle on Nov...
  • danah boyd: 'People Looked at Me Like I Was an Alien'
  • Published: 12/9/2009 9:05:00 AM
    Microsoft researcher danah boyd talks about social networking, young people, and how the Web is more private than your home...
  • Microsoft Lab Tests a Wikipedia of Average Joes
  • Published: 12/7/2009 11:09:00 AM
    Dubbed EntityCube and now live to try out, a research project from Microsoft Research Cambridge pulls together biographical information on anyone found on the Web...
  • African Computer Scientists Recognized
  • Published: 12/7/2009 10:00:00 AM
    Microsoft Research, TWAS, and AAS reward computer scientists showing potential to accelerate economic development in Africa...
  • Scientists, Lawyers Mull Effects of Home Robots
  • Published: 12/7/2009 5:35:00 AM
    Eric Horvitz of Microsoft Research is one of the scientists and legal scholars exploring the effects of the increasing number and variety of robots in our lives...
  • UK e-Science 'Tony Hey Prize' for Best Student Paper
  • Published: 12/7/2009 12:00:00 AM
    The 2009 UK e-Science All Hands Meeting introduces the Tony Hey Prize for the best student paper, named in honor of the outstanding contribution Hey, vice president of Microsoft Research’s External Research division, has made to UK e-Science...
  • Microsoft Targets Programming Newbies with New Vedea Visualization Language
  • Published: 12/3/2009 7:17:00 AM
    Vedea is a prototype experimental language designed by Microsoft Research Cambridge that is aimed at helping users create interactive infographics, data visualizations, and computational art...
  • Blueprints for Self-Assembly
  • Published: 12/3/2009 12:00:00 AM
    Researchers are using tools from information theory and computer science to facilitate the automatic creation of nanoscale structures...
  • Researchers Are Working on Ways to Make Encrypted Data Easier to Find
  • Published: 12/3/2009 12:00:00 AM
    Recent advances in cryptography could mean that future cloud-computing services will not only be able to encrypt documents to keep them safe in the cloud, but also make it possible to search and retrieve this information without first decrypting it...
  • Bing Maps Rolls Out Enhanced Aerial and Street-Level Views
  • Published: 12/2/2009 12:00:00 AM
    Bing Maps is launching features that give users a new view of the planet, including a streetside and enhanced aerial view stemming in part from work within Microsoft Research...
  • Video: Supernova Interview with danah boyd of Microsoft Research
  • Published: 12/2/2009 12:00:00 AM
    danah boyd of Microsoft Research discusses how, while people might share a lot of their information online, often they’re shaping what they hope we’ll perceive about them...
  • Cool-Tether Turns Phones into High-Speed Hotspots
  • Published: 12/1/2009 1:49:00 AM
    Microsoft Research has found a novel way of beating the deplorably slow speeds of mobile broadband, by combining several phones together to make one high-speed hotspot...
  • Embracing Networking Opportunities
  • Published: 11/30/2009 9:00:00 AM
    The Mobility, Networks, and Systems group within Microsoft Research India is engaging in projects that address networking challenges and potential at scales both expansive and intimate...
  • Video: danah boyd Discusses Youths' Online Behavior
  • Published: 11/28/2009 6:49:00 AM
    danah boyd of Microsoft Research talks about the changes in young people's behavior when online, their attitudes to privacy, and the importance that might be placed upon building their identities online...
  • Microsoft's Other Campus Celebrates Year Ten
  • Published: 11/27/2009 12:00:00 AM
    The company so firmly associated with Seattle also has a large site in the heart of Silicon Valley...
  • Games for Learning Institute Launches 'Game-a-Week' Feature
  • Published: 11/24/2009 12:00:00 AM
    The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has launched a Game-of-the-Week feature on http://g4li...
  • Nozzle: Counteracting Memory Exploits
  • Published: 11/23/2009 11:00:00 AM
    Over the past decade, memory exploits have been a common form of computer attack, with heap spraying being the latest in a progression of methods...
  • Microsoft Technology Reduces Network Redundancy
  • Published: 11/23/2009 6:30:00 AM
    Researchers at Microsoft Research India have developed a compression and redundancy elimination technology that can operate as a host service in enterprise systems without the use of accelerator devices over a WAN...
  • Games for Learning Institute Announces Design Contest for Microsoft’s XNA Game Studio Platform
  • Published: 11/19/2009 12:00:00 AM
    The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has announced the Game Design Challenge to build mini-games for learning on Microsoft’s XNA Game Studio 3...
  • Microsoft Cuzz: Fuzz Testing Goes Parallel
  • Published: 11/18/2009 4:12:00 AM
    Maden Musuvathi of Microsoft Research demoed a prototype product called Microsoft Cuzz, shorthand for Concurrent Fuzz testing, during PDC09...

  • Fine: A Type-Preserving Compiler for End-to-End Security Verification
  • Published: 12/7/2009 1:25:02 PM
    The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified...
  • Bulk-Synchronous GPU Programming Compiler
  • Published: 11/22/2009 4:42:11 AM
    This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language...
  • Chemistry Add-in for Word 2007
  • Published: 11/20/2009 5:25:46 PM
    The Chemistry Add-in for Word 2007 is a tool for the authoring and rendering of semantically rich chemistry information in Word 2007 documents...
  • ORTC Sample Code
  • Published: 11/18/2009 12:47:12 PM
    We provide sample code implementing the algorithm described in our 1999 paper “Optimal Compression of IP Routing Tables...
  • Dryad and DryadLINQ Academic Release
  • Published: 11/17/2009 1:56:15 PM
    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...
  • Z3
  • Published: 11/12/2009 4:33:45 PM
    Z3 is an SMT solver that combines several theory solvers into a combined framework...
  • Infer.NET 2.3
  • Published: 11/12/2009 10:13:20 AM
    Infer...
  • SCARF: A Segmental CRF Speech-Recognition Tool Kit
  • Published: 11/12/2009 9:57:07 AM
    SCARF is a tool kit for recognizing speech with segmental conditional random fields...
  • Pex - Automated Whitebox Testing for .NET
  • Published: 11/12/2009 1:14:13 AM
    Pex (Program EXploration) is a white-box test generation tool...
  • Project Trident: A Scientific Workflow Workbench
  • Published: 11/6/2009 12:05:26 AM
    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...
  • CodeContract Tools
  • Published: 10/24/2009 12:03:22 PM
    This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration...
  • Fast subroutines for Matlab programs
  • Published: 10/15/2009 10:26:22 AM
    This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln...
  • F7: Refinement Types for F# (2009)
  • Published: 10/13/2009 9:58:10 AM
    F7 is an enhanced type checker for the F# programming language...
  • SIGMA: Large-Scale Machine-Learning Tool Kit
  • Published: 9/17/2009 1:34:07 AM
    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...
  • Social Web Experience
  • Published: 9/14/2009 9:43:04 AM
    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...
  • Dynamics Simulation and Geometric Modeling Using D* Symbolic Differentiation
  • Published: 9/1/2009 2:27:48 PM
    D* is a program for efficiently computing symbolic derivatives...
  • Privacy Integrated Queries (PINQ)
  • Published: 8/18/2009 10:10:15 AM
    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...
  • Surface Extraction from Binary Volumes with Higher-Order Smoothness
  • Published: 8/13/2009 8:40:59 AM
    This code extracts the separating triangulated surface from binary volumes, such as those obtained by 3-D image-segmentation algorithms...
  • Reinforcement-Learning Infrastructure for ‘Civilization IV’
  • Published: 8/4/2009 9:21:49 AM
    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...
  • Azure Library for Lucene.Net
  • Published: 7/28/2009 2:24:31 PM
    Lucene works on top of an abstract store object called Directory...