Conference: ASL 2022 (Advancing Separation Logics)

Conference: ASL 2022 (Advancing Separation Logics)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Polishing a Rough Diamond: an Enhanced Separation Logic for Heap Space Under Garbage Collection

Polishing a Rough Diamond: an Enhanced Separation Logic for Heap Space Under Garbage Collection

Alexandre Moine, Arthur Charguéraud and François Pottier

Proving Logical Atomicity Using Lock Invariants

Proving Logical Atomicity Using Lock Invariants

Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer and William Mansky

On the Expressiveness of a Logic of Separated Relations

On the Expressiveness of a Logic of Separated Relations

Radu Iosif and Florian Zuleger

Presentations in this collection: 3