Underground Reading Group
Separation Logic

Summer 2015 — Wednesday, 11:00am — CSE 203

Subscribe to the calendar: iCal or Google Calendar.
Date Who What
Jun 24

James W

Separation Logic: A Logic for Shared Mutable Data Structures

Installing VST. Coq 8.4pl4. CompCert 2.4. VST 1.5. VST manual

Jul 1

Doug

Program Logics for Certified Compilers, Part 1

Jul 15

Program Logics for Certified Compilers, Part 2

Jul 22

(no meeting due to James being in the zone)

Jul 29
Room: CSE 303

Program Logics for Certified Compilers, Part 3

Aug 5
Room: CSE 203

Install VST

Paper Suggestions

Contact James W (jrw12@cs) if you want to get on the mailing list. Or subscribe yourself.