Assignments

• #Setup

• #Assignment 1: Coq

• #Assignment 2: Separation logic theory

• #Assignment 3: Verifying Go programs

  • #Introduction to program proofs
  • #Assignment 3: Inferring specifications
  • #Assignment 3: verify factorial function
  • #Assignment 3: Linked lists as lists
  • #Assignment 3: queue using two stacks

• #Assignment 4: concurrent sharded hash map

• #Final project