podcasts / Ryan Peterman / episode / question
Question

What was Argus, Barbara Liskov's programming language for distributed programs?

Answered from Barbara Liskov (Turing Award): How the Liskov Substitution Principle Got Its Name · Ryan Peterman · 2026-10-28

Argus was Barbara Liskov's first distributed computing project, an object-oriented language strongly influenced by her earlier language CLU. Its key object, the guardian, was a module living on a single computer, and guardians talked to each other through remote procedure calls. To make a computation spanning several guardians either finish completely or leave no trace, Argus ran it as an atomic transaction, an idea Liskov borrowed from databases.

Source: our own transcription of the episode. The full conversation is on Ryan Peterman (2026-10-28). Read the whole episode summary →

▸More from this episode

Q1How did the Liskov substitution principle get its name, according to Barbara Liskov?Q2What does Barbara Liskov say the Liskov substitution principle actually means?Q3Is Viewstamped Replication the same as Paxos, according to Barbara Liskov?Q4Why does Barbara Liskov think Paxos became better known than Viewstamped Replication?Q6What got Barbara Liskov into distributed computing?Q7How did Barbara Liskov's MIT teaching with John Guttag shape her view of type hierarchy?
Transcribe your links. Paste a YouTube, Google Drive or podcast link and WhipScribe gives you the transcript. Transcribe a link →