RiSE

72 Entries

  • Language(s)
  • Microsoft Researchers on 2013 ICFP Competition
    11 minutes, 36 seconds
  • Peter Heldens - Creating Scripts with TouchDevelop
    2 minutes, 47 seconds
  • TouchDevelop - Getting Started
    2 minutes, 22 seconds
  • Guido de Caso - Distributed Knowledge Authorization Language
    11 minutes, 9 seconds
  • ICSE 2011: Conversation with Baris Aktemur
    14 minutes, 15 seconds
  • ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World
    17 minutes, 9 seconds
  • ICSE 2011: Dieter Rombach - Software Engineering Process Methodology
    27 minutes, 18 seconds
  • ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
    17 minutes, 49 seconds
  • ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency Auto-Tuners
    19 minutes, 15 seconds
  • ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
    36 minutes, 6 seconds