Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
System Design for Cloud Services – Part 2
Intelligent Personal Assistant and its Implication on Future Warehouse Scale Computers Lingjia Tang, University of Michigan-Ann Arbor
System Design for Cloud Services – Part 1
8:30am Welcome Kathryn S. Mckinley, Microsoft Research 8:40am Killer Microseconds and the Tail at Scale Thomas Wenisch, University of Michigan Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMA Boris Grot, University of Edinburgh
Safe Autonomous Cyber Physical Systems Workshop 2016
This workshop brought together experts in the areas of machine learning, vision, planning, programming languages and verification to discuss the latest advances with the aim of catalyzing a joint effort between academia and industry with…
Faculty Summit 2016 – Building Practical Verified Systems
Mobile and cloud app ecosystems are growing at a tremendous pace. Today, there are hundreds of thousands of developers building cloud apps and cloud-backed mobile apps. Unlike traditional software, these apps are typically run in…
Faculty Summit 2016 – Supporting Big Tasks Through Microtasks
Online, networked societies have embarked on a massive shift to take work online. Increasingly, computers are not just helping people get work done, but also helping them figure out what to do, with whom, and…
Faculty Summit 2016 – Recognizing Achievements and Collaborations
Rick Rashid recognizes the Microsoft Research Outstanding Collaborator Award. People Speaker: Rick Rashid, Chief Technology Officer, Microsoft Applications and Services Group
How to Write a Great Research Paper
Writing papers and giving talks are key skills for any researcher, but they aren’t easy. In this pair of presentations, I’ll describe simple guidelines that I follow for writing papers and giving talks, which I…
