Past Meetup

PWL#6 => Peter Alvaro: Using Reasoning about Knowledge to Analyze Dist. Systems

This Meetup is past

84 people went

Location image of event venue


Peter Alvaro ( from UC Berkeley will present the paper "Using Reasoning about Knowledge to Analyze Distributed Systems (" by Joseph Halpern (

If you have any questions, thoughts, or related information, please visit our *github-thread* on the matter:

Peter has kindly provided some references to help you get started

• Prior Halpern work on knowledge in DS:

• Some applications:

• Interlandi's work on knowledge-enriched dedalus: (appears to be an earlier draft)

• Dedalus (background for knowlog, and in case using logic to program distributed systems sounds interesting):

• Modal logics:

Peter's Bio

Peter is a PhD candidate at the University of California Berkeley, where he is advised by Joseph M. Hellerstein. He holds a Master's degree in Computer Science from UC Berkeley and a Bachelor of Arts in English Literature from Middlebury College. Prior to attending UC Berkeley, Peter worked as a Senior Software Engineer in the data analytics team at

Peter's principal research interests are databases, distributed systems and programming languages. More details at .

Meeting mechanics

Doors open at 6:30 pm; the presentation will begin at 7:00 pm; and, yes, there will be beer and pizza.

After Peter presents the paper, we will open up the floor for discussion and questions.

We have selected a post meetup bar! After the meetup we'll head to Mars bar ( (798 Brannan St) to have some drinks.

Some changes in format!

Note this time we'll try our hand at a moderated discussion. Use the github thread ( to submit any topics you want discussed.