Papers

Paper Reading Group

The Interactive Museum Tour-Guide Robot

For: July 14, 2012

https://www.aaai.org/Papers/AAAI/1998/AAAI98-002.pdf

Popularity is everything: A new approach to protecting passwords from statistical-guessing attacks

For: July 13, 2012

http://www.eecs.harvard.edu/~michaelm/postscripts/hotsec2010.pdf

Exploit Programming: From Buffer Overflows to "Weird Machines" and Theory of Computation

For: July 3, 2012

http://www.cs.dartmouth.edu/~sergey/langsec/papers/Bratus.pdf

Cassandra - A Decentralized Structured Storage System

For: June 26, 2012

http://www.cs.cornell.edu/projects/ladis2009/papers/lakshman-ladis2009.pdf

An Incremental Approach to Compiler Construction

For: June 12, 2012

http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf

Judgment under Uncertainty: Heuristics and Biases

For: June 5, 2012

http://www.hss.caltech.edu/~camerer/Ec101/JudgementUncertainty.pdf

Exposing Photo Manipulation with Inconsistent Reflections

For: May 29, 2012

http://graphics.berkeley.edu/papers/Obrien-EPM-2012-01/Obrien-EPM-2012-01.pdf (warning: large file)

Feeding Frenzy: Selectively Materializing Users' Event Feeds

For: May 16, 2012

http://research.yahoo.com/files/sigmod278-silberstein.pdf

Don't settle for eventual consistency

For: Friday, April 20, 2012

http://www.cs.cmu.edu/~dga/papers/cops-sosp2011.pdf

Dynamo: Amazon’s Highly Available Key-value Store

For: Tuesday, April 10, 2012

http://www.allthingsdistributed.com/files/amazon-dynamo-sosp2007.pdf

Classic Nintendo Games are (NP-)Hard

For: Friday, April 6, 2012

http://arxiv.org/abs/1203.1895

Assessment: loads of fun. Totally theoretical and useless, but really entertaining.

Some papers from before this wiki page existed

• "A Comparison of Software and Hardware Techniques for x86 Virtualization" http://pdos.csail.mit.edu/6.828/2011/readings/adams06vmware.pdf
• "HotpathVM: An Effective JIT Compiler for Resource-constrained Devices" http://static.usenix.org/events/vee06/full_papers/p144-gal.pdf
• "C-Store: A Column-oriented DBMS" http://www.courses.fas.harvard.edu/~cs265/papers/stonebraker-2005.pdf
• "Cache Missing For Fun And Profit" http://www.daemonology.net/papers/htt.pdf
• "Dremel: Interactive Analysis of Web-Scale Datasets" http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/36632.pdf
• "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs" http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf
• "Native Client: A Sandbox for Portable, Untrusted x86 Native Code" http://src.chromium.org/viewvc/native_client/data/docs_tarball/nacl/googleclient/native_client/documentation/nacl_paper.pdf
• "Debunking the 'Expensive Procedure Call' Myth; or, Procedure Call Implementations Considered Harmful; or, Lambda: The Ultimate Goto" http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-443.pdf
• "Bigtable: A Distributed Storage System for Structured Data" http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/archive/bigtable-osdi06.pdf
• "Bitcoin: A Peer-to-Peer Electronic Cash System" http://bitcoin.org/bitcoin.pdf
• "Paxos Made Simple" http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf