CS 525V (S02) : Introduction to Computer-Aided Verification

Hints on Reading Papers

Several of you have asked for help in learning how to read papers. Here are links to several pages that talk about this. The last is from a biochem perspective instead of CS, so some of it is irrelevant to us; I include it mainly because the "Evaluating a paper" section suggests some good questions to consider while reading.

In addition, here are several additional hints specific to reading papers that present algorithms: