Texas The main article for this category is Microsoft Research. Subcategories This category has only the following subcategory. M Microsoft Research people (43 P) Pages in category "Microsoft Research" The following 64 pages are in this category, out of 64 total. This list may not reflect recent changes. Microsoft ResearchA Accelerator (library) AjaxView Avalanche (P2P) AWM–Microsoft Research Prize in Algebra and Number TheoryB Barrelfish (operating system) Bartok (compiler) BitFunnel BitVault Bosque (programming language)C Microsoft Research Cambridge Conference XP Confidential Consortium Framework COSBID Dafny DeepSpeed Dryad (programming)F F Sharp (programming language) F* (programming language) The Fourth ParadigmG Gazelle (web browser)H HomeOS HoneyMonkeyI IllumiRoom Image Composite Editor Infer.NETJ Joins (concurrency library)K Kodu Game LabL Lean (proof assistant) LightGBM LiveStationM 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) MyLifeBitsN Neural Network Intelligence NodeXLO OneFuzz Orleans (software framework)P Penny Black (research project) PlusCal Project Digits Project VeronaR Microsoft Research RedmondS Singularity (operating system) SLAM project So.cl SXM (transactional memory)T T2 Temporal Prover TouchLightV VALL-E Verve (operating system)W Wallop WikiBhasha WorldWide TelescopeX XiaoiceZ Z3 Theorem Prover