Leslie Lamport: Thinking Above the Code
Architects draw detailed blueprints before a brick is laid or a nail is hammered. Programmers and software engineers seldom do. A blueprint for software is called a specification. The need for extremely rigorous specifications before coding complex or critical systems should be obvious—especially for concurrent and distributed systems. This talk explains why some sort of specification should be written for any software.
- Date:
- Speakers:
- Leslie Lamport
- Affiliation:
- Microsoft
Series: Microsoft Research Faculty Summit
-
-
Quantum Computing and Workforce, Curriculum, and Application Development: Case study
Speakers:- Krysta M. Svore,
- Martin Roetteler
-
-
-
-
Crowd, Cloud and the Future of Work: Updates from human AI computation
Speakers:- Besmira Nushi,
- Vani Mandava
-
-
-
-
-
-
-
Productivity in Software Development
Speakers:- Neel Sundaresan,
- Margaret-Anne Storey,
- Prem Kumar Devanbu
-
-
-
-
-
-
-
Accessible Virtual Reality
Speakers:- Eyal Ofek
-
Calendar.help: A Virtual Meeting Scheduling Assistant
Speakers:- Pamela Bhattacharya
-
Visual Studio IntelliCode
Speakers:- Mark Wilson-Thomas
-
Microsoft Teams: Collaborate with Any Researcher Anywhere
Speakers:- Jethro Seghers
-
Project Alava: Programming Webs of Microcontrollers
Speakers:- James Devine,
- Teddy Seyed
-
AI in PowerPoint
Speakers:- Kostas Seleskerov