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!ReferencesAbstract Types“Programming with abstract data types”, Barbara Liskov, Stephen Zilles, 1974“A Behavioral Notion of Subtyping”, Barbara Liskov, Jeanette Wing, 1994The “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, 2002Wikipedia articleQuanta 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 Fan Mail