Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Neural Program Synthesis and the Quest to Democratize Programming with Dr. Rishabh Singh
Episode 10, January 31, 2018 – We can program computers to do almost anything. But what about programming computers to… program computers? That’s a task that Dr. Rishabh Singh, and the team in the Cognition…
Learn Artificial Intelligence Skills via Residency at Microsoft
Harness Machine Learning to Improve People’s Lives At Microsoft, we are committed to leveraging the power of Artificial Intelligence (AI) to benefit people and greater society. Advances in AI can be applied to address some…
Theoretical Aspects of Symbolic Automata
Platform for Situated Intelligence
The Platform for Situated Intelligence project focuses on constructing an open, extensible platform to enable the fast development of multimodal, integrative-AI systems.
Maximally Recoverable Local Reconstruction Codes
Protecting huge amounts of data stored in the cloud from server crashes resulted in distributed storage systems transitioning to erasure coding based schemes. Local Reconstruction Codes (LRCs) have emerged as the codes of choice for…
Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones
Episode 7, January 10, 2018 – When we look at a skyscraper or a suspension bridge, a simple search engine box on a screen looks tiny by comparison. But Dr. Simon Peyton Jones would like…
