This page shows all presentations of this author published in EasyChair Smart Slide.
Proving a concurrent program correct by demonstrating it does nothing
Bernhard Kragl and Shaz Qadeer
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, Kailiang Ji and Shaz Qadeer