CSCI 2950-X / cs296-1
Topics in Programming Languages and Systems
Shriram Krishnamurthi
Spring 2021: Tables and Humans
Spring 2008: Optimistic Replication
Spring 2006: Specification and Verification of
Dynamic Acccess Control
Fall 2004: Operational Semantics
Spring 2003: Software Verification
Spring 2001: Programming Languages: A Survival Kit