CSCI 2950-X / cs296-1

Topics in Programming Languages and Systems
Shriram Krishnamurthi

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