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:
• Some applications: http://dl.acm.org/citation.cfm?id=28672
• Interlandi's work on knowledge-enriched dedalus:
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 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/ .
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.