Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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?…
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…
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.…
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.…
By Calc Intelligence, we mean the research goal of bringing intelligence to end-user programming, and in particular to spreadsheets.
Coyote provides developers a programming framework for confidently building reliable asynchronous software on the .NET platform.
