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

Research in Software Engineering (RiSE)

视频

Statistics is hard slide from Tea: A High-level Language and Runtime System for Automating Statistical Analysis talk 持续时间   0:38:13

2019年8月22日

Eunice Jun

2019年8月15日

Research intern Teddy Seyed studies garment 持续时间   0:04:47

2019年5月30日

Peli de Halleux, Michal Moskal, Steve Hodges, Thomas Ball, Teddy Seyed

extending f sharp STILL 持续时间   01:30:09

2018年9月7日

Guido Martinez, Zoe Paraskevopoulou

Why Aren't More Users More Happy With Our VMs? 持续时间   1:08:26

2018年5月17日

Reader Laurence Tratt

Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale 持续时间   48:02

2018年5月14日

Eric Walkingshaw, Brad Chamberlain, John Leo

持续时间   0:58:11

2018年5月14日

Tom Ball,  Ben Zorn,  Zachary Tatlock,  Dan Grossman,  Talia Ringer,  Nathaniel Yazdani,  John Leo,  Max Willsey,  Luis Ceze,  Karin Strauss,  Stewart Grant,  Ivan Beschastnikh

PNW PLSE Workshop: Project Everest: Theory meets Reality 持续时间   0:32:26

2018年5月14日

Jonathan Protzenko

PNW PLSE Workshop: Helping Designers Explore the Space of Layout Variations with Constraints, Platform-Independent Migration of Stateful JavaScript IoT Applications, Compiling Distributed System Specifications into Implementations, and more. 持续时间   1:09:13

2018年5月14日

Amanda Swearngin, Julien Gascon-Samson, Renato Mascarenhas, Michael D. Ernst,  Pavel Panchekha