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

John C. Reynolds

Second Half of Spring Semester 2005

University Units: 6 (minicourse)

Mondays and Wednesdays, noon-1:50 pm Wean Hall 4615A

Course Description

The following recent papers on separation logic and related topics were covered in detail: In addition, Aleks Nanevski gave two lectures on his current work on implementing separation logic in Isabelle.

PREREQUISITES: An introductory course on separation logic.

TEXTS: Papers distributed in class.

METHOD OF EVALUATION: Each creditor was required to lecture on one of the selected papers.

Last updated: June 6, 2005