ASL PROGRAM
Sunday, July 31st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:30-10:30 Session 3A
Keynote Talk 1
Chair:
Location: (virtual only)
| 09:30 | Exact Separation Logic (abstract) |
10:30-11:00Coffee Break
10:30-12:00 Session 7
Theories of Separation
Chair:
Location: (virtual only)
| 10:30 | Two Results on Separation Logic With Theory Reasoning (abstract) PRESENTER: Nicolas Peltier |
| 11:00 | Labelled Tableaux for Linear Time Bunched Implication Logic (abstract) PRESENTER: Daniel Mery |
| 11:30 | On the Expressiveness of a Logic of Separated Relations (abstract)  PRESENTER: Radu Iosif |
12:30-14:00Lunch Break
Lunches will be held in Taub hall and in The Grand Water Research Institute.
14:00-15:00 Session 14A
Keynote Talk 2
Chair:
Location: (virtual only)
| 14:00 | Functional correctness specifications for concurrent data structures: Logical Atomicity in Iris (abstract) |
15:00-16:30 Session 18
Heaps and Concurrency
Chair:
Location: (virtual only)
| 15:00 | Proving Logical Atomicity using Lock Invariants (abstract) PRESENTER: Shengyi Wang |
| 15:30 | Deciding Separation Logic with Heap Lists (abstract) PRESENTER: Mihaela Sighireanu |
| 16:00 | Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection (abstract) PRESENTER: Alexandre Moine |
15:30-16:00Coffee Break