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日

Mike Dodds,  Sarah Chasins,  Bill Zorn,  Stuart Pernsteiner

持续时间   1:22:20

2016年6月30日

Benjamin Zorn

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

2016年2月11日

Brandon Lucia

持续时间   56:24

2016年1月29日

Moshe Gabel

持续时间   19:28

2016年1月8日

James Mickens and Mark Marron

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

2014年10月30日

Tim Wood

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

2014年10月29日

Tom Wies and Zvomir Pavlinovic

持续时间   54:03

2014年10月29日

Rifat Shahriyar

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

2014年9月26日

Leonid Ryzhyk