Conference: Jun 26-28, 2017
Workshops: Jun 29-30, 2017
Presentation: The Verification of a Distributed System
Location:
- Salon E
Duration
Day of week:
- Tuesday
Level:
- Advanced
Persona:
- Architect
- Developer
Key Takeaways
- Understand various approaches to verification of a distributed system.
- Hear real world, practical tips on ensuring a distributed systems correctness.
- Dive into details on the use of model checkers, fault injection, and more.
Abstract
Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed to create a correct system, and often times the resulting systems have a high degree of complexity. Because of this complexity, testing and verifying these systems is critically important. In this talk we will discuss strategies for proving a system is correct, like formal methods, and less strenuous methods of testing which can help increase our confidence that our systems are doing the right thing.
Interview
Similar Talks
![](../cdn/farfuture/RvBvO7Pkl-yAY_hcZCkoPA8GWu1kDnfy6kstohvU5UQ/mtime_1465253060/sites/default/files/styles/spaker_72h/public/manolec28e.png?itok=amuHIZCy)
![](../cdn/farfuture/hT-cfawYZ8rAy4z92AgFcn8qDBJJXBP0Pe-0h_boe2U/mtime_1462459210/sites/default/files/styles/spaker_72h/public/johnee3d.jpg?itok=zI_5yu8t)
Tracks
Monday, 13 June
-
Architectures You've Always Wondered About
Case studies from: Google, Linkedin, Alibaba, Twitter, and more...
-
Stream Processing @ Scale
Technologies and techniques to handle ever increasing data streams
-
Culture As Differentiator
Stories of companies and team for whom engineering culture is a differentiator - in delivering faster, in attracting better talent, and in making their businesses more successful.
-
Practical DevOps for Cloud Architectures
Real-world lessons and practices that enable the devops nirvana of operating what you build
-
Incredible Power of an Open-Sourced .NET
.NET is more than you may think. From Rx to C# 7 designed in the open, learn more about the power of open source .NET
-
Sponsored Solutions Track 1
Tuesday, 14 June
-
Better than Resilient: Antifragile
Failure is a constant in production systems, learn how to wield it to your advantage to build more robust systems.
-
Innovations in Java and the Java Ecosystem
Cutting Edge Java Innovations for the Real World
-
Modern CS in the Real World
Real-world Industry adoption of modern CS ideas
-
Containers: From Dev to Prod
Beyond the buzz and into the how and why of running containers in production
-
Security War Stories
Expert-level security track led by well known and respected leaders in the field
-
Sponsored Solutions Track 2
Wednesday, 15 June
-
Microservices and Monoliths
Practical lessons on services. Asks the question when and when to NOT go with Microservices?
-
Modern API Architecture - Tools, Methods, Tactics
API-based application development, and the tooling and techniques to support effectively working with APIs in the small or at scale. Using internal and external APIs
-
Commoditized Machine Learning
Barriers to entry for applied ML are lower than ever before, jumpstart your journey
-
Full Stack JavaScript
Browser, server, devices - JavaScript is everywhere
-
Optimizing Yourself
Keeping life in balance is always a challenge. Learning lifehacks
-
Sponsored Solutions Track 3