Artifact Details

Title

Lamport, Leslie oral history, part 2

Catalog Number

102717246

Type

Text

Date

2016-11-11

Contributor

Lamport, Leslie, Interviewee
Levin, Roy, Interviewer

Publisher

Computer History Museum

Place of Publication

Mountain View, CA

Format

PDF

Description

As requested, I looked at the “clean” transcripts of Leslie Lamport’s interviews you sent me. They aren’t clean. The files you sent still have my comments in them, including some specific suggestions about editing both the transcript and the video/audio. I believe it was Leslie’s expectation that these would be acted upon. It was my expectation that you or someone at CHM would do so, since it involves manipulation of the recordings in some cases.

If you don’t intend to change the recordings, then the transcripts need some “notes to the reader” in some form to explain what’s going on. And, of course, all the comments I added should be stripped out, once acted upon, before this stuff is committed to the archives.

Category

Transcription

Subject

Distributed computing; Algorithm specification; Program verification; Mutual exclusion; Fault tolerance; Concurrency; Temporal Logic of Actions

Credit

Computer History Museum

Lot Number

X7884.2017