Next Meetup

Designing Distributed Systems with TLA+
Join us for our last ACM Chicago meeting of 2018 as Hillel Wayne, Software Consultant, talks about designing distributed systems with the TLA+ specification system. 5:30-6:30 pm Networking 6:30-8:00 pm Presentation and Q&A 8:00-8:30 pm Networking Admission: Free, General Admission, open to the public Abstract: Distributed systems are hard. How do you test your system when it's spread across three services and four languages? Unit testing and type systems only take us so far. At some point, we need new tools. Enter TLA+. TLA+ is a specification language that describes your system and the properties you want. This makes it a fantastic complement to testing: not only can you check your code, you can check your design, too! TLA+ is especially effective for testing concurrency problems, like crashes, race conditions, and dropped messages. TLA+ is so effective for this that both AWS and Azure teams consider it essential to their work. It keeps subtle, serious bugs out of their code and helps them optimize without losing correctness. And it's not just for the cloud: engineers have used TLA+ to verify everything from business workflows to video games. This talk will introduce the ideas behind TLA+ and how it works, with a focus on practical examples and how you can apply it to your own work. Bio: Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Learn TLA+ ( and Practical TLA+, is on the Alloy board, and teaches workshops on both of these languages. In his free time, he juggles and makes candy. He probably brought enough for everyone. RSVP on this meetup or send an e-mail to [masked].

Loyola University Water Tower Campus(Chicago/Michigan Area)

111 E. Pearson Street, Chicago IL 60611 · Chicago, IL

Respond by: 12/12/2018

    Past Meetups (66)

    What we're about

    ACM Chicago is a non-profit professional group that meets regularly to discuss diverse topics in computer science such as predictive analytics, applied machine learning, statistical modeling, open data, and data visualization, user experience, user research, and artificial neural networks. Meeting topics are varied and range from tutorials on basic concepts and their applications, to success stories from local practitioners and academic students, to discussions of tools, new technologies, and best practices. All are welcome to attend, to meet others, and to present their work.

    ACM Chicago is powered by the Chicago ACM Professional chapter ( and ACM Local ( at Association for Computing Machinery, Inc.

    Members (1,499)

    Photos (124)