A podcast interview with Barbara Liskov, Turing Award winner, covering her foundational contributions to computer science. Topics include the 1970s software crisis and her invention of data abstraction, the CLU programming language, the Liskov Substitution Principle, Viewstamped Replication and its equivalence to Paxos, Byzantine fault tolerance, her views on Python's lack of encapsulation, stories about Dijkstra's 'Go To Statement Considered Harmful' letter, and reflections on her career in academia including being rejected from Princeton for being a woman.
Sort: