
	Where results make sense

Topic: Leslie Lamport

Related Topics

Jack Dongarra

Distributed computing

Butler Lampson

Alfred Aho

List of computer scientists

Stephen Wolfram

Manindra Agarwal

Render farm

Michael Hart

Edsger Dijkstra

Vinod Dham

Latex

Tao Yang

Narendra Karmarkar

List of political scientists

	Leslie Lamport on Thinking for Programmers (Site not responding. Last check: 2007-11-04)
		Lamport then went through the iterative refinement of a "mathematical" solution of a graph problem, showing us how, for many problems, "software bugs" are just obvious "math trivia".
		Also, he claimed that many in the current generation of software engineering professionals and educators are ill-prepared to teach mathematics at the level required to help the next generation advance the state of the art in our profession — and that may have bruised some egos, too.
		Lamport impressed me as the rare kind of theoretician who, not content with advancing the state of the art, reaches out to practicing engineers in the hope of raising the standard of so-called best-practices.
	laburu.org /~alex/notes/llotfp (834 words)

	DBLP: Leslie Lamport
		Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch: A Lattice-Structured Proof of a Minimum Spanning.
		Leslie Lamport, Fred B. Schneider: Constraints: A Uniform Approach to Aliasing and Typing.
		Leslie Lamport, Fred B. Schneider: The ``Hoare Logic'' of CSP, and All That.
	www.sigmod.org /dblp/db/indices/a-tree/l/Lamport:Leslie.html (1068 words)

	Leslie Lamport on How to Write a Proof (Site not responding. Last check: 2007-11-04)
		Someone said that a proof should be great literature, and prose-prone mathematicians seem to agree, but Dr. Lamport begs to differ: he says that proofs should be great art, and that this does not require prose because the beauty of a proof lies in its logic.
		Dr. Lamport has observed that the probability that one makes a mistake while writing a structured proof decreases exponentially with the number of levels, so getting carried away with this method can only help you.
		Dr. Lamport presented the material in a low-glitz style, as on the previous day, and obtained the same result as on the previous day: mathematically-inclined people were spell-bound (and, I daresay, sold on structured proofs) and mathematically-disinclined people were… in awe of Dr. Lamport's mad math-fu.
	laburu.org /~alex/notes/llohtwap (1136 words)

	PODC Influential Paper Award: 2000
		Leslie Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Communications of the ACM, July 1978, 21(7):558-565.
		The simplest way to implement the clock condition is with what Lamport called in this paper ``logical clocks.'' The logical clock abstraction had an immediate impact on the field and is the reason that this paper is cited so often.
		Finally, it is worth noting that this was among the very first papers to show how distributed systems were fundamentally different from other concurrent systems and was the first paper to show how a rigorous mathematical basis (the "happens before" relation) could be used to talk about such differences.
	www.podc.org /influential/2000.html (980 words)

	Leslie Lamport (Site not responding. Last check: 2007-11-04)
		Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems.
		Lamport is also known for creating the LaTeX typesetting system and the best-selling book, LaTeX, Second Edition, which documents it (Addison-Wesley, 1994).
		Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering.
	www.informit.com /authors/bio.asp?a=f3d8f610-48be-4adf-8693-61a1b609c480 (127 words)

	Amazon.com: LaTeX: A Document Preparation System (2nd Edition): Books: Leslie Lamport (Site not responding. Last check: 2007-11-04)
		Lamport's book is not a bad choice, but it's not great either.
		That is, Lamport expects the users of the software to have a technical background because that's the goal of the software -- to set technical documents.
		While the material is not easy, Lamport's book does a good job of conveying use of a highly technical piece of software in a readable fashion.
	www.amazon.com /LaTeX-Document-Preparation-System-2nd/dp/0201529831 (2055 words)

	MathML Conference 2002: Presentations
		Leslie Lamport began writing concurrent algorithms in the early '70s.
		He was so bad at it that he spent the next 20 years trying to figure out how to tell if his algorithms were correct.
		As a member of the LaTeX3 project, he was one of the main authors/maintainers of LaTeX2e, the current version of the LaTeX typesetting system--building on the LaTeX 2.09 system designed and built by Leslie Lamport.
	www.mathmlconference.org /2002/presentations.html (676 words)

	Leslie Lamport Famous Quote, Quotes, Quotations, Proverbs - QuoteMountain.com
		Leslie Lamport Famous Quote, Quotes, Quotations, Proverbs - QuoteMountain.com
		The quotes below are those from or by Leslie Lamport.
		You can also move quickly to the next quote source, Leslie P. Hartley, or the previous quotable source, Leslie Jeanne Sahler.
	www.quotemountain.com /famous_quote_author/leslie_lamport_famous_quotations (203 words)

	Leslie Lamport
		Leslie Lamport's pioneering work has profoundly shaped the way we think about distributed systems today.
		His treatment of concurrency, which encompasses fault tolerance and distribution, can be applied to the design of almost any computer system.
		Lamport is a member of the U.S. National Academy of Engineering and the author of about 100 publications including two books, 'Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers' and 'LaTeX: A Document Preparation System.' He is a senior researcher at Microsoft Research's Silicon Valley laboratory
	www.ieee.com /portal/pages/about/awards/bios/2004piore.html (164 words)

	The Byzantine Generals Problem - Lamport, Shostak, Pease (ResearchIndex) (Site not responding. Last check: 2007-11-04)
		Alternate document: Details Byzantine Generals and Transaction Commit Protocols (82) Leslie Lamport, Michael Fischer
		14: Synchronizing clocks in the presence of faults (context) - Lamport, Melliar-Smith - 1985
		Lamport, R. Shostak and M. Pease, "The Byzantine Generals Problem", ACM Transactions on Programming Languages and Systems, 4 (3), pp.382-401, July 1982.
	citeseer.ist.psu.edu /lamport82byzantine.html (432 words)

	Amazon.com: "Leslie Lamport": Key Phrase page (Site not responding. Last check: 2007-11-04)
		As pointed out by Leslie Lamport, the history of concurrent algorithms seems to abound with published incorrect algorithms.
		The RPC-Memory Specification Problem Problem Statement Manfred Broy Leslie Lamport 1 The Procedure Interface The problem calls for the specification and verification of a series of components.
		270 Acknowledgements Leslie Lamport contributed to most of the ideas presented here, and encour- aged this work.
	www.amazon.com /phrase/Leslie-Lamport (583 words)

	The BibTeX Format (Site not responding. Last check: 2007-11-04)
		BibTeX is a program and file format designed by Oren Patashnik and Leslie Lamport in 1985 for the LaTeX document preparation system.
		The format is entirely character based, so it can be used by any program (although the standard character set for accents is TeX).
		This often is used for technical reports to point to the ftp site where the postscript source of the report is located.
	www.ecst.csuchico.edu /~jacobsd/bib/formats/bibtex.html (1070 words)

	DS Online: A Discussion with Leslie Lamport
		Leslie Lamport: Some problems have come my way because engineers were building a system and needed an algorithm.
		Don't pay attention to pedantic old farts like me telling you what to do.
		For more information on Leslie Lamport, please visit his homepage at http://lamport.org/.
	dsonline.computer.org /portal/site/dsonline/menuitem.9ed3d9924aeb0dcd82ccc6716bbe36ec/index.jsp?&pName=dso_level1&path=dsonline/past_issues/0208/f&file=lam_print.xml&xsl=article.xsl& (1981 words)

	Made out of people: Leslie Lamport tries to Googlewhack himself
		Made out of people: Leslie Lamport tries to Googlewhack himself
		Or, at least, "google first", which seems to be good enough in this day and age.
		Anyway, Leslie Lamport writes (and I quote here with small, obvious changes):
	drzaius.ics.uci.edu /blogs/danyelf/archives/000150.html (367 words)

	Search Results for leslie lamport latex - Direct Textbook (Site not responding. Last check: 2007-11-04)
		Search Results for leslie lamport latex - Direct Textbook
		Authors: Leslie Lamport, Frank Mittelbach, Sebastian Rahtz, Alexander Samarin
		Author: MICHEL (CERN, GENEVA, SWITZERLAND) LAMPORT, LESLIE MIT GOOSSENS
	www.directtextbook.com /editions/leslie-lamport-latex (356 words)

	Second day: Mini-symposium honoring Leslie Lamport
		Frau und Herr Langmaack, Leslie Lamport, Willem-Paul de Roever, Christoph Blaue
		Ernst-Rüdiger Olderog with the TLA-book, Christoph Blaue, Leslie Lamport
		Manfred Broy, with a critical eye on his notebook
	www.informatik.uni-kiel.de /inf/deRoever/lamport/pictures/page2-1.html (54 words)

	Textbooks by Leslie Lamport - Direct Textbook (Site not responding. Last check: 2007-11-04)
		Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport
		A simple approach to specifying concurrent systems (SRC reports) by Leslie Lamport
		How to make a correct multiprocess program execute correctly on a multiprocessor (SRC research reports) by Leslie Lamport
	www.directtextbook.com /author/leslie-lamport (420 words)

	LaTeX project: An introduction to LaTeX
		LaTeX is based on Donald E. Knuth's TeX typesetting language or certain extensions.
		LaTeX was first developed in 1985 by Leslie Lamport, and is now being maintained and developed by the LaTeX3 Project.
		The best source for news on TeX and LaTeX is the TeX Users Group.
	www.latex-project.org /intro.html (311 words)

Try your search on: Qwika (all wikis)