MS Research

132 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • 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
  • Verve: A Type Safe Operating System
    1 hour, 14 minutes, 50 seconds
  • Orleans: A Framework for Scalable Client+Cloud Computing
    1 hour, 2 minutes, 56 seconds
  • CHESS: An Automated Concurrency Testing Tool
    47 minutes, 55 seconds
  • Brian Beckman: Monads, Monoids, and Mort
    1 hour, 3 minutes, 54 seconds
  • Singularity: A research OS written in C#
    53 minutes, 32 seconds
  • Aman Kansal: Inside Joulemeter
    34 minutes, 14 seconds
  • Margaret Burnett: Gender and Software
    38 minutes, 52 seconds
  • Singularity IV: Return of the UI
    14 minutes, 49 seconds