7 ms·
Leslie Lamport awarded Turing Award
- scott_s 13y agoWhat took so long? And, come on, you have to at least mention Latex. edit: they do, on a more full citation: http://amturing.acm.org/award_winners/lamport_1205376.cfm http://amturing.acm.org/award_winners/lamport_1205376.cfm
- bcantrill 13y agoWhat took so long, indeed. As long as I have been associated with the ACM on behalf of the practitioner, I have complained about this to anyone and everyone. Many thought he had already won (!) and a few believed that he didn't deserve to win because he is "merely a popularizer" (!!), and some (rightfully, probably) encouraged me to inject myself in the process if I felt so strongly about it. There was no way I was going to do that, so I had resigned myself to a lifetime of merely complaining about it. I was elated to discover this morning that my complaining has been cut short, and that Lamport has won the award that is long overdue to him!
- jestinjoy1 13y agoIt should be LaTeX, not Latex :)
- amboar 13y agoI actually thought "what's he done /this/ time?" before reading the announcement. Then wondered the same thing.
- leephillips 13y ago(In June, 2013.)
- fournm 13y agoThe award for 2013 is being given in June 2014, it was only announced today -- http://www.acm.org/press-room/news-releases/2014/turing-award-13 http://www.acm.org/press-room/news-releases/2014/turing-awar...
- dr_faustus 13y agoWhile his work on distributed computing was certainly great, I find it curious that the press release doesn'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!
- rosche 13y agoWell, LaTeX is a (slight) improvement over TeX, which was written by D Knuth. I don't think that is what they would give a Turing Award to someone for.
- cschmidt 13y agoSure, but I saw the headline and though "Oh, the guy who wrote the LaTex book". http://www.amazon.com/LaTeX-Document-Preparation-System-2nd/dp/0201529831 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.
- jgreen10 13y agoPerhaps in terms of quantity, but to many he is the man who single-handedly brought order to distributed systems. I was surprised he had not won a Turing award yet.
- javert 13y ago> achievement of Lamport that probably was important to lot more people 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.
- avmich 13y agoYou think, if Noam Chomsky would receive the Turing award, they'll talk about his other achievements?
- deleted 13y ago[deleted]
- michael_nielsen 13y agoI like that the full news release (http://www.acm.org/press-room/news-releases/2014/turing-award-13 http://www.acm.org/press-room/news-releases/2014/turing-awar... ) comes as both HTML and a PDF built with --- wait for it! --- LaTeX.
- ygra 13y agoIf the HTML was built with LaTeX they should really rewrite that part.
- jeffreyrogers 13y agoIt currently says "PDF file generated with LaTeX". Edit: Misread what you wrote. I think only the PDF was made using LaTeX, not the HTML.
- sriram_malhar 13y agoFinally!
- gahahaha 13y agoYour exclamation is probably not a reference to Gert Fylking [1], but it would be hilarious if it was. [1] http://en.wikipedia.org/wiki/Gert_Fylking#Radio http://en.wikipedia.org/wiki/Gert_Fylking#Radio
- curiousDog 13y agoAbout time too! This man is responsible for most of our progress in distributed systems. One of the few researchers Google hasn't poached from Microsoft yet.
- derekchiang 13y agoNot sure why you seem to think researchers are flowing to Google. Microsoft Research is still the biggest name in distributed systems, if not CS in general. They have been consistently producing high-quality papers [1]. [1] http://jeffhuang.com/best_paper_awards.html http://jeffhuang.com/best_paper_awards.html
- mehrdada 13y agoI do believe there is a flow of Systems researchers towards Google, at least from academia, if not Microsoft Research. I 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.
- kvb 13y agoAren't there like 4 other Turing award winners at MSR that also somehow escaped poaching (and are there any at Google)? I think you may have the wrong idea about where researchers would prefer to work...
- mehrdada 13y agoOff the top of my head, there's at least one Turing Award winner at Google: Ken Thompson. 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.
- psuter 13y agoWho are you thinking about who left MSR for Google?
- merloen 13y agoThis paper is a classic: Time, Clocks, and the Ordering of Events in a Distributed System: http://www.ics.uci.edu/~cs230/reading/time.pdf http://www.ics.uci.edu/~cs230/reading/time.pdf
- wicknicks 13y agoThe above link is a summary to the paper. Here is the actual publication: http://cnlab.kaist.ac.kr/~ikjun/data/Course_work/CS642-Distributed_Systems/papers/lamport1978.pdf http://cnlab.kaist.ac.kr/~ikjun/data/Course_work/CS642-Distr...
- JoshTriplett 13y agoAs with Donald Knuth, it'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. Well deserved for both.
- robotresearcher 13y ago"...certainly the latter is even more widely used" 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.
- hatred 13y agoIt'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. Truly well deserved. #Respect
- jcheng 13y agoI'm embarrassed to include myself among the ignorant masses--I just assumed this was for his work on LaTeX. The distributed systems stuff sounds much more interesting though. Looks like I have some reading to do! http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
- jackowayed 13y agoYep. Time, Clocks, and the Ordering of Events in a Distributed System is cited in basically every distributed systems paper ever, and the ideas in it are behind, among other things, Amazon's Dynamo. 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
- kriro 13y ago8450 citations according to Google Scholar...that's pretty impressive. I think the CS average was <5 last time I checked :D Will be interesting to see how many more the paper will have due to the award :) Congrats and well deserved.
- lclarkmichalek 13y agoFor me, the timing could not have been better; I'm to write and present a summary of that paper this week. It's an excellent paper, and while I am probably wrong, it feels like it defines the vocabulary for talking about time in computer systems. The very first episode of Star Trek: DS9 comes to mind; Captain Benjamin Sisco has met an alien species that does not exist in our system of linear time. Sisco cannot explain 'time' to the creature as he sees it as an innate part of communication. It is my belief that he would have a much better chance, had he read this paper.
- nealabq 13y agoCongratulations to Dr Lamport. Is there a list of Turing Award nominees published somewhere?
- middleclick 13y agohttp://amturing.acm.org/byyear.cfm http://amturing.acm.org/byyear.cfm
- adharmad 13y agoInterestingly, Brian Kerninghan and Christos Papadimitriou have not received the award yet.
- nealabq 13y agoI'm wondering if they've been considered. Other names that come to mind: Linus Torvalds Richard Stallman Guido van Rossum Simon Peyton Jones Andy Tanenbaum John Resig Tim Berners-Lee Satoshi Nakamoto
- anaphor 13y agoHow about Guy L. Steele? Surely he deserves it much more than most of these people, perhaps with the exception of tbl?
- adestefan 13y agoThe only name on your list that is anywhere close to someday receiving the Turning Awards is Jones.
- harrycarrington 13y agoWhat contributions to computer science research has van Rossum, Stallman or Torvalds made? It's not an engineering award, it's a research award.
- general_failure 13y agoIs adding john resig to this list a joke?
- dude_abides 13y agoWow I would have thought he won it in the 80s or 90s!
- suyash 13y agoI think the follow to 'Hall of Fame' inductions style, recognize the contribution much later in the career or post-retirement.
- amaks 13y agoWell deserved. His work on Paxos flavors worth it alone.
- donniezazen 13y agoThere is something intriguing about these old timers' plain text html websites. One of these days I am going to have to drop WordPress.
- teach 13y agoMy blog[0] is still plain HTML, but that's part of the reason I haven't made an update since late 2012(!). 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." [0] http://grahammitchell.com/ http://grahammitchell.com/
- elbear 13y agoHave a look at Pelican, one of the many solutions in this space. http://docs.getpelican.com/en/3.3.0/ http://docs.getpelican.com/en/3.3.0/
- donniezazen 13y agoI know what you are talking about. More is always better than less. That's why I stick to WordPress.
- Monkeyget 13y agoClock, Byzantine general, Paxos, LaTeX, program proof. My CS curriculum often crossed Leslie Lamport's path. 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-leslie-lamport/ http://www.budiu.info/blog/2007/05/03/an-interview-with-lesl...
- ariwilson 13y agoMine as well. Reading his papers was always a pleasure as he has a knack for making the complicated accessible and interesting.
- infruset 13y agoQuote from that interview: >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..
- adultSwim 13y ago"People fiercely resist any effort to make them change what they do. Given how bad they are at writing programs, one might naively expect programmers to be eager to try new approaches. But human psychology doesn’t work that way, and instead programmers will find any excuse to dismiss an approach that would require them to learn something new. On the other hand, they are quick to embrace the latest fad (extreme programming, templates, etc.) that requires only superficial changes and allows them to continue doing things basically the same as before. In this context, it is only fair to mention that people working in the area of verification are no less human than programmers, and they also are very reluctant to change what they do just because it isn’t working." This is an excerpt from an answer about program verification. It's worth the read.
- turingbook 13y agoThere is another good interview: http://research.microsoft.com/en-us/um/people/lamport/pubs/ds-interview.pdf http://research.microsoft.com/en-us/um/people/lamport/pubs/d...
- ChuckMcM 13y agoThis 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.
- grondilu 13y agoI'm confused. Is he the Leslie Lamport I'm thinking of, the one who created LaTeX? If so, I'm very surprised to learn that he works for Microsoft.
- pjscott 13y agoMicrosoft Research is one of the best CS research labs in the world.
- general_failure 13y agoI 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.
- jacquesm 13y agoFor an idea of the tremendous impact Leslie Lamport has had on computing to date check out this page: http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
- quarterwave 13y agoA special mention must be made about the puns in the LaTeX book, like the letter sample written from Gnu York.