EasyChair Smart SlideHelp/Log in
Author: Shaz Qadeer

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

Proving a concurrent program correct by demonstrating it does nothing

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

On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony

Ahmed Bouajjani, Constantin Enea, Kailiang Ji and Shaz Qadeer

Proving a concurrent program correct by demonstrating it does nothing

Proving a concurrent program correct by demonstrating it does nothing

Bernhard Kragl and Shaz Qadeer

Presentations in this collection: 3
Copyright © 2002 – 2021 EasyChair