Programming languages and software engineering
Video
PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography
The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May…
Video
Collaborative Research: From Algorithms to Application Impact at Pacific Northwest National Lab (PNNL)
As a Department of Energy lab, computer science research at Pacific Northwest National Lab (PNNL) is closely tied to or motivated by the needs of scientific applications. In this talk, I will present a brief…
Video
On Intrinsic Rewards and Continual Learning
Continual learning is the problem faced by intelligent agents of the sort that people and other animals are, that of learning increasingly complex skills and knowledge over time from experience, of becoming increasingly competent over…
Microsoft Research Blog
Learning from Source Code
Over the last five years, deep learning-based methods have revolutionised a wide range of applications, for example those requiring understanding of pictures, speech and natural language. For computer scientists, a naturally arising question is whether…
Microsoft Research Blog
Neural-Guided Deductive Search: A best of both worlds approach to program synthesis
Program synthesis — automatically generating a program that satisfies a given specification — is a major challenge in AI. In addition to changing the way we design software, it has the potential to revolutionize task…
