RiSE

List of Episodes

Microsoft Researchers on 2013 ICFP Competition

11:36

Peli at RiSE

Peter Heldens - Creating Scripts with TouchDevelop

02:47

Peli at RiSE

TouchDevelop - Getting Started

02:22

Peli at RiSE

Guido de Caso - Distributed Knowledge Authorization Language

11:09

ICSE 2011: Conversation with Baris Aktemur

14:15

ICSE 2011: Danny Dig - Retrofitting Parallelism into a Sequential World

17:09

ICSE 2011: Dieter Rombach - Software Engineering Process Methodology

27:18

ICSE 2011: Grigore Rosu - The Art and Science of Program Verification

17:49

ICSE 2011: Victor Pankratius - Developing Manycore Applications with Concurrency…

19:15

ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History

36:06

ICSE 2011: Conversation with Kumiyo Nakakoji

31:56

ICSE 2011: Conversation with Andreas Zeller

24:34