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

Research in Software Engineering (RiSE)

Vidéos

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

August 22, 2019

Eunice Jun

August 15, 2019

Research intern Teddy Seyed studies garment Duration   0:04:47

May 30, 2019

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

extending f sharp STILL Duration   01:30:09

September 7, 2018

Guido Martinez, Zoe Paraskevopoulou

Why Aren't More Users More Happy With Our VMs? Duration   1:08:26

May 17, 2018

Reader Laurence Tratt

Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale Duration   48:02

May 14, 2018

Eric Walkingshaw, Brad Chamberlain, John Leo

Duration   0:58:11

May 14, 2018

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 Duration   0:32:26

May 14, 2018

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. Duration   1:09:13

May 14, 2018

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