Closing Keynote - Who Builds a Skyscraper without Drawing Blueprints?

A session at React San Francisco 2014

  • Leslie Lamport

Wednesday 19th November, 2014

5:00pm to 6:00pm (PST)

Architects draw detailed plans before construction begins. Software engineers don't. Can this be why buildings seldom collapse and programs often crash?

A blueprint for software is called a specification. TLA+ specifications have been described as exhaustively testable pseudo-code. High-level TLA+ specifications can catch design errors that are now found only by examining the rubble after a system has collapsed.

About the speaker

This person is speaking at this event.
Leslie Lamport

2013 Turing Award winner & Principle Researcher at Microsoft Research

Leslie Lamport’s is a pioneering computer sciencist best known for his seminal work in distributed systems and concurrent algorithms. His ideas can be found at the core of everything from multi-processor technology such as very-large-scale-integration (VLSI) semiconductors through to multi-computer networks such as the Internet.

Leslie has authored or co-authored nearly 150 publications on concurrent and distributed computing and their applications. One of his most notable papers, “Time, Clocks, and the Ordering of Events in a Distributed System,” ranks as one of the most important and influential papers in computer science.

He is a past recipient of the IEEE Emanuel R. Piore Award, the Edsger W. Dijkstra Prize in Distributed Computing and the influential paper award at the Principles of Distributed Computing Conference. In 2013 he was the recipient of the Turing Award.

Dr. Lamport holds a bachelor’s degree from the Massachusetts Institute of Technology, Cambridge, as well as a masters and doctorate from Brandeis University, Waltham, Massachusetts. Since 2001 he has been Principle Researcher at the Microsoft Research Silicon Valley Center.

Sign in to add slides, notes or videos to this session

Tell your friends!


Time 5:00pm6:00pm PST

Date Wed 19th November 2014

Short URL


Official event site


View the schedule


See something wrong?

Report an issue with this session