FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Beringer, Lennart	Proving Logical Atomicity using Lock Invariants
C
Charguéraud, Arthur	Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection
E
Echenim, Mnacho	Two Results on Separation Logic With Theory Reasoning
Evdokimova, Anastasiia	Proving Logical Atomicity using Lock Invariants
G
Galmiche, Didier	Labelled Tableaux for Linear Time Bunched Implication Logic
Gardner, Philippa	Exact Separation Logic
I
Iosif, Radu	On the Expressiveness of a Logic of Separated Relations
J
Jung, Ralf	Functional correctness specifications for concurrent data structures: Logical Atomicity in Iris
M
Mansky, William	Proving Logical Atomicity using Lock Invariants
Mery, Daniel	Labelled Tableaux for Linear Time Bunched Implication Logic
Moine, Alexandre	Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection
O
Oey, Alexander	Proving Logical Atomicity using Lock Invariants
P
Peltier, Nicolas	Two Results on Separation Logic With Theory Reasoning
Pottier, François	Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection
S
Sharma, Roshan	Proving Logical Atomicity using Lock Invariants
Sighireanu, Mihaela	Deciding Separation Logic with Heap Lists Report on SL-COMP
Sun, Wanyun	Deciding Separation Logic with Heap Lists
W
Wang, Shengyi	Proving Logical Atomicity using Lock Invariants
Wu, Zhilin	Deciding Separation Logic with Heap Lists
Z
Zuleger, Florian	On the Expressiveness of a Logic of Separated Relations

Disclaimer | Powered by EasyChair Smart Program