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.