Category:Microsoft Research

• Microsoft Research

A

• Accelerator (library)
• AjaxView
• Avalanche (P2P)
• AWM–Microsoft Research Prize in Algebra and Number Theory

B

• Barrelfish (operating system)
• Bartok (compiler)
• BitFunnel
• BitVault
• Bosque (programming language)

C

• Microsoft Research Cambridge
• Conference XP
• Confidential Consortium Framework
• COSBI

D

• Dafny
• DeepSpeed
• Dryad (programming)

F

• F Sharp (programming language)
• F* (programming language)
• The Fourth Paradigm

G

• Gazelle (web browser)

H

• HomeOS
• HoneyMonkey

I

• IllumiRoom
• Image Composite Editor
• Infer.NET

J

• Joins (concurrency library)

K

• Kodu Game Lab

L

• Lean (proof assistant)
• LightGBM
• LiveStation

M

• Microsoft adCenter Labs
• Microsoft Automatic Graph Layout
• Microsoft Cognitive Toolkit
• Microsoft Comic Chat
• Microsoft Courier
• Microsoft Phoenix
• Microsoft Research Maps
• Microsoft SEAL
• Microsoft SenseCam
• Midori (operating system)
• MyLifeBits

N

• Neural Network Intelligence
• NodeXL

O

• OneFuzz
• Orleans (software framework)

P

• Penny Black (research project)
• PlusCal
• Project Digits
• Project Verona

R

• Microsoft Research Redmond

S

• Singularity (operating system)
• SLAM project
• So.cl
• SXM (transactional memory)

T

• T2 Temporal Prover
• TouchLight

V

• VALL-E
• Verve (operating system)

W

• Wallop
• WikiBhasha
• WorldWide Telescope

X

• Xiaoice

Z

• Z3 Theorem Prover