Programming languages and software engineering
Publication
The BBC micro: bit: from the U.K. to the world
Project
Quickr: Cost-Effective Data Analytics at Scale
Quickr explores cost-effective data analytics at scale, breaking new ground in research on offering approximate answers for complex ad-hoc queries.
Project
Project Everest
Project Everest aims to build and deploy a verified HTTPS stack, constructing a high-performance, standards-compliant, and verified implementation of the full HTTPS ecosystem.
Video
AI Security Engineering—Modeling/Detecting/Mitigating New Vulnerabilities
AI and machine learning present a litany of unmitigated security threats. Research is pivoting from contrived vulns to weaponized exploitation. As a security engineer, how do I protect and defend my services against these threats?…
Video
Auditing Outsourced Services
How can users of a cloud service verify that the service truly performs as promised? This question is vital today because clouds are complicated black boxes, running in different administrative domains from users. Their correctness…
Tool
Gaussian Process for Any Neural Architecture
Gaussian Process for Any Neural Architecture: Reference Implementations This repo is a companion to the paper linked below, which shows that the Gaussian process behavior arises in wide, randomly initialized, neural networks regardless of architecture.…
Podcast
Democratizing data, thinking backwards and setting North Star goals with Dr. Donald Kossmann
Dr. Donald Kossmann is a Distinguished Scientist who thinks big, and as the Director of Microsoft Research’s flagship lab in Redmond, it’s his job to inspire others to think big, too. But don’t be fooled.…
Project
Calc Intelligence
By Calc Intelligence, we mean the research goal of bringing intelligence to end-user programming, and in particular to spreadsheets.