Episode 203: Leslie Lamport on Distributed Systems
Software Engineering Radio - The Podcast for Professional Software Developers
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a [β¦]Next Episodes
Episode 202: Andrew Gerrand on Go @ Software Engineering Radio - The Podcast for Professional Software Developers
π 2014-03-14 17:19 / β 00:41:30
Episode 201: Martin Thompson on Mechanical Sympathy @ Software Engineering Radio - The Podcast for Professional Software Developers
π 2014-02-19 19:59 / β 00:53:04
Episode 200: Markus VΓΆlter on Language Design and Domain Specific Languages @ Software Engineering Radio - The Podcast for Professional Software Developers
π 2014-01-13 19:00 / β 00:57:15
Episode 199: Michael Stonebraker on Current Developments in Databases @ Software Engineering Radio - The Podcast for Professional Software Developers
π 2013-12-05 17:59 / β 01:07:41
Episode 198: Wil van der Aalst on Workflow Management Systems @ Software Engineering Radio - The Podcast for Professional Software Developers
π 2013-10-01 00:10 / β 01:05:39