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 midnight 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 19sp GradeScope page. Please include your name at the top of your review.

Papers

• Reading 1, April 9 - Trusting Trust
• Reading 2, April 23 - Social Processes and Proofs of Theorems and Programs
• Reading 3, May 7 - Use of Formal Methods at Amazon Web Services (CACM)
• Reading 4, May 21 - BP: Formal Proofs, the Fine Print and Side Effects
• Reading 5, June 4 - Csmith: Finding and Understanding Bugs in C Compilers