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 Durée   0:38:13

August 22, 2019

Speakers : Eunice Jun

Affiliation : University of Washington

August 15, 2019

Speakers : Ben Zorn

Research intern Teddy Seyed studies garment Durée   0:04:47

May 30, 2019

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

extending f sharp STILL Durée   01:30:09

September 7, 2018

Speakers : Nikhil Swamy

Affiliation : Microsoft Research

Why Aren't More Users More Happy With Our VMs? Durée   1:08:26

May 17, 2018

Speakers : Reader Laurence Tratt

Affiliation : King's College London

Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale Durée   48:02

May 14, 2018

Speakers : Ben Zorn

Affiliation : Oregon State University; Chapel Team, Cray Inc; Halfaya Research

Durée   0:58:11

May 14, 2018

Speakers : 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 Durée   0:32:26

May 14, 2018

Speakers : 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. Durée   1:09:13

May 14, 2018

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

Affiliation : University of Washington