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.