Picture Me Coding
Picture Me Coding is a music podcast about software. Each week your hosts Erik Aker and Mike Mull take on topics in the software world and they are sometimes joined by guests from other fields who arrive with their own burning questions about technology.
Email us at: podcast@picturemecoding.com
Patreon: https://patreon.com/PictureMeCoding
You can also pick up a Picture Me Coding shirt, mug, or stickers at our Threadless shop: https://picturemecoding.threadless.com/designs
Logo and artwork by Jon Whitmire - https://www.whitmirejon.com/
Picture Me Coding
Standing on the Shoulders of Giants: Liskov
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
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.
