Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:
«Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),[7] що отримала премію Дейкстри за 2000 рік[8]
«How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» (Як створити багатопроцесорний комп'ютер, який правильно виконує багатопроцесові програми)[9], яку він визначив як послідовну узгодженість,
«The Byzantine Generals Problem» (Задача візантійських генералів),[10]
«Distributed Snapshots: Determining Global States of a Distributed System» (Розподілені знімки: визначення глобальних станів розподіленої системи),[11] та
«The Part-Time Parliament» (Парламент на не повну ставку)[12].
Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[13], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:
До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[16] та називає «донкіхотською спробою подолати відразу інженерів до математики».[17]
Відзнаки
Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[4] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.[18] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[19] отримала приз імені Дейкстри[20]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[21]. 2013 року став лауреатом Премії Тюрінга[22].
↑Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. 27 (2). Архів оригіналу за 16 серпня 2007. Процитовано 2 лютого 2007.
.svg){kind=small}
