15-818A4 Current Research on Separation Logic (6 units) Spring 2009

John C. Reynolds

Second Half of Spring Semester 2009

University Units: 6 (minicourse)

Mondays and Wednesdays, noon-1:20 pm Wean Hall 4623, starting Monday, March 16

Course Description

We will study and discuss recent papers on separation logic and related topics. A preliminary list of papers will appear shortly.

PREREQUISITES: 15-818A3 (Introduction to Separation Logic) or equivalent.

TEXTS: Papers and notes to be distributed in class.

METHOD OF EVALUATION: Each creditor will be required to lecture on a paper chosen by them and the instructor.

SCHEDULE:

LINK TO PREVIOUS MINICOURSE (15-818A3)

Last updated: March 13, 2009