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

Peter Alvaro (https://twitter.com/palvaro) from UC Berkeley will present the paper "Using Reasoning about Knowledge to Analyze Distributed Systems (https://www.cs.cornell.edu/home/halpern/papers/UsingRAK.pdf)" by Joseph Halpern (http://en.wikipedia.org/wiki/Joseph_Halpern).

If you have any questions, thoughts, or related information, please visit our github-thread on the matter: https://github.com/papers-we-love/papers-we-love/issues/147

Peter has kindly provided some references to help you get started

• Prior Halpern work on knowledge in DS:
https://www.cs.cornell.edu/home/halpern/papers/common_knowledge.pdf

• Some applications: http://dl.acm.org/citation.cfm?id=28672

• Interlandi's work on knowledge-enriched dedalus:
http://link.springer.com/chapter/10.1007%2F978-3-642-34002-4_47
http://www.dbgroup.unimo.it/~interlandi/vldb_12.pdf (appears to be an earlier draft)

• Dedalus (background for knowlog, and in case using logic to program distributed systems sounds interesting): http://db.cs.berkeley.edu/papers/datalog2011-dedalus.pdf

• Modal logics: http://plato.stanford.edu/entries/logic-modal/

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 Ask.com.

Peter's principal research interests are databases, distributed systems and programming languages. More details at http://www.cs.berkeley.edu/~palvaro/ .

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 (http://www.marsbarsf.com/) (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 (https://github.com/papers-we-love/papers-we-love/issues/147) to submit any topics you want discussed.