Leslie Lamport awarded Turing Award

This paper is a classic: Time, Clocks, and the Ordering of Events in a Distributed System: <a href="http://www.ics.uci.edu/~cs230/reading/time.pdf" rel="nofollow">http:&#x2F;&#x2F;www.ics.uci.edu&#x2F;~cs230&#x2F;reading&#x2F;time.pdf</a>

Clock, Byzantine general, Paxos, LaTeX, program proof. My CS curriculum often crossed Leslie Lamport&#x27;s path.<p>Here is an interview he did a while ago which go trough his work : <a href="http://www.budiu.info/blog/2007/05/03/an-interview-with-leslie-lamport/" rel="nofollow">http:&#x2F;&#x2F;www.budiu.info&#x2F;blog&#x2F;2007&#x2F;05&#x2F;03&#x2F;an-interview-with-lesl...</a>

I like that the full news release (<a href="http://www.acm.org/press-room/news-releases/2014/turing-award-13" rel="nofollow">http:&#x2F;&#x2F;www.acm.org&#x2F;press-room&#x2F;news-releases&#x2F;2014&#x2F;turing-awar...</a> ) comes as both HTML and a PDF built with --- wait for it! --- LaTeX.

What took so long? And, come on, you have to at least <i>mention</i> Latex.<p>edit: they do, on a more full citation: <a href="http://amturing.acm.org/award_winners/lamport_1205376.cfm" rel="nofollow">http:&#x2F;&#x2F;amturing.acm.org&#x2F;award_winners&#x2F;lamport_1205376.cfm</a>

It&#x27;s quite ironic that most of the world knows him for LaTeX and not for the zillion fundamental contributions he has made to Distributed Systems.<p>Truly well deserved. #Respect

As with Donald Knuth, it&#x27;s hard to say whether his most high-impact contribution was to computing and algorithms or to typesetting; certainly the latter is even more widely used.<p>Well deserved for both.

There is something intriguing about these old timers&#x27; plain text html websites. One of these days I am going to have to drop WordPress.

While his work on distributed computing was certainly great, I find it curious that the press release doesn&#x27;t even mention the achievement of Lamport that probably was important to lot more people: The creation of LaTeX. Sure, its not something typically honored by the Turing Award but leaving it out entirely? Come on!

For an idea of the tremendous impact Leslie Lamport has had on computing to date check out this page:<p><a href="http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;lamport&#x2F;pubs&#x2F;p...</a>

About time too! This man is responsible for most of our progress in distributed systems. One of the few researchers Google hasn&#x27;t poached from Microsoft yet.

Well deserved. His work on Paxos flavors worth it alone.

I have to admit that I had no clue this man invented latex. But we studied Lamport clocks and lots of his papers on distributed systems.

Congratulations to Dr Lamport.<p>Is there a list of Turing Award nominees published somewhere?

This was very well deserved. Leslie has been one of my heroes ever since I came across his work while trying to write a functional lock manager for NFS. It was clear and very approachable.

I&#x27;m confused. Is he the Leslie Lamport I&#x27;m thinking of, the one who created LaTeX? If so, I&#x27;m very surprised to learn that he works for Microsoft.

A special mention must be made about the puns in the LaTeX book, like the letter sample written from Gnu York.

Wow I would have thought he won it in the 80s or 90s!

Finally!

(In June, 2013.)