Reading Group Page

2011 Reading Group Agenda and Material

February 8th:

SCRIBE: The design of a large-scale event notification infrastructure

by Antony Rowstron, Anne-Marie Kermarrec, Miguel Castro, Peter Druschel. Proceedings of the Third International COST264 Workshop on Networked Group Communication 2001.

2010 Reading Group Agenda and Material

November 9th:

The Part-Time Parliament

by Leslie Lamport. ACM Transactions on Computer Systems 16, 2 1998.

Summer Reading:

The Logic of Scientific Discovery

by Karl Popper. Routledge 2 edition 2002.

May 31st:

PageRank: Stand on the shoulders of giants

by Massimo Franceschet. CoRR 2010.

March 8th:

IT Doesn't Matter

by Nicholas G. Carr. Harvard Business Review 2003.

Notions of Precision and Recall

by Wikipedia.

Text Mining with Information Extraction

by Raymond J. Mooney, Un Yong Nahm. Van Schaik Pub. 2005.

January 25th:

Resilience Metrics for Service-Oriented Networks: A Service Allocation Approach

by Daniel J. Rosenkrantz, Sanjay Goel, S.S. Ravi, Jagdish Gangolly. IEEE 2009.

2009 Reading Group Agenda and Material

December 10th:

Mastering Your PhD: Survival and Success in the Doctoral Years and Beyond

by Patricia A. Gosling, Bart D. Noordam. Springer 2006.

The Structure of Scientific Revolutions

by TS Kuhn. Chicago University Press 1962.

November 6th:

Above the Clouds: A Berkeley View of Cloud Computing

by Michael Armbrust, Armando Fox, Rean Griffith, Anthony D. Joseph, Randy H. Katz, Andrew Konwinski, Gunho Lee, David A. Patterson, Ariel Rabkin, Ion Stoica, Matei Zaharia. Electrical Engineering and Computer Sciences University of California at Berkeley 2009.

May 14th:

“Sometimes” and “not never” revisited: on branching versus linear time temporal logic

by E. Allen Emerson, Joseph Y. Halpern. Journal of the ACM 1986.

Automatic verification of finite-state concurrent systems using temporal logic specifications

by E. M. Clarke, E. A. Emerson, A. P. Sistla. Journal of the ACM 1986.

March 25th:

Temporal Logic

by Yde Venema. Blackwell Publishers 2001.

Modal Logic

by Stanford Encyclopedia of Philosophy. Stanford 2000.

March 10th:

Automated Planning: Thoery and Practice

by Malik Ghallab, Dana Nau, Paolo Traverso. Morgan Kaufmann 2004.

Chapter 1-2-3