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

Research in Software Engineering (RiSE)

视频

PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography 持续时间   0:56:27

2018年5月14日

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

持续时间   1:22:20

2016年6月30日

Speakers : Ben Zorn

所属单位 : Microsoft

a close up of text on a black background 持续时间   52:22

2016年2月11日

Speakers : Brandon Lucia, Jeff Running

所属单位 : Carnegie Mellon University

持续时间   56:24

2016年1月29日

Speakers : Jeff Running

所属单位 : Technion

持续时间   19:28

2016年1月8日

Speakers : Mark Marron, James Mickens

a man looking at the camera 持续时间   01:00:03

2014年10月30日

Speakers : Jeff Running

所属单位 : Imperial College London

a couple of people posing for the camera 持续时间   01:05:32

2014年10月29日

Speakers : Jeff Running

所属单位 : New York University

持续时间   54:03

2014年10月29日

Speakers : Jeff Running

所属单位 : Australian National University

a person posing for the camera 持续时间   54:11

2014年9月26日

Speakers : Jeff Running

所属单位 : University of Toronto and NICTA