"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)

"Formal Modeling and Analysis of Distributed Systems" by Ankush Desai (Strange Loop 2022)
Share:

Download MP3


Similar Tracks

"Workflows, a new abstraction for distributed systems" by Dominik Tornow (Strange Loop 2022) Strange Loop Conference
"Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022) Strange Loop Conference
"LiveViewJS is the anti-SPA library for reactive app development in NodeJS and Deno" by Donnie Flood Strange Loop Conference
What Is Systems Engineering? | Systems Engineering, Part 1 MATLAB
Small but Mighty: Why simple systems still win by Stephanie Wang NYC Systems
"Finding bugs without running or even looking at code" by Jay Parlar Strange Loop Conference
Building a Life - Howard H. Stevenson (2013) Harvard Business School
3. Apache Kafka Fundamentals | Apache Kafka Fundamentals Confluent
"Programming Distributed Systems" by Mae Milano Strange Loop Conference
The mind behind Linux | Linus Torvalds | TED TED
"Resillient Microservices without the Chaos" by Christopher Meiklejohn (Strange Loop 2022) Strange Loop Conference
"Software & The Game of Go" by David Nolen (Strange Loop 2023) Strange Loop Conference
"Systems that run forever self-heal and scale" by Joe Armstrong (2013) Strange Loop Conference
Visualising software architecture with the C4 model - Simon Brown, Agile on the Beach 2019 Agile on the Beach
When Nanoseconds Matter: Ultrafast Trading Systems in C++ - David Gross - CppCon 2024 CppCon
IronFleet: proving practical distributed systems correct Association for Computing Machinery (ACM)
"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022) Strange Loop Conference
Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business
"Diagrammar: Simply Make Interactive Diagrams" by Pontus Granström (Strange Loop 2022) Strange Loop Conference
Generative AI in a Nutshell - how to survive and thrive in the age of AI Henrik Kniberg