Name: Using Reasoning About Knowledge to Analyze Distributed Systems
Start: 2016-10-17T19:00:00-05:00
End: 2016-10-17T22:00:00-05:00
Location: Ultralinq

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/

Adam Bowen

Jessica Kerr

Papers We Love (Saint Louis Chapter)

Technology

Artificial Intelligence

Statistical Computing

Computer Programming

Programming Languages

Computer Science

High Scalability Computing

Machine Learning

High Performance Computing

Computational Science and Engineering

Using Reasoning About Knowledge to Analyze Distributed Systems

Ultralinq

Share

Papers We Love (Saint Louis Chapter)

Using Reasoning About Knowledge to Analyze Distributed Systems

Papers We Love (Saint Louis Chapter)

Details

Members are also interested in