ADSL PROGRAM
Friday, July 13th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 83B: Program Verification
Chair:
Location: St Anne's Seminar Room 7
09:00 | Resource semantics: substructural logic as a modelling technology (keynote) (abstract) |
09:50 | Automating the Flow Framework (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 86A: Proof Theory
Chair:
Location: St Anne's Seminar Room 7
11:00 | Cyclic Theorem Prover for Separation Logic by Magic Wand (abstract) |
11:30 | Labelled Cyclic Proofs for Separation Logic (abstract) |
12:00 | A Complete Proof System for Basic Symbolic Heaps with Permissions (abstract) |
12:30-14:00Lunch Break
14:00-15:50 Session 87B: Weak Memory and Complexity
Chair:
Location: St Anne's Seminar Room 7
14:00 | Weak memory made easy by separation logic (keynote) (abstract) |
14:50 | On the Complexity of Pointer Arithmetic in Separation Logic (abstract) |
15:20 | The Complexity of Prenex Separation Logic with One Selector (abstract) |
15:30-16:00Coffee Break
16:10-18:00 Session 89: Small Models and SL-COMP
Chair:
Location: St Anne's Seminar Room 7
16:10 | Sloth: Separation Logic and Theories via Small Models (abstract) |
16:40 | Presentation of Results from SL-COMP 2018 (abstract) |
19:00-21:30 Workshops dinner at Keble College
Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).
Location: Keble College