Using Reasoning About Knowledge to Analyze Distributed Systems

This month, programming goddess[1] Jessica Kerr will present on "Using Reasoning About Knowledge to Analyze Distributed Systems" by Joseph Y. Halpern. A link to the paper can be found here: https://www.cs.cornell.edu/home/halpern/papers/UsingRAK.pdf

Here's a taste of the paper from its introduction: "Designing, understanding, and reasoning about distributed systems can be complicated. The major complexities arise from the uncertainties inherent in the system, particularly with regard to message delivery and possible faulty or unexpected behavior of processors. A protocol must be designed (and proved!) to function correctly even if it is possible for messages to be lost, for messages to arrive out of order, or for some processor to fail."

Please note that we're at a new location this month: Ultralinq will be hosting us at 9666 Olive Blvd. in Olivette. Once you arrive, use the elevator to get to the second floor. The Ultralinq office is directly in front of the elevator to the left. Look for the Ultralinq sign beside the open door.

If you can't wait for the meeting, Jessica has a blog at http://blog.jessitron.com/ you can read to tide you over.

1: Chris Swan, "Metaprogramming," http://blog.thestateofme.com/2016/09/26/metaprogramming/