Blog de recherche Microsoft

Microsoft Windows

  1. Checked C Specification 

    October 12, 2018

    This is a detailed specification for the Checked C extension that explains the design in-depth.  

  2. Checked C clang compiler 

    October 12, 2018

    The Checked C extension to C is being implemented in a fork of the clang compiler.     You can download the latest version of the Checked C compiler for Windows from this GitHub link.          

  3. Space Partition Tree and Graph (SPTAG) 

    September 24, 2018 | Qi Chen

    SPTAG (Space Partition Tree And Graph) is a library for large scale vector approximate nearest neighbor search scenario. It assumes that the samples are represented as vectors and that the vectors can be compared by L2 distances or cosine distances. Vectors returned for a query…

  4. FrodoKEM: Learning with Errors Key Encapsulation 

    April 18, 2018

    This C library implements FrodoKEM, an IND-CCA secure key encapsulation (KEM) protocol based on the well-studied Learning with Errors (LWE) problem [1], which in turn has close connections to conjectured-hard problems on generic, "algebraically unstructured" lattices. FrodoKEM is conjectured to be secure against quantum computer attacks.

  5. Learning to Represent Programs with Graphs Dataset – ICLR 2018 

    April 16, 2018

    This download contains the graphs (parsed source code) for the open-source projects used in the ICLR 2018 paper "Learning to Represent Programs with Graphs". In this work, we present how to construct graphs from source code and how to scale Gated Graph Neural Networks training…

  6. Microsoft Translator 

    February 8, 2018

    Translate voice and text in all Microsoft Translator supported languages, using the world’s first Deep Neural Network-powered offline packs to translate even when you are not connected to the internet.

  8. CodeTalk 

    December 9, 2017 | Priyan Vaithilingam, Venkatesh Potluri, Suresh Parthasarathy, et Gopal Srinivasa

    Code Talk is a step towards making programming IDEs more accessible. The plugin currently concentrates on three main aspects of programming: glanceability, real-time error information, and accessible debugging. CodeTalk is currently available for Visual Studio. We are working very hard towards bringing it to more…

  9. Embedded Learning Library (ELL) 

    December 4, 2017

    The Embedded Learning Library (ELL) allows you to design and deploy intelligent machine-learned models onto resource constrained platforms and small single-board computers, like Raspberry Pi, Arduino, and micro:bit. The deployed models run locally, without requiring a network connection and without relying on servers in the…

  10. Microsoft Hands-Free Sound Machine 

    November 10, 2017

    Microsoft Hands-Free Sound Machine is a WPF XAML application that works with a number of Tobii eye tracking devices and leverages the audio and MIDI APIs in Windows 10 to play both sampled audio and MIDI based music or to output a MIDI based message…

  11. Language Model Challenge (LMChallenge) 

    October 9, 2017

    Language modelling is a key component of many NLP systems, but comparing language models (LMs) in a fair way can be difficult.  LM Challenge is a small, cross platform Python library for evaluating and investigating language models.  We developed LM Challenge at SwiftKey to improve…

  12. LWE Library 

    September 28, 2017

    This library implements Frodo, a lattice-based key exchange based on the Learning with Errors (LWE) problem. The library uses Frodo's "recommended parameters".