Дослідження Лампорта заклали фундамент в теорію розподілених систем. До його відомих праць належать, зокрема:
«Time, Clocks, and the Ordering of Events in a Distributed System» (Час, годинники та впорядкування подій в розподіленій системі),[5] що отримала премію Дейкстри за 2000 рік[6]
«How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» (Як створити багатопроцесорний комп'ютер, який правильно виконує багатопроцесові програми)[7], яку він визначив як послідовну узгодженість,
«The Byzantine Generals Problem» (Задача візантійських генералів),[8]
«Distributed Snapshots: Determining Global States of a Distributed System» (Розподілені знімки: визначення глобальних станів розподіленої системи),[9] та
«The Part-Time Parliament» (Парламент на не повну ставку)[10].
Ці статті присвячені таким поняттям, як логічні годинники (та відношення трапилось до) та Задача візантійських генералів. Вони належать до числа найцитованіших праць в галузі інформатики[11], в них описані алгоритми розв'язання багатьох фундаментальних проблем розподілених систем, зокрема:
До останніх розробок належить TLA+, логіка для специфікації та дослідження багатопотокових та реактивних систем, яку він описав в книзі «Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers» (Специфікація систем: мова та засоби TLA+ для розробників програмного і апаратоного забезпечення)[14] та називає «донкіхотською спробою подолати відразу інженерів до математики».[15]
Відзнаки
Лампорт отримав чотири ступені почесного доктора від Європейських університетів: Університет Ренн та Кільський університет в 2003, Лозанни в 2004 та Університет Лугано в 2006.[2] 2004 р., здобув нагороду імені Емануеля Піора від IEEE.[16] 2005 р., стаття «Reaching Agreement in the Presence of Faults» (Досягнення згоди за відсутності збоїв)[17] отримала приз імені Дейкстри[18]. На відзнаку 60-ти років з дня народження Лампорта була організована серія лекцій на 20-му симпозиумі з принципів розподілених обчислень (PODC 2001).[19]. 2013 року став лауреатом Премії Тюрінга[20].
↑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.
