Reading

We will read and discuss a handful of papers this quarter. Most of the readings are relatively non-technical; they're intended to foster discussion and debate.

Please submit a short review for each reading by 5pm on the associated dates below. No late submissions will be accepted for paper reviews.

Your review should have three paragraphs:

1. A high-level summary of the paper and a concise recap of its main take-away
2. A description of what you most valued learning from the paper and the paper's greatest strengths
3. A discussion of what you disagreed with or felt could be improved to make the paper stronger

You should submit your reviews in PDF format at the CSE 505 18au GradeScope page. Please include your name at the top of your review and mark where each answer is using the GradeScope interface.

Papers

• Trusting Trust - Oct 3
• Euler Conjecture Counterexample and Nelson Thesis (Sections 1.1,1.2) - Oct 17
• Social Processes and Proofs of Theorems and Programs - Oct 31
• BP: Formal Proofs, the Fine Print and Side Effects - Nov 28