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

John C. Reynolds

Second Half of Spring Semester 2007

University Units: 6 (minicourse)

Mondays and Wednesdays, 1:30-2:50 pm Wean Hall 4615A, starting Monday, March 19

Course Description

We will study and discuss recent papers on separation logic and related topics. I will begin with: and continue with: There will also be guest lectures by Steve Brookes and Stephen Magill:

In addition, each creditor will be required to lecture on a paper chosen by them and the instructor.

The only texts will be papers distributed in class.

Last updated: March 18, 2007