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

May 14, 2018

Mike Dodds,  Sarah Chasins,  Bill Zorn,  Stuart Pernsteiner

기간   1:22:20

June 30, 2016

Benjamin Zorn

a close up of text on a black background 기간   52:22

February 11, 2016

Brandon Lucia

기간   56:24

January 29, 2016

Moshe Gabel

기간   19:28

January 8, 2016

James Mickens and Mark Marron

a man looking at the camera 기간   01:00:03

October 30, 2014

Tim Wood

a couple of people posing for the camera 기간   01:05:32

October 29, 2014

Tom Wies and Zvomir Pavlinovic

기간   54:03

October 29, 2014

Rifat Shahriyar

a person posing for the camera 기간   54:11

September 26, 2014

Leonid Ryzhyk