Homework 2: Formal Memory Models
Due September 26 at 11:59 PM
Write your answers to each problem, and then scan and upload your solution to Gradescope. If you’re familiar with LaTeX, you can instead download the source file, add your answers, and submit the PDF.