Sign up to save your podcasts
Or
Share Standing on the Shoulders of Giants: Liskov
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Standing on the Shoulders of Giants: Liskov
This week on the show, Mike and Erik discuss the work of Barbara Liskov. Their discussion includes a tour through types, concurrency, and distributed systems. Liskov has had an incredible career spanning 6 decades and contributed ideas that are foundational to work we do as day-to-day software developers. Hope they're up to this task!
References
- Abstract Types
- “Programming with abstract data types”, Barbara Liskov, Stephen Zilles, 1974
- “A Behavioral Notion of Subtyping”, Barbara Liskov, Jeanette Wing, 1994
- The “Liskov Substitution Principle”
- Distributed Computing
- “Guardians and Actions: Linguistic Support for Robust, Distributed Programs”, Liskov, Schiefler, 1983
- “Promises: linguistic support for efficient asynchronous procedure calls in distributed systems”, Liskov, Shrira, 1988
- “Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems”, Oki, Liskov, 1988
- “Practical Byzantine Fault Tolerance”, Miguel Castro, Barbara Liskov, 2002
- Wikipedia article
- Quanta interview “The Architect of Modern Algorithms”
For music this week, Erik talked about Theo Katzman's Be the Wheel while Mike just fell into a hole and listened to the genre of deathcore for a week.
Send us a text
View all episodes
By Erik Aker and Mike MullThis week on the show, Mike and Erik discuss the work of Barbara Liskov. Their discussion includes a tour through types, concurrency, and distributed systems. Liskov has had an incredible career spanning 6 decades and contributed ideas that are foundational to work we do as day-to-day software developers. Hope they're up to this task!
References
- Abstract Types
- “Programming with abstract data types”, Barbara Liskov, Stephen Zilles, 1974
- “A Behavioral Notion of Subtyping”, Barbara Liskov, Jeanette Wing, 1994
- The “Liskov Substitution Principle”
- Distributed Computing
- “Guardians and Actions: Linguistic Support for Robust, Distributed Programs”, Liskov, Schiefler, 1983
- “Promises: linguistic support for efficient asynchronous procedure calls in distributed systems”, Liskov, Shrira, 1988
- “Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems”, Oki, Liskov, 1988
- “Practical Byzantine Fault Tolerance”, Miguel Castro, Barbara Liskov, 2002
- Wikipedia article
- Quanta interview “The Architect of Modern Algorithms”
For music this week, Erik talked about Theo Katzman's Be the Wheel while Mike just fell into a hole and listened to the genre of deathcore for a week.
Send us a text