Programming languages and software engineering research area
Return to Microsoft Research Lab – Redmond

Research in Software Engineering (RiSE)

Vidéos

PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography Durée   0:56:27

May 14, 2018

Speakers : Mike Dodds,  Sarah Chasins,  Bill Zorn,  Stuart Pernsteiner

Durée   1:22:20

June 30, 2016

Speakers : Ben Zorn

Affiliation : Microsoft

a close up of text on a black background Durée   52:22

February 11, 2016

Speakers : Brandon Lucia, Jeff Running

Affiliation : Carnegie Mellon University

Durée   56:24

January 29, 2016

Speakers : Jeff Running

Affiliation : Technion

Durée   19:28

January 8, 2016

Speakers : Mark Marron, James Mickens

a man looking at the camera Durée   01:00:03

October 30, 2014

Speakers : Jeff Running

Affiliation : Imperial College London

a couple of people posing for the camera Durée   01:05:32

October 29, 2014

Speakers : Jeff Running

Affiliation : New York University

Durée   54:03

October 29, 2014

Speakers : Jeff Running

Affiliation : Australian National University

a person posing for the camera Durée   54:11

September 26, 2014

Speakers : Jeff Running

Affiliation : University of Toronto and NICTA