EasyChair Smart SlideDocs/Log in
Author: Shengyi Wang

This page shows all presentations of this author published in EasyChair Smart Slide.

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

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair