$2,500 – $3,000

Introduction to TLA+

Event Information

Share this event

Date and Time

Location

Location

Dabeaz LLC

5412 N Clark Street #218

Chicago, IL 60640

View Map

Event description

Description

Dabeaz LLC is pleased to host this special workshop, led by Hillel Wayne.

Overview

Most software flaws come from one of two places. When the code doesn't match our expectations, it could be that the code is wrong. Most software correctness techniques - types, tests, etc - are used to check the code. But it could instead be that the code is correct and our expectations are wrong: there's a fundamental error in our design. These errors, called specification errors, are some of the most subtle and dangerous bugs. They can span multiple independent programs, occur in convoluted race conditions, or depend on physical phenomena. Our regular tools simply can't find them.

Instead, we can find them with a specification language such as TLA+. TLA+ is the invention of Leslie Lamport, winner of the 2013 Turing Award and the inventor of Paxos and LaTeX. Instead of writing your design in code or plain English, you write it in TLA+'s special notation. Once you specify your core assumptions and requirements, it can explore how that system would evolve over time, and whether it actually has the properties you want. TLA+ is especially effective for finding bugs in concurrent code, distributed systems, and service architectures. And since it works on the design itself, we can fix issues before we've written a single line of code.

In this workshop, led by Hillel Wayne, author of Practical TLA+, you will learn how the basics of TLA+ and how to apply to it real-world business problems. We focus in particular on how to design concurrent systens, such as microservices or client-server architectures. By the end of this class you should be able to write your own basic specs and use them to identify issues in your software designs.

More information is available at http://www.dabeaz.com/tla.html

Share with friends

Date and Time

Location

Dabeaz LLC

5412 N Clark Street #218

Chicago, IL 60640

View Map

Save This Event

Event Saved