This week me and Lloyd continued to attempt to prove properties about the new cache allocation policy that we designed, prior to him leaving to go to the Tapia conference. For the remainder of the week, I continued to work on the proof. Exams start next week so I was not able to make as much progress as I would have liked.