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:
- March 16-23: Separation and Information Hiding (paper by O'Hearn,
Yang, and Reynolds)
- March 25-30: A Semantics for Concurrent Separation Logic (guest
lectures by Steve Brookes)
- April 1: No class
LINK TO PREVIOUS MINICOURSE (15-818A3)
Last updated: March 13, 2009