Programming languages and software engineering
Video
Northwest Database Society Annual Meeting – Session 3
Northwest Database Society Annual Meeting Session 3: Open-Source Technologies for Streaming and State Management, Improving Optimistic Concurrency Control Through Transaction Batching and Operation Reordering, Towards a Learning Optimizer for Shared Clouds, and more. Agenda: 1:15…
Publication
Programming by Examples: PL meets ML
Video
Lessons From the Fifty-Year Quest to Turn Programmers into Software Engineers
The term “software engineering” was first used in the title of a 1968 conference organized by NATO, at which academics and industry professionals met and agreed that software needed more engineering focus. A follow-up conference…
Video
Redesiging Neural Architectures for Sequence to Sequence Learning
The Encoder-Decoder model with soft-attention is now the defacto standard for sequence to sequence learning, having enjoyed early success in tasks like translation, error correction, and speech recognition. In this talk, I will present a…
Video
Introduction to Neo4j and Graph Databases
This presentation introduces participants to what a graph database is and how Neo4j is used in many enterprises to implement key use cases. Participants will learn about the differences between a relational data model and…
Video
Panel Discussion: Challenges & Opportunities in AI
AI researchers are striving to create intelligent machines that complement human reasoning and enrich human experiences and capabilities. At the core is the ability to harness the explosion of digital data and computational power with…
Video
Private Multi-party AI
AI researchers are striving to create intelligent machines that complement human reasoning and enrich human experiences and capabilities. At the core is the ability to harness the explosion of digital data and computational power with…
Microsoft Research Blog
Influencing mainstream software—Applying programming language research ideas to transform spreadsheets
Spreadsheets are the world’s most widely used programming language, by several orders of magnitude. We asked ourselves whether it would be possible to apply programming language research ideas to make spreadsheets a better programming language?…
Microsoft Research Blog
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the…
