Truly well deserved. #Respect
http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
It's also fairly accessible. One of the first systems papers I read, and while I certainly felt in over my head, I got the high level ideas
Microsoft Research is active in many more areas of research than Google. However, I'm not sure that implies they are better than Google in the specific area of distributed systems research. FWIW, it seems every now and then Google publishes incredible papers that surprises folks in that community.
They have certainly successfully poached a bunch of awesome systems people from their positions in academia. I'm not sure how many from MS Research though.
Here is an interview he did a while ago which go trough his work : http://www.budiu.info/blog/2007/05/03/an-interview-with-lesl...
>Q: The Byzantine Generals Problem paper (1982) describes the first provably correct algorithm for making several computers agree when some of them may give deliberate wrong answers. What are the its practical applications?
>A: The only practical applications I know of are in real-time process control — in particular, for systems that fly airplanes.
I guess Bitcoin didn't exist at the time..
This is an excerpt from an answer about program verification. It's worth the read.
Not necessarily. We all use distributed systems that have been influenced by Lamport. It's just that we don't even think about it when we do it.
http://www.amazon.com/LaTeX-Document-Preparation-System-2nd/...
I imagine that is how he is best known. I didn't even know he did LaTex, just the book.
edit: they do, on a more full citation: http://amturing.acm.org/award_winners/lamport_1205376.cfm
Thinking about switching to a blogging platform myself. Or at least something that converts markdown to static HTML with git-commit hooks.
I guess what I'm trying to say is "Be careful what you wish for."
Edit: Misread what you wrote. I think only the PDF was made using LaTeX, not the HTML.
Is there a list of Turing Award nominees published somewhere?
Well deserved for both.
There are lots of LaTeX users no doubt, but Lamport's work on the fundamentals of distributed systems informs the design all the large-scale systems relied on by billions of people.
Lamport's analysis of the limitations of time in distributed systems, and the Logical Clock construct to help with that is way more impactful than LaTeX.
http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
