MS Research

130 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • Ping 221: Forza Horizon 2 Demo, Alienware Alpha, Coolest Cooler, Windows Store Apps, and Lag-free cloud gaming
    19 minutes, 48 seconds
  • Drawbridge: A new form of virtualization for application sandboxing
    46 minutes, 52 seconds
  • E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems
    56 minutes, 11 seconds
  • Singularity: A research OS written in C#
    53 minutes, 32 seconds
  • Aman Kansal: Inside Joulemeter
    34 minutes, 14 seconds
  • Brian Beckman: Monads, Monoids, and Mort
    1 hour, 3 minutes, 54 seconds
  • Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)
    43 minutes, 31 seconds
  • Singularity IV: Return of the UI
    14 minutes, 49 seconds
  • Verve: A Type Safe Operating System
    1 hour, 14 minutes, 50 seconds
  • CHESS: An Automated Concurrency Testing Tool
    47 minutes, 55 seconds